@aperant/framework 0.11.0 → 0.12.0

package/dist/plugin/skills/apt-verify-proof/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: apt:verify-proof
-description: "Visual proof-of-work verification — screenshots, HTML report, optional multi-model review (BETA)"
+description: "Outcome walker — drives spec.md `## User Outcomes` one at a time, captures surface-appropriate evidence, derives a two-gate verdict ({approved, rejected, needs_human}). Fails closed on file-evidence for UI surfaces."
 apt-skill-version: {{APT_VERSION}}
 stage: verify
 intent: ship
@@ -105,14 +105,58 @@ disable the walk entirely (root-only behaviour, backwards compat).
 The `verification.runtimes[]` override stays the final escape hatch
 and is now usually unnecessary because the walk runs by default.
 
-### Bundled drivers (5)
+### Bundled drivers (6)
 
 - **browser** (priority=100, ga) — Next.js / vanilla web frontends.
 - **electron** (priority=90, ga) — Electron desktop apps.
 - **tauri** (priority=85, ga) — Tauri desktop apps.
+- **mobile** (priority=80, ga) — iOS + Android (Expo / React Native / native) via `mobile-mcp`. App build/launch is owned by `apt-tools mobile prepare`, not the driver.
 - **cli** (priority=60, ga) — headless CI, output-shape assertions.
 - **api** (priority=50, ga) — HTTP / JSON-API regression tests.
 
+> **Precondition.** When `--parallel` is requested, the sandbox gate at apt-verify-proof/SKILL.md Step 2c runs BEFORE this step. An unverified sandbox exits with `{status:"error", code:"E_SANDBOX_UNVERIFIED", verdict:"needs_human", reason:"sandbox_unverified"}` without loading any MCP driver tools or entering the outcome-walker loop. See `docs/verify-proof-sandbox-patterns.md` for setup.
+
+### Deferred-tool discovery (Claude Code / OpenCode hosts) — A5 fix
+
+On Claude Code and OpenCode hosts, MCP driver tools listed under
+`drivers/<surface>/manifest.json :: transport.mcp_server_id` are
+**deferred** — they live in the host's MCP server registry but their
+schemas are NOT loaded by default. Before driving any UI-surface
+outcome the workflow runner MUST load them via `ToolSearch(query='select:...')`.
+
+**Worked example.** For the bundled `browser` driver (manifest field
+`transport.mcp_server_id = "puppeteer"` → `mcp__puppeteer__*` tools):
+
+```
+ToolSearch(query='select:mcp__puppeteer__browser_navigate,mcp__puppeteer__browser_click,mcp__puppeteer__browser_screenshot,mcp__puppeteer__browser_type')
+```
+
+For the bundled `electron` driver (manifest field
+`transport.mcp_server_id = "electron"` → `mcp__electron__*` tools):
+
+```
+ToolSearch(query='select:mcp__electron__app_launch,mcp__electron__app_click,mcp__electron__app_screenshot,mcp__electron__app_type')
+```
+
+For the bundled `mobile` driver (manifest field
+`transport.mcp_server_id = "mobile-mcp"` → `mcp__mobile-mcp__*` tools):
+
+```
+ToolSearch(query='select:mcp__mobile-mcp__mobile_click_on_screen_at_coordinates,mcp__mobile-mcp__mobile_swipe_on_screen,mcp__mobile-mcp__mobile_save_screenshot,mcp__mobile-mcp__mobile_type_keys')
+```
+
+After the call, list the now-loaded tool names back to confirm they
+appear in the active tool surface. If any required driver tool fails to
+load, emit `result: "needs_human_with_transport"` on each affected
+outcome — do NOT fall back to file-evidence. The legacy
+"commit hash as proof" pattern is rejected by the proof_gate.
+
+The manifest field is `transport.mcp_server_id` (and `transport.skill_id`
+where applicable). The names `mcp_transport.tool_prefix` and
+`transport.tool_prefix` are NOT real manifest fields — do not search
+for them. This block is no-op on hosts whose entire MCP surface is
+loaded eagerly (some Codex builds); `ToolSearch` is idempotent there.
+
 ### Install-time MCP provisioning (verification.provision_mcp)
 
 `apt-tools init` (and `/apt:update`, which routes through the same path)
@@ -149,10 +193,99 @@ IDL types, error taxonomy, and conformance kit live inside the framework
 itself under `packages/framework/src/driver-sdk/` — see that directory's
 public-api-lock test for the surface contract.
 
-## Execution
+## Step 1 — First-run sandbox-setup hook (interactive `--parallel` only)
+
+When the user invokes `/apt:verify-proof --parallel` on a project where
+`verification.sandbox` is ABSENT from `.aperant/config.json` AND
+`host.capabilities.structured_prompts === true` AND
+`process.stdout.isTTY === true`, prompt:
+
+```
+AskUserQuestion([
+  {
+    question: "Parallel /apt:verify-proof is not configured. Run setup now?",
+    header: "Sandbox Setup",
+    multiSelect: false,
+    options: [
+      { label: "Yes — run sandbox setup", description: "Walk recipe-diff with you, then apply-recipe --confirm --accept-all (after you've reviewed each change), then verify-sandbox before continuing" },
+      { label: "Cancel", description: "Exit; re-invoke without --parallel for single-instance verify-proof" }
+    ]
+  }
+])
+```
+
+On `Yes`, dispatch `/apt:verify-proof setup` (the setup-mode flow) before
+returning to the walker. On `Cancel`, exit with the same envelope the
+Step 2c gate would produce so the user sees the structured remediation.
+
+Non-interactive surfaces (`structured_prompts:false` OR
+`stdout.isTTY:false`) print the one-line stderr tip and proceed:
+
+```
+[apt] tip: run `/apt:verify-proof setup` to enable parallel verification
+```
+
+then exit at the Step 2c gate. Never block CI / fan-out children on
+this prompt (ID-08).
+
+## Step 2c — Sandbox gate (precondition for `--parallel`)
+
+When `--parallel` is requested AND `.aperant/config.json :: verification.sandbox`
+is present, this gate runs BEFORE Step 2.5 (Deferred-tool-load) and BEFORE
+entering the Outcome Walker loop. It is a **precondition gate**, NOT a
+per-outcome transport-failure gate.
+
+**Dispatch on the state file** at
+`.aperant/state/verify-proof-sandbox-verified.json`:
+
+| condition | action |
+|-----------|--------|
+| `--parallel` requested + state file shows `verified:true` (verdict:`approved`) | **proceed** to Step 2.5; the parallel surface is now safe (each instance has its own SQLite path + userData dir + singleton-lock opt-out). |
+| `--parallel` requested + state file missing OR `verified:false` | **exit BEFORE Step 2.5** with the JSON envelope below; do NOT load deferred MCP tools, do NOT initialize the outcome walker, do NOT write verification.json. |
+| `--parallel` NOT requested | today's behavior unchanged — this gate is a no-op (Fast Path Guarantee ID-07). |
+
+**Fail-loud envelope.** sandbox not verified — run `/apt:verify-proof setup` first:
+
+```json
+{
+  "status": "error",
+  "code": "E_SANDBOX_UNVERIFIED",
+  "verdict": "needs_human",
+  "reason": "sandbox_unverified",
+  "remediation": "/apt:verify-proof setup"
+}
+```
+
+The single-line stderr message is: `sandbox not verified — run \`/apt:verify-proof setup\` first`.
+
+**v2 vocabulary alignment.** The gate's failure envelope uses verify-proof
+v2's existing `verdict:"needs_human"` vocabulary (ID-09) so reviewers,
+downstream tools, and the e2e see one shape across both the per-run
+envelope and per-outcome verification.json. We deliberately do NOT emit
+per-outcome `needs_human_with_transport` rows for this case — sandbox
+unverified is a precondition failure for the whole walker, not a
+per-outcome transport failure for individual outcomes. Only the two
+v2-shipped verdicts (`approved`, `needs_human`) appear in this gate's
+envelope — the deprecated middle-band verdict v2 removed is not
+referenced anywhere in this block (TD-07 grep guard locks this).
+
+**Anti-queue invariant.** This gate fails loud rather than silently
+serializing parallel invocations through a cooperative queue. The
+`install/install-semaphore.mjs` queuing primitive is explicitly forbidden
+in this code path (ID-01); a regression test grep-guards the invariant.
+
+See `docs/verify-proof-sandbox-patterns.md` for the worked
+electron-libsql adopter flow + the manual-integration template for
+unrecognized runtimes.
+
+## Execution — Outcome Walker (v0.9.0)
 
 Execute the verify-proof workflow end-to-end using IDL verbs (the driver
-maps verbs to its transport — MCP server, local command, HTTP):
+maps verbs to its transport — MCP server, local command, HTTP). The
+workflow is an **outcome walker**: iterate `spec.md ## User Outcomes`
+parent bullets one at a time, drive the stated bullet AND each inferred
+child, capture surface-appropriate evidence, fix-loop on red, advance on
+green.
 
 <execution_context>
 @packages/framework/workflows/verify-proof.md
@@ -168,15 +301,17 @@ to adopt the adversarial QA mindset. You are not a helpful assistant during veri
 you are trying to break things and prove they work.
 
 Respect ALL workflow gates:
-1. Pre-check gate — all subtasks completed
-2. Design-lint gate (C11) — for every UI-touching task, run `apt-tools design-lint` against the implementation's generated HTML + `{task_dir}/mockups/mockup_final.html` (when present). The DESIGN.md contract's `antiPatterns` block is the authority. Violations MUST be surfaced in the VERIFICATION.md report as a distinct section; they are NOT blocking by themselves but they contribute to the visual-quality score.
-3. Test generation gate — ALL tests written before execution
-4. Test execution gate — ALL tests executed before scoring
-5. Evidence gate — every test has evidence AND analysis
-6. Scoring gate — scores derived from evidence, not assumed
+1. **Pre-check gate** — all subtasks completed.
+2. **User Outcomes gate** — spec.md MUST carry `## User Outcomes` with `body_kind ∈ {outcomes, empty-with-note}`. NO fallback to feature-registry-derived tests.
+3. **Deferred-tool-load gate** — on Claude Code / OpenCode hosts, MCP driver tools under `drivers/<surface>/manifest.json :: transport.mcp_server_id` MUST be loaded via `ToolSearch(query='select:...')` BEFORE driving any UI-surface outcome.
+4. **Automation gate** — `automated_checks.{tests,typecheck,lint}.status ∈ {pass, fail}` (closed set, no `"enforced_at_commit"` dodge).
+5. **Outcome-walker gate** — every parent outcome AND every inferred child has its own test entry with evidence appropriate to its surface OR `result: "needs_human_with_transport"`.
+6. **Proof gate** — UI-surface outcomes carrying `evidence: "file-evidence: ..."` are rejected as `needs_human_with_transport`. File-evidence is NEVER sufficient for any surface.
+7. **Verdict gate** — verdict is exactly one of `{approved, rejected, needs_human}`. The legacy `approved_with_notes` middle band is DELETED.
+8. **Design-lint gate (C11)** — for every UI-touching task, run `apt-tools design-lint` against the implementation's generated HTML + `{task_dir}/mockups/mockup_final.html` (when present). Violations contribute to the proof-gate evidence story but are NOT blocking on their own.
 
 Use the proof-verification template (@packages/framework/templates/proof-verification.md)
-for the VERIFICATION.md output format.
+for the verification.json output schema.
 
 **Design-lint invocation** (when the task touched UI):
 

package/dist/proof-report.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proof-report.d.ts","sourceRoot":"","sources":["../src/proof-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAA0C,aAAa,EAAE,MAAM,eAAe,CAAA;AAiJ1F,kDAAkD;AAClD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAkLjF;AAED,mFAAmF;AACnF,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAyErF;AAED,uFAAuF;AACvF,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CASpF"}
+{"version":3,"file":"proof-report.d.ts","sourceRoot":"","sources":["../src/proof-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAA0C,aAAa,EAAE,MAAM,eAAe,CAAA;AAoJ1F,kDAAkD;AAClD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAkLjF;AAED,mFAAmF;AACnF,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAyErF;AAED,uFAAuF;AACvF,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CASpF"}

package/dist/proof-report.js

@@ -16,13 +16,16 @@ function escapeHtml(str) {
         .replace(/"/g, '"');
 }
 function statusBadge(status) {
+    // v0.9.0 — verdict enum is {approved, rejected, needs_human}.
+    // `needs_human` is amber; `approved-with-notes` is DELETED (no shim).
     const colors = {
         pass: '#22c55e',
         approved: '#22c55e',
         fail: '#ef4444',
         rejected: '#ef4444',
         partial: '#f59e0b',
-        'approved-with-notes': '#f59e0b',
+        needs_human: '#f59e0b',
+        needs_human_with_transport: '#f59e0b',
         skip: '#6b7280',
         error: '#ef4444',
     };

package/dist/proof-report.js.map

@@ -1 +1 @@
-{"version":3,"file":"proof-report.js","sourceRoot":"","sources":["../src/proof-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,SAAS,UAAU,CAAC,GAAW;IAC9B,OAAO,GAAG;SACR,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AAC1B,CAAC;AAED,SAAS,WAAW,CAAC,MAAc;IAClC,MAAM,MAAM,GAA2B;QACtC,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,SAAS;QACnB,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,SAAS;QAClB,qBAAqB,EAAE,SAAS;QAChC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,SAAS;KAChB,CAAA;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,SAAS,CAAA;IACzC,OAAO,2BAA2B,KAAK,6GAA6G,UAAU,CAAC,MAAM,CAAC,SAAS,CAAA;AAChL,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,KAAa,EAAE,SAAiB;IAC1E,MAAM,GAAG,GAAG,KAAK,GAAG,EAAE,CAAA;IACtB,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;IACzE,OAAO;;;+DAGuD,UAAU,CAAC,KAAK,CAAC;yCACvC,KAAK,MAAM,KAAK;;;6BAG5B,KAAK,sBAAsB,GAAG;;+DAEI,UAAU,CAAC,SAAS,CAAC;SAC3E,CAAA;AACT,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,MAAc,EAAE,MAAc;IACjE,MAAM,IAAI,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAA;IACxD,MAAM,KAAK,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;IACvD,OAAO;;wBAEgB,KAAK,qBAAqB,IAAI;oCAClB,UAAU,CAAC,KAAK,CAAC;kEACa,UAAU,CAAC,MAAM,CAAC;SAC3E,CAAA;AACT,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,KAAa;IACpD,OAAO;;6EAEqE,UAAU,CAAC,KAAK,CAAC;2MAC6G,UAAU,CAAC,MAAM,CAAC;aAChN,CAAA;AACb,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAiB;IAC1C,IAAI,CAAC,KAAK,CAAC,SAAS;QAAE,OAAO,EAAE,CAAA;IAC/B,OAAO;;8EAEsE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;qCAChE,KAAK,CAAC,SAAS,6EAA6E,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;SAC/I,CAAA;AACT,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB;IACrC,MAAM,KAAK,GAAa,EAAE,CAAA;IAE1B,KAAK,CAAC,IAAI,CAAC;uDAC2C,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;;MAEtI,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC;oCACK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;MACtG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,gEAAgE,KAAK,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,EAAE;UAC3G,CAAC,CAAA;IAEV,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAA;IACpC,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC;;YAED,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC;8BACpB,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC;oBAC9C,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;UAC5C,CAAC,CAAA;IACV,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACpB,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACtB,CAAC;AAED,SAAS,aAAa,CAAC,OAAqB;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAA;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAA;IAEpC,OAAO;;;MAGF,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;2CACU,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC;mEACA,SAAS,IAAI,KAAK;;KAEhF,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,uEAAuE,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;KAC7H,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,qEAAqE,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;KACnI,SAAS;SACL,CAAA;AACT,CAAC;AAED,SAAS,aAAa,CAAC,OAAqB;IAC3C,MAAM,cAAc,GAA2B;QAC9C,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,SAAS;KAChB,CAAA;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAA;IAE3D,OAAO;;;8BAGsB,KAAK,oFAAoF,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;MAC7I,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC;kDACgB,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC;+EACI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC;;wFAE3B,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC;6CACnE,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC;KAEpE,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC1B,CAAC,CAAC,gFAAgF,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO;QAC1J,CAAC,CAAC,EACJ;SACM,CAAA;AACT,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,iBAAiB,CAAC,QAAuB,EAAE,KAAc;IACxE,MAAM,WAAW,GAAG,KAAK,IAAI,kBAAkB,QAAQ,CAAC,OAAO,EAAE,CAAA;IACjE,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAA;IAC9C,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAA;IAClF,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAA;IAC1C,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAA;IAEhD,MAAM,UAAU,GAAG;QAClB,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC;QAC1F,WAAW,CACV,YAAY,EACZ,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAChC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,SAAS;YACrD,CAAC,CAAC,OAAO,CACV;QACD,WAAW,CACV,MAAM,EACN,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAC3B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,OAAO,CACzF;KACD,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEV,MAAM,cAAc,GAAG,UAAU;SAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;SACjE,IAAI,CAAC,EAAE,CAAC,CAAA;IACV,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClE,MAAM,YAAY,GACjB,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAElF,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM;QACjC,CAAC,CAAC;oDACgD,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;;oEAErG,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC;;MAEvG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;cAC9C,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU;;SAEzD;QACP,CAAC,CAAC,EAAE,CAAA;IAEL,MAAM,eAAe,GAAG;QACvB,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;QAC9F,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM;YAC/B,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC;YAChE,CAAC,CAAC,EAAE;QACL,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;KACtF,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEV,OAAO;;;;;SAKC,UAAU,CAAC,WAAW,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CzB,UAAU,CAAC,WAAW,CAAC;;SAErB,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC/B,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC;;4BAEjD,WAAW,CAAC,QAAQ,CAAC;;;;8BAInB,cAAc,IAAI,aAAa;;;;8BAI/B,QAAQ,CAAC,SAAS,CAAC,UAAU;;;;;;;EAOzD,UAAU;;;;;IAKR,cAAc;;;;;;;IAOd,UAAU;;GAEX,eAAe;;;EAIjB,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC;;;GAGD,YAAY;OACR;QACL,CAAC,CAAC,EACJ;;;;GAIG,YAAY,IAAI,2JAA2J;;;EAI7K,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACnC,CAAC,CAAC;;;;IAIA,QAAQ,CAAC,SAAS,CAAC,MAAM;aACzB,GAAG,CACH,CAAC,KAAK,EAAE,EAAE,CAAC;;6BAEc,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,kFAAkF,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;mDACtL,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;+DACV,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;SACnF,CACL;aACA,IAAI,CAAC,EAAE,CAAC;;OAEL;QACL,CAAC,CAAC,EACJ;;;;;;;;QAQQ,CAAA;AACR,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,qBAAqB,CAAC,QAAuB,EAAE,KAAc;IAC5E,MAAM,WAAW,GAAG,KAAK,IAAI,iBAAiB,QAAQ,CAAC,OAAO,EAAE,CAAA;IAChE,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAA;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAE7C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC,CAAA;IAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,KAAK,CAAC,IAAI,CACT,eAAe,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,eAAe,QAAQ,CAAC,KAAK,gBAAgB,IAAI,EAAE,CACzG,CAAA;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,YAAY;IACZ,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;IAC1B,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAA;IAC/C,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAA;IAC/C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,SAAS,IAAI,CAAC,CAAA;IAClE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,SAAS;IACT,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAA;IAC7F,KAAK,CAAC,IAAI,CACT,YAAY,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1J,CAAA;IACD,KAAK,CAAC,IAAI,CACT,WAAW,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAClI,CAAA;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,WAAW;IACX,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAA;YACrE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,SAAS,CAAC,CAAA;QACpF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACf,CAAC;IAED,SAAS;IACT,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;QACpC,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAA;QACzD,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAA;QACzD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CACT,KAAK,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,KAAK,CACpF,CAAA;QACF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACd,KAAK,CAAC,IAAI,CACT,sBAAsB,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,CAC5G,CAAA;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACf,CAAC;IAED,SAAS;IACT,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QACvB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,QAAQ,SAAS,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,CAAA;QAChF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACf,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACjB,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAA;IAE9C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,oBAAoB,CAAC,QAAuB,EAAE,KAAc;IAC3E,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAEtD,yEAAyE;IACzE,OAAO,IAAI,CAAC,OAAO,CAClB,SAAS,EACT,yDAAyD,YAAY,sBAAsB,CAC3F,CAAA;AACF,CAAC"}
+{"version":3,"file":"proof-report.js","sourceRoot":"","sources":["../src/proof-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,SAAS,UAAU,CAAC,GAAW;IAC9B,OAAO,GAAG;SACR,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AAC1B,CAAC;AAED,SAAS,WAAW,CAAC,MAAc;IAClC,8DAA8D;IAC9D,sEAAsE;IACtE,MAAM,MAAM,GAA2B;QACtC,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,SAAS;QACnB,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,SAAS;QAClB,WAAW,EAAE,SAAS;QACtB,0BAA0B,EAAE,SAAS;QACrC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,SAAS;KAChB,CAAA;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,SAAS,CAAA;IACzC,OAAO,2BAA2B,KAAK,6GAA6G,UAAU,CAAC,MAAM,CAAC,SAAS,CAAA;AAChL,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,KAAa,EAAE,SAAiB;IAC1E,MAAM,GAAG,GAAG,KAAK,GAAG,EAAE,CAAA;IACtB,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;IACzE,OAAO;;;+DAGuD,UAAU,CAAC,KAAK,CAAC;yCACvC,KAAK,MAAM,KAAK;;;6BAG5B,KAAK,sBAAsB,GAAG;;+DAEI,UAAU,CAAC,SAAS,CAAC;SAC3E,CAAA;AACT,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,MAAc,EAAE,MAAc;IACjE,MAAM,IAAI,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAA;IACxD,MAAM,KAAK,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;IACvD,OAAO;;wBAEgB,KAAK,qBAAqB,IAAI;oCAClB,UAAU,CAAC,KAAK,CAAC;kEACa,UAAU,CAAC,MAAM,CAAC;SAC3E,CAAA;AACT,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,KAAa;IACpD,OAAO;;6EAEqE,UAAU,CAAC,KAAK,CAAC;2MAC6G,UAAU,CAAC,MAAM,CAAC;aAChN,CAAA;AACb,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAiB;IAC1C,IAAI,CAAC,KAAK,CAAC,SAAS;QAAE,OAAO,EAAE,CAAA;IAC/B,OAAO;;8EAEsE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;qCAChE,KAAK,CAAC,SAAS,6EAA6E,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;SAC/I,CAAA;AACT,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB;IACrC,MAAM,KAAK,GAAa,EAAE,CAAA;IAE1B,KAAK,CAAC,IAAI,CAAC;uDAC2C,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;;MAEtI,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC;oCACK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;MACtG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,gEAAgE,KAAK,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,EAAE;UAC3G,CAAC,CAAA;IAEV,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAA;IACpC,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC;;YAED,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC;8BACpB,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC;oBAC9C,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;UAC5C,CAAC,CAAA;IACV,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACpB,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACtB,CAAC;AAED,SAAS,aAAa,CAAC,OAAqB;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAA;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAA;IAEpC,OAAO;;;MAGF,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;2CACU,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC;mEACA,SAAS,IAAI,KAAK;;KAEhF,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,uEAAuE,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;KAC7H,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,qEAAqE,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;KACnI,SAAS;SACL,CAAA;AACT,CAAC;AAED,SAAS,aAAa,CAAC,OAAqB;IAC3C,MAAM,cAAc,GAA2B;QAC9C,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,SAAS;KAChB,CAAA;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAA;IAE3D,OAAO;;;8BAGsB,KAAK,oFAAoF,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;MAC7I,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC;kDACgB,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC;+EACI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC;;wFAE3B,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC;6CACnE,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC;KAEpE,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC1B,CAAC,CAAC,gFAAgF,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO;QAC1J,CAAC,CAAC,EACJ;SACM,CAAA;AACT,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,iBAAiB,CAAC,QAAuB,EAAE,KAAc;IACxE,MAAM,WAAW,GAAG,KAAK,IAAI,kBAAkB,QAAQ,CAAC,OAAO,EAAE,CAAA;IACjE,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAA;IAC9C,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAA;IAClF,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAA;IAC1C,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAA;IAEhD,MAAM,UAAU,GAAG;QAClB,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC;QAC1F,WAAW,CACV,YAAY,EACZ,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAChC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,SAAS;YACrD,CAAC,CAAC,OAAO,CACV;QACD,WAAW,CACV,MAAM,EACN,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAC3B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,OAAO,CACzF;KACD,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEV,MAAM,cAAc,GAAG,UAAU;SAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;SACjE,IAAI,CAAC,EAAE,CAAC,CAAA;IACV,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClE,MAAM,YAAY,GACjB,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAElF,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM;QACjC,CAAC,CAAC;oDACgD,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;;oEAErG,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC;;MAEvG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;cAC9C,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU;;SAEzD;QACP,CAAC,CAAC,EAAE,CAAA;IAEL,MAAM,eAAe,GAAG;QACvB,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;QAC9F,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM;YAC/B,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC;YAChE,CAAC,CAAC,EAAE;QACL,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;KACtF,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEV,OAAO;;;;;SAKC,UAAU,CAAC,WAAW,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2CzB,UAAU,CAAC,WAAW,CAAC;;SAErB,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC/B,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC;;4BAEjD,WAAW,CAAC,QAAQ,CAAC;;;;8BAInB,cAAc,IAAI,aAAa;;;;8BAI/B,QAAQ,CAAC,SAAS,CAAC,UAAU;;;;;;;EAOzD,UAAU;;;;;IAKR,cAAc;;;;;;;IAOd,UAAU;;GAEX,eAAe;;;EAIjB,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC;;;GAGD,YAAY;OACR;QACL,CAAC,CAAC,EACJ;;;;GAIG,YAAY,IAAI,2JAA2J;;;EAI7K,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACnC,CAAC,CAAC;;;;IAIA,QAAQ,CAAC,SAAS,CAAC,MAAM;aACzB,GAAG,CACH,CAAC,KAAK,EAAE,EAAE,CAAC;;6BAEc,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,kFAAkF,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;mDACtL,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;+DACV,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;SACnF,CACL;aACA,IAAI,CAAC,EAAE,CAAC;;OAEL;QACL,CAAC,CAAC,EACJ;;;;;;;;QAQQ,CAAA;AACR,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,qBAAqB,CAAC,QAAuB,EAAE,KAAc;IAC5E,MAAM,WAAW,GAAG,KAAK,IAAI,iBAAiB,QAAQ,CAAC,OAAO,EAAE,CAAA;IAChE,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAA;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAE7C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC,CAAA;IAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,KAAK,CAAC,IAAI,CACT,eAAe,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,eAAe,QAAQ,CAAC,KAAK,gBAAgB,IAAI,EAAE,CACzG,CAAA;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,YAAY;IACZ,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;IAC1B,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAA;IAC/C,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAA;IAC/C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,SAAS,IAAI,CAAC,CAAA;IAClE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,SAAS;IACT,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAA;IAC7F,KAAK,CAAC,IAAI,CACT,YAAY,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1J,CAAA;IACD,KAAK,CAAC,IAAI,CACT,WAAW,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAClI,CAAA;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,WAAW;IACX,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAA;YACrE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,SAAS,CAAC,CAAA;QACpF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACf,CAAC;IAED,SAAS;IACT,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAA;QACpC,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAA;QACzD,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAA;QACzD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CACT,KAAK,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,OAAO,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,KAAK,CACpF,CAAA;QACF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACd,KAAK,CAAC,IAAI,CACT,sBAAsB,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,CAC5G,CAAA;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACf,CAAC;IAED,SAAS;IACT,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QACvB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,QAAQ,SAAS,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,CAAA;QAChF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACf,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACjB,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAA;IAE9C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,oBAAoB,CAAC,QAAuB,EAAE,KAAc;IAC3E,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAEtD,yEAAyE;IACzE,OAAO,IAAI,CAAC,OAAO,CAClB,SAAS,EACT,yDAAyD,YAAY,sBAAsB,CAC3F,CAAA;AACF,CAAC"}

package/dist/types/config.d.ts

@@ -95,12 +95,17 @@ export interface GraceMode {
     /** Temporarily lowered Coverage threshold during grace (default: 3) */
     coverage_threshold_override: number;
 }
-/** Quality assurance thresholds and behavior */
+/**
+ * Quality assurance thresholds and behavior.
+ *
+ * v0.9.0 (verify-proof-v2-outcome-walker_27-05-26) — `approved_with_notes_threshold`
+ * is DELETED. Reading a legacy config value at this key is silently dropped
+ * (logged once); see `src/cli/consistency/parse-qa.mjs` for the migration error
+ * surface on stale `qa_signoff.json` files.
+ */
 export interface QAConfig {
-    /** Minimum score (1-10) for "approved" verdict */
+    /** Minimum score (1-10) for "approved" verdict (informational rationale only in v0.9.0+) */
     approved_threshold: number;
-    /** Minimum score (1-10) for "approved with notes" verdict */
-    approved_with_notes_threshold: number;
     /** Require visual proof capture for UI changes */
     require_proof_for_ui: boolean;
     /** Max fix-verify iterations before failing */
@@ -110,6 +115,27 @@ export interface QAConfig {
 }
 /** Detected or user-specified project archetype */
 export type ProjectType = 'web-app' | 'api-service' | 'cli-tool' | 'library' | 'monorepo' | 'unknown';
+/**
+ * Sandbox-setup opt-in for parallel /apt:verify-proof (milestone
+ * `fw-sandbox-parallel-verify-proof`). Mirrors the JSON-Schema at
+ * `packages/framework/src/cli/verify-proof/sandbox/sandbox-schema.json`.
+ *
+ * - `enabled`: master switch; false suppresses the gate without removing
+ *   recipe artifacts.
+ * - `recipeId` + `recipeVersion`: identifies which recipe was applied.
+ *   Read by `apt-tools recipe-diff` to dispatch on already-applied /
+ *   incremental / incompatible cases via the recipe's
+ *   `compatibleWithApplied[]` field (ID-05).
+ * - `appliedAt`, `appliedHash`: optional audit metadata recorded at apply
+ *   time. Drift detection uses `appliedHash`.
+ */
+export interface SandboxConfig {
+    enabled: boolean;
+    recipeId: string;
+    recipeVersion: string;
+    appliedAt?: string;
+    appliedHash?: string;
+}
 /** Full v2 config schema — stored at .aperant/config.json */
 export interface AperantConfig {
     version: number;
@@ -123,6 +149,18 @@ export interface AperantConfig {
         evidence_capture: boolean;
         max_iterations: number;
         strict: boolean;
+        /**
+         * Sandbox-setup opt-in (parallel /apt:verify-proof). Optional.
+         * Absent = today's behavior, byte-identical Fast Path Guarantee (ID-07).
+         * Present = the sandbox precondition gate at apt-verify-proof/SKILL.md
+         * Step 2c reads the verified state file and gates `--parallel` runs on
+         * the v2 verdict envelope (verdict:'needs_human', reason:'sandbox_unverified').
+         *
+         * Written by `apt-tools apply-recipe --confirm`; consumed by the gate
+         * and the first-run hook. See packages/framework/src/cli/verify-proof/
+         * sandbox/sandbox-schema.json for the JSON-schema mirror.
+         */
+        sandbox?: SandboxConfig;
     };
     multi_model: {
         enabled?: boolean;

package/dist/types/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/types/config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,0EAA0E;AAC1E,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,YAAY,GAAG,YAAY,GAAG,YAAY,CAAA;AAEnF,wEAAwE;AACxE,MAAM,WAAW,2BAA2B;IAC3C,8EAA8E;IAC9E,KAAK,CAAC,EAAE,iBAAiB,CAAA;IACzB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,iBAAiB,CAAA;IAC5B,4EAA4E;IAC5E,IAAI,CAAC,EAAE,iBAAiB,CAAA;CACxB;AAED,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IACnC,2EAA2E;IAC3E,gBAAgB,EAAE,iBAAiB,CAAA;IACnC,0EAA0E;IAC1E,WAAW,EAAE,iBAAiB,CAAA;IAC9B,yEAAyE;IACzE,WAAW,EAAE,iBAAiB,CAAA;IAC9B;;;;;;;;;;;;;;;OAeG;IACH,SAAS,CAAC,EAAE,2BAA2B,CAAA;CACvC;AAED,2CAA2C;AAC3C,MAAM,WAAW,gBAAgB;IAChC,UAAU,EAAE,OAAO,CAAA;IACnB,WAAW,EAAE,OAAO,CAAA;IACpB,SAAS,EAAE,OAAO,CAAA;IAClB,iBAAiB,EAAE,OAAO,CAAA;IAC1B,+GAA+G;IAC/G,kBAAkB,EAAE,OAAO,CAAA;CAC3B;AAED,iDAAiD;AACjD,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE,IAAI,CAAA;IACZ,OAAO,EAAE,aAAa,CAAA;IACtB,IAAI,EAAE;QACL,GAAG,EAAE,aAAa,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,GAAG,IAAI,GAAG,SAAS,CAAA;QAC3E,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;QACtB,YAAY,EAAE,gBAAgB,CAAA;KAC9B,CAAA;CACD;AAED,oDAAoD;AACpD,MAAM,WAAW,OAAO;IACvB,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,UAAU,EAAE,MAAM,EAAE,CAAA;CACpB;AAED,4DAA4D;AAC5D,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,aAAa,CAAA;AAEnF,qCAAqC;AACrC,MAAM,WAAW,eAAe;IAC/B,UAAU,EAAE,SAAS,CAAA;IACrB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,aAAa,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,SAAS,CAAC;QAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAA;IAC7F,cAAc,EAAE,MAAM,GAAG,IAAI,CAAA;CAC7B;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC9B,2EAA2E;IAC3E,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACtB,+CAA+C;IAC/C,UAAU,EAAE,OAAO,CAAA;CACnB;AAED,8EAA8E;AAC9E,MAAM,WAAW,SAAS;IACzB,6CAA6C;IAC7C,OAAO,EAAE,OAAO,CAAA;IAChB,6EAA6E;IAC7E,eAAe,EAAE,MAAM,CAAA;IACvB,uEAAuE;IACvE,2BAA2B,EAAE,MAAM,CAAA;CACnC;AAED,gDAAgD;AAChD,MAAM,WAAW,QAAQ;IACxB,kDAAkD;IAClD,kBAAkB,EAAE,MAAM,CAAA;IAC1B,6DAA6D;IAC7D,6BAA6B,EAAE,MAAM,CAAA;IACrC,kDAAkD;IAClD,oBAAoB,EAAE,OAAO,CAAA;IAC7B,+CAA+C;IAC/C,kBAAkB,EAAE,MAAM,CAAA;IAC1B,4FAA4F;IAC5F,KAAK,CAAC,EAAE,SAAS,CAAA;CACjB;AAED,mDAAmD;AACnD,MAAM,MAAM,WAAW,GACpB,SAAS,GACT,aAAa,GACb,UAAU,GACV,SAAS,GACT,UAAU,GACV,SAAS,CAAA;AAEZ,6DAA6D;AAC7D,MAAM,WAAW,aAAa;IAC7B,OAAO,EAAE,MAAM,CAAA;IACf,YAAY,EAAE,WAAW,CAAA;IACzB,QAAQ,EAAE,cAAc,CAAA;IACxB,EAAE,EAAE,QAAQ,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;IACjB,YAAY,EAAE;QACb,WAAW,EAAE,OAAO,CAAA;QACpB,cAAc,EAAE,MAAM,EAAE,CAAA;QACxB,gBAAgB,EAAE,OAAO,CAAA;QACzB,cAAc,EAAE,MAAM,CAAA;QACtB,MAAM,EAAE,OAAO,CAAA;KACf,CAAA;IACD,WAAW,EAAE;QACZ,OAAO,CAAC,EAAE,OAAO,CAAA;QACjB,MAAM,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAA;QACjE,KAAK,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAA;SAAE,CAAA;QAC5B,kBAAkB,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAC;YAAC,KAAK,EAAE,MAAM,EAAE,CAAA;SAAE,CAAA;QAC1D,YAAY,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAA;KACvE,CAAA;IACD,QAAQ,EAAE;QACT,WAAW,EAAE,OAAO,CAAA;QACpB,WAAW,EAAE,OAAO,CAAA;QACpB,aAAa,EAAE,MAAM,CAAA;KACrB,CAAA;IACD,eAAe,EAAE;QAChB,OAAO,EAAE,OAAO,CAAA;QAChB,UAAU,EAAE,MAAM,CAAA;QAClB,aAAa,EAAE,OAAO,CAAA;KACtB,CAAA;IACD,WAAW,CAAC,EAAE;QACb,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,UAAU,CAAC,EAAE,OAAO,CAAA;QACpB,YAAY,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAC;YAAC,gBAAgB,EAAE,MAAM,CAAA;SAAE,CAAA;QAC7D,sBAAsB,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,OAAO,CAAA;KACnD,CAAA;IACD,yEAAyE;IACzE,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,0EAA0E;IAC1E,MAAM,CAAC,EAAE,YAAY,CAAA;IACrB,oDAAoD;IACpD,SAAS,CAAC,EAAE,cAAc,CAAA;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,aAAa,CAAA;IACxB,gEAAgE;IAChE,GAAG,CAAC,EAAE,SAAS,CAAA;IACf,uEAAuE;IACvE,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,oEAAoE;IACpE,IAAI,CAAC,EAAE,UAAU,CAAA;CACjB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACzB,6DAA6D;IAC7D,QAAQ,EAAE,OAAO,CAAA;CACjB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,aAAa;IAC7B,wEAAwE;IACxE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;IACpB,sFAAsF;IACtF,UAAU,CAAC,EAAE;QACZ,IAAI,EAAE,MAAM,CAAA;QACZ,QAAQ,EAAE,SAAS,GAAG,QAAQ,CAAA;QAC9B,SAAS,EAAE,MAAM,CAAA;KACjB,GAAG,IAAI,CAAA;CACR;AAED,uEAAuE;AACvE,MAAM,WAAW,uBAAuB;IACvC,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAA;IACf,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAA;IACb,iEAAiE;IACjE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;CACf;AAED,MAAM,WAAW,eAAe;IAC/B;;;;;OAKG;IACH,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,+DAA+D;IAC/D,SAAS,EAAE;QACV,aAAa,CAAC,EAAE,uBAAuB,CAAA;QACvC,KAAK,CAAC,EAAE,uBAAuB,CAAA;QAC/B,YAAY,CAAC,EAAE,uBAAuB,CAAA;QACtC,QAAQ,CAAC,EAAE,uBAAuB,CAAA;KAClC,CAAA;CACD;AAED,MAAM,WAAW,YAAY;IAC5B,GAAG,CAAC,EAAE,eAAe,CAAA;CACrB;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,UAAU;IAC1B,+EAA+E;IAC/E,OAAO,EAAE,OAAO,CAAA;IAChB,yEAAyE;IACzE,OAAO,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAAA;IAC7C,2EAA2E;IAC3E,IAAI,CAAC,EAAE,OAAO,CAAA;CACd;AAED,8EAA8E;AAC9E,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,CAAA;AAElE,4CAA4C;AAC5C,MAAM,WAAW,cAAc;IAC9B,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,sBAAsB,CAAA;IAC5C;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,CAAC,CAAA;IAC3D;;;;;;;;;;OAUG;IACH,kBAAkB,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,OAAO,CAAA;CAC/C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa;IAC7B;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,MAAM,GAAG,KAAK,GAAG,OAAO,CAAA;IACrC;;;;;;OAMG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAC7B"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/types/config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,0EAA0E;AAC1E,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,YAAY,GAAG,YAAY,GAAG,YAAY,CAAA;AAEnF,wEAAwE;AACxE,MAAM,WAAW,2BAA2B;IAC3C,8EAA8E;IAC9E,KAAK,CAAC,EAAE,iBAAiB,CAAA;IACzB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,iBAAiB,CAAA;IAC5B,4EAA4E;IAC5E,IAAI,CAAC,EAAE,iBAAiB,CAAA;CACxB;AAED,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IACnC,2EAA2E;IAC3E,gBAAgB,EAAE,iBAAiB,CAAA;IACnC,0EAA0E;IAC1E,WAAW,EAAE,iBAAiB,CAAA;IAC9B,yEAAyE;IACzE,WAAW,EAAE,iBAAiB,CAAA;IAC9B;;;;;;;;;;;;;;;OAeG;IACH,SAAS,CAAC,EAAE,2BAA2B,CAAA;CACvC;AAED,2CAA2C;AAC3C,MAAM,WAAW,gBAAgB;IAChC,UAAU,EAAE,OAAO,CAAA;IACnB,WAAW,EAAE,OAAO,CAAA;IACpB,SAAS,EAAE,OAAO,CAAA;IAClB,iBAAiB,EAAE,OAAO,CAAA;IAC1B,+GAA+G;IAC/G,kBAAkB,EAAE,OAAO,CAAA;CAC3B;AAED,iDAAiD;AACjD,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE,IAAI,CAAA;IACZ,OAAO,EAAE,aAAa,CAAA;IACtB,IAAI,EAAE;QACL,GAAG,EAAE,aAAa,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,GAAG,IAAI,GAAG,SAAS,CAAA;QAC3E,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;QACtB,YAAY,EAAE,gBAAgB,CAAA;KAC9B,CAAA;CACD;AAED,oDAAoD;AACpD,MAAM,WAAW,OAAO;IACvB,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,UAAU,EAAE,MAAM,EAAE,CAAA;CACpB;AAED,4DAA4D;AAC5D,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,aAAa,CAAA;AAEnF,qCAAqC;AACrC,MAAM,WAAW,eAAe;IAC/B,UAAU,EAAE,SAAS,CAAA;IACrB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,aAAa,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,SAAS,CAAC;QAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAA;IAC7F,cAAc,EAAE,MAAM,GAAG,IAAI,CAAA;CAC7B;AAED,+CAA+C;AAC/C,MAAM,WAAW,cAAc;IAC9B,2EAA2E;IAC3E,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACtB,+CAA+C;IAC/C,UAAU,EAAE,OAAO,CAAA;CACnB;AAED,8EAA8E;AAC9E,MAAM,WAAW,SAAS;IACzB,6CAA6C;IAC7C,OAAO,EAAE,OAAO,CAAA;IAChB,6EAA6E;IAC7E,eAAe,EAAE,MAAM,CAAA;IACvB,uEAAuE;IACvE,2BAA2B,EAAE,MAAM,CAAA;CACnC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,QAAQ;IACxB,4FAA4F;IAC5F,kBAAkB,EAAE,MAAM,CAAA;IAC1B,kDAAkD;IAClD,oBAAoB,EAAE,OAAO,CAAA;IAC7B,+CAA+C;IAC/C,kBAAkB,EAAE,MAAM,CAAA;IAC1B,4FAA4F;IAC5F,KAAK,CAAC,EAAE,SAAS,CAAA;CACjB;AAED,mDAAmD;AACnD,MAAM,MAAM,WAAW,GACpB,SAAS,GACT,aAAa,GACb,UAAU,GACV,SAAS,GACT,UAAU,GACV,SAAS,CAAA;AAEZ;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,aAAa;IAC7B,OAAO,EAAE,OAAO,CAAA;IAChB,QAAQ,EAAE,MAAM,CAAA;IAChB,aAAa,EAAE,MAAM,CAAA;IACrB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,WAAW,CAAC,EAAE,MAAM,CAAA;CACpB;AAED,6DAA6D;AAC7D,MAAM,WAAW,aAAa;IAC7B,OAAO,EAAE,MAAM,CAAA;IACf,YAAY,EAAE,WAAW,CAAA;IACzB,QAAQ,EAAE,cAAc,CAAA;IACxB,EAAE,EAAE,QAAQ,CAAA;IACZ,QAAQ,EAAE,OAAO,CAAA;IACjB,YAAY,EAAE;QACb,WAAW,EAAE,OAAO,CAAA;QACpB,cAAc,EAAE,MAAM,EAAE,CAAA;QACxB,gBAAgB,EAAE,OAAO,CAAA;QACzB,cAAc,EAAE,MAAM,CAAA;QACtB,MAAM,EAAE,OAAO,CAAA;QACf;;;;;;;;;;WAUG;QACH,OAAO,CAAC,EAAE,aAAa,CAAA;KACvB,CAAA;IACD,WAAW,EAAE;QACZ,OAAO,CAAC,EAAE,OAAO,CAAA;QACjB,MAAM,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAA;QACjE,KAAK,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAA;SAAE,CAAA;QAC5B,kBAAkB,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAC;YAAC,KAAK,EAAE,MAAM,EAAE,CAAA;SAAE,CAAA;QAC1D,YAAY,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAA;KACvE,CAAA;IACD,QAAQ,EAAE;QACT,WAAW,EAAE,OAAO,CAAA;QACpB,WAAW,EAAE,OAAO,CAAA;QACpB,aAAa,EAAE,MAAM,CAAA;KACrB,CAAA;IACD,eAAe,EAAE;QAChB,OAAO,EAAE,OAAO,CAAA;QAChB,UAAU,EAAE,MAAM,CAAA;QAClB,aAAa,EAAE,OAAO,CAAA;KACtB,CAAA;IACD,WAAW,CAAC,EAAE;QACb,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,UAAU,CAAC,EAAE,OAAO,CAAA;QACpB,YAAY,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAC;YAAC,gBAAgB,EAAE,MAAM,CAAA;SAAE,CAAA;QAC7D,sBAAsB,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,OAAO,CAAA;KACnD,CAAA;IACD,yEAAyE;IACzE,aAAa,CAAC,EAAE,mBAAmB,CAAA;IACnC,0EAA0E;IAC1E,MAAM,CAAC,EAAE,YAAY,CAAA;IACrB,oDAAoD;IACpD,SAAS,CAAC,EAAE,cAAc,CAAA;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,aAAa,CAAA;IACxB,gEAAgE;IAChE,GAAG,CAAC,EAAE,SAAS,CAAA;IACf,uEAAuE;IACvE,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,oEAAoE;IACpE,IAAI,CAAC,EAAE,UAAU,CAAA;CACjB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACzB,6DAA6D;IAC7D,QAAQ,EAAE,OAAO,CAAA;CACjB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,aAAa;IAC7B,wEAAwE;IACxE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;IACpB,sFAAsF;IACtF,UAAU,CAAC,EAAE;QACZ,IAAI,EAAE,MAAM,CAAA;QACZ,QAAQ,EAAE,SAAS,GAAG,QAAQ,CAAA;QAC9B,SAAS,EAAE,MAAM,CAAA;KACjB,GAAG,IAAI,CAAA;CACR;AAED,uEAAuE;AACvE,MAAM,WAAW,uBAAuB;IACvC,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAA;IACf,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAA;IACb,iEAAiE;IACjE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;CACf;AAED,MAAM,WAAW,eAAe;IAC/B;;;;;OAKG;IACH,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,+DAA+D;IAC/D,SAAS,EAAE;QACV,aAAa,CAAC,EAAE,uBAAuB,CAAA;QACvC,KAAK,CAAC,EAAE,uBAAuB,CAAA;QAC/B,YAAY,CAAC,EAAE,uBAAuB,CAAA;QACtC,QAAQ,CAAC,EAAE,uBAAuB,CAAA;KAClC,CAAA;CACD;AAED,MAAM,WAAW,YAAY;IAC5B,GAAG,CAAC,EAAE,eAAe,CAAA;CACrB;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,UAAU;IAC1B,+EAA+E;IAC/E,OAAO,EAAE,OAAO,CAAA;IAChB,yEAAyE;IACzE,OAAO,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAAA;IAC7C,2EAA2E;IAC3E,IAAI,CAAC,EAAE,OAAO,CAAA;CACd;AAED,8EAA8E;AAC9E,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,CAAA;AAElE,4CAA4C;AAC5C,MAAM,WAAW,cAAc;IAC9B,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,sBAAsB,CAAA;IAC5C;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,CAAC,CAAA;IAC3D;;;;;;;;;;OAUG;IACH,kBAAkB,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,OAAO,CAAA;CAC/C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa;IAC7B;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,MAAM,GAAG,KAAK,GAAG,OAAO,CAAA;IACrC;;;;;;OAMG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAC7B"}

package/dist/types/qa-scoring.d.ts

@@ -7,29 +7,43 @@ export interface QADimensionScore {
     score: number;
     rationale: string;
 }
-/** Threshold constants for QA verdict derivation */
+/**
+ * Threshold constants for QA verdict derivation.
+ *
+ * v0.9.0 (verify-proof-v2-outcome-walker_27-05-26) — `approved_with_notes`
+ * is DELETED. Dimensions are now informational rationale only; the verdict
+ * derives from the two-gate envelope (`automation_gate` + `proof_gate`),
+ * not per-dimension minimums.
+ */
 export declare const QA_DIMENSION_THRESHOLDS: {
     readonly approved: 7;
-    readonly approved_with_notes: 5;
 };
-/** Scored QA signoff — replaces boolean approved/rejected with dimension scores */
+/** Closed set of QA verdicts in v0.9.0+. `approved_with_notes` is deleted. */
+export type QAVerdict = 'approved' | 'rejected' | 'needs_human';
+/** The two boolean gates that drive verdict derivation. */
+export type GateStatus = 'pass' | 'fail';
+/** Scored QA signoff — verdict + checks + dimensions + findings */
 export interface ScoredQASignoff {
-    status: 'approved' | 'approved-with-notes' | 'rejected';
+    status: QAVerdict;
     timestamp: string;
     iterations: number;
     dimensions: QADimensionScore[];
+    gates: {
+        automation_gate: GateStatus;
+        proof_gate: GateStatus;
+    };
     checks: {
         tests: {
-            status: 'pass' | 'fail';
+            status: GateStatus;
             count: number;
             failures: string[];
         };
         typecheck: {
-            status: 'pass' | 'fail';
+            status: GateStatus;
             errors: string[];
         };
         lint: {
-            status: 'pass' | 'fail';
+            status: GateStatus;
             warnings: number;
         };
     };
@@ -40,6 +54,28 @@ export interface ScoredQASignoff {
     }>;
     notes: string;
 }
-/** Derive verdict from dimension scores */
-export declare function deriveVerdict(scores: QADimensionScore[]): ScoredQASignoff['status'];
+/**
+ * Derive the v0.9.0 two-gate verdict from `{automation_gate, proof_gate}`.
+ *
+ * The legacy per-dimension `deriveVerdict(scores: QADimensionScore[])` is
+ * deleted along with `approved_with_notes` — dimensions are now informational
+ * rationale on the report.
+ *
+ * Rules:
+ *   - `automation_gate: fail`  → `rejected` (regardless of `proof_gate`).
+ *   - `proof_gate: fail`       → `needs_human` (signals UI-surface outcomes
+ *     without proof) when automation is green; this aligns with the
+ *     workflow-level rule "any test with needs_human_with_transport rolls
+ *     up to needs_human" (callers that detect a hard fail without a
+ *     transport hole should pass `proof_gate: 'fail'`).
+ *   - Both gates pass → `approved`.
+ *
+ * Per AC13 (spec.md §3): the workflow's Step 7c rolls a `proof_gate: fail`
+ * caused by a UI-surface escape hatch up to `needs_human`; callers driving
+ * deriveVerdict from `{automation_gate, proof_gate}` get the same answer.
+ */
+export declare function deriveVerdict(input: {
+    automation_gate: GateStatus;
+    proof_gate: GateStatus;
+}): QAVerdict;
 //# sourceMappingURL=qa-scoring.d.ts.map

package/dist/types/qa-scoring.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"qa-scoring.d.ts","sourceRoot":"","sources":["../../src/types/qa-scoring.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,eAAO,MAAM,aAAa,2EAKhB,CAAA;AACV,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAA;AAExD,mDAAmD;AACnD,MAAM,WAAW,gBAAgB;IAChC,SAAS,EAAE,WAAW,CAAA;IACtB,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;CACjB;AAED,oDAAoD;AACpD,eAAO,MAAM,uBAAuB;;;CAI1B,CAAA;AAEV,mFAAmF;AACnF,MAAM,WAAW,eAAe;IAC/B,MAAM,EAAE,UAAU,GAAG,qBAAqB,GAAG,UAAU,CAAA;IACvD,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,UAAU,EAAE,gBAAgB,EAAE,CAAA;IAC9B,MAAM,EAAE;QACP,KAAK,EAAE;YAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;SAAE,CAAA;QACrE,SAAS,EAAE;YAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,EAAE,CAAA;SAAE,CAAA;QACxD,IAAI,EAAE;YAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;YAAC,QAAQ,EAAE,MAAM,CAAA;SAAE,CAAA;KACnD,CAAA;IACD,MAAM,EAAE,KAAK,CAAC;QACb,QAAQ,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,CAAA;QACzC,IAAI,EAAE,MAAM,CAAA;QACZ,WAAW,EAAE,MAAM,CAAA;KACnB,CAAC,CAAA;IACF,KAAK,EAAE,MAAM,CAAA;CACb;AAED,2CAA2C;AAC3C,wBAAgB,aAAa,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,CAMnF"}
+{"version":3,"file":"qa-scoring.d.ts","sourceRoot":"","sources":["../../src/types/qa-scoring.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,eAAO,MAAM,aAAa,2EAKhB,CAAA;AACV,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAA;AAExD,mDAAmD;AACnD,MAAM,WAAW,gBAAgB;IAChC,SAAS,EAAE,WAAW,CAAA;IACtB,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,EAAE,MAAM,CAAA;CACjB;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB;;CAE1B,CAAA;AAEV,8EAA8E;AAC9E,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,aAAa,CAAA;AAE/D,2DAA2D;AAC3D,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAA;AAExC,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC/B,MAAM,EAAE,SAAS,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,UAAU,EAAE,gBAAgB,EAAE,CAAA;IAC9B,KAAK,EAAE;QACN,eAAe,EAAE,UAAU,CAAA;QAC3B,UAAU,EAAE,UAAU,CAAA;KACtB,CAAA;IACD,MAAM,EAAE;QACP,KAAK,EAAE;YAAE,MAAM,EAAE,UAAU,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;SAAE,CAAA;QAChE,SAAS,EAAE;YAAE,MAAM,EAAE,UAAU,CAAC;YAAC,MAAM,EAAE,MAAM,EAAE,CAAA;SAAE,CAAA;QACnD,IAAI,EAAE;YAAE,MAAM,EAAE,UAAU,CAAC;YAAC,QAAQ,EAAE,MAAM,CAAA;SAAE,CAAA;KAC9C,CAAA;IACD,MAAM,EAAE,KAAK,CAAC;QACb,QAAQ,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,CAAA;QACzC,IAAI,EAAE,MAAM,CAAA;QACZ,WAAW,EAAE,MAAM,CAAA;KACnB,CAAC,CAAA;IACF,KAAK,EAAE,MAAM,CAAA;CACb;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACpC,eAAe,EAAE,UAAU,CAAA;IAC3B,UAAU,EAAE,UAAU,CAAA;CACtB,GAAG,SAAS,CAIZ"}

package/dist/types/qa-scoring.js

@@ -5,21 +5,42 @@ export const QA_DIMENSIONS = [
     'code_quality',
     'test_coverage',
 ];
-/** Threshold constants for QA verdict derivation */
+/**
+ * Threshold constants for QA verdict derivation.
+ *
+ * v0.9.0 (verify-proof-v2-outcome-walker_27-05-26) — `approved_with_notes`
+ * is DELETED. Dimensions are now informational rationale only; the verdict
+ * derives from the two-gate envelope (`automation_gate` + `proof_gate`),
+ * not per-dimension minimums.
+ */
 export const QA_DIMENSION_THRESHOLDS = {
-    approved: 7, // All dimensions >= 7 = approved
-    approved_with_notes: 5, // All dimensions >= 5 = approved-with-notes
-    // Any dimension < 5 = rejected
+    approved: 7, // Retained as informational; the verdict derivation no longer reads it.
 };
-/** Derive verdict from dimension scores */
-export function deriveVerdict(scores) {
-    if (scores.length === 0)
+/**
+ * Derive the v0.9.0 two-gate verdict from `{automation_gate, proof_gate}`.
+ *
+ * The legacy per-dimension `deriveVerdict(scores: QADimensionScore[])` is
+ * deleted along with `approved_with_notes` — dimensions are now informational
+ * rationale on the report.
+ *
+ * Rules:
+ *   - `automation_gate: fail`  → `rejected` (regardless of `proof_gate`).
+ *   - `proof_gate: fail`       → `needs_human` (signals UI-surface outcomes
+ *     without proof) when automation is green; this aligns with the
+ *     workflow-level rule "any test with needs_human_with_transport rolls
+ *     up to needs_human" (callers that detect a hard fail without a
+ *     transport hole should pass `proof_gate: 'fail'`).
+ *   - Both gates pass → `approved`.
+ *
+ * Per AC13 (spec.md §3): the workflow's Step 7c rolls a `proof_gate: fail`
+ * caused by a UI-surface escape hatch up to `needs_human`; callers driving
+ * deriveVerdict from `{automation_gate, proof_gate}` get the same answer.
+ */
+export function deriveVerdict(input) {
+    if (input.automation_gate === 'fail')
         return 'rejected';
-    const min = Math.min(...scores.map((s) => s.score));
-    if (min >= QA_DIMENSION_THRESHOLDS.approved)
-        return 'approved';
-    if (min >= QA_DIMENSION_THRESHOLDS.approved_with_notes)
-        return 'approved-with-notes';
-    return 'rejected';
+    if (input.proof_gate === 'fail')
+        return 'needs_human';
+    return 'approved';
 }
 //# sourceMappingURL=qa-scoring.js.map

package/dist/types/qa-scoring.js.map

@@ -1 +1 @@
-{"version":3,"file":"qa-scoring.js","sourceRoot":"","sources":["../../src/types/qa-scoring.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,MAAM,CAAC,MAAM,aAAa,GAAG;IAC5B,cAAc;IACd,aAAa;IACb,cAAc;IACd,eAAe;CACN,CAAA;AAUV,oDAAoD;AACpD,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACtC,QAAQ,EAAE,CAAC,EAAE,iCAAiC;IAC9C,mBAAmB,EAAE,CAAC,EAAE,4CAA4C;IACpE,+BAA+B;CACtB,CAAA;AAqBV,2CAA2C;AAC3C,MAAM,UAAU,aAAa,CAAC,MAA0B;IACvD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAA;IAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IACnD,IAAI,GAAG,IAAI,uBAAuB,CAAC,QAAQ;QAAE,OAAO,UAAU,CAAA;IAC9D,IAAI,GAAG,IAAI,uBAAuB,CAAC,mBAAmB;QAAE,OAAO,qBAAqB,CAAA;IACpF,OAAO,UAAU,CAAA;AAClB,CAAC"}
+{"version":3,"file":"qa-scoring.js","sourceRoot":"","sources":["../../src/types/qa-scoring.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,MAAM,CAAC,MAAM,aAAa,GAAG;IAC5B,cAAc;IACd,aAAa;IACb,cAAc;IACd,eAAe;CACN,CAAA;AAUV;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACtC,QAAQ,EAAE,CAAC,EAAE,wEAAwE;CAC5E,CAAA;AA+BV;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,aAAa,CAAC,KAG7B;IACA,IAAI,KAAK,CAAC,eAAe,KAAK,MAAM;QAAE,OAAO,UAAU,CAAA;IACvD,IAAI,KAAK,CAAC,UAAU,KAAK,MAAM;QAAE,OAAO,aAAa,CAAA;IACrD,OAAO,UAAU,CAAA;AAClB,CAAC"}

package/dist/types/state.d.ts

@@ -24,12 +24,17 @@ export interface ActiveTask {
     phase: TaskPhase;
     progress: TaskProgress;
 }
-/** A task that has been completed */
+/**
+ * A task that has been completed.
+ *
+ * v0.9.0 — `qa_verdict` is the closed set `{approved, rejected, needs_human}`.
+ * The legacy `approved_with_notes` middle band is DELETED (no shim).
+ */
 export interface CompletedTask {
     id: string;
     description: string;
     completed_at: string;
-    qa_verdict: 'approved' | 'approved_with_notes' | 'rejected';
+    qa_verdict: 'approved' | 'rejected' | 'needs_human';
     commits: string[];
 }
 /** A decision recorded during task execution */

package/dist/types/state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/types/state.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,wDAAwD;AACxD,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,OAAO,CAAA;AAE/D,sCAAsC;AACtC,MAAM,MAAM,SAAS,GAClB,YAAY,GACZ,UAAU,GACV,WAAW,GACX,WAAW,GACX,WAAW,GACX,WAAW,GACX,QAAQ,CAAA;AAEX,6CAA6C;AAC7C,MAAM,WAAW,YAAY;IAC5B,cAAc,EAAE,MAAM,CAAA;IACtB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;CAC9B;AAED,oDAAoD;AACpD,MAAM,WAAW,UAAU;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE,SAAS,CAAA;IAChB,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACvB,KAAK,EAAE,SAAS,CAAA;IAChB,QAAQ,EAAE,YAAY,CAAA;CACtB;AAED,qCAAqC;AACrC,MAAM,WAAW,aAAa;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,UAAU,GAAG,qBAAqB,GAAG,UAAU,CAAA;IAC3D,OAAO,EAAE,MAAM,EAAE,CAAA;CACjB;AAED,gDAAgD;AAChD,MAAM,WAAW,YAAY;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;CACZ;AAED,2DAA2D;AAC3D,MAAM,WAAW,YAAY;IAC5B,OAAO,EAAE,MAAM,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,aAAa,EAAE,MAAM,CAAA;IACrB,WAAW,EAAE,UAAU,GAAG,IAAI,CAAA;IAC9B,eAAe,EAAE,aAAa,EAAE,CAAA;IAChC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IACvC,+DAA+D;IAC/D,SAAS,EAAE,OAAO,CAAA;IAClB,oEAAoE;IACpE,UAAU,CAAC,EAAE;QACZ,MAAM,EAAE,OAAO,CAAA;QACf,wBAAwB,EAAE,MAAM,CAAA;QAChC,YAAY,EAAE,MAAM,CAAA;KACpB,CAAA;CACD"}
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/types/state.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,wDAAwD;AACxD,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,OAAO,CAAA;AAE/D,sCAAsC;AACtC,MAAM,MAAM,SAAS,GAClB,YAAY,GACZ,UAAU,GACV,WAAW,GACX,WAAW,GACX,WAAW,GACX,WAAW,GACX,QAAQ,CAAA;AAEX,6CAA6C;AAC7C,MAAM,WAAW,YAAY;IAC5B,cAAc,EAAE,MAAM,CAAA;IACtB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;CAC9B;AAED,oDAAoD;AACpD,MAAM,WAAW,UAAU;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE,SAAS,CAAA;IAChB,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACvB,KAAK,EAAE,SAAS,CAAA;IAChB,QAAQ,EAAE,YAAY,CAAA;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,UAAU,GAAG,UAAU,GAAG,aAAa,CAAA;IACnD,OAAO,EAAE,MAAM,EAAE,CAAA;CACjB;AAED,gDAAgD;AAChD,MAAM,WAAW,YAAY;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,MAAM,CAAA;CACZ;AAED,2DAA2D;AAC3D,MAAM,WAAW,YAAY;IAC5B,OAAO,EAAE,MAAM,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,aAAa,EAAE,MAAM,CAAA;IACrB,WAAW,EAAE,UAAU,GAAG,IAAI,CAAA;IAC9B,eAAe,EAAE,aAAa,EAAE,CAAA;IAChC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IACvC,+DAA+D;IAC/D,SAAS,EAAE,OAAO,CAAA;IAClB,oEAAoE;IACpE,UAAU,CAAC,EAAE;QACZ,MAAM,EAAE,OAAO,CAAA;QACf,wBAAwB,EAAE,MAAM,CAAA;QAChC,YAAY,EAAE,MAAM,CAAA;KACpB,CAAA;CACD"}

package/dist/types/task-record.d.ts

@@ -62,13 +62,21 @@ export interface TaskRecord {
      */
     pr_url?: string;
 }
-/** Completed task row stored under `state.completed_tasks[]`. */
+/**
+ * Completed task row stored under `state.completed_tasks[]`.
+ *
+ * v0.9.0 — `qa_verdict` is the closed set
+ * `{approved, rejected, needs_human, completed}`. The legacy
+ * `approved_with_notes` middle band is DELETED (no shim). `completed`
+ * remains as a phase-only marker for tasks that closed without a
+ * verify-proof verdict.
+ */
 export interface CompletedTaskRecord {
     id: string;
     description: string;
     scope: Scope;
     completed_at: string;
-    qa_verdict: 'approved' | 'approved_with_notes' | 'rejected' | 'completed';
+    qa_verdict: 'approved' | 'rejected' | 'needs_human' | 'completed';
     commits: string[];
     lifecycle_phase?: LifecyclePhase;
 }

package/dist/types/task-record.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"task-record.d.ts","sourceRoot":"","sources":["../../src/types/task-record.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAEpC,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,OAAO,CAAA;AAE/D;iEACiE;AACjE,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE;QACL,KAAK,EAAE,KAAK,CAAA;QACZ,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;QAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KACvB,CAAA;IACD,EAAE,EAAE;QACH,KAAK,EAAE,KAAK,CAAA;QACZ,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;QAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KACvB,CAAA;IACD,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAA;IACf;qEACiE;IACjE,cAAc,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,YAAY;IAC5B,cAAc,EAAE,MAAM,CAAA;IACtB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;CAC9B;AAED,MAAM,WAAW,UAAU;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE,SAAS,CAAA;IAChB,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACvB,KAAK,EAAE,KAAK,CAAA;IACZ,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;IAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,UAAU,EAAE,MAAM,EAAE,CAAA;IACpB,eAAe,EAAE,cAAc,CAAA;IAC/B,OAAO,EAAE,gBAAgB,EAAE,CAAA;IAC3B,QAAQ,EAAE,YAAY,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,CAAA;CACf;AAED,iEAAiE;AACjE,MAAM,WAAW,mBAAmB;IACnC,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE,KAAK,CAAA;IACZ,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,UAAU,GAAG,qBAAqB,GAAG,UAAU,GAAG,WAAW,CAAA;IACzE,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,eAAe,CAAC,EAAE,cAAc,CAAA;CAChC"}
+{"version":3,"file":"task-record.d.ts","sourceRoot":"","sources":["../../src/types/task-record.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAEpC,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,OAAO,CAAA;AAE/D;iEACiE;AACjE,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE;QACL,KAAK,EAAE,KAAK,CAAA;QACZ,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;QAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KACvB,CAAA;IACD,EAAE,EAAE;QACH,KAAK,EAAE,KAAK,CAAA;QACZ,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;QAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KACvB,CAAA;IACD,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAA;IACf;qEACiE;IACjE,cAAc,CAAC,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,WAAW,YAAY;IAC5B,cAAc,EAAE,MAAM,CAAA;IACtB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;CAC9B;AAED,MAAM,WAAW,UAAU;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE,SAAS,CAAA;IAChB,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACvB,KAAK,EAAE,KAAK,CAAA;IACZ,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;IAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,UAAU,EAAE,MAAM,EAAE,CAAA;IACpB,eAAe,EAAE,cAAc,CAAA;IAC/B,OAAO,EAAE,gBAAgB,EAAE,CAAA;IAC3B,QAAQ,EAAE,YAAY,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,CAAA;CACf;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,mBAAmB;IACnC,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE,KAAK,CAAA;IACZ,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,UAAU,GAAG,UAAU,GAAG,aAAa,GAAG,WAAW,CAAA;IACjE,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,eAAe,CAAC,EAAE,cAAc,CAAA;CAChC"}

package/drivers/mobile/README.md

@@ -0,0 +1,40 @@
+# mobile driver
+
+Unified iOS + Android UI-driving verify-proof driver. Wraps the
+[`mobile-mcp`](https://github.com/mobile-next/mobile-mcp) MCP server
+(mobile-next, Apache-2.0) — one backend for both platforms, driven via the
+native accessibility tree with screenshot-coordinate fallback (ADB for
+Android, idb for iOS).
+
+- **Targets:** `ios`, `android`, `expo`, `react-native`.
+- **Transport:** `{ mcp_server_id: "mobile-mcp" }` (provisioned as
+  `npx -y @mobilenext/mobile-mcp@latest`).
+- **Platform selection:** chosen INSIDE the tool call
+  (`mobile_list_available_devices` → device id), NOT at resolver time — that
+  is why one driver covers both platforms (decision D-01).
+
+## Lifecycle boundary
+
+This driver only **drives UI + captures evidence** against a foregrounded,
+JS-ready app. The app lifecycle — build, install, launch, Metro start, and
+the launch-readiness gate — is owned by `apt-tools mobile prepare`
+(decisions D-03/D-04), which runs BEFORE any verb is dispatched.
+
+## System prerequisites (validated, not installed)
+
+`mobile-mcp` is pure npm, but the underlying device toolchain is NOT:
+
+- **iOS:** `idb-companion` (`brew install idb-companion`) + Xcode + a booted
+  Simulator.
+- **Android:** Android SDK + `adb` (`$ANDROID_HOME/platform-tools`) + an
+  emulator/device.
+
+These are validated by the manifest's `preflight[]` via
+`apt-tools driver doctor` (which records `missing_deps` with guidance) — the
+framework never auto-installs them (decision D-09).
+
+## Out of scope
+
+Real-device runs and Mac Catalyst (separate RFCs). XcodeBuildMCP is an
+optional future escalation for native-Xcode-heavy iOS builds, not a
+dependency of this driver (decision D-02).