Workspace shard cycle guard
Platform spec ADR
Workspace shard cycle guard
Spec standingStandard
- Contracts and edge cases Corelib injection guarantees and edge cases.
- Design model How the compiler injects and resolves the corelib package into host compilations.
- Examples Observable corelib injection scenarios.
- FAQ and troubleshooting Corelib injection and resolution FAQ.
- Flow and algorithm End-to-end flow for corelib injection during project graph resolution.
- Verification and traceability Tests and traceability for corelib injection and resolution.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| Section id | Required | Found |
|---|---|---|
what-this-feature-specifies | yes | yes |
implementation-anchors | yes | yes |
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”Shards under packages/* would create cycles if they gained implicit host edges.
Decision
Section titled “Decision”| Rule | Detail |
|---|---|
| Guard | is_corelib_workspace_shard_manifest skips implicit back-edge |
| Host | Only application hosts receive implicit corelib |
Consequences
Section titled “Consequences”Building packages/runtime alone does not pull beskid_corelib as a hidden parent.
Verification anchors
Section titled “Verification anchors”resolver.rs; corelib workspace compile tests.