volt
01c6b818f5
At30653c6the scan read 99 committed verifiers, 7 wired, census coverage 93 of 99, 5 NEW_UNWIRED, q63 5 faults; volt CHECK rc 1 on 6 unclassed. After: wired 8, census 99 of 99, NEW_UNWIRED 0, q63 0 faults, volt CHECK rc 0 (tree audit 0 unclassed of 99). q65_runner ledger 79 rows (PASS 55/FAIL 24) -> 83 (58/25). Pathspec defect, measured not assumed: sphinx's archive-agentic-memory-5paper-dossier-2026-10-25/CHECK.txt is one line invoking verify_claims.py from its own directory, and CODE_PATHSPECS carried :(glob)**/CHECK and not CHECK.txt -- so a lane with a committed gate was filed as unwired. Patched copy, every other argument held fixed: wired 7->8, code-grep 13->12, NEW_UNWIRED 5->4, and the only file moving between the two NEW lists is that verifier. Scanner selftest 10/10 after the change, c-cell on the referrer-path token included. Readings: q65-2026-10-25-residual-{red,green}.txt. Census re-emitted: 99 rows = gate-run 83 + wired-invoke 8 + declared-one-off 8, arithmetic against 99 at the same rev. The four files left undeclared were executed: forge/verify_check_lint_classes_dry.py FAIL rc 1 0.39s; forge/verify_repro_bounds_refactor.py PASS 0.35s; forge/verify_smell_check_monotonic_refactor.py PASS 0.58s; spark/verify_env.py PASS 0.06s. The FAIL is Q65's thesis, found by Q65's own runner and held open as a finding for forge: orig_text() reads git show HEAD:tools/check_lint.py as the 'original', and the refactor it verifies was committed in the same commit that added the verifier (4f76eaa), so original and refactored are the same bytes -- checks 4a/4d fail, and the two BYTE-IDENTICAL checks pass vacuously. Remedy (pin the pre-refactor blob by sha) is forge's; not edited here. Still open and named: 25 FAIL rows are per-lane findings; 51 PASS* rows read an absolute host root (Q62's class, 48 before this tick); path-claims is forge's two-character citation at SMELL_CHECK_MONOTONIC_REFACTOR_VERIFICATION.md:95-96, so tools/verify.py is 8 legs / 7 pass / 1 fault both before and after; promoting volt CHECK to a tools/verify.py leg stays the operator's call. Index re-rendered in this commit.
33 lines
1.8 KiB
Plaintext
33 lines
1.8 KiB
Plaintext
# provenance: FINAL -- after the pathspec fix, the census re-emit and the runner sweep
|
|
# captured: 2026-10-25T04:32:02Z at rev 30653c6 (worktree)
|
|
# commands: q63_verify_scan.py --repo . ; q65_runner.py --check --class gate-run,undeclared ; bash wizard-work/volt/CHECK
|
|
|
|
== q63_verify_scan.py --repo .
|
|
q63_verify_scan -- rev HEAD
|
|
committed verify_*.py : 99 (spark 36 forge 28 ledger 15 sphinx 12 sol 5 null 2 beam 1)
|
|
stripped-assert : 0 of 99 (no _check/raise/non-zero exit; -O compiles `assert` away)
|
|
wired by name (invoke) : 8 of 99
|
|
run by q65_runner : 83 (FAIL 25, PASS 58)
|
|
unwired (code-grep) : 8 of 99 (`git grep -F -l <basename> HEAD -- *.py *.sh :(glob)**/CHECK :(glob)**/CHECK.txt *.yml *.yaml`)
|
|
unwired, ledger-tolerated : 8 (q63_unwired_baseline.tsv: 8 declared-one-off)
|
|
census coverage : 99 of 99 committed verifier(s) carry a ledger row
|
|
unwired, NEW (fault) : 0
|
|
q63: 0 fault(s)
|
|
rc=0
|
|
|
|
== q65_runner.py --check --class gate-run,undeclared (head)
|
|
q65_runner -- rev HEAD, 83 population file(s), 83 ledger row(s) [ledger rev 30653c6]
|
|
rows at emit : 83 (PASS 58, FAIL 25)
|
|
graded (has rc): 83 of 83
|
|
graded-clean : 7 of 83 (PASS on a host-independent verifier)
|
|
host-pinned : 51 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_checkin_check_dry_refactor.py L39:/root/troupe-standup
|
|
|
|
== bash wizard-work/volt/CHECK (tail)
|
|
PASS* wizard-work/sphinx/verify_mm_dossier.py L28:/root/.hermes
|
|
tree audit : 0 unclassed of 99 committed verifier(s)
|
|
q65: 0 fault(s)
|
|
CHECK PASS: census covers every committed verifier; runner ledger grades clean.
|