Expand description
Resolution — pin + core → exactly one layer, or a loud failure.
The load-bearing rule (REQ-PIN-001): a pinned layer resolves exactly, or the command fails with the corrective install command. There is no fallback layer, no PATH fall-through, no “close enough” — the error type has no variant for any of those, so the fallback cannot be written.
And the constraint behind it (REQ-NOUPDATE-001): resolution is a pure function of (pin, store). Nothing here consults “latest”, the network, or the environment; laying a newer layer down cannot change what an existing pin resolves to.
Structs§
- Resolved
- A successful resolution: the one layer this pin selects.
- Runner
Contract
Enums§
- Resolve
Error - Resolution failures. Every variant carries what the user must do next.
Functions§
- resolve
- Resolve a pin against the local core. Pure: consults nothing but its arguments.