Expand description
The invariants a seeded file still carries.
A seeded file is the target’s to tune — nothing here rewrites one —
but the narrow part the invariants own is judged: a target may choose
its platforms, its installers, and its install path; it may not choose
to ship unattested. The judgment reads the effective configuration,
never the text: a commented key, a false value, or an unpaired phase
must fail, and whitespace or key order must not matter. The table is
keyed by (technology, forge, destination) — the kind table is
destination-keyed, and a second pair sharing a destination would
otherwise silently inherit the wrong rule.
Structs§
- Invariant
Failure - One invariant a landed file’s effective configuration violates: a stable code, the destination, why, and exactly what to write — the operator is told the remediation, never just what was not found.
Functions§
- failures
- Judge one landed file against the rules its
(tech, forge, destination)key owns. A destination no rule owns fails nothing.