Tooling owns schema; compiler owns graph
Platform spec ADR
Tooling owns schema; compiler owns graph
Spec standingStandard
- Project manifest contract - Contracts and edge cases Compiler resolution guarantees, graph cycles, and manifest-band diagnostics.
- Project manifest contract - Design model Resolution graph entities for Project.proj ingestion (manifest key prose defers to tooling).
- Project manifest contract - Examples Gives concrete newcomer-friendly scenarios mapped to real compiler paths.
- Project manifest contract - FAQ and troubleshooting Answers common operator and contributor questions with practical next checks.
- Project manifest contract - Flow and algorithm Compiler order of operations for manifest parse, graph insertion, and Mod materialization.
- Project manifest contract - Verification and traceability Shows how the team proves this feature works and where evidence lives.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”Manifest key tables were duplicated between tooling and compiler specs.
Decision
Section titled “Decision”Author-facing Project.proj key tables live only under tooling; this compiler feature documents resolution graph behavior and defers schema prose via relatedTopics.
Consequences
Section titled “Consequences”Compiler changes manifest parsing only when graph or diagnostic bands change; tooling spec leads schema edits.
Verification anchors
Section titled “Verification anchors”compiler/crates/beskid_analysis/src/projects/manifest_resolve.rstooling project-manifest-contract hub.