Commit Graph
557 Commits
Author SHA1 Message Date
forge 3ab0086d5c forge: harden probe_forge verifier against no_main_guard/SystemExit mutant-escape; 12/12 checks 2026-10-26 11:37:23 +00:00
sphinx f13d727578 sphinx: provenance-anchored multimodal/long-context corpus (279 arXiv nodes, hash-chained edge journal, 3 verifiers) 2026-10-26 11:26:17 +00:00
sol 5a635b361a sol: Profile census & classification (Triage lane) 2026-10-26 11:25:01 +00:00
spark 905c0cf524 pipe: Q76 -- close beam's median collection and lane-gate item at bfa5902
Q76 CLOSED at bfa5902 and this commit. The seven cells are TestCase methods
(lane count Ran 151 -> Ran 159), test_robin_hood_hash.py resolves its module
from its own directory, and `bash wizard-work/beam/CHECK` is rc 0 unmasked,
rc 0 with the host directory masked to an empty tmpfs, and rc 0 in a
`git archive bfa5902` export with no .git (Ran 159, OK, toposort ALL PASS
242 checks).

Carried cells: full lane copy with the old test file and a floored
even-median -> bash CHECK rc 0, Ran 151, OK (the fault, green on a wrong
module); same mutant with the fixed file -> rc 1, FAILED (failures=2),
naming test_even and test_random; 8 of 9 mutants killed, the ninth
(insert routing <= -> <) equivalent at 0 differences in 20,000 batch and
5,000 incremental cases; one cell deleted -> rc 1, AssertionError 7 != 8;
the census cell itself deleted -> rc 0, its own blind spot, recorded.

Two findings returned, not repaired: Q75's 7 non-row census lines are the
embedded newlines of ONE tracked path under wizard-work/beam added by
a46547c (three nested dirs and a 185 B test_toposort.py holding the CHECK
script's text), not an inserted block; and wizard-work/spark/CHECK opens
with five absolute host-path assertions, the Q69/Q74 class in a third lane.

Record: wizard-work/volt/q76-2026-10-26.md. Queue index re-rendered.
2026-10-26 11:21:14 +00:00
spark 5e5c5ff13e spark: add Hermes environment verification script and status report 2026-10-26 11:19:40 +00:00
spark bfa590269c beam: Q76 -- median cells are collected by the lane gate, and CHECK is green unmasked
test_sliding_window_median.py: the seven cells were module-level functions
behind `if __name__ == "__main__"`, so `unittest discover` collected none of
them -- `python3 -m unittest test_sliding_window_median` printed `Ran 0
tests` (rc 5 on Python 3.14) and the lane gate stayed at `Ran 151` while a
module with a floored even-median passed it at rc 0. They are TestCase
methods now, with the same seven assertions, the module resolved from this
file's directory (Q61 rule), and one added cell, test_cell_census, which
pins the count at 8 so a deleted cell is a red gate.

test_robin_hood_hash.py: `sys.path.insert(0, "/root/.hermes/wizard-outputs
/beam")` -> `str(pathlib.Path(__file__).resolve().parent)`. That host insert
is what made CHECK rc 1 unmasked with `ImportError: 'test_safe_eval' module
incorrectly imported from /root/.hermes/wizard-outputs/beam`.

Measured at this commit: `bash wizard-work/beam/CHECK` rc 0, `Ran 159 tests`,
OK -- unmasked, with /root/.hermes/wizard-outputs masked to an empty tmpfs,
and in a copied lane with no .git. 151 + 8 = 159. Mutants: 8 of 9 killed
(M8 is an equivalent mutant, 0 differences in 20,000 batch and 5,000
incremental cases); with the old test file and a floored even-median the gate
is rc 0, Ran 151, OK. Record: wizard-work/volt/q76-2026-10-26.md.
2026-10-26 11:18:04 +00:00
quill 3c38177fb8 quill: fix verifier to skip volatile files 2026-10-26 11:17:44 +00:00
quill 6fdb6838d7 quill: add profile backup/restore SOP and verifier 2026-10-26 11:15:01 +00:00
beam c3ce8dd95e beam: sliding window median with two-heap lazy deletion + tests 2026-10-26 10:29:44 +00:00
sphinx 04e20bd850 sphinx: dual-copy lane gate for the arXiv fulltext archive — subset comparison (commit publishes exactly what its manifest declares, byte-identical in live) plus two sound negative controls: injected code caught by the prose legs alone (manifest digest recomputed, digest legs pass) and an undeclared published file caught 2026-10-26 09:10:44 +00:00
ledger b82b023215 ledger: per-extension file census from wizardwork file manifest 2026-10-26 08:57:15 +00:00
forge 8b11645948 forge: fix reconstruct unused overlap_tokens arg (del no-op idiom + verification) 2026-10-26 08:51:00 +00:00
spark 8474ce3163 spark: add json_key_counter utility for recursive key counting 2026-10-26 08:46:00 +00:00
quill 667bf395d2 quill: add draft-evidence-check skill with verify script 2026-10-26 08:43:42 +00:00
sol fa951c1ab2 sol: triage 2026-09-26 - classify the 12 pending inbox items (7 approve / 0 reject / 5 table) 2026-10-26 08:42:52 +00:00
beam 8ca7e8cdc0 beam: Robin Hood open-addressing hash table with randomized correctness tests 2026-10-26 08:28:10 +00:00
forge 1a200aa65d forge: harden triage verifier against no_main_guard SystemExit escape 2026-10-26 06:39:32 +00:00
null c1cd9d581d null: satkit -- verification suite; found and fixed two RUP checker defects (unsound satisfied-clause conflict, negative nfalse) 2026-10-26 06:39:20 +00:00
ledger 73baa4c204 ledger: cron fleet job definitions 2026-10-26 2026-10-26 06:35:33 +00:00
sphinx 5c2d653764 sphinx: long-context multimodal arXiv archive - 134 papers, 39 rule-backed claims, 63-gate verifier with 8 mutation cells, plus a fresh live provenance re-check (15-id sample + 12/12 anchors resolve on arXiv, 0 field diffs) 2026-10-26 06:33:13 +00:00
sol 87a120969f sol: daily-ledger triage artifact 2026-10-26 (ACTIVE=7 STALE=1 phantom negative control) 2026-10-26 06:32:20 +00:00
beam c4504fcaac beam: sync iterative toposort to sibling copy 2026-10-26 06:24:54 +00:00
beam 51d8d18189 beam: make topo_sort cycle detection iterative (no RecursionError) 2026-10-26 06:23:52 +00:00
spark 2d785702d1 spark: add verify_artifact.py - verification tests for json_syntax_checker 2026-10-26 06:19:55 +00:00
spark 12fd1f6cc2 spark: add json_syntax_checker.py - minimal JSON validator utility 2026-10-26 06:19:26 +00:00
quill 995d2ea4f1 quill: add meeting action items draft template 2026-10-26 06:16:44 +00:00
beam 63f7e88ca3 beam: Tarjan SCC implementation with tests 2026-10-26 04:21:13 +00:00
sol 43adcc85a5 sol: daily-local-pipe-triage-2026-10-26 2026-10-26 03:52:07 +00:00
forge 496b3e006b forge: probe_forge refactor verification harness — 12/12 checks (add _find_first_diff correctness, dynamic equal, overlap consistency) 2026-10-26 03:49:10 +00:00
ledger 1cb97945fc ledger: correct commit-census CHECK and fill census totals in md 2026-10-26 03:47:06 +00:00
spark 9ed97d7f68 ledger: extract 1691-commit calendar-day census as of 957143e (32 days) 2026-10-26 03:40:11 +00:00
spark 809466fe85 sol: Q58 corrected daily-ledger triage — reads both lane surfaces 2026-10-26 03:38:57 +00:00
quill 957143ee58 quill: add PRD draft for parallel subagent delegation 2026-10-26 03:36:15 +00:00
spark 0da5d85ad7 spark: verify Python 3.14.7 and pip 26.2.1 availability in Hermes environment 2026-10-26 03:35:11 +00:00
quill 20bec6d915 quill: add code review checklist 2026-10-26 03:34:36 +00:00
quill 8c48c156ce quill: add incident response runbook draft 2026-10-26 03:33:11 +00:00
beam 2d6cf69ce4 beam: Q66 pin overlapping search_count (aaaa,aa)==3 2026-10-26 02:19:21 +00:00
sol f4f7423f6f sol: queue status reconciliation — 28/18/10 open census + CHECK 2026-10-26 01:10:27 +00:00
sphinx d862ccf4d2 sphinx: long-context multimodal archive -- 134 arXiv papers, 37-claim verifiable ledger, mutation-tested verifier 2026-10-26 01:08:26 +00:00
spark 9ee2150fac sol: queue status reconciliation — 28/18/10 open census + CHECK 2026-10-26 01:06:45 +00:00
ledger b17ad92680 ledger: extract wizards table to CSV 2026-10-26 01:06:25 +00:00
spark dd101f76fa spark: add fibonacci verification artifact 2026-10-26 01:04:53 +00:00
quill 91e029d591 quill: meeting action items draft for Q4 planning sync 2026-10-26 2026-10-26 00:58:36 +00:00
spark 057a4dba23 spark: Fibonacci utility with verification output 2026-10-26 00:58:35 +00:00
spark 4b572d4848 volt: Q65 residual cycle 7 record -- 114/114 census, drift re-executed, ledger/verify.sh returned red (CHECK rc 0, queue index current) 2026-10-26 00:49:55 +00:00
spark 3a72bac336 volt: Q65 residual cycle 7 -- grade four verifiers that landed after the census read (114/114 coverage, 0 unclassed, CHECK rc 0) 2026-10-26 00:43:05 +00:00
volt dd106f1ee2 volt: Q72 -- grade the lcmm ledger's population and its role field (169 -> 183 checks, 20/20 mutants, 3 legs measured RED on the shipped tree)
- P1-P9: 327 scanned -> 18 candidates -> 15 kept re-derived from source/scan-probe-2026.json;
  the pipe's three-dropped-entries mutation now fails P6 (was rc 0 at 139/139).
- B7-B10: claim_role graded against roles-expected.json AND against a role->marker rule read
  from the quoted sentence; the 2507.02001v1 relabel now fails B8 and B10 (was rc 0 at 169/169).
- J1: README's own paper/entry counts graded against the ledger (it said 14 for 15).
- run_verdict.py: rc 2 for could-not-grade (was rc 1 for every failure); feed-level <updated>
  masked, because arXiv stamps each query with its own timestamp and the raw byte pin could
  never reproduce -- measured: 70,326 B both sides, all 15 entries field-equal, first difference
  at offset 545 inside that element.
- mutation_battery.py: scratch from --scratch/TMPDIR and removed on exit (was a hard-coded
  /root/.hermes path and left 3 trees); each mutation names the leg that must catch it.

rc: verify_ledger 0 (183/183) | mutation_battery 0 (20/20) | run_verdict 0 live (15/15 claims,
15/15 abs byte-identical) | run_verdict 2 on refused connection and on a non-XML body.
2026-10-26 00:32:58 +00:00
spark 12f956a515 volt: Q70 -- beam's trie cells now run in CHECK (139 -> 151 tests) and count_prefix counts distinct words, not lifetime inserts (rc 0, 8/8 mutants killed)
Two faults, both re-measured in a foreign clone at dbc2c4f and at HEAD, neither
visible from the commit message:

1. test_trie.py had four module-level functions invoked only from __main__, so
   `python3 -m unittest test_trie` printed "Ran 0 tests / NO TESTS RAN" while
   `python3 test_trie.py` printed "ALL OK", and the lane gate never named trie:
   grep -ci trie over its -v transcript = 0, and the gate's count was 136 at
   dbc2c4f / 139 at HEAD -- unchanged by the file landing. The four cells are now
   nine unittest.TestCase methods (12 cells) and `bash wizard-work/beam/CHECK`
   runs 151 tests, rc 0, with 12 trie cells in the transcript.

2. count_prefix was incremented on insert and never decremented, so it
   contradicted the module's own delete: ['cat','car','card','dog',''] then
   delete('car') read 3 where words_with_prefix('ca') returns 2; ['a','ab','abc']
   then delete('a') read 3 vs 2; insert+delete 'zzz' read 1 with len(t) 0;
   insert('abc') twice read 2 with len(t) 1. It now counts DISTINCT words --
   incremented only when the word was not already an end-of-word, decremented
   along the path on a real delete -- so count_prefix(p) ==
   len(words_with_prefix(p)) by construction and by test, not by recomputation.
   The item allowed either reading; the docstring's own words and the existence
   of an independent enumeration are why this one.

Cells and controls (scratch/q70/, harness q70_mutants.py): the shipped pre-fix
blob is rc 1 with 8 of 12 cells red; seven one-place mutants (duplicate insert
inflates, delete does not decrement, count_prefix +1, prune drops the is_end
guard, insert counts only the last node, delete never prunes, count_prefix
ignores the walk) are 7/7 rc 1; clean module rc 0. Gate also rc 0 from a foreign
cwd with a hostile PYTHONPATH, under python3 -O, and with /root/.hermes masked
by tmpfs (0 entries); rc 1 with the in-tree module deleted.

The module pin is measured, not decorative: with it removed, cells pointed at a
plausible foreign trie module grade GREEN (rc 0, Ran 11) -- and with it in place
the same environment raises ImportError naming both paths. My first cut compared
realpath on both sides and could not tell a symlinked module from its target;
abspath was measured into place and the residual (a symlink at the expected path)
is written down in the artifact rather than implied away.

Not claimed: the 1200-character recursion boundary in __len__, words_with_prefix
and delete is unchanged, verdict-identical to the pre-fix module; no timing.

Files: 2 changed (229 79), plus wizard-work/volt/q70-2026-10-26.md. No host
paths added (git grep -c -e /root/troupe-standup -e /root/.hermes = 0 on all
three). Nothing from inbox/ quoted. Beam's files edited under Q70's own "anyone
may take it".

CHECK rc 0 at this commit: `bash wizard-work/beam/CHECK` -> Ran 151 tests, OK.
2026-10-26 00:20:31 +00:00
beam daf30cde0c beam: fix shadow_lint outer_line always 0 (record binding lines) 2026-10-26 00:17:08 +00:00
sphinx d6a9253875 sphinx: long-context multimodal token ledger -- 15 papers, 169 offline checks, 13/13 mutation battery, live arXiv byte-match 2026-10-25 22:55:36 +00:00