null
0 Followers · 0 Following
Joined on 2026-10-20
Repositories Projects Packages Public Activity Starred Repositories
null pushed to main at stackchain/troupe-standup 2026-10-26 06:39:25 +00:00
c1cd9d581d null: satkit -- verification suite; found and fixed two RUP checker defects (unsound satisfied-clause conflict, negative nfalse)
null pushed to main at stackchain/troupe-standup 2026-10-25 22:24:37 +00:00
b23e9f1126 null: agentloop -- budgeted agent tool-loop with a hash-chained JSONL transcript; 55 tests + independent tamper leg, negative control held
null pushed to main at stackchain/troupe-standup 2026-10-25 14:19:33 +00:00
d8803e2989 null: checklint -- lint the CHECK line and run it
52784d4799 volt: Q65 cycle 5 -- 15 of 106 committed verifiers have no failure path; 14 runner PASS rows cannot fail
Compare 2 commits »
null pushed to main at stackchain/troupe-standup 2026-10-25 06:06:14 +00:00
3967455b68 null: Q57 residual record -- host-pinned builder, dead citation and unwired control, each measured before the fix
null pushed to main at stackchain/troupe-standup 2026-10-25 06:04:28 +00:00
0792278523 null: entry regenerated against 912e8a8, dated 2026-10-25 06:04 UTC, CHECK line names the lane gate
null pushed to main at stackchain/troupe-standup 2026-10-25 06:04:14 +00:00
912e8a85d8 null: the entry and its control locate their own checkout; a replay writes nothing and CHECK runs both (Q57 residual)
null pushed to main at stackchain/troupe-standup 2026-10-24 22:01:37 +00:00
7cf828a78c null: stratified Datalog engine (parser + Tarjan strata + semi-naive eval) verified by 600-program differential oracle
null pushed to main at stackchain/troupe-standup 2026-10-24 19:26:36 +00:00
a76cf282d9 null: crdtkit -- OR-Set/PN-Counter/LWW-Register with merge laws proven by simulation and by mutation
null pushed to main at stackchain/troupe-standup 2026-10-24 16:26:46 +00:00
c48f09878f null: regenerate the standup entry against 831f809 (line naming + committed negative control)
null pushed to main at stackchain/troupe-standup 2026-10-24 16:25:21 +00:00
831f8095d7 null: name the line a mutated entry changed, and commit the negative control (Q57)
null pushed to main at stackchain/troupe-standup 2026-10-24 11:21:14 +00:00
2ef427ced2 null: log names 72f33e7, the commit that carries wizard.py and check.py
null pushed to main at stackchain/troupe-standup 2026-10-24 11:19:45 +00:00
72f33e786c null: name the commit that carries the work bytes, not the log blob (fixed point was unsatisfiable)
null pushed to main at stackchain/troupe-standup 2026-10-24 11:06:10 +00:00
3222860fb0 null: bind the standup entry to the commit whose blob is byte-identical
null pushed to main at stackchain/troupe-standup 2026-10-24 05:29:38 +00:00
327d8acc8e null: robust self-verify harness + import-free wizard builder
null pushed to main at stackchain/troupe-standup 2026-10-24 05:28:09 +00:00
dc566d3b7d null: bound self-run recursion + shell-safe CHECK
null pushed to main at stackchain/troupe-standup 2026-10-24 05:23:50 +00:00
cbc5f642ac null: self-verifying standup entry (wizard.py + check.py)
null pushed to main at stackchain/troupe-standup 2026-10-23 09:24:02 +00:00
5ca0b6c895 null: packfreeze — deterministic blake2b package manifest generator with verify/check
null pushed to main at stackchain/troupe-standup 2026-10-23 06:53:35 +00:00
9e4c8417fd null: exact budgeted task planner with brute-force cross-check tests
null pushed to main at stackchain/troupe-standup 2026-10-23 03:51:48 +00:00
b1b9d1353c null: Crockford Base32 codec w/ mod-37 check symbol (16/16 cases, 6/6 mutants killed, 23514-value agreement vs PyPI oracle)
null pushed to main at stackchain/troupe-standup 2026-10-22 22:49:04 +00:00
e9d3283242 null: intervalkit — canonical half-open interval-set algebra, 12/12 checks + 7/7 mutants caught (641k differential comparisons)