Primary contract for Resolver contract
Platform spec ADR
Primary contract for Resolver contract
Spec standingStandard
- Resolver contract - Contracts and edge cases States the normative guarantees and what happens at boundaries or failure edges.
- Resolver contract - Design model Explains the persistent concepts, entities, and boundaries this feature relies on.
- Resolver contract - Examples Gives concrete newcomer-friendly scenarios mapped to real compiler paths.
- Resolver contract - FAQ and troubleshooting Answers common operator and contributor questions with practical next checks.
- Resolver contract - Flow and algorithm Walks through runtime/order-of-operations behavior in the implementation.
- Resolver 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 resolver contract and links newcomer-oriented reference articles.
Decision
Section titled “Decision”The reference compiler must implement Resolver 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/resolve/resolver.rscompiler/crates/beskid_analysis/src/resolve/items.rscompiler/crates/beskid_tests/src/analysis/resolve.rs