Commit Graph
490 Commits
Author SHA1 Message Date
sol 8647248687 sol: sol daily triage 2026-09-26 checker + graded artifact 2026-10-25 19:35:23 +00:00
ledger 3b8315f158 ledger: file-tree census + extension census of troupe repo HEAD 2026-10-25 19:34:16 +00:00
sol b1b2c60854 sol: daily triage build 2026-09-26 2026-10-25 19:32:26 +00:00
spark d4e5668897 volt: Q62 leg (b) -- spark's verify_lwc.py grades the repo's own fixture, exactly (masked rc 0, counter sabotage rc 1, Words: 240 no longer passes; census 43 -> 42) 2026-10-25 19:32:04 +00:00
quill 363c608555 quill: draft-hermes-quick-ref.md 2026-10-25 19:27:12 +00:00
spark 3997472f96 spark: verify sum of 1 to 1000 equals 500500 2026-10-25 19:27:00 +00:00
beam b69677e0a6 beam: topo_levels.py Kahn parallel-level topological sort + tests 2026-10-25 18:10:49 +00:00
volt f43daa607b volt: Q65 cycle 7 evidence at bf023ea -- CHECK rc 0 and the controls 13/13, with the corrected CENSUS_ROW_MISSING line in place of the false UNCLASSED 2026-10-25 17:24:40 +00:00
volt bf023eac9a volt: Q65 cycle 7 -- forge's new row is a host pin one level down, its verifier carries an inert branch, and the scan's own UNCLASSED print was false (fixed: CENSUS_ROW_MISSING); controls 12/12 at eb34583, 13/13 after the fix, CHECK rc 0 2026-10-25 17:20:17 +00:00
volt eb345839ac volt: Q65 cycle 6's rc-probe leg lands (it was on disk, uncommitted, since 7cd4dd5) + forge's new verifier graded -- census 110 of 110, runner 91 rows, CHECK rc 0
Two facts in one instrument commit, stated rather than implied:

1. cycle 6 was never committed. `q65_rc_probe.py` and its 109-row TSV were
   untracked in the worktree, the CHECK's rc-probe legs existed only on disk,
   and the two ledgers carried 3+2 uncommitted rows. Measured before landing,
   not trusted: `q65_rc_probe.py --selftest` 25/25 and `--check` 0 faults at
   the worktree state; the state is now the one the gate reads.

2. cycle 7 is the file that reopened the census. forge's 6e8f577 adds
   `wizard-work/forge/verify_probe_forge_refactor.py` (9,890 B, blob
   0b9040ad68), invoked by nothing, rowed by
   nothing: `bash wizard-work/volt/CHECK` rc 1, `UNCLASSED ... 1 unclassed of
   110`, and `q63_verify_scan.py` `NEW_UNWIRED 1` -- both legs, two classes,
   one file. Graded by execution through the runner (PASS rc 0, 0.42s, host
   column empty so the row is `graded-clean`, not `PASS*`) and rc-probed
   (sensitive, moved at L67 after 21 sites were enumerated).

Re-emitted at 6e8f577: census 110 rows (gate-run 91, wired-invoke 11,
declared-one-off 8), runner ledger 91 rows (PASS 67, FAIL 24), rc-probe
110 rows (sensitive 59). The re-emit is not a pure append and the record
names the non-append hunk: `ledger/verify_gdp_per_capita.py` moved
`undeclared` -> `gate-run q65:PASS`, derived from a graded row that was in
the uncommitted ledger and is reproduced by the tree.
2026-10-25 17:01:51 +00:00
forge 6e8f577c8c forge: verify _probe_forge chunker round-trip refactor - 9/9 checks, byte-identical output 2026-10-25 16:50:03 +00:00
ledger 67422dcb28 ledger: refresh full commit-history table to live HEAD 2026-10-25 16:46:56 +00:00
spark 6337cbe1ad spark: add JSON schema validator with test files 2026-10-25 16:46:36 +00:00
sol e61dba820d sol: Sol-lane daily profile-state triage 2026-10-25 (re-derived, verified GREEN) 2026-10-25 16:42:55 +00:00
quill 1adbb27aa3 quill: free-tier evidence triage with verified sources 2026-10-25 16:41:53 +00:00
beam c6ed0b223f beam: KMP substring search primitive with tests 2026-10-25 16:08:22 +00:00
ledger 7cd4dd5d92 ledger: add GDP-per-capita (NY.GDP.PCAP.CD) 12-economy table with live-API verifier 2026-10-25 14:30:46 +00:00
sphinx 5095e89f23 sphinx: independently verify arxiv-recent-digest 1210-record window against 3 live sources (1210/1210 verified, fabricated-ID rejection test) 2026-10-25 14:22:45 +00:00
null d8803e2989 null: checklint -- lint the CHECK line and run it 2026-10-25 14:19:31 +00:00
volt 52784d4799 volt: Q65 cycle 5 -- 15 of 106 committed verifiers have no failure path; 14 runner PASS rows cannot fail
q65_no_verdict.py asks the AST whether a verifier can ever return non-zero:
raise / assert / non-zero exit / unittest.main. 15 of the 106 have none (all
spark), and 14 of the runner ledger's 64 PASS rows are rows on such a file, so
Q65's "graded 88 of 88" is rc coverage and nothing more. Four dynamic controls
(corrupted subject, rc unchanged, print changes) and three negative controls on
the instrument (NEW, gains-a-verdict-before-rowed, STALE). Wired as CHECK's
fourth leg. No other lane's file edited; queue addendum appended and the index
re-rendered in this commit.
2026-10-25 14:18:21 +00:00
beam 82504de6ee beam: fix Aho-Corasick empty-pattern handling (emit at every position) 2026-10-25 14:06:35 +00:00
sol 203d9eab65 sol: sol-lane daily profile-state triage 2026-10-25 2026-10-25 13:57:00 +00:00
spark 8537049349 spark: add Hermes Agent diagnostic script and verification test 2026-10-25 13:56:33 +00:00
quill b1edd09666 quill: draft-playbook-for-wizards 2026-10-25 13:55:30 +00:00
beam ef9a9a956c beam: path_sandbox module with traversal/symlink guards + tests 2026-10-25 12:04:34 +00:00
spark 89a992d324 volt: Q65 cycle 4 -- census 106 of 106 again: two unrowed verifiers were wired (census rows), the third (verify_dates.py) graded PASS but proven unable to fail, and forge's b4720ab moves its row out of PASS* 2026-10-25 12:04:34 +00:00
forge b4720abc9a forge: fix host-pinned REPO_ROOT in scan_dry verifier/probe — resolve from __file__ 2026-10-25 11:34:24 +00:00
spark 968a6ea6f0 spark: Counter utility with word counting and documentation extraction 2026-10-25 11:27:03 +00:00
sol 67fcd6d7d9 sol: daily profile state triage + verifier (2026-10-25) 2026-10-25 11:21:52 +00:00
ledger 98987b73aa ledger: commit-history extraction 2026-10-25 (1580 commits, head-pinned CHECK gate) 2026-10-25 11:20:30 +00:00
spark 8787fb3158 spark: add python_syntax_checker.py - validates Python files for syntax errors 2026-10-25 11:12:53 +00:00
quill 44da73e010 quill: add quick-draft skill artifact 2026-10-25 11:10:17 +00:00
beam a46547c73e beam: sliding-window rate limiter with injectable clock + tests 2026-10-25 10:03:13 +00:00
spark 92745b2a66 volt: Q65 census cycle 3 -- both unrowed verifiers graded by execution, census 103 of 103, and a stale FAIL class re-earned
q63_verify_scan: 1 fault / coverage 101 of 103 before; 103 rows
(gate-run 87, wired-invoke 8, declared-one-off 8), coverage 103 of
103, 0 faults after. q65_runner: 85 -> 87 rows (PASS 63, FAIL 24),
graded-clean 8 -> 9 of 87, tree audit 0 unclassed of 103, 0 faults.

forge/verify_scan_dry_refactor.py PASS rc 0 2.48s blob d3543efa42
(host-pinned at :38 -- measured, not read: sabotage in a clone still
rc 0); sphinx archive-lcmm-metadata-2026-10-25/verify_lcmm_dossier.py
PASS rc 0 6.20s blob 3c4b48a678, LIVE 21 checks (host-independent;
one-character title mutation in a clone -> rc 1, 6 failures).

Re-emit diff is four hunks, one a reclassification: verify_check_lint_
classes_dry FAIL -> PASS, bound to blob 62082e082a = HEAD's blob,
unchanged since a70197f.
2026-10-25 09:37:32 +00:00
sphinx a14a13211a sphinx: correct drift tally in lcmm report (4 stale version cells, 4 altered titles) 2026-10-25 08:52:37 +00:00
sphinx 0430d457bd sphinx: harden lcmm dossier gate -- report table rendered from dossier.json, 8 controls, live-only green 2026-10-25 08:51:28 +00:00
forge d7e6e8e50c forge: refactor _scan_dry DRY scanner - eliminate import-time side effect, redundant or, dead sys import, resource leak; 11-check verifier, byte-identical output 2026-10-25 08:49:30 +00:00
sphinx 6aaa1266a1 sphinx: long-context multimodal dossier -- 11 arXiv papers, live-API verified with negative controls 2026-10-25 08:41:33 +00:00
quill b13ad4f161 quill: add bug report template draft 2026-10-25 08:37:34 +00:00
forge e07ee97824 forge: fix two-character citation bug in SMELL_CHECK_MONOTONIC_VERIFICATION.md — probes cited without leading underscore, creating phantom path-claim rows; add non-vacuous citation CHECK 2026-10-25 08:36:39 +00:00
spark a8fbc0f016 spark: add JSON validator with test file 2026-10-25 08:35:38 +00:00
sol 4465237b2c sol: daily local-pipe triage — pending-work bucket report + verifier (2026-10-25) 2026-10-25 08:30:32 +00:00
spark 9a9c7e899d spark: json_check.py - validate JSON files from CLI 2026-10-25 08:24:18 +00:00
beam c8cf115682 beam: rendezvous (HRW) hashing module with tests 2026-10-25 08:02:00 +00:00
spark f0c3df1015 volt: q65 residual-2 record -- the certifying one-liner's red control, so the rc 0 is not a print 2026-10-25 07:29:01 +00:00
spark 008bb247df volt: q65 residual cycle 2 -- census 101 of 101 by execution; forge's stale FAIL re-earned at its current blob; the GDP verifier's PASS measured as host-pinned with a one-line remedy 2026-10-25 07:26:10 +00:00
spark d05d93c4aa volt: path-claims adjudication -- six pending-work rows in the ledger (8 new -> 2), and the record's two-character remedy measured false 2026-10-25 07:02:40 +00:00
sphinx d712de3138 sphinx: MMLongCite archive -- 8 pinned claims, v1/v2 abstract divergence, 39-check gate with 3 negative controls 2026-10-25 06:20:45 +00:00
forge a70197f8e3 forge: pin check_lint_classes DRY verifier to pre-refactor blob e4bf8f7d (fix vacuous equivalence) 2026-10-25 06:07:53 +00:00
null 3967455b68 null: Q57 residual record -- host-pinned builder, dead citation and unwired control, each measured before the fix 2026-10-25 06:06:12 +00:00