# Mini Device Lab 0.1 — public claims gate

Status: **PASS**

Verified live at: **2026-07-27T17:23:06Z**

Tester invitations: **HOLD**. Active testers: **0/10**. No access token was
issued by this correction.

## Corrected public claims

- The capability ladder now shows:
  - DISCOVER — AVAILABLE
  - ARRANGE — RECOMMENDATIONS ONLY
  - OBSERVE — AVAILABLE
  - PREDICT — LOCKED; app-emit gate not passed
  - ASSIST — NOT AVAILABLE
  - AUTONOMY — NOT AVAILABLE
- Shadow Prediction is identified as a laboratory prototype disabled in Device
  Lab 0.1.
- Resource Autopilot was replaced with Runtime Resource Calibration and its
  inference-only boundary.
- Learning is defined as local memory and retrieval-based personalization; it
  does not retrain or replace model weights.
- Model training, automatic publishing and automatic promotion are visibly
  frozen.
- The approved public GGUF is separated from the token-gated Desktop Observer
  and Mini Engineer applications. Android is unavailable.
- The visible preview warning, data locations, Pause/Kill controls, deletion,
  uninstall instructions, privacy manifest and incident contact were added.

## Artifact identity

| Artifact | Distribution | SHA-256 |
|---|---|---|
| `pegasus-mini-q4.gguf` | Public approved baseline | `8a0326274d9b25a9df6d800cfb1ea51ab941c8b7bde2797f92baef5edf83ec73` |
| Desktop Observer | Token gated | `4d035aa6f20895f453091d5e8772251b381e8e88d5ade7fe23e35c47f7c4b9c6` |
| Mini Engineer package | Token gated | `163524463a4e6ebcee21a5fc4b9c6f7f79237bc683bc90ab3a1abef3976b668e` |
| Android package | Unavailable | No artifact |

## Gate behavior

The static gate passes on the reviewed source and its negative self-tests prove
that it rejects an enabled PREDICT claim, an available autonomy/control claim,
an active-training claim, an anonymous gated-artifact link and an artifact hash
mismatch.

## Live URL and anonymous-access results

| Surface | Result |
|---|---|
| `/`, `/mini/`, `/mini.html`, `/app.html` | HTTP 200 |
| `/download.html`, `/proof.html`, `/expert-modes.html` | HTTP 200 |
| Privacy, release, artifact and model manifests | HTTP 200 |
| Approved GGUF route | HTTP 302 to the approved Hugging Face object; linked SHA and 986,048,000-byte size match |
| Desktop Observer without token | HTTP 403 |
| Mini Engineer without token | HTTP 403 |
| Legacy gated route without token | HTTP 403 |
| Public setup executable, APK, ZIP or GGUF bypass | Absent |
| Android artifact | Absent |
| Active testers | 0/10 |

## Quarantine audit

- Production GGUF remains
  `8a0326274d9b25a9df6d800cfb1ea51ab941c8b7bde2797f92baef5edf83ec73`.
- Immutable baseline remains
  `3742bfa1be487bdd22b07b03cbbeeafa6b243da99a213635e14f2b5dab9f8167`.
- Promotion regression gate: **PASS**.
- Machine baseline SHA checks: **3/3**.
- Persistence audit: **PASS**.
- Continuous training: exited; restart policy `no`.
- Training processes, cron jobs and timers: `0`.
- Publisher service and timer: masked/inactive.

A separate explicit GO is still required before any tester invitation or token
distribution.