128 lines
8.4 KiB
Plaintext
128 lines
8.4 KiB
Plaintext
# 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
|