Primary contract for Type-system pass contract
Platform spec ADR
Primary contract for Type-system pass contract
Spec standingStandard
- Type-system pass contract - Contracts and edge cases States the normative guarantees and what happens at boundaries or failure edges.
- Type-system pass contract - Design model Explains the persistent concepts, entities, and boundaries this feature relies on.
- Type-system pass contract - Examples Gives concrete newcomer-friendly scenarios mapped to real compiler paths.
- Type-system pass contract - FAQ and troubleshooting Answers common operator and contributor questions with practical next checks.
- Type-system pass contract - Flow and algorithm Walks through runtime/order-of-operations behavior in the implementation.
- Type-system pass 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”This feature hub defines the normative contract for type-system pass contract and links newcomer-oriented reference articles.
Decision
Section titled “Decision”The reference compiler must implement Type-system pass contract as documented in this feature hub and its article bundle.
Consequences
Section titled “Consequences”Changes require hub/ADR updates and verification anchor extensions.
Verification anchors
Section titled “Verification anchors”compiler/crates/beskid_analysis/src/analysis/compiler/crates/beskid_tests/src/analysis/pipeline/core.rscompiler/crates/beskid_tests/src/analysis/diagnostics.rs