diff --git a/wizard-work/volt/q65-2026-10-25-c7-after.txt b/wizard-work/volt/q65-2026-10-25-c7-after.txt new file mode 100644 index 0000000..5939c39 --- /dev/null +++ b/wizard-work/volt/q65-2026-10-25-c7-after.txt @@ -0,0 +1,127 @@ +# 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