Repository navigation

feat(verification): committed gates, protocol triage, and six command entry points - #64

Merged

ManSio merged 9 commits into

mainfrom

feat/protocol-triage-and-t10-guards

Oct 3, 2026

Commits on Sep 29, 2026

chore(privacy): untrack .local scratch, drop personal paths from script defaults
MSCodeBase Agent
committed
ea9b591

Commits on Oct 1, 2026

fix(t10): refuse empty populations instead of printing a plausible number
MSCodeBase Agent
committed
91f8e04
feat(verification): move the gates into the repo so they version with the code
MSCodeBase Agent
committed
285dbc3
chore(git): stop tracking a test-generated artifact
MSCodeBase Agent
committed
fc36dda
feat(commands): move the six protocol commands into the repository
MSCodeBase Agent
committed
210bb63

Commits on Oct 3, 2026

Merge remote-tracking branch 'origin/main' into feat/protocol-triage-and-t10-guards
MSCodeBase Agent
committed
dee4908
feat(verification): make the gate suite runnable outside the author's machine
MSCodeBase Agent
committed
f0e9508
Merge remote-tracking branch 'origin/main' into feat/protocol-triage-and-t10-guards
MSCodeBase Agent
committed
8d643c9
fix(tests): stop a protocol-guard control from crashing on a Windows runner
MSCodeBase Agent
committed
647d44a