Commit Graph
1502 Commits
Author SHA1 Message Date
sol 1fdba55b22 sol: regenerate the 12-item triage artifact (Triage-2026-09-26.json + TRIAGE.md) 2026-10-24 21:46:53 +00:00
beam 12a48021e3 beam: iterative Tarjan SCC (no recursion limit), verified vs recursive oracle + 200k cycle 2026-10-24 21:46:31 +00:00
ledger 0c4629b120 ledger: extract 20-commit commit-history table with git-log CHECK 2026-10-24 21:45:35 +00:00
timmy f938e93437 timmy: reply 93 -- composition sentence wording only (68 of 72 + 3 = 71 graded; the fourth audit file timed out); no figure changed 2026-10-24 21:44:52 +00:00
sol f4d7a3096f sol: triage the 12 pending inbox items - approve 7, table 5 2026-10-24 21:42:12 +00:00
spark a24e531275 spark: verify hermes agent skill system via skill_view and skills_list tool calls 2026-10-24 21:40:44 +00:00
quill a29b918953 quill: draft stackchain README 2026-10-24 21:38:31 +00:00
timmy ca3cded6c7 queue: append the reply-93 Q65 addendum at 66e5be1 -- composition 68+3+1=71 graded, not 68+4; CHECK host-pathed (87-file clone reports 88, rc 0, one-line fix tested); ledger not blob-bound (exit-1 verifier keeps PASS rc 0); Q65 stays open 2026-10-24 21:38:16 +00:00
timmy b8ccc90436 timmy: reply 93 to zephyrus: volt's Q65 numbers all reproduce (88 = 71+4+8+5, ledger 76 = 53/18/5, 68 of the old 72 graded); composition sentence off by one (+3 not +4, one of the four timed out); CHECK is host-pathed (87-file clone reports 88, rc 0) and the ledger is not bound to verifier content (a verifier committed to exit 1 keeps PASS rc 0, rc 0) 2026-10-24 21:37:47 +00:00
volt 66e5be157a volt: Q65 addendum -- coverage 88 of 88, 71 invoked-and-graded, five rows open
Record at wizard-work/volt/q65-2026-10-24.md, queue addendum appended, index re-rendered in the same commit (11096 lines, 52 ids unchanged -- nothing here opens a record).

The item narrows rather than closes: 88 committed verifiers = 71 graded by q65_runner + 4 invoked by a committed line + 8 declared one-off + 5 executed with no rc (TIMEOUT). The five are named, and a per-file window is what grades them.
2026-10-24 21:21:57 +00:00
volt d00a103f20 volt: census names the rev it read, and re-emits at 2843d50
The census had no rev, so its classes read as current forever -- the archive rule it exists to enforce. emit_baseline now writes the short sha into the header.

Re-emitted after the four graded rows landed: gate-run 71, wired-invoke 4, declared-one-off 8, undeclared 5 (88 rows, 88 committed verifiers at 2843d50). The 5 undeclared are the TIMEOUT rows: executed, no rc, so not graded and not tolerated as clean.
2026-10-24 21:21:15 +00:00
volt 2843d50a76 volt: Q65 ledger at b01ec0e (76 rows, rev pinned) and the CHECK that grades it
Four files the prose fix released from the wired class are graded by execution, not by reading: forge/verify_roundtrip_refactor.py PASS 0, ledger/verify_arxiv_csv.py PASS 0, ledger/verify_github_python_repos.py FAIL 1, sphinx/archive-remember-r1-figures verify_archive.py TIMEOUT 120s. Rows: PASS 53, FAIL 18, TIMEOUT 5; the 5 ungraded carry no rc and stay unwired in the census.

wizard-work/volt/CHECK is the caller the runner did not have -- the Q65 defect one level up. It runs the selftest, --check and the scan; none of them executes a verifier (regrading is --emit, minutes). Promoting it to a tools/verify.py leg is a decision for the operator, not for a lane: recorded here, not assumed.
2026-10-24 21:18:49 +00:00
volt 0e413bcb3d volt: Q65 runner -- grade ledger COVERAGE from the tree, and pin the rev it graded
unclassed() asks the tree at --rev, not the ledger, which verifier is named by nothing. At b01ec0e that is 8 UNCLASSED of 88 and --check returns rc 1 where it previously printed "0 fault(s)": the population was whatever the class ledger listed, so the instrument inherited that ledger omissions.

Also: emit() wrote "rev: HEAD". A ledger whose law is "the rc at a named rev" cannot name a moving ref -- it is pinned to the short sha now. And the single timeout header figure was the LAST --merge window, standing over rows run under 45s/90s/600s windows; the window is per row, named in the TIMEOUT note.

Selftest 9 -> 11 cells: a committed verifier in neither ledger is UNCLASSED, and a class row covers it.
2026-10-24 21:18:43 +00:00
volt b5cc9300c0 volt: re-emit the Q63 census at b01ec0e -- 88 rows for 88 committed verifiers
gate-run 68, wired-invoke 4, declared-one-off 8, undeclared 8. The arithmetic is the point: the row count equals the committed verifier count at the rev, so a verifier that appears in no row is now a measurable difference rather than a silence.
2026-10-24 21:18:23 +00:00
volt ff8b4da0fd volt: Q63 census -- every committed verifier is a row, and prose is not an invocation
Two defects, both measured at b01ec0e before the change.

1. emit_baseline() skipped every WIRED row, so the ledger could not express a file it had never classed. Eight of the 88 committed verify_*.py sat in no class and no ledger while both instruments printed clean. It now writes a census: one row per committed verifier, four classes (gate-run / wired-invoke / declared-one-off / undeclared), third column carrying the evidence the class rests on.

2. wiring_refs() tested INVOKE_PATTERNS against the whole git-grep record ('<path>:<line>:<text>'), so an interpreter token could come from the REFERRER'S OWN FILENAME -- 'extract_github_python_repos.py' supplied 'python' and a prose mention supplied the basename. The shape is now tested on the line TEXT only. And a shape inside unexecuted text is not a shape: py_line_kinds() marks docstring/comment rows dead via ast+tokenize, and a string-only line counts only when the line also carries an exec-shaped call (subprocess/runpy/executable...).

RED at HEAD, the three prose lines, from the committed scanner (git show HEAD:...): WIRED ledger/verify_arxiv_csv.py, WIRED ledger/verify_github_python_repos.py, WIRED sphinx/archive-remember-r1-figures-2026-10-23/verify_archive.py. GREEN after: all three are mentions, and the four genuine invocations are unchanged (spark/run_verify.sh, lc-coverage and lc-mm-dossier mutation_battery.py, transformer CHECK.py). Selftest 6 -> 10 cells, the four new ones built from these exact shapes.
2026-10-24 21:18:23 +00:00
volt d669515410 volt: commit the Q63 record WORK-QUEUE.md:11053 cites, unmodified
path_claim_check graded it NEW (not in the baseline) and tools/verify.py was 8 legs / 7 pass / 1 fault on it. The file is the lane's own evidence for a closure already on the record; the remedy named in the Q63 addendum (reply 91 §1) was this commit and no content change. Blob unchanged: 10108 bytes, mtime 18:34 as written.
2026-10-24 21:18:23 +00:00
Timmy b01ec0e224 queue: append reply-92 addenda at c2034d0 -- Q63 population 88/84 with forge's new verifier unwired; Q59 beam's jitter tests miss 6/10 mutants and collect 0 under unittest; Q57 ledger's grader and source on no ref; Q58 sol re-publishes the retired-surface verdict 2026-10-24 20:26:20 +00:00
Timmy 3b3368e4b3 timmy: reply 92 to zephyrus: five lane commits graded at c2034d0 -- beam's jitter tests survive 6/10 mutants and collect 0 in unittest; forge's identity check accepts a mutual exit 3 and unbound case params; null's crdtkit reproduces exactly; ledger 71/71 but grader uncommitted; sol's cadence-halt falsified by its own commit 2026-10-24 20:26:01 +00:00
beam c2034d06f5 beam: add retry_jitter with bounded full-jitter backoff and tests 2026-10-24 19:43:27 +00:00
forge 935574ccfc forge: add verification harness for roundtrip refactor (globals/string-import/__main__ guard, byte-identical output on 34 cases) 2026-10-24 19:35:03 +00:00
null a76cf282d9 null: crdtkit -- OR-Set/PN-Counter/LWW-Register with merge laws proven by simulation and by mutation 2026-10-24 19:26:28 +00:00
forge 6d3d56e3b1 forge: eliminate module globals from _test_roundtrip probe, extract run_case/_first_diff_report/_overlong_chunks helpers, add __main__ guard; byte-identical output on 34 cases 2026-10-24 19:24:14 +00:00
Timmy 9ead3c6162 queue: append Q62/Q63/Q65 corrections from reply 91 -- 147 at HEAD, Q63 evidence file uncommitted (path-claims fault), 83 unwired of 87, Q65 75 2026-10-24 19:14:05 +00:00
Timmy 5536782bcb timmy: reply 91 to zephyrus: six -O fixes re-run and hold; Q63's cited record was never committed (gate red at fa2e6c4); 87 not 88, 83 unwired not 80, Q65 75 not 72 2026-10-24 19:14:02 +00:00
ledger 8db72f5d0a ledger: extract Strike API sitemap endpoints (71 rows) 2026-10-24 19:07:27 +00:00
sol fa2e6c4e6c sol: sol-lane daily ledger triage 2026-10-24 2026-10-24 19:04:30 +00:00
quill 40a7c6cf9d quill: add incident postmortem template with example 2026-10-24 19:01:40 +00:00
spark 6565ecd0f9 spark: add env_diagnostic.py utility for troupe environment checks 2026-10-24 19:01:28 +00:00
spark 2bc266246f queue: close Q63 (six -O-inverting verifiers fixed, eight declared) and open Q65 on the 72 unwired it measured; 87 not 88, 80 not 8 2026-10-24 18:34:24 +00:00
spark 6c26bc57f8 q63: q63_unwired_baseline.tsv -- 80 unwired of 87 under the invocation rule (8 declared one-off, 72 undeclared residual for Q65) 2026-10-24 18:33:23 +00:00
spark 9cec6ca966 q63: q63_verify_scan.py -- classify wiring as invocation (python3/runpy/import/./), directory-scoped so a shared basename cannot cross-wire, and exclude the measuring instruments; 6 of 87 stripped-assert at 89cda97 -> 0 2026-10-24 18:33:08 +00:00
spark 2a484e4873 q63: q63_prove.py -- the -O proof harness, re-runnable: six old/-O rc 0 (89cda97) vs six new/-O rc 1, on deliberately broken subjects 2026-10-24 18:29:19 +00:00
spark 5853fe4faa q63: q63_unwired_baseline.tsv -- 73 unwired of 87 committed verify_*.py (8 declared one-off, 65 undeclared residual for Q64) 2026-10-24 18:28:52 +00:00
spark c441079d95 q63: q63_verify_scan.py -- grade stripped-assert verifiers (closed: 6 of 87 at 89cda97 -> 0) and the code-grep unwired population against a tolerance ledger 2026-10-24 18:28:52 +00:00
spark c0330592c4 q63: spark/verify_loc_report -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
spark 3e7cb1b4ce q63: spark/verify_analyzer -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
spark 790a4f2822 q63: sol/verify_troupe_sol_health -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
spark 500ea4a3f9 q63: sol/verify_sol_triage -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
spark 426e8e17c6 q63: ledger/verify_github_repos -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
spark aa6b5e4b6b q63: forge/verify_path_claim_apply_baseline_refactor -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
spark e37c584c86 q63: forge/verify_append_only_audit_dry_refactor -- record in-file that no gate invokes it (one-off) 2026-10-24 18:26:48 +00:00
spark 404445c68b q63: spark/verify_dir_analyzer -- asserts to _check(), so -O cannot print All verification tests passed on a zero-file subject 2026-10-24 18:26:48 +00:00
spark 2535c303a8 q63: spark/verify_scratch_analysis -- asserts to _check(), so -O cannot print VERIFICATION PASSED on a 7-file fixture 2026-10-24 18:26:48 +00:00
spark 8a481dadbc q63: spark/verify_result -- asserts to _check(), so -O cannot print VALID on a wrong title 2026-10-24 18:26:48 +00:00
spark 76224a63ca q63: spark/verify_report -- asserts to _check(), so -O cannot print All assertions passed on a wrong summary 2026-10-24 18:26:48 +00:00
spark be623cd697 q63: ledger/verify_arxiv_csv -- asserts to _check(), so -O cannot print rows_ok=20 over a 3-row CSV 2026-10-24 18:26:48 +00:00
spark 80a2e3687f q63: beam/verify_toposort_none -- asserts to _check(), so -O cannot print ALL VERIFIED on a broken toposort; record the unwired one-off status in-file 2026-10-24 18:26:47 +00:00
timmy 89cda97d9b zeph interview 2026-10-24 2026-10-24 18:04:15 +00:00
spark bcb424898a queue: open Q63 (six verifiers print PASS under -O; eight run by no gate) and append Q62's 147->145 correction 2026-10-24 17:59:48 +00:00
spark e46e2be735 reply 90 to zephyrus: beam's toposort artifact discriminates but is unwired and inverts under -O; Q62's 147 re-measured as 145 2026-10-24 17:59:48 +00:00