Repository navigation

test(zeronym): model the protocol in Quint and check it in CI - #82

Open

aphelionz wants to merge 123 commits into

mainfrom

test/zeronym-divert-quint

Open

test(zeronym): model the protocol in Quint and check it in CI#82
aphelionz wants to merge 123 commits into
mainfrom
test/zeronym-divert-quint

Commits on Sep 23, 2026
- test(zeronym): model the divert protocol in Quint and check it in CI
  
  Mark Henderson
  and
  claude
  committed
  80648df
- test(zeronym): scope the divert invariants by hub honesty; verdict-aware check.sh
  
  Mark Henderson
  and
  claude
  committed
  4a456c9
- ci(zeronym): pin the spec job's checkout and give it a read-only token
  
  Mark Henderson
  and
  claude
  committed
  2e90d6f
- test(zeronym): assert the lying-hub noQueuedBytes counterexample
  
  Mark Henderson
  and
  claude
  committed
  262bd78
Commits on Oct 6, 2026
- test(zeronym): record a non-conforming indexer's zero reply
  
  hu55a1n1
  and
  cursoragent
  committed
  5f1b3d8
- test(zeronym): check queue-hit pending on an honest hub
  
  hu55a1n1
  and
  cursoragent
  committed
  82eb22b
- test(zeronym): lock the lookup arms with runs
  
  hu55a1n1
  and
  cursoragent
  committed
  d303058
- test(zeronym): let a hostile hub hide a queued migration
  
  hu55a1n1
  and
  cursoragent
  committed
  16491f2
- test(zeronym): record honest status regression
  
  hu55a1n1
  and
  cursoragent
  committed
  8845332
- test(zeronym): miss a queued body that has no txid
  
  hu55a1n1
  and
  cursoragent
  committed
  62ec0d9
- Revert "test(zeronym): miss a queued body that has no txid"
  hu55a1n1
  committed
  c22aa12
- test(zeronym): count a hostile not-found by the reply's disposition
  
  hu55a1n1
  and
  cursoragent
  committed
  46e7082
- Reapply "test(zeronym): miss a queued body that has no txid"
  hu55a1n1
  committed
  91e1382
- test(zeronym): drop the second hub that never sees a submit
  
  hu55a1n1
  and
  cursoragent
  committed
  ee1fde5
- test(zeronym): remember a broadcast after the queue copy is gone
  
  hu55a1n1
  and
  cursoragent
  committed
  fb45f02
- test(zeronym): deliver the reply the hub actually queued
  
  hu55a1n1
  and
  cursoragent
  committed
  89f2058
- test(zeronym): ask the indexer when a queued body has no txid
  
  hu55a1n1
  and
  cursoragent
  committed
  bdad505
- test(zeronym): refuse an unparseable body in the found arm
  
  hu55a1n1
  and
  cursoragent
  committed
  cb5644a
- test(zeronym): add the spells and message soup for the protocol spec
  hu55a1n1
  committed
  6c485d4
- test(zeronym): add the protocol vocabulary and wire layer
  hu55a1n1
  committed
  26de07f
- test(zeronym): name the draining refusal apart from the draining phase
  hu55a1n1
  committed
  f0406bf
- test(zeronym): specify the hub and indexer as input-output functions
  hu55a1n1
  committed
  7eea1c6
- test(zeronym): specify the shim as an input-output function
  hu55a1n1
  committed
  369b070
- test(zeronym): add the protocol state machine, its properties and configurations
  hu55a1n1
  committed
  84e06c3
Commits on Oct 7, 2026
Commits on Oct 8, 2026
Commits on Oct 12, 2026
- test(zeronym): check the quiet-run wallet observations in simulation
  
  hu55a1n1
  and
  cursoragent
  committed
  20edd12
Commits on Oct 15, 2026
Commits on Oct 21, 2026
- docs(zeronym): drop the state diagrams from the spec README
  hu55a1n1
  committed
  3d4558f
- docs(zeronym): define an honest shim and hub by build and attestation
  hu55a1n1
  committed
  9207a97
- docs(zeronym): state the spec's scope before its threats and guarantees
  hu55a1n1
  committed
  cf943df
- docs(zeronym): scope covert channels out of the spec
  hu55a1n1
  committed
  5cc2ed3
- docs(zeronym): state G1 by message type
  hu55a1n1
  committed
  94a07e3
- docs(zeronym): replace trust wording with reliance in the spec
  hu55a1n1
  committed
  735e018
- docs(zeronym): narrow G1 to forwarded transactions
  hu55a1n1
  committed
  8ec5152
Commits on Oct 23, 2026
- docs(zeronym): mark K4 accepted in the spec README
  
  hu55a1n1
  and
  claude
  committed
  911b178
- Merge remote-tracking branch 'origin/main' into test/zeronym-divert-quint
  hu55a1n1
  committed
  d7dd4f8
- docs(zeronym): re-point the spec's code line references at main after #85
  
  hu55a1n1
  and
  claude
  committed
  e18b149
- docs(zeronym): pin the spec README to main at 2bae0a6
  hu55a1n1
  committed
  74b39e7
Commits on Oct 26, 2026
- test(zeronym): model the #92 hub tip rule in the spec
  
  Mark Henderson
  and
  claude
  committed
  c52ce9d
Commits on Oct 27, 2026
- Merge pull request #93 from ShieldedLabs/spec/zeronym-quint-tip-guard
  hu55a1n1
  authored
  c89c548
- test(zeronym): model the #94 transparent-only divert in the spec
  
  Mark Henderson
  and
  claude
  committed
  ecb5e40
Commits on Oct 28, 2026
- Merge pull request #95 from ShieldedLabs/spec/zeronym-quint-tex-leg
  hu55a1n1
  authored
  ae31f61
- docs(zeronym): scope the spec's source-IP threat to the hub and the network
  
  Mark Henderson
  and
  claude
  committed
  832dbbb
- docs(zeronym/spec): add the hub-hop and lookup threats from the third report
  
  Mark Henderson
  and
  claude
  committed
  e3c7e1c
- spec(zeronym): record the free junk burst as finding 13
  
  Mark Henderson
  and
  claude
  committed
  aeb70a9
- docs(zeronym): follow #96's review in the spec's T14 row
  
  Mark Henderson
  and
  claude
  committed
  55d0db2
- Merge pull request #97 from ShieldedLabs/spec/zeronym-quint-ip-join
  sl-mrh
  authored
  6ff560d
Commits on Oct 30, 2026
- Update zeronym/spec/quint/README.md
  
  sl-mrh
  and
  hu55a1n1
  authored
  d05175f
- Merge pull request #103 from ShieldedLabs/spec/zeronym-quint-junk-fill
  sl-mrh
  authored
  182cc8b
Commits on Oct 31, 2026
- Merge remote-tracking branch 'origin/test/zeronym-divert-quint' into claude/spec-hub-substitution
  Mark Henderson
  committed
  c28a4bc
Commits on Nov 1, 2026
- Merge pull request #101 from ShieldedLabs/claude/spec-hub-substitution
  hu55a1n1
  authored
  08a8abf
Commits on Nov 3, 2026
Commits on Nov 4, 2026
- spec(zeronym): model the burn and the nullifier refusal, keyed by txid
  
  hu55a1n1
  and
  cursoragent
  committed
  b041ff6
- spec(zeronym): fail a gate row on a nonzero exit and start an abstract flush only when idle
  hu55a1n1
  committed
  0c114e3

Commits

Commits on Sep 23, 2026

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026

Commits on Oct 12, 2026

Commits on Oct 15, 2026

Commits on Oct 21, 2026

Commits on Oct 23, 2026

Commits on Oct 26, 2026

Commits on Oct 27, 2026

Commits on Oct 28, 2026

Commits on Oct 30, 2026

Commits on Oct 31, 2026

Commits on Nov 1, 2026

Commits on Nov 3, 2026

Commits on Nov 4, 2026