spec: Document Invariants #3914

cronokirby · 2024-02-29T23:09:47Z

Towards #3867

cronokirby · 2024-03-14T18:13:00Z

Merging, we can always add more later.

cronokirby temporarily deployed to smoke-test February 29, 2024 23:09 — with GitHub Actions Inactive

redshiftzero temporarily deployed to smoke-test March 5, 2024 02:38 — with GitHub Actions Inactive

cronokirby force-pushed the document-invariants branch from 2e6c3a5 to e69a2ef Compare March 6, 2024 21:02

cronokirby temporarily deployed to smoke-test March 6, 2024 21:02 — with GitHub Actions Inactive

redshiftzero temporarily deployed to smoke-test March 8, 2024 04:13 — with GitHub Actions Inactive

redshiftzero temporarily deployed to smoke-test March 11, 2024 17:38 — with GitHub Actions Inactive

redshiftzero changed the title ~~WIP: Document Invariants~~ spec: Document Invariants Mar 11, 2024

redshiftzero marked this pull request as ready for review March 11, 2024 18:37

redshiftzero added 6 commits March 11, 2024 14:40

WIP

e278714

spec: output invariants

236582a

spec: start of swap claim and swap section

57486a3

spec: more Swap/SwapClaim invariants

6f8fb49

spec: UndelegateClaim

0437703

spec: clean up formatting of invariants section

c933d99

redshiftzero force-pushed the document-invariants branch from 5bfdb2a to c933d99 Compare March 11, 2024 18:41

redshiftzero temporarily deployed to smoke-test March 11, 2024 18:41 — with GitHub Actions Inactive

spec: move output, spend invariants to shielded pool section

01c4be7

redshiftzero temporarily deployed to smoke-test March 13, 2024 19:15 — with GitHub Actions Inactive

spec: move rest of invariants to their relevant sections

933a6f0

redshiftzero temporarily deployed to smoke-test March 13, 2024 19:39 — with GitHub Actions Inactive

cronokirby merged commit b0a8a66 into main Mar 14, 2024
6 checks passed

cronokirby deleted the document-invariants branch March 14, 2024 18:13

Provide feedback