Component · spec & evidence

Generated Projection Drift Runtime

Runs each owner's own drift check on generated files and flags repairs, without changing the file.

Contract

Does Generated files (build outputs that are supposed to be reproducible from their source) can quietly drift when someone hand-edits the output or a builder stops matching its source. This component is the gate that catches that. For each "owner" (a generated artifact plus its source and a check command) it hashes the source and the output, checks whether a recent clean record lets it safely skip re-running the check, makes sure the required output actually exists, and otherwise runs the owner's own no-write check. It calls the file clean only when that check passes and the output is present. It flags drift; it does not fix files, does not judge every builder in the larger source system, and does not decide anything about releasing software.

Scope limit The bundle demonstrates owner-routed generated projection drift detection over declared artifacts, source authorities, clean-result record fingerprints, and no-write check return codes. It is not semantic drift proof, not full source registry validation, not repair authority, and not launch-scope decision.

Run

microcosm generated-projection-drift-runtime run --input fixtures/first_wave/generated_projection_drift_runtime/input --out /tmp/plectis-public-runs/generated_projection_drift_runtime

microcosm generated-projection-drift-runtime run --input fixtures/first_wave/generated_projection_drift_runtime/input --out receipts/first_wave/generated_projection_drift_runtime --acceptance-out receipts/acceptance/first_wave/generated_projection_drift_runtime_fixture_acceptance.json

Evidence

ClassExternal tool runevidence 4/5Real runtime resultRuns real tools

Links to Certificate Kernel Execution Lab, Verifier Lab Kernel, Formal Math Lean Proof Witness

drift-controlprovenancesource intake

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module