Manifest of check-in
[0cf3d5e616]
- Cover the sync section 3.9 robustness posture and section 3.10 round message layout by binding each restated clause onto the classifier and state machine that already own it, asserting the four liberal-tolerance points against a fatal strict complement and the canonical Table 4 request order against the unordered Table 5 reply combination.
by
dmestas on
2026-07-11 03:20:26.
C Cover\sthe\ssync\ssection\s3.9\srobustness\sposture\sand\ssection\s3.10\sround\smessage\slayout\sby\sbinding\seach\srestated\sclause\sonto\sthe\sclassifier\sand\sstate\smachine\sthat\salready\sown\sit,\sasserting\sthe\sfour\sliberal-tolerance\spoints\sagainst\sa\sfatal\sstrict\scomplement\sand\sthe\scanonical\sTable\s4\srequest\sorder\sagainst\sthe\sunordered\sTable\s5\sreply\scombination.
D 2026-07-11T03:20:26.412
F .fossil-settings/ignore-glob 4e1491210fe20b99dafdfa1a5e895c153bfc608af1164639fe266f75124e6d45
F README.md 62e1f936cc2ea0e33d717539bdffd6126a639843069bd6256359f2b15cb06232
F build.zig e5a9416519f2a7056fd4c6e1e83443591e260ee4a448aff97791f27d25d6fd88
F build.zig.zon d5d4d8f8c01f55e69078eabf2ee65f7c1756bdbb2f71738ac5de9de99e69aff1
F docs/rfcs/draft-fossil-artifact-format-00.txt 5680b5ab35b2af2624934da42d72626b0a2f34ee458983cd5637e88ce450b3eb
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 77dfc3c49eb514f820d29b6bf784df3d1f8b90a2a3a00112bb7850251982e739
F src/artifact.zig 8f9e990a9d52fd5fb79f1961f2d860489167c6edafc7d5760f985442a74a59fb
F src/artifact_fuzz.zig 8bb359ddfe790818e109a1dd7ac0c1b5cec1a8fdc556f37e73504cdb7f933e17
F src/delta.zig 881cd0276f09e3a1e5001683584429f4070a24eb719a3b848aee4dbd20fa5232
F src/delta_fuzz.zig 9e0d8dbb8c82ca0ba1a80974c076e74e4f37072b21a10812efd5539875904719
F src/dst.zig a8c0e10036edf3509146fd9c5f880dc0d0968ee24418582a1f578e6cc2c04919
F src/fuzz_tests.zig 69dd4e387ca9c82bb93b4a7637c93ee110a4fbb850cfc36217d8b31b0a2b7b0f
F src/logstore.zig 6aa3bde9bb84fe25cb6c9297650cab5c6d7765041c697bb95705a66b4acbcd1e
F src/logstore_benchmark.zig 4aa97f534b87ecca164c1b0b1b63ed7a167b88ad1dbcee9b482233f4bf5edb10
F src/main.zig b283beb15f3455e80d558ffefa93b9091e17458fdfdce6d3538971e6b88a3357
F src/repostate.zig c14f15920b1e801ea670cb977e17388518b06545066da2a67f682401afd721c5
F src/rfc_vectors/artifact_a1_1_sha1_manifest.txt 82d8fc78b3fbf85efe80cb05e79db40c910bf0551e55b728c6f9c2ca7a42ddb6
F src/rfc_vectors/artifact_a1_2_sha3_technote.txt 832e850f83aab2e2a754aa97591109f7f05fb41e4126c7e71c88a59d6d17e55d
F src/rfc_vectors/artifact_a3_rcard_manifest.txt 47e412ef211f095e93275fadf527909e581eef42357d8437fc7e299bfc3e62a7
F src/rfc_vectors/sync_a1_round2_file_cards.txt 4fa397741f7521cc4181d5d6b04dc143187f57602384eaa688552115ecda27c2
F src/root.zig aeda9bd0632c3d4d2caab2f90c1fe494f1bb146e96bd2c4b4d07f441b4e4ab29
F src/sim/faulty_file.zig 801772e3d2fb09f0f0c64d91500066a13a8c38be7c4826d28913a04ac239be3d
F src/sim/gen.zig 0e237af570a73bc78e9a717a8ea59867611deb2348287765826ea4ff1942528b
F src/sim/oracle.zig 04b81d9472a0529d9e9d030779304c3d6c930f4db20b800ae3f9cbc5c178969a
F src/sim/storage_sweep.zig 63bfb78abaff5f2d4033f446f759b0181bace9a26ad3e1a42b000b2d906e1031
F src/smoke.zig c3d33acd93f11af1a7eaab3e1fe1fc16dfb2d0f39585055cd477e656f86d491c
F src/storage.zig 017a2f324029facb217900689391376e9de849b9c28c29cc26998383be56daf1
F src/sync.zig 2375cbf20a4423b8446c3e258ff9d138398379c01d26d67984583de6d6174166
P b9bc673b650af5dff5d721c4722c3c04620f5aa419838d4551555721e89484c8
R 4b5e7b8507a89dd2dcde8a379dafe446
U dmestas
Z d279f65ab097dbab6984fd3b6a5638b0