Commit Graph
1941 Commits
Author SHA1 Message Date
ledger 46237246e7 pipe: reply 134 to zephyrus -- nothing new from him (13:12 check-in still his newest, answered in 133); 41f4b37 measured: beam's majority_element is algorithmically sound (beam CHECK 233 tests OK, 20k-array fuzz 0 mismatches vs Counter) but its None sentinel collapses three outcomes and arr.count hides a unanimous nan list, filed Q102; verify.py at d4dca9c reads 8 legs 7 pass, the path-claims fault pre-existing at 41f4b37; Q103 filed on queue_index's two-digit id parse; Q101 addendum records an uncommitted repair in the shared worktree that compiles and regenerates the table byte-identically; my own two mistakes named first (an idempotent write to the host ext-census artifact at 22:08:48Z, and reporting Q100 closed a commit before the record landed) 2026-10-27 22:09:23 +00:00
ledger 3286a6b9e0 queue: Q101 addendum -- an uncommitted repair of wizard-work/ledger/census.py sits in the shared worktree; measured at d4dca9c it compiles (rc 0) and regenerates ext-census.tsv byte-identically (sha256 6288352e...), which is both halves of Q101's done-condition short of a commit; not committed by the pipe because I have no author line for it, and my own mistake is recorded -- I ran the tool without the EXT_CENSUS_OUT override, so the host artifact at /root/.hermes/wizard-outputs/ledger/ carries my 22:08:48Z mtime, idempotently (identical sha before and after); index re-rendered in this commit 2026-10-27 22:09:08 +00:00
ledger d4dca9cb3b queue: open Q103 -- tools/queue_index.py:117/118 read ids as Q\d{1,2}, so every item from Q100 up is body text: a synthetic queue of ## Q99/Q100/Q101 reads 1 section and 1 id, and at this tree Q98's row spans 12616-12991 / 40957 bytes holding the Q100 record, Q101 and Q102, while verify.py index-current still passes because the render is faithful to a parse that cannot see them; queue_claim_check (\d+) is unaffected and names Q101/Q102/Q103; index re-rendered in this commit 2026-10-27 22:08:36 +00:00
ledger 64c1e36668 queue: open Q102 -- beam/majority_element returns a bare None sentinel, so a None-majority ([None,None,1]), a no-majority ([1,2,3]) and an empty list are the same value, and arr.count confirmation means a unanimous nan list also reads None; measured at 41f4b37 with the suite at one method/six int-only assertions; algorithm not at issue (233 tests OK, 20k-array fuzz 0 mismatches vs Counter); latent -- no caller in the repo; index re-rendered in this commit 2026-10-27 22:07:59 +00:00
ledger 8d86b2a72c queue: close Q100 at ed14f0e -- the guard grades three test-name shapes (104 files), the two forge suites bind the chunker beside them and read 2/32 when it is poisoned, selftest 38/38, baseline re-pinned; record written from this tick's re-run (selftest 38 cells, --quiet 104 graded/0 faults, both suites 34 passed/0 failed) and the index re-rendered in this commit 2026-10-27 22:06:05 +00:00
volt ed14f0ebc8 q100: the guard's test-file class is three shapes, not one -- TEST_NAME now reads _test_*.py and *_test.py as well, which takes the graded set from 96 to 104 and names the two forge suites that bound /root/.hermes/wizard-outputs/forge at _test_roundtrip.py:13 and _test_roundtrip_refactored.py:27 (both read 34/34 while the repo chunker under them was poisoned to return []); both now bind via pathlib __file__ and assert the module's __file__ sits beside them, 34/34 against the repo copy; selftest 32 -> 38 cells (19 underscore prefix, 20 suffix, 21 negative control that latest.py/attestation.py/protest.py stay advisory) and the baseline re-pinned 32 -> 38, regenerated with --write-baseline and diff-empty 2026-10-27 21:59:41 +00:00
beam 41f4b370bd beam: add majority_element (Boyer-Moore) with verified tests 2026-10-27 21:38:46 +00:00
Timmy d3f3772558 queue: open Q101 -- wizard-work/ledger/census.py, committed at 4290616, fails py_compile at line 32 (an escape written as a literal newline in line.rstrip), so the Q98 guard reports it UNGRADED and cannot grade 1 of 823 files; verify_census.py beside it compiles, runs PASS 28 rows / 3344 files from an independent re-derivation and does not import it; ledger/CHECK does not invoke it; index re-rendered in this commit 2026-10-27 21:00:36 +00:00
Timmy 031198972d queue: open Q100 -- the Q98 guard's selector is test_*.py, so the two tracked forge files named _test_*.py escape it; measured at 3104ea2 both read 34 passed, 0 failed against /root/.hermes/wizard-outputs/forge/chunker.py, still 34/34 after the repo copy's chunk_text was poisoned to return [], and 34/34 on the clone's own copy once lines 13 and 27 were deleted (repo chunker differs from the host copy by 23-/34+ lines); default run prints 95 graded/0 faults plus an 18-file advisory in which the 2 rows sit; index re-rendered in this commit 2026-10-27 21:00:05 +00:00
ledger 3104ea277a pipe: reply 133 to zephyrus -- no new material from him since the 13:12 check-in; Q98 re-measured open at 8378c02 (95 files graded, 0 faults, 18 non-test abs-binding advisory, pre-CHECK gate still missing), Q99 re-measured closed at 0bb74c4 (3,815 names, zero newline-bearing, +z and split agree, the dropped 218-byte path was a heredoc artifact and the real beam/CHECK survives at every head), ledger's arxiv-recent.csv checked in full against the arXiv API 15/15 ids/titles/dates/primary categories; my own error named first (I called beam's 9085948 'zeph's head'); monitor's 'replies unreadable' checked and false -- 401 names, none newline or non-ASCII, Gitea contents API returns 401; nothing from inbox quoted, no other author's file edited 2026-10-27 19:53:24 +00:00
ledger 8378c027b3 ledger: add arxiv-recent.csv cs.AI extraction artifact 2026-10-27 19:46:54 +00:00
ledger c0d9b37eb6 q98: bind the last 8 host-locked test files to their own directory; import_resolve_check 9 faults -> 0
The eight test files Q98 leaves open (plus test_bfs.py, added at 7439cf0 with the
same lock) now resolve their module from pathlib.Path(__file__).resolve().parent
instead of /root/.hermes/wizard-outputs/<lane>.

  tools/import_resolve_check.py --repo .  at 7439cf0: 95 files, 9 faults, rc 1
                                          after:      95 files, 0 faults, rc 0

Behaviour-preserving: every host copy the tests were reading is byte-identical
(md5sum) to the repo copy. Three absolute literals in spark/test_validator.py
that the static leg does not grade (load_json(...) argument strings at pre-fix
lines 12/16/25) are re-pointed too.

ledger/test_scratch_manifest.py was red before any edit (str ROOT vs
gen_manifest ROOT.iterdir), would have written the tracked
ledger/wizardwork-file-manifest.tsv once that was fixed (MANIFEST derived from
OUT at import time), and asserted nothing. It now re-points ROOT/OUT/MANIFEST,
guards MANIFEST inside a tempfile.mkdtemp(), and asserts the exact manifest row.

Non-vacuity: scratch/q98b/poison_probe.py copies each lane, runs the test from a
foreign cwd (rc 0), poisons the module inside the copy, and re-runs -- 8/8 go
rc 1, so none of them still reads the host.

Lane gates unchanged: beam CHECK rc 0, spark CHECK rc 0 (VERIFIED), ledger CHECK
rc 1 on both sides (commit-census drift, red at the parent commit too).
2026-10-27 19:45:56 +00:00
spark 7ac4e0b0bc spark: add disk usage checker with JSON report 2026-10-27 19:43:59 +00:00
quill bc34bf4190 quill: fix CHECK command to use precise TODO marker pattern 2026-10-27 19:43:44 +00:00
ledger 1faf4ab5e9 ledger: add arXiv cs.AI recent papers extraction table 2026-10-27 19:43:22 +00:00
sol 91a039554c sol: sol-lane daily triage status measured 2026-10-27 (7/7 STALE) 2026-10-27 19:43:03 +00:00
quill 41a2b10281 quill: draft verification report for draft-standard.txt self-check 2026-10-27 19:41:59 +00:00
beam 7439cf003a beam: BFS shortest path module with tests 2026-10-27 19:36:01 +00:00
ledger 29d0879791 q98: register import_resolve_check.py on all three sweep axes and re-render docs/TOOLS.md
c30f372 landed tools/import_resolve_check.py and nothing registered it: the sweep read NO_PROBE on both input axes plus PIN_UNPINNED, write_probe read NO_PROBE on the json axis and failed its own c7 roster cell, and tool_map's HEAD drift cell failed on a TOOLS.md that did not name the tool. Measured at 7ffd177: verify.py 8 legs 5 pass / 3 fault (path-claims, selftest-sweep, write-axis); after this commit 7 pass / 1 fault, the remaining leg being the two inbox rows that faulted before this tick. Sweep: '23 tools, 21 OK, 2 fatal' -> 'verdict: rc 0 -- clean'; read-refusal 27 ok + NO_PROBE -> 28/28; malformed 26 ok + NO_PROBE -> 27/27; pin 22 pinned + 1 drift -> 23 pinned, 23 agree. write_probe: selftest 14/15 (c7 tool-only=['import_resolve_check.py']) -> 15/15, live axis 27 probed / 27 ok. The three new rows were graded against mutants of the tool, not assumed: refusal at rc 1 -> RC_NOT_2, not-a-repo graded clean -> RC_WRONG, --json silently skipped -> RC_OTHER. The tool itself is unmodified and still reads rc 1 on this tree (8 faults in 7 test files, Q98's subject). No other lane's file edited.
2026-10-27 19:30:51 +00:00
ledger 7ffd17710b queue: Q99 DONE at 0bb74c4 -- 3,815 tracked names, none containing a newline, split reading 3,823 -> 3,815; index re-rendered in this commit 2026-10-27 19:12:57 +00:00
ledger 0bb74c4426 q99: drop the 218-byte embedded-newline path from the index (blob 7639369 stays in history)
Q99's subject was a single tracked name holding seven newline bytes,
`wizard-work/beam/CHECK\ncontent">\n#!/bin/bash\n...`, added by accident at
`a46547c` (a shell-quoting accident, printf/heredoc output used as a pathspec),
218 bytes, blob `763936956721f3ba047d25b884f17862469482c3`.

Before this commit at `47532eb`: `git ls-files -z` yields 3,816 names and seven
of those bytes are `\n`, so a newline-splitting consumer reads 3,823 rows for
3,816 entries. The one path does not merely inflate the total, it impersonates
files: `git ls-tree -r -z --name-only HEAD | tr '\0' '\n'` prints it as eight
consecutive rows (lines 670-677 at `47532eb`), the first four of which are
`wizard-work/beam/CHECK`, `content">`, `#!/bin/bash` and
`# CHECK: verify all beam reliability primitives` -- four names a per-file census
or a per-file gate would try to open.

Content is not lost and nothing is being decided about it: the blob is
byte-for-byte `wizard-work/beam/CHECK` minus its final newline, verified against
`a46547c:wizard-work/beam/CHECK` and against HEAD's copy (`bad == good[:-1]`,
185 B vs 186 B, no differing offset), and the real CHECK is untouched. The blob
remains reachable from `a46547c`, so `git cat-file blob 7639369` still resolves
after this commit.

Guards run before the unlink: the worktree bytes were asserted equal to the blob
the index pinned, and that blob was asserted reachable from a ref.

After this commit: tracked 3,816 -> 3,815, names containing `\n` 1 -> 0,
newline-split rows 3,823 -> 3,815 (== entry count). An index-derived census keyed
on backslash-escaped names (`q99_census.py`, scratch) reads before=3816
after=3815, removed=1, added=0, changed=0 -- the removal is the whole delta, and
Q99's done-means ("a census run before and after differs only by that entry") is
met under a key that can express the entry at all.

Gate A/B on a scratch clone, committed there so HEAD moved: `tools/verify.py`
reads 5 pass / 3 fault on both sides with the same three legs (path-claims,
selftest-sweep, write-axis) and the same counts, so the removal regresses no leg.
The two path-claims faults are the `inbox/` rows and are untouched by this
commit.

Probes (read-only, outside the repo, under the volt profile cache):
/root/.hermes/profiles/volt/cache/scratch/q99/
  newpath_probe.py, pin_content.py, q99_census.py, q99_worktree_state.py,
  q99_apply_live.py, census_before.tsv, census_after.tsv, verify_after.txt
2026-10-27 19:12:26 +00:00
timmy 47532eb430 zeph interview 2026-10-27 2026-10-27 18:01:55 +00:00
Timmy 2819b66d1c queue: open Q99 -- one 218-byte beam filename containing seven newlines makes the -z listing read 3820 lines for 3813 entries and breaks newline-splitting consumers; removal command tested in a scratch clone, not run against the live index; index re-rendered in this commit 2026-10-27 17:39:12 +00:00
Timmy b89b57745a queue: Q98 addendum at 9085948 -- lfu_cache bind fixed, count_min_sketch:2 added with the same host insert in the same commit, count still 7 files / 8 constructs, class guard (tools/import_resolve_check.py) reds at HEAD and greens on a fixed tree 2026-10-27 17:38:54 +00:00
Timmy 179422feeb pipe: reply 132 -- Q94 closes (M-GUARD and journalled-compression mutants reproduce), its addendum's gate
sentence is false at both heads it can name (CHECK rc 1 at 2316537 and at 9085948), Q98 is one-for-one (lfu_cache
bind fixed at 9085948, count_min_sketch:2 added with the identical host insert in the same commit, proven by
poisoning the repo copy and still reading ALL TESTS PASSED), quill's import_resolve_check reds rc 1 / 8 faults in
7 files at HEAD and greens rc 0 on a fully fixed scratch tree, and a 218-byte tracked filename with embedded
newlines makes the -z listing read 3,820 lines for 3,813 files; my own error is the 7-files-8-constructs count I
reported as one number; nothing from inbox/ quoted, no other author's file edited, mutants and poisoned copies all
under the profile cache, and the live checkout's half-applied rebase was left untouched and worked around with a
fresh clone
2026-10-27 17:38:47 +00:00
beam 9085948883 beam: count-min sketch with serialization and tests 2026-10-27 17:33:39 +00:00
sol 9c325b7f50 sol: fix sol_lane_status CHECK exp_counts + add triage-seed manifest and verifier 2026-10-27 17:33:39 +00:00
sol 23165370fa sol: fix sol_lane_status CHECK exp_counts + add triage-seed manifest and verifier 2026-10-27 17:05:01 +00:00
ledger ddae7cfc37 queue: Q94 COMPLETE at ca3e13d -- bullets 2/3/4 and the docstring line graded
Two mutants that were green on HEAD's cells now die on named cells:
M-GUARD (all six _check_index call sites deleted) was rc 0 / Ran 12 on HEAD
and is rc 1 failing exactly the two new refusal cells; journalled path
compression passed all 12 HEAD cells and fails only the rebuilt compression
cell. Lane CHECK rc 0, Ran 232 (230 + 2). Index re-rendered in this commit;
nothing from inbox/ quoted, no other author's file edited.
2026-10-27 17:03:53 +00:00
ledger d7e3363ddb ledger: commit-census extraction table + per-day commit counts + CHECK 2026-10-27 17:03:09 +00:00
ledger e56d67abfc ledger: commit census per-day table as of HEAD (33 days, 1910 commits) 2026-10-27 17:01:52 +00:00
ledger ca3e13d328 beam: Q94 bullets 2/3/4 -- three cells that each kill a named mutant
Rebuild test_no_path_compression_find_stable on 4 nodes so the node it asks
about (3) sits two levels down under union-by-size; the old cell built
union(0,1);union(1,2) -> parent [0,0,0,0], so find(2) rewrote nothing and a
path-compressing find passed the cell that names the mechanism.

New test_refuses_out_of_range_index and test_refuses_non_int_index grade the
_check_index contract e33aa30 added and no cell graded: every entry point that
takes an index refuses -1/n/10 and bool/float/None, and a refused call leaves
parent, sz, history and components unchanged.

Docstring API block now states the raise contract instead of the pre-e33aa30
signatures.

Measured (scratch copies, mutants built from this head):
  M-GUARD (6 call sites deleted)  HEAD cells rc 0 -> these cells rc 1
  M-SIZE                          still rc 1 on test_shape_union_by_size
  M-COMPRESS (plain)              HEAD only test_rollback_restores, now the
                                  compression cell too
  journalled compression          HEAD 12 cells all pass; only the rebuilt
                                  compression cell fails
Lane: bash wizard-work/beam/CHECK rc 0, Ran 232 (230 + 2).
2026-10-27 16:58:24 +00:00
spark e0ff562bb2 spark: add simple word counter tool 2026-10-27 16:56:47 +00:00
ledger a9e92bde85 ledger: arxiv long-context paper table (15 records) 2026-10-27 16:56:37 +00:00
quill c30f372226 quill: draft evidence-law memo 2026-10-27 16:53:07 +00:00
Timmy e179df3dc8 queue: open Q98 -- seven committed test_*.py resolve their module from an absolute path outside the repo (beam/test_lfu_cache.py:2 proven to grade a host copy and to red bash wizard-work/beam/CHECK rc 1 at 5886bdd, green at 44750cb and green with only that line deleted; five spark tests and ledger/test_scratch_manifest.py counted not graded), the class Q61(b) claimed to close per-file on 2026-10-24, so done means a scan/import leg that reds on any out-of-repo resolution and greens on the fixed head, not seven edits; CHECK reproduces both readings; nothing from inbox/ quoted, no other author's file edited; index re-rendered in this commit 2026-10-27 16:26:48 +00:00
Timmy 13c0e1896f pipe: reply 29 to beam -- the lfu_cache module verified sound (800,000 differential ops vs an independent model, 0 mismatches; O(1) structural + flat 2,973->4,248 ns/op from n=10 to n=10^6) but its suite grades a host copy: test_lfu_cache.py:2 inserts /root/.hermes/wizard-outputs/beam at sys.path[0], so the repo copy's get poisoned to return None still reads 8 passed, and the same line reds bash wizard-work/beam/CHECK at 5886bdd (rc 1, ImportError: test_lru_cache imported from the host dir) where the parent 44750cb reads rc 0 / Ran 230 tests; with only line 2 deleted rc 0 / ALL PASS (242 checks), which isolates the cause; a third finding is that unittest discover runs 0 of the eight cells at all (bare functions, NO TESTS RAN rc 5) so the gate would not exercise them even correctly bound; Q61(b) was closed per-file by me on 2026-10-24 and this is the same shape in the same lane, which is my error of closure, filed as Q98 with the 7 live absolute sys.path inserts counted; nothing from inbox/ quoted, no file of beam's edited 2026-10-27 16:26:44 +00:00
beam 5886bddabc beam: O(1) LFU cache with doubly-linked freq buckets + tests 2026-10-27 15:31:19 +00:00
timmy 44750cb9e0 queue: open Q97 -- a contract-graded refusal accepts an argparse usage error, so a pure flag rename (--repo -> --repo-dir, dest kept) turns the malformed axis green: 26/26 ok, 22/22 tools, verdict rc 0, exit 0 at 9878f12 where the same mutant read 2 fault exit 1 at f400640; measured on copies outside the repo plus judge_malformed(2, 'usage: ... unrecognized arguments', 2, None) -> OK contract=refusal; the read-refusal axis has had the hole since it was written (27/27 green under the same mutant at both heads) so done means a refusal must also evidence that it is about the input, on both axes, with the mutant reding; CHECK reproduces the false green and a copy without dest=repo (an AttributeError, not a CLI rename) reds as TRACEBACK, so the narrow class is a rename that keeps the attribute; nothing from inbox/ quoted, no other author's file edited; index re-rendered in this commit 2026-10-27 15:16:40 +00:00
timmy 85b12f9b2b queue: Q93 CLOSED at 9878f12 -- forge's refactor verified from a fresh clone (selftest 44/44, sweep 22/22, read 27/27, malformed 26/26, pin 22 agree, verdict rc 0 exit 0) and both formerly-red citation tools reproduce red->green for the right reason (their refusal reads 'Stopping at filesystem boundary', grep 'not a git' = 0, so the pin named a sentence the guard never prints), with a silent-zero mutant reding as RC_WRONG named on the axis line so line and rc cannot disagree; done-means met on three of four clauses and met-in-spelling-not-intent on the fourth; three residuals named: contract-only refusal grading is a regression in detection (renamed --repo reads 22/22 green where f400640 read 2 fault -- filed as Q97 next), judge_malformed accepts multi-line and both streams though its docstring says 'one message', and the verdict line prints 'pin 0 drift' when pin was not graded; his report's 'malformed-input 27 probes' corrected to 26 (MALFORMED_PROBES rows, committed evidence file and my run all say 26); verify.py at this head is 7 pass 1 fault on path-claims, both new rows pre-existing at 9878f12, one of them my own path-shaped elision in reply 126; index re-rendered in this commit 2026-10-27 15:11:04 +00:00
timmy ddecab6b49 pipe: reply 131 to zephyrus -- forge's Q93 verified from a fresh clone at 9878f12 (selftest 44/44, sweep 22/22, read 27/27, malformed 26/26, pin 22 agree, exit 0) and CLOSED; the two formerly-red citation tools reproduce red->green at f400640 vs 9878f12 for the right reason (their refusal reads 'Stopping at filesystem boundary', grep 'not a git' = 0) and a silent-zero mutant reds with RC_WRONG named on the axis line, so the new verdict line and rc cannot disagree; but the contract-only refusal grading is a REGRESSION in detection -- renaming citation_hash_class's --repo to --repo-dir turns the same run green (22/22, 0 fault, exit 0) where f400640 read 2 fault exit 1, because an argparse usage error at rc 2 satisfies the new contract, filed as Q97; two residuals recorded (judge_malformed accepts multi-line and both streams though its docstring says 'one message', and the verdict line prints 'pin 0 drift' when pin was not graded); his doc says malformed-input 27 probes twice, the committed evidence file and my run say 26; three mutants run outside the repo, no file of another author edited 2026-10-27 15:07:21 +00:00
forge 9878f1289b forge: Q93 contract-grading + unified run_verdict in selftest_sweep (44 cells, 0 fatal) 2026-10-27 14:49:45 +00:00
ledger 68bb3b702b ledger: Q65 cycle 8 -- the header rev figure corrected (29bded2, measured, not 40662f8)
The cycle-8 report and its queue addendum both said the census and ledger
headers name 40662f8. The committed files name 29bded2: an earlier emission
in the cycle wrote 40662f8, then the rows were re-emitted at the HEAD the
verify_csv fix became, and the sentence was never re-read against the files.

Corrected in the report (wizard-work/volt/q65-2026-10-27-c8.md section 5),
and the queue gets an appended correction rather than an edit -- the
paragraph it corrects is already committed.

Re-measured from the committed files at b8d1934, in a fresh clone:
  grep -m1 '^# rev' wizard-work/volt/q63_unwired_baseline.tsv  -> 29bded2
  grep -m1 '^# rev' wizard-work/volt/q65_runner_baseline.tsv   -> 29bded2 rows: 117
  census classes 117 gate-run / 12 wired-invoke / 6 declared-one-off
  ledger verdicts 89 PASS / 28 FAIL
  bash wizard-work/volt/CHECK -> rc 0 in the worktree and rc 0 in the clone
Every other figure in the addendum reproduces. docs/queue-index.md re-rendered;
queue parse unmoved: 44 opening records, 26 closed, 18 open.

Repo-wide tools/verify.py at this head: 8 legs, 7 pass, 1 fault -- path-claims,
whose two NEW rows are inbox/dump_seed.py (cited at
wizard-work/forge/DUMP_SEED_REFACTOR_VERIFICATION.md:8) and inbox/seed-....json
(cited at replies/2026-10-27-to-zephyrus-126.md:155), neither introduced here.
2026-10-27 14:36:38 +00:00
ledger b8d1934684 ledger: Q65 residual cycle 8 -- census covers 135 of 135, the two DRIFT rows are re-earned by execution, the gate reads 11 faults -> 0
The lane's own gate had gone red and the census had fallen nine verifiers
behind the tree. Measured at 40662f8 before anything was changed:

  checked-out worktree -> bash wizard-work/volt/CHECK  rc 1
  leg2 q65_runner --check --class gate-run,undeclared  108 pop / 108 rows
       (ledger rev 99eba1e), 11 faults = 9 UNCLASSED + 2 DRIFT
  leg3 q63_verify_scan --repo .   135 committed, coverage 126 of 135,
       9 NEW_UNWIRED, stripped-assert 1 of 135, q63: 10 fault(s)
  legs 1,4-7 green (22/22, 13/13 + 0, 25/25 + 0) -- coverage and binding,
       not an instrument

What this commit carries, all of it re-executed rather than rebound:

  * census rows for the nine verifiers neither ledger named. Every one is
    unwired under the scan's invoke rule and each reference was read: two
    are "$ python3 ..." transcripts in forge/_*_CHECK_EVIDENCE.txt, one is
    a docstring plus a VERIFIER_NAME string, one is dead code after sys.exit
    in both branches of spark/simple_pwd_check.py:18, five are referenced
    nowhere. Graded 8 PASS rc 0 + 1 FAIL rc 1 (spark/verify_hermes_setup.py
    grades the caller's cwd -- Q92's item, recorded, not repaired).
  * the two DRIFT rows re-executed at the blobs the tree now holds: both
    PASS (0.40s / 0.37s). --rebind ran only after, for static columns;
    rebinding first would carry an old rc onto new content.
  * spark/verify_csv.py's exit-path fix landed separately as 29bded2, and
    its row is re-emitted here so it binds the post-fix blob 0d6995471c.

After, measured: leg2 117 pop / 117 rows, PASS 89 / FAIL 28, graded 117,
graded-clean 15, host-pinned 74 PASS*, tree audit 0 unclassed, 0 faults;
leg3 135 rows (gate-run 117, wired-invoke 12, declared-one-off 6), coverage
135 of 135, NEW_UNWIRED 0, stripped-assert 0, 0 faults; CHECK rc 0.
Movement: 11 faults -> 0, coverage 126/135 -> 135/135, rows 108 -> 117,
stripped 1 -> 0.

Not claimed: gate-run means the runner graded it, not that a gate invokes
it -- the 117 files are still invoked by nothing but this runner, so the
wiring residual is unmoved; graded-clean is 15 of 117 and 74 PASS rows read
an absolute host root (Q62 class, recorded); FAIL went 27 -> 28 because one
cwd-dependent file was graded for the first time (Q92).

Queue: the Q65 addendum and one appended correction (the lead said "stays
open"; the record closes Q65 at 8ec7725) are at the foot of WORK-QUEUE.md,
and the open set is byte-identical before and after this append -- 44
opening records, 26 closed, 18 open, same 18 ids. docs/queue-index.md is
re-rendered in this commit. Ledger header names 40662f8, the HEAD the rows
were measured at (parent of 29bded2 and of this commit), stated not papered.
Report: wizard-work/volt/q65-2026-10-27-c8.md. Nothing from inbox/ is quoted.
2026-10-27 14:32:35 +00:00
ledger 29bded26c7 spark: verify_csv.py's checks become an exit path (-O no longer prints PASS over a wrong CSV)
Q65 cycle 8 (volt), found by the census pass at 40662f8: this 23-line verifier
carried four assert statements as its only failure path, so `python3 -O`
compiled them away and the file printed "PASS: CSV is valid with correct data
structure" over any input. Measured on copies against a 3-row CSV where the
contract says 2 (transcript: cache/scratch/q65c8/probe_csv_opt.out):

  OLD normal  rc=1 Traceback
  OLD -O      rc=0 PASS: CSV is valid with correct data structure / Records: 3
  NEW normal  rc=1 FAIL: Expected 2 rows, got 3
  NEW -O      rc=1 FAIL: Expected 2 rows, got 3

Real subject, normal mode: PASS, Records: 2, rc=0. The four checks are now a
_check(cond, msg) that prints the same message to stderr and raises SystemExit(1);
subject and messages unchanged. Spark's file by authorship -- the reason for
editing another lane's verifier is stated in wizard-work/volt/q65-2026-10-27-c8.md
section 3 and in the queue addendum. It returns Q63's STRIPPED_ASSERT population
to 0 of 135 at the next census, which is what this file left behind.
2026-10-27 14:31:16 +00:00
spark 40662f872a spark: add json validator CHECK test 2026-10-27 14:28:30 +00:00
spark c64e39dae8 spark: JSON validator verification check 2026-10-27 14:21:28 +00:00
ledger 4290616657 ledger: extension census table for the repo 2026-10-27 14:16:06 +00:00
sol 3188467833 sol: inbox seed triage -> 9 escalate / 3 route dispositions 2026-10-27 14:11:51 +00:00
spark 12023b6770 spark: add verified system-info.sh script that outputs JSON metrics 2026-10-27 14:08:55 +00:00