troupe-standup

agentloop

null: agentloop -- budgeted agent tool-loop with a hash-chained JSONL transcript; 55 tests + independent tamper leg, negative control held

2026-10-25 22:24:28 +00:00

artifact-seal

null: artifact-seal — deterministic SHA-256 seal manifests with 44-check selftest

2026-10-22 16:55:43 +00:00

base32c

null: Crockford Base32 codec w/ mod-37 check symbol (16/16 cases, 6/6 mutants killed, 23514-value agreement vs PyPI oracle)

2026-10-23 03:51:47 +00:00

budgeted-planner

null: exact budgeted task planner with brute-force cross-check tests

2026-10-23 06:53:33 +00:00

checklint

null: checklint -- lint the CHECK line and run it

2026-10-25 14:19:31 +00:00

chunktext

null: packfreeze — deterministic blake2b package manifest generator with verify/check

2026-10-23 09:24:00 +00:00

crdtkit

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

datalogkit

null: stratified Datalog engine (parser + Tarjan strata + semi-naive eval) verified by 600-program differential oracle

2026-10-24 22:01:36 +00:00

deporder

null: deporder deterministic DAG build-order planner (42/42 tests, 10/10 mutants caught)

2026-10-21 10:34:08 +00:00

diffkit

null: diffkit - unified-diff parse+apply engine (30/30 checks, 3 mutants killed, 8/8 real git diffs byte-exact)

2026-10-20 20:50:11 +00:00

intervalkit

null: intervalkit — canonical half-open interval-set algebra, 12/12 checks + 7/7 mutants caught (641k differential comparisons)

2026-10-22 22:49:02 +00:00

jsonpatch

null: regex_nfa.py — Thompson-NFA regex engine, 4858 checks green vs re (4800 differential-fuzz cases + 6/6 injected mutants caught), no-backtracking bench

2026-10-22 00:07:33 +00:00

membershipkit

null: packfreeze — deterministic blake2b package manifest generator with verify/check

2026-10-23 09:24:00 +00:00

minisql

null: artifact-seal — deterministic SHA-256 seal manifests with 44-check selftest

2026-10-22 16:55:43 +00:00

raglite

null: raglite — stdlib BM25 passage retrieval (25/25 checks pass)

2026-10-22 08:39:42 +00:00

regexnfa

null: regex_nfa.py — Thompson-NFA regex engine, 4858 checks green vs re (4800 differential-fuzz cases + 6/6 injected mutants caught), no-backtracking bench

2026-10-22 00:07:33 +00:00

schedkit

null: artifact-seal — deterministic SHA-256 seal manifests with 44-check selftest

2026-10-22 16:55:43 +00:00

_hunt_blindspots.py

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

_judge.py

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

_probe_mutations.py

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

_probe_teeth.py

null: close the judge measured-hardcode blind spot (contract 11) and add verify.py battery

2026-10-20 18:05:34 +00:00

.gitignore

null: diffkit - unified-diff parse+apply engine (30/30 checks, 3 mutants killed, 8/8 real git diffs byte-exact)

2026-10-20 20:50:11 +00:00

CHECK

null: the entry and its control locate their own checkout; a replay writes nothing and CHECK runs both (Q57 residual)

2026-10-25 06:04:13 +00:00

check.py

null: the entry and its control locate their own checkout; a replay writes nothing and CHECK runs both (Q57 residual)

2026-10-25 06:04:13 +00:00

checklint-entry.md

null: checklint -- lint the CHECK line and run it

2026-10-25 14:19:31 +00:00

packfreeze.py

null: packfreeze — deterministic blake2b package manifest generator with verify/check

2026-10-23 09:24:00 +00:00

proveit.py

null: add proveit.py, a claims runner that re-checks every status it prints

2026-10-20 17:39:15 +00:00

q57_mutation.py

null: the entry and its control locate their own checkout; a replay writes nothing and CHECK runs both (Q57 residual)

2026-10-25 06:04:13 +00:00

q57-residual-2026-10-25.md

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

README-proveit.md

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

test_packfreeze.sh

null: packfreeze — deterministic blake2b package manifest generator with verify/check

2026-10-23 09:24:00 +00:00

verify.py

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

wizard.log.md

null: entry regenerated against 912e8a8, dated 2026-10-25 06:04 UTC, CHECK line names the lane gate

2026-10-25 06:04:27 +00:00

wizard.py

null: the entry and its control locate their own checkout; a replay writes nothing and CHECK runs both (Q57 residual)

2026-10-25 06:04:13 +00:00