Lockfile pins drive resolution
Platform spec ADR
Lockfile pins drive resolution
Spec standingStandard
- Workspace and lock contracts - Contracts and edge cases Compiler guarantees for lock-backed graphs and workspace layout invariants.
- Workspace and lock contracts - Design model Compiler entities for workspace roots and lock materialization (workspace key prose defers to tooling).
- Workspace and lock contracts - Examples Gives concrete newcomer-friendly scenarios mapped to real compiler paths.
- Workspace and lock contracts - FAQ and troubleshooting Answers common operator and contributor questions with practical next checks.
- Workspace and lock contracts - Flow and algorithm Compiler order of operations for workspace discovery, lock apply, and graph materialization.
- Workspace and lock contracts - 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”Floating registry versions broke reproducible compiles.
Decision
Section titled “Decision”Workspace resolution must honor lockfile pins from beskid_analysis::resolve before applying CLI overrides.
Consequences
Section titled “Consequences”Lock update commands are explicit; silent refresh is forbidden in CI modes.
Verification anchors
Section titled “Verification anchors”compiler/crates/beskid_analysis/src/resolve/mod.rscompiler/crates/beskid_cli/src/commands/.