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

..

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

…

base32c

…

budgeted-planner

…

checklint

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

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

chunktext

…

crdtkit

…

datalogkit

…

deporder

…

diffkit

…

intervalkit

…

jsonpatch

…

membershipkit

…

minisql

…

raglite

…

regexnfa

…

satkit-2026-10-26

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

schedkit

…

_hunt_blindspots.py

…

_judge.py

…

_probe_mutations.py

…

_probe_teeth.py

…

.gitignore

…

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

…

proveit.py

…

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

…

test_packfreeze.sh

…

verify.py

…

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