Selected implementation evidence
This public summary selects Plan and Compiler records from the repository evidence registry. It is not the complete evidence index, and publication does not refresh the recorded proof; each record states when it was last observed. Underlying test logs, source code, and operational receipts remain in the private repository.
Evidence classifications
documented-direction: A documented product direction with no implementation proof.
externally-observed: Dated external service, package, catalog, or deployment state was observed; not a journey.
implemented: Relevant source exists and passes its own checks.
reference-exercised: Behavior ran in a hand-authored application or controlled experiment.
compiler-exercised: A Compiler emitted and verified the behavior from its declared input.
journey-observed: A representative user completed the named end-to-end path once.
repeated: The path succeeded across stated users, applications, and environments.
Plan
Classification: implemented; local structure, reviewed GapSet, and generated-output proof.
Observed: 2026-09-29.
Current: The sketch/0.23 examples load and the reviewed GapSet fixtures pass; Shinar analysis lists skipped reference-data dependencies.
Not shown: Complete import/serialization and current-fixture census through Web-browser, Codespaces, or hosted journeys; production proof.
Project graph
Classification: implemented; local proof for the named project graph surface only.
Observed: 2026-08-25.
Current: Project stores application/target identity, graph version, selected clients, Policy roots, and the complete recursive Scaffold graph with bindings, forms, authorization, and returns.
Not shown: Other authored subjects, delivery reconciliation, all-shape target analysis, multi-Project Postgres parity with the frozen Compiler, and general editing.
Design reference (repository-only)
Rails Compiler
Classification: implemented; Compiler; local/CI and live HTTP/worker proof.
Observed: 2026-09-28.
Current: On September 28, service 99304f0b compiled one small Plan into verified files in Staging and Production. The representative fixtures still disclose gaps.
Not shown: Full generation or authoring, independent-host determinism, fresh Codespaces, a fresh boot of the released artifact, or representative-user proof.
Rails application behavior
Classification: reference-exercised; hand-authored Photogram Golden and Dunbar150 references.
Observed: 2026-08-12.
Current: Reference-exercised: Photogram Golden and Dunbar150 cover accounts, policies, social behavior, attachments, workflows, operations, and UI patterns.
Not shown: Complete request-level Account behavior and other Compiler emission.
Design reference (repository-only)
Foundation composition
Classification: compiler-exercised; composed local proof, one staging preview smoke, and one Production artifact.
Observed: 2026-09-28.
Current: Staging 651d8d62 emitted one Movie Catalog through the CLI in Codespaces; its GitHub build and Revyl launch passed. A Production-compiled artifact booted locally on September 24.
Not shown: Complete current census, Web browser journeys, repeated startup or hosted preview, broader output/recovery, or physical-device proof.
Design reference (repository-only)