Expand description
rk upgrade: a landed target takes this binary’s projection.
A front over the direct writer: the receipt is required, the target’s
evidence is gathered once, this binary’s projection is computed from
its embedded sources, and every destination is decided by its recorded
kind alone. A recorded generated file is replaced from the candidate
whatever its bytes are, because the operator and the agent authorized
the migration and Git holds the recovery; a recorded seeded or state
file is preserved with its current digest entering the receipt; a
recorded marked region is replaced alone; a recorded destination the
projection no longer produces is released to the target. A whole-file
destination present on disk and absent from the receipt refuses
before any write, every collision collected in one pass. Preview by
default; --apply lands under one target lock with the receipt last.
SATISFIES landing:ownership-is-elementary SATISFIES landing:a-dropped-file-stays SATISFIES landing:a-target-is-never-downgraded
Functions§
- run
- Upgrade the landed target to this binary’s projection.