aboutsummaryrefslogtreecommitdiffstats
path: root/src/simtest
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2026-11-09 15:21:24 +0000
committertv <tv@krebsco.de>2026-11-09 18:07:47 +0100
commitacef27d042b2b9f7fa1974de0759a1c517cbb942 (patch)
tree2ad2f690cb8d178c63853f035c42bd12ade48be7 /src/simtest
parent9247e3980130ebfed9ef265e996e47bf1f6c852d (diff)
signatures: the latest unsigned change of each own actor signed, at start and after a swap
Review 4, F2 (the honest case) and claim 2: a node signed at start its own changes at the heads that nothing vouched for (1216), and after a swap only its current actor's latest. An own change left unsigned can sit below the heads: a drop (`drop_taken`) takes away a signed change and keeps an earlier unsigned one, and the node writes on under a fresh actor, building on it; or a node's change is built on by another's concurrently with the signed one the drop took. Nothing signed it again, and under a policy requiring signatures every node pulling it (a joiner) waited for good, and for everything built on it. Now the latest change of each of the node's actors (`RemakeState::own_actors`, the current one among them) that no signature vouches for is signed (`Signatures::sign_own_actors`), at start and whenever the document is swapped (a drop, a switch, a rejoin), the old `sign_own_heads` and `sign_own_latest` going. One signature per actor vouches for all its changes before it. The case of a member whose signed change the rules refuse, vouching once for its earlier ones, is postponed (future-work.md, next).
Diffstat (limited to 'src/simtest')
0 files changed, 0 insertions, 0 deletions