# provenance: bash wizard-work/volt/CHECK + python3 wizard-work/volt/q65_c7_controls.py --rev HEAD at bf023ea (2026-10-25T17:20:22Z); tree clean of instrument edits

=== CHECK ===
ok   c1 PASS rc 0 is consistent
ok   c2 PASS rc 1 is a fault
ok   c3 TIMEOUT carrying an rc is a fault
ok   c4 OTHER_RC rc 3 is consistent
ok   c5 OTHER_RC rc 7 is consistent
ok   c6 OTHER_RC rc 2 is a fault (that is REFUSED)
ok   c7 ledger round-trips two rows
ok   c8 a missing ledger is an error, not an empty pass
ok   c9 an unknown verdict refuses the ledger
ok   c10 a committed verifier in neither ledger is UNCLASSED
ok   c11 a class row covers the same file
ok   c12 a window row parses to (seconds, why)
ok   c13 an unlisted path falls back to --timeout
ok   c14 a malformed window row refuses instead of silently skipping
ok   c15 a committed path has a blob id
ok   c16 an absent path has no blob id
ok   c17 the same path at a new commit is a different blob (DRIFT is detectable)
ok   c18 a host root in a string VALUE is a host pin
ok   c19 a host root in a docstring is prose, not a pin
ok   c20 a PARSED PASS row on a host-independent verifier is graded clean
ok   c21 a PARSED OTHER_RC row with rc 7 is consistent (not a fault)
ok   c22 a class-narrowed tally sums to its own population, not the ledger
selftest: 22 cells, 22 passed, 0 failed
q65_runner -- rev HEAD, 91 population file(s), 91 ledger row(s)  [ledger rev 6e8f577]
  rows at emit   : 91  (PASS 67, FAIL 24)
  graded (has rc): 91 of 91
  graded-clean   : 11 of 91  (PASS on a host-independent verifier)
  host-pinned    : 56 PASS row(s) excluded as PASS* -- they read an absolute host root
    PASS* wizard-work/forge/verify_append_only_owners_dry_refactor.py  L41:/root/troupe-standup
    PASS* wizard-work/forge/verify_census_row_delta_exit_contract.py  L31:/root/troupe-standup
    PASS* wizard-work/forge/verify_check_lint_classes_dry.py  L44:/root/troupe-standup
    PASS* wizard-work/forge/verify_checkin_check_dry_refactor.py  L39:/root/troupe-standup
    PASS* wizard-work/forge/verify_landing_check_refactor.py  L62:/root/troupe-standup
    PASS* wizard-work/forge/verify_pdf_refactor.py  L41:/root/.hermes
    PASS* wizard-work/forge/verify_reply_check_dry_refactor.py  L33:/root/troupe-standup
    PASS* wizard-work/forge/verify_repro_bounds_refactor.py  L33:/root/troupe-standup
    PASS* wizard-work/forge/verify_roundtrip_refactor.py  L21:/root/troupe-standup
    PASS* wizard-work/forge/verify_served_drift_summarise_dry.py  L48:/root/troupe-standup
    PASS* wizard-work/forge/verify_smell_check_monotonic_refactor.py  L32:/root/troupe-standup
    PASS* wizard-work/forge/verify_smell_scan_refactor.py  L26:/root/troupe-standup
    PASS* wizard-work/forge/verify_tool_map_dry_refactor.py  L32:/root/troupe-standup
    PASS* wizard-work/ledger/verify_arxiv_csai.py  L15:/root/.hermes
    PASS* wizard-work/ledger/verify_arxiv_csai_fresh.py  L16:/root/troupe-standup
    PASS* wizard-work/ledger/verify_arxiv_csv.py  L24:/root/troupe-standup
    PASS* wizard-work/ledger/verify_catalog.py  L13:/root/.hermes
    PASS* wizard-work/ledger/verify_dates.py  L6:/root/troupe-standup
    PASS* wizard-work/ledger/verify_gdp.py  L3:/root/troupe-standup
    PASS* wizard-work/ledger/verify_gdp_per_capita.py  L19:/root/troupe-standup
    PASS* wizard-work/ledger/verify_issues.py  L15:/root/.hermes
    PASS* wizard-work/ledger/verify_stackchain_catalog.py  L16:/root/troupe-standup
    PASS* wizard-work/ledger/verify_users.py  L16:/root/troupe-standup
    PASS* wizard-work/null/artifact-seal/verify_artifact_seal_oracle.py  L22:/root/troupe-standup
    PASS* wizard-work/null/diffkit/verify_realrepo.py  L32:/root/troupe-standup
    PASS* wizard-work/sol/verify_pending_request_triage.py  L11:/root/troupe-standup
    PASS* wizard-work/sol/verify_triage.py  L4:/root/troupe-standup
    PASS* wizard-work/spark/verify_all.py  L4:/root/troupe-standup
    PASS* wizard-work/spark/verify_count.py  L5:/root/.hermes
    PASS* wizard-work/spark/verify_demo.py  L20:/root/.hermes
    PASS* wizard-work/spark/verify_dir.py  L23:/root/.hermes
    PASS* wizard-work/spark/verify_dir_analyzer.py  L16:/root/troupe-standup
    PASS* wizard-work/spark/verify_env.py  L9:/root/.hermes
    PASS* wizard-work/spark/verify_fib.py  L24:/root/.hermes
    PASS* wizard-work/spark/verify_formatter.py  L9:/root/.hermes
    PASS* wizard-work/spark/verify_hermes_cli.py  L55:/root/.hermes
    PASS* wizard-work/spark/verify_hermes_path.py  L11:/root/.hermes
    PASS* wizard-work/spark/verify_json.py  L4:/root/.hermes
    PASS* wizard-work/spark/verify_lines.py  L2:/root/.hermes
    PASS* wizard-work/spark/verify_lwc.py  L12:/root/troupe-standup
    PASS* wizard-work/spark/verify_minimal.py  L31:/root/.hermes
    PASS* wizard-work/spark/verify_push.py  L3:/root/troupe-standup
    PASS* wizard-work/spark/verify_python_env.py  L22:/root/.hermes
    PASS* wizard-work/spark/verify_report.py  L10:/root/.hermes
    PASS* wizard-work/spark/verify_result.py  L10:/root/.hermes
    PASS* wizard-work/spark/verify_scratch_analysis.py  L13:/root/.hermes
    PASS* wizard-work/spark/verify_skills.py  L5:/root/.hermes
    PASS* wizard-work/spark/verify_skills2.py  L6:/root/.hermes
    PASS* wizard-work/spark/verify_skills3.py  L6:/root/.hermes
    PASS* wizard-work/spark/verify_skills_fixed.py  L6:/root/.hermes
    PASS* wizard-work/spark/verify_snippets.py  L11:/root/troupe-standup
    PASS* wizard-work/spark/verify_status.py  L7:/root/.hermes
    PASS* wizard-work/spark/verify_sum.py  L6:/root/.hermes
    PASS* wizard-work/spark/verify_wordcount.py  L46:/root/.hermes
    PASS* wizard-work/sphinx/arxiv-digest-verified-2026-10-25/verify_digest_claims.py  L59:/root/.hermes
    PASS* wizard-work/sphinx/verify_mm_dossier.py  L28:/root/.hermes
  tree audit     : 0 unclassed of 110 committed verifier(s)
q65: 0 fault(s)
q65_rc_probe: --work is the repository itself; refusing to mutate the tree this gate grades
q65_rc_probe: no ledger at /root/.hermes/profiles/volt/cache/scratch/rcprobe-selftest-zm6onnah/nope.tsv -- cannot grade
CHECK PASS: census covers every committed verifier; runner ledger grades clean; no unrowed printer; rc-sensitivity ledger content-bound.
check_rc=0

=== CONTROLS ===
q65 c7 controls -- repo /root/troupe-standup, rev bf023ea, workspace /root/.hermes/profiles/volt/cache/scratch/q65-c7-bhtdhl1q

PART 1 -- does the PASS cover the committed tree?
     import resolution (cwd=clone, chunker sabotaged): /root/.hermes/wizard-outputs/forge/chunker.py
     resolves inside the clone: False

ok   A clone, subject untouched                     rc=0  expect=0  9/9 checks
ok   B clone's chunker.py sabotaged (pinned)        rc=0  expect=0  9/9 checks -- the sabotage is invisible
ok   C sabotage + import un-pinned                  rc=1  expect=1  8/9, FAIL: probe output does not report 'equal: True'; round-trip not lossless
ok   D import un-pinned, chunker restored           rc=0  expect=0  9/9 checks
     (C rewrote 2 subject import line(s))

PART 2 -- can the `for called in (...)` block fail?
     block L146..L154  body node types: And, Attribute, BoolOp, Call, Compare, GeneratorExp, If, List, Load, Name, NotIn, Pass, Set, Starred, Store, comprehension
     effectful of those: NONE
     green subject                          intact rc=0 | loop-deleted rc=0 | identical=True
     main() no longer calls _find_first_diff intact rc=1 | loop-deleted rc=1 | identical=True
        message: FAIL: main() does not call _find_first_diff()

PART 3 -- the omissions and the drift
ok   gate on an untouched clone (runner --check)    rc=0  expect=0  0 fault(s)
ok   census row dropped alone -> scan               rc=0  expect=0  CENSUS_ROW_MISSING named
       census coverage           : 109 of 110 committed verifier(s) carry a census row
       CENSUS_ROW_MISSING  wizard-work/forge/verify_probe_forge_refactor.py  (no census row; a runner row (PASS) still classes it -- the coverage NUMBER drops, no fault)
       (not a fault: the runner row satisfies 'not unwired'; the coverage NUMBER drops and the printer names the file CENSUS_ROW_MISSING, not UNCLASSED)
ok   ledger row dropped -> runner                   rc=1  expect=1  UNGRADED, named
ok   verifier edited+committed after rowing -> runner rc=1  expect=1  DRIFT, named
ok   same edit -> rc-probe ledger                   rc=1  expect=1  STALE, named
ok   bash wizard-work/volt/CHECK on a clean clone   rc=0  expect=0  CHECK PASS: census covers every committed verifier; runner l

13/13 cells as expected
controls_rc=0
