Manifest of check-in
[c0fcf1792d]
- Derive the client round-continuation predicate from the six section 3.7 conditions and encode the section 3.8 five-state client machine, including the nine-cause fatal-error set with its round-0 error-card discard exception.
by
dmestas on
2026-07-09 21:30:17.
C Derive\sthe\sclient\sround-continuation\spredicate\sfrom\sthe\ssix\ssection\s3.7\sconditions\sand\sencode\sthe\ssection\s3.8\sfive-state\sclient\smachine,\sincluding\sthe\snine-cause\sfatal-error\sset\swith\sits\sround-0\serror-card\sdiscard\sexception.
D 2026-07-09T21:30:17.674
F .fossil-settings/ignore-glob 4e1491210fe20b99dafdfa1a5e895c153bfc608af1164639fe266f75124e6d45
F README.md 54ee3e8f159f0869c2d6361d1692576e3d1acdf2c66f7fc897c9fe0e54b09adc
F build.zig 52f673e9501bbe1fa1ea095a58c96e68c4a356792780962d70ec92a0b631a714
F build.zig.zon d5d4d8f8c01f55e69078eabf2ee65f7c1756bdbb2f71738ac5de9de99e69aff1
F docs/HANDOFF.md 6eeae7f178f5937bd6d685dd9327a9160c1a59b3ecf750117ceb9032953ae987
F docs/rfcs/draft-fossil-artifact-format-00.txt cd3d134b9ddd31e7941fd323ca826e37ad3b9b20ff07ff26adac9fc9c30957b5
F docs/rfcs/draft-fossil-delta-format-00.txt d8025d6d75322e33887c3334a4b9cc729960028b3c994ed01e5a474e4b388fd2
F docs/rfcs/draft-fossil-repo-state-00.txt fd413bcb28001a8a07009ca0c769cfe666394ba79dd4f14a6461f2b592049595
F docs/rfcs/draft-fossil-sync-protocol-00.txt 9b74e545bb08d05ecf1d56967dad1cd1449aeba65e23e7cd9d61aeee98d65c30
F src/artifact.zig 8814f0cbeb5d9bb50ddce6a012436cd14dcba333b16158f31aa93bb354cd26dc
F src/delta.zig 7e5e0a0900f6f78127ae0521916b9b89b294f880ac9b7c725f8a00804d239463
F src/main.zig b283beb15f3455e80d558ffefa93b9091e17458fdfdce6d3538971e6b88a3357
F src/repostate.zig 80f3753ec653a571b48c6d9c6729e8e711021bc9c8389a184777634e6c8c91f5
F src/rfc_vectors/artifact_a1_1_sha1_manifest.txt 82d8fc78b3fbf85efe80cb05e79db40c910bf0551e55b728c6f9c2ca7a42ddb6
F src/root.zig aeda9bd0632c3d4d2caab2f90c1fe494f1bb146e96bd2c4b4d07f441b4e4ab29
F src/sync.zig 7d1d10a13b155931b8a6f4a9399404d9406c1872651cc7075b874838589b006f
P 040aa2f8a4ad2157bcd3ee4d5188d00ce0e56575857e22329472759da9716522
R 0209de71addf23f19e56c5fba41aabda
U dmestas
Z e7b1ca2a0d789462ec4055a2bebd98e5