The thesis
The roadmap contains only future milestones. Each milestone has an explicit exit criterion. A milestone is not complete until the criterion is satisfied and the corresponding capability record's state has advanced.
When a milestone's exit criterion is satisfied, the milestone leaves the Roadmap. Its capability record remains on the Status page. The Status page is the source of truth for what is. The Roadmap is the source of truth for what would close the gap between is and could be.
Milestones
| Milestone | Work | Exit criterion | Current state |
|---|---|---|---|
| Emit `ExecutionReceipt` to publishable storage | implement the emission path from runtime to content-addressed log | one ExecutionReceipt in the v1 corpus, with identity, fencing, deadline, artifact digest, route, outcome | Planned; the type is bound; ADR-035 closes the gap |
| Emit `ReplayResult` to publishable storage | implement the replay applier's output path | one ReplayResult in the corpus, with event log digest, replayed world digest, equality | Planned; the type is bound; ADR-036 closes the gap |
| Qualify Apple Silicon (M-series) CPU execution | run the qualification harness end-to-end, publish the record | one QualificationRecord in the corpus, with commit, target, build features, validation scope, Validated state on the corresponding capability | Planned; the type is bound; ADR-034 closes the gap |
| Qualify ANE provider | implement ANE dispatch, qualify, validate | one QualificationRecord for ANE, with the ANE provider admitted | Planned; depends on ADR-031 |
| Qualify ROCm provider | implement ROCm dispatch, qualify, validate | one QualificationRecord for ROCm, with the ROCm provider admitted | Planned; depends on ADR-031 |
| Admit a real model identity | ingest a real model, produce a real cimage, publish it | one cimage in the corpus whose source_digest is not a placeholder | Planned |
| Admit a real route | run a real request through the constitutional transaction, publish the receipt | one receipt in the corpus for a real route on a real target | Planned |
| Make Prism ML page conditional route resolvable | publish the relationship, artifact handoff, license boundary, evidence | the conditional route resolves to the Prism ML page rather than /lab/ | Planned; H12 enforces the gate |
| Make General Compute page conditional route resolvable | publish the relationship, the recorded plan and run, the evidence | the conditional route resolves to the General Compute page rather than /lab/ | Planned; H12 enforces the gate |
| Ship Prism Observatory v1.0 | every gate in OBSERVATORY_V1_SPEC.md §12 is green | release log entry prism-observatory-v1.0 signed by the architect | Planned |
What the Roadmap is not
The Roadmap is not a status page. A capability that is on the Status page is not on the Roadmap unless its exit criterion is unmet. A milestone whose exit criterion is satisfied leaves the Roadmap. The Status page is updated to reflect the new state; the Roadmap does not.
The Roadmap is not a marketing surface. It does not contain "vision" or "direction" prose. It contains milestones, work, and exit criteria. The work is the path; the exit criterion is the test; the current state is where the milestone is.
The Roadmap is not a commitment to dates. A milestone does not carry an estimated completion. The exit criterion is the commitment. The current state is the truth.
-
01
Emit ExecutionReceipt to publishable storage
plannedWorkImplement the emission path from runtime to content-addressed log. ADR-035 creates the ExecutionReceipt type and JSON Schema. The runtime emits the type to a stable path on every admitted request, success or failure.
Exit criterionReach validated on capability
capability.backend.in_memory_cpu; publishevidence.execute.apple_silicon.cpu.001. -
02
Emit ReplayResult to publishable storage
plannedWorkImplement the replay applier's output path. ADR-036 creates the ReplayResult type and JSON Schema. Replay reads the durable event log, re-derives the canonical world, projects to the surface, and emits a ReplayResult with the event log digest, the replayed world digest, and the equality.
Exit criterionReach validated on capability
capability.backend.in_memory_cpu; publishevidence.replay.apple_silicon.cpu.001. -
03
Qualify Apple Silicon (M-series) CPU execution
plannedWorkRun the qualification harness end-to-end against an M-series target, publish the QualificationRecord. ADR-034 creates the QualificationRecord type and JSON Schema. The harness emits a record with commit, target, build features, and validation scope.
Exit criterionReach validated on capability
capability.target.apple_silicon.m_series.cpu; publishevidence.qualify.apple_silicon.cpu.001. -
04
Qualify ANE provider
plannedWorkImplement ANE-aware operator lowering, fused islands, residency. Qualify against an M-series target. Publish the receipt.
Exit criterionReach validated on capability
capability.target.ane; publishevidence.qualify.ane.001. -
05
Qualify ROCm provider
plannedWorkImplement ROCm dispatch per ADR-031, qualify, validate. Publish the receipt.
Exit criterionReach validated on capability
capability.target.rocm.mi300x; publishevidence.qualify.rocm.001. -
06
Admit a real model identity
plannedWorkIngest a real model package, produce a real cimage, publish the cimage with a non-placeholder source_digest. The Specimen page no longer displays the sanitization manifest for the published specimen (or a new specimen is published alongside the test artifact).
Exit criterionReach implemented on capability
capability.target.apple_silicon.m_series.cpu; publishevidence.computeimage.real_model.001. -
07
Admit a real route
plannedWorkRun a real request through the constitutional transaction on a real target. Publish the execution receipt. The route capability advances from planned to validated.
Exit criterionReach validated on capability
capability.backend.in_memory_cpu; publishevidence.execute.apple_silicon.cpu.001. -
08
Make Prism ML page conditional route resolvable
plannedWorkPublish the relationship, the artifact handoff, the license boundary, and the evidence. The conditional route /prism-ml/ resolves to the Prism ML page rather than /lab/.
Exit criterionReach implemented on capability
capability.target.apple_silicon.m_series.cpu. -
09
Make General Compute page conditional route resolvable
plannedWorkPublish the relationship, the recorded plan and run, and the evidence. The conditional route /general-compute/ resolves to the General Compute page rather than /lab/.
Exit criterionReach implemented on capability
capability.target.rocm.mi300x. -
10
Ship Prism Observatory v1.0
plannedWorkEvery gate in OBSERVATORY_V1_SPEC.md §12 is green. The release log entry 'prism-observatory-v1.0' is signed by the architect (H13).
Exit criterionReach validated on capability
capability.target.apple_silicon.m_series.cpu.