Commit Graph
383 Commits
Author SHA1 Message Date
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
beam 23f5a4a8be beam: verify toposort None-deps and one-shot materialisation 2026-10-24 17:41:49 +00:00
ledger ae6c5cfa48 ledger: add arXiv RAG papers table (12 records) 2026-10-24 16:30:39 +00:00
forge ab290ef210 forge: eliminate module globals / global keyword from edge_sweep probe 2026-10-24 16:26:54 +00:00
null c48f09878f null: regenerate the standup entry against 831f809 (line naming + committed negative control) 2026-10-24 16:26:45 +00:00
null 831f8095d7 null: name the line a mutated entry changed, and commit the negative control (Q57) 2026-10-24 16:25:20 +00:00
sol b78526b8e9 sol: sol-profile-skill-triage-2026-10-24 — deployment & usage triage artifact 2026-10-24 16:18:11 +00:00
spark b5302438f4 spark: LWC counter utility for lines, words, chars analysis 2026-10-24 16:17:44 +00:00
quill ef9f0380da quill: add issue-to-draft brief and retry_decorator sample 2026-10-24 16:15:33 +00:00
spark cdf6828fe0 beam: Q61 -- materialise each dependency iterable once, resolve the module locally, drop the dead first pass
topo_sort read graph.values() twice, so a dependency delivered as a generator,
map, filter or reverse iterator was exhausted by the first walk and the node
kept an empty dependency set. The result was a successful call with a wrong
order -- and, measured, a 3-cycle delivered as generators reported as a
successful order with cycle=None.

Every dependency sequence is now materialised exactly once, up front; every
later pass reads that copy, so double-consumption is structurally impossible.
Removed the unreachable first DFS pass in the cycle path (ruff F841 start/path/
res) leaving one find_back_edge; the self-loop case is explicit.

test_toposort.py resolved the module from /root/.hermes/wizard-outputs/beam,
a host path ahead of the test's own directory: a module that refuses to import
beside it left the suite green. It now resolves from Path(__file__).parent and
asserts the imported file's identity. 242 checks: 9 graph shapes x 7 delivery
forms, cycles in all 7, plus a guard that the duplicate toposort/ copy has not
drifted.

Falsified both ways: the suite fails on blob 4da0d8e and on the one-token
mutation tuple(ds) -> ds. CHECK rc 0 (85 unittests OK), verify.py 8/8.
2026-10-24 16:14:24 +00:00
beam 40254811bd beam: topo_sort module + tests 2026-10-24 15:39:31 +00:00
forge 77d4714e50 forge: simplify _split_into_chunks control flow, remove redundant break in _hard_split_long 2026-10-24 14:11:10 +00:00
ledger 2fdb0360f4 ledger: extract 5 arxiv cs.AI titles into table 2026-10-24 13:53:35 +00:00
spark 09dfa0f132 spark: add Python check script for factorial verification 2026-10-24 13:44:36 +00:00
spark b548099861 spark: add factorial verification script with shell check 2026-10-24 13:42:43 +00:00
forge 840ef98fe7 forge: fuzz probe refactor verification - correct line count/filename citations, add negctrl test, commit evidence files 2026-10-24 13:39:55 +00:00
beam c6464ef8e0 beam: add smooth weighted round-robin scheduler with tests 2026-10-24 13:37:32 +00:00
spark 1c6f3ade0b spark: add text_stats.py utility for counting lines/words/chars in text files 2026-10-24 13:37:32 +00:00
sol 3cb43deb46 sol: regenerate Triage-2026-09-26 record from the inbox seed 2026-10-24 13:29:59 +00:00
spark 5d619049c8 spark: add text_stats.py utility for counting lines/words/chars in text files 2026-10-24 13:29:34 +00:00
quill 6fd64f3607 quill: draft Timmy daily health summary generator spec 2026-10-24 13:28:16 +00:00
volt 7378f65189 beam: Q59 -- pin the jump hash mapping with golden vectors from the C reference
The module's docstring claims 'results match the C reference' and no cell
graded it: _MULT ...1757->...1751 and the md5 hi^lo fold -> hi both passed
7/7 while remapping 99.0% and 99.0% of 10k string keys at n=100 (measured,
transcripts in volt's 2026-10-24-jump-golden artifact).

- jump_ref.c: the Lamping & Veach figure-5 reference (gcc -O2), committed
  beside the test so the vectors can be regenerated from the repo alone.
  Measured against the Python module on 630,910 (key, n) pairs: 0 mismatch.
- test_golden_vectors: 0/5->0, 2^64-1/100->92, _to_u64('key-0') and
  jump_hash('key-0',100)->40, jump_hash('order-42',1000)->667. The string
  cells are the only ones that can see the fold: m2_fold moves 0% of
  integer keys by construction.
- test_minimal_movement: lower bound at 0.5x expected, so a sticky hash is
  graded, not merely absent from the failures (measured ratios 0.974-1.047).
- test_uniformity_other_bucket_count: n=97 prime, +/-10%, observed -5.28/+4.57.

Suite 7 -> 9 tests, both green unmutated; control and three mutants measured
before/after in the artifact.
2026-10-24 11:46:16 +00:00
null 2ef427ced2 null: log names 72f33e7, the commit that carries wizard.py and check.py 2026-10-24 11:21:13 +00:00
null 72f33e786c null: name the commit that carries the work bytes, not the log blob (fixed point was unsatisfiable) 2026-10-24 11:19:08 +00:00
null 3222860fb0 null: bind the standup entry to the commit whose blob is byte-identical 2026-10-24 11:05:00 +00:00
forge 31a37a305c forge: refactor _fuzz_probe.py - eliminate dead roundtrip() helper, extract bounds check into pure generator, add __main__ guard 2026-10-24 10:59:58 +00:00
spark 171376592d spark: add verification script for number analyzer 2026-10-24 10:57:32 +00:00
spark c4bc3a19c3 spark: add number analyzer script for verification 2026-10-24 10:56:57 +00:00
ledger 5010821e1d ledger: commit job-postings extraction table (356 rows, 3 sources) 2026-10-24 10:51:19 +00:00
quill 445a1c67d8 quill: add project kickoff brief template 2026-10-24 10:49:34 +00:00
spark 4605f8b3a4 spark: add python syntax validator utility 2026-10-24 10:49:27 +00:00
quill f151ca3d6b quill: draft sprint template v0.2 - fixed CHECK em dash 2026-10-24 10:47:25 +00:00
sol 12812df07f sol: refresh sol-profile triage report (2026-10-24) 2026-10-24 10:47:20 +00:00
quill da6d47f76d quill: draft sprint template v0.2 — claim-graded, repo-relative CHECK 2026-10-24 10:45:17 +00:00
beam d1f5fe30ed beam: add jump consistent hash primitive with tests 2026-10-24 09:33:31 +00:00
ledger 37ab2ef224 ledger: top-10 nominal GDP table 2026 (IMF/WB/UN) 2026-10-24 08:01:18 +00:00