The verify lane, for a repo of any stack: installs the prooflane harness and its evidence receipts. Thin front door for prooflane-harness.

Prooflane Inspector Beta — hosted MCP assurance console and signed desktop release.

The prooflane verify lane: a stack-agnostic evidence harness that derives done from evidence rather than an agent's word. Profile loader, lane runner, receipts, hash-locked region, Stop hook, spec-to-citation binding and the Rule 0/1/2 instruments. Depend

Scaffolder for a Ktor service with the prooflane verify lane. Name reserved; not yet released.

Validate create-cmp evidence receipts: inputs-hash recompute, receipt-vs-tree binding, freshness, and execution-plausibility. Dependency-free ESM — the single source of truth vendored into every generated project's qa/lib/ and consumed by the hosted recei

The verbs: init, new, attach, doctor, upgrade. Resolves and installs stack profiles.

The Compose Multiplatform stack profile and its golden tree.

The mobile eyes: preview registry, headless render, live inspector. Providers behind the console's interfaces.

Evidence gateway for AI agents: policy-check and seal every consequential tool call into a verifiable CooL receipt.