{
  "proof-carrying-ebpf-checker": "`make pc-ebpf` runs `python -m foundry.crs.pc_ebpf` (Makefile:720-723), which writes artifacts/crs/pc_ebpf_stage1.json; the kit resolves only the pytest file the recipe also runs. gate-4 receipt BYTE_IDENTICAL in 33.4 s (out/run_receipts_2026-09.json key '3:proof-carrying-ebpf-checker')",
  "multiproject-breadth": "`make crs-multiproject` runs `python -m foundry.crs.registry` (Makefile:1027-1028), which writes artifacts/crs/multiproject_summary.json; the kit resolved formal/check_class_elimination.py instead. gate-4 receipt BYTE_IDENTICAL in 4.3 s (out/run_receipts_2026-09.json key '7:multiproject-breadth')",
  "z3-differential": "`make cert-fuzz` runs `python -m foundry.crs.cert_fuzz` (Makefile:668-669), which writes artifacts/crs/cert_fuzz.json; the kit resolved unrelated scripts from a dependency chain. gate-4 receipt BYTE_IDENTICAL in 19.8 s (out/run_receipts_2026-09.json key '29:z3-differential')",
  "zk-certificate": "`make zk-certify` runs `python -m foundry.crs.zk_certify` (Makefile:460), which writes artifacts/crs/zk_certify_summary.json when the release host binary exists. gate-4 receipt REPRODUCED in 174.0 s (out/run_receipts_2026-09.json key '31:zk-certificate'); absence probe REGENERATED_FROM_ABSENCE 219.4 s (out/regen_from_absence_2026-09-02.json).",
  "verify-the-verifier": "`make mutation-campaign` runs `python -m foundry.crs.mutation_campaign` (Makefile:574-575) -> artifacts/crs/mutation_campaign_summary.json. gate-4 receipt BYTE_IDENTICAL in 12.0 s (out/run_receipts_2026-09.json key '14:verify-the-verifier')",
  "certbench": "`.venv-fcm/bin/python -m certbench.runner` (no on-disk script name for the kit) -> artifacts/certbench/summary.json. gate-4 receipt BYTE_IDENTICAL in 104.9 s (out/run_receipts_2026-09.json key '15:certbench')",
  "patch-differential": "`make certbench-differential` runs `python -m certbench.differential` (Makefile:595-596) -> artifacts/certbench/patch_differential.json. gate-4 receipt BYTE_IDENTICAL in 83.3 s (out/run_receipts_2026-09.json key '16:patch-differential')",
  "repair-trichotomy": "`make repair-trichotomy` runs `python -m foundry.crs.repair_trichotomy` (Makefile:493-494) -> artifacts/crs/repair_trichotomy.json. gate-4 receipt BYTE_IDENTICAL in 5.6 s (out/run_receipts_2026-09.json key '24:repair-trichotomy'); absence probe REGENERATED byte-identical 40.8 s.",
  "rewrite-mining": "`make rewrite-mine` runs `python -m foundry.crs.rewrite_mine` (Makefile:650-651) -> artifacts/crs/rewrite_mine.json. gate-4 receipt BYTE_IDENTICAL in 4.9 s (out/run_receipts_2026-09.json key '30:rewrite-mining')",
  "llvm-certified-pass": "`make llvm-certified-pass` runs `python -m foundry.crs.llvm_certified_pass` (Makefile:831-832) -> artifacts/rewrite-validation/certified_llvm_pass.json. gate-4 receipt REPRODUCED in 6.8 s (out/run_receipts_2026-09.json key '32:llvm-certified-pass'); regenerated on a clean tree 2026-09-02 (commit 8127003d).",
  "pr-auditor": "`make pr-audit` runs `python -m foundry.crs.pr_auditor` (Makefile:598-599) -> artifacts/crs/pr_audit.json. gate-4 receipt BYTE_IDENTICAL in 0.3 s (out/run_receipts_2026-09.json key '33:pr-auditor')",
  "oss-surface": "inspection-only by design: oss/OSS_RECONCILIATION.md is a hand-authored report of a 2026-08-18 publish run and nothing regenerates it; gate 4 classifies it SKIPPED_INSPECTION_ONLY (out/run_receipts.json). A read-only reconciliation artifact is the S04 candidate that would retire this waiver.",
  "soundnessbench": "`.venv-fcm/bin/python -m certbench.runner` (same module as `certbench`) -> artifacts/certbench/summary.json. gate-4 receipt BYTE_IDENTICAL in 62.4 s (out/run_receipts_2026-09.json key '38:soundnessbench'). The 84.1% / 7 sampler-1k figures regenerate via `soundnessbench leaderboard` (out/soundnessbench_leaderboard_2026-09-02.txt) and bind to no JSON artifact.",
  "forced-gates": "`make forced-gates` runs `python -m foundry.crs.forced_gates` (Makefile target forced-gates), which writes artifacts/crs/forced_gates.json; the kit's target regex matched the unrelated `gates` recipe (scripts/build_gates.py). S04 driver receipt: BYTE_IDENTICAL in 0.6 s (out/s04_regen_receipts.json key 'forced-gates'); kit gate-4 receipt appended to out/run_receipts.json under rank 54 when its run lands.",
  "gatekit-bundles": "`make gatekit` runs scripts/build_gatekit.py, which constructs the bundle paths (artifacts/gatekit/bundle_<format>.json) rather than naming bundle_av2.json literally. S04 driver receipt: REPRODUCED in 57.9 s, only gate1_certificate regenerated (out/s04_regen_receipts.json key 'gatekit').",
  "stranger-verifier-onefile": "`make stranger-verifier-bundle` is a three-line recipe (Makefile:1390-1393): line 1 builds the one-file verifier with scripts/build_stranger_verifier.py, line 2 runs `STRANGER_BUNDLE=... node scripts/stranger_verifier_corpus.mjs`, which is what writes artifacts/browser-verifier/stranger_corpus_bundle.json, and line 3 re-checks the build for drift. The kit resolves only the FIRST script in a recipe, so it sees the builder and not the grader — the same property already waived for 15 `python -m` entries in this file. Grading the SHIPPED bundle rather than the sources is the point of the entry, so the two-step recipe is deliberate. Receipt: gate-4 `out/run_receipts.json` key `87:stranger-verifier-onefile` (BYTE_IDENTICAL, 0.3 s)."
}