Manifest of check-in
[d0509719bf]
- Route T-cards through crosslink and apply tag cross-reference direct-write and primary-chain propagation per repo-state section 5, deriving branch value and open-leaf status from the resulting tag state per sections 6.1 and 7.4 with leaf re-evaluation on branch changes per section 7.6, and extend the DST oracle and generator to exercise every tag flavor against those invariants.
by
dmestas on
2026-07-10 02:03:51.
C Route\sT-cards\sthrough\scrosslink\sand\sapply\stag\scross-reference\sdirect-write\sand\sprimary-chain\spropagation\sper\srepo-state\ssection\s5,\sderiving\sbranch\svalue\sand\sopen-leaf\sstatus\sfrom\sthe\sresulting\stag\sstate\sper\ssections\s6.1\sand\s7.4\swith\sleaf\sre-evaluation\son\sbranch\schanges\sper\ssection\s7.6,\sand\sextend\sthe\sDST\soracle\sand\sgenerator\sto\sexercise\severy\stag\sflavor\sagainst\sthose\sinvariants.
D 2026-07-10T02:03:51.497
F .fossil-settings/ignore-glob 4e1491210fe20b99dafdfa1a5e895c153bfc608af1164639fe266f75124e6d45
F README.md 54ee3e8f159f0869c2d6361d1692576e3d1acdf2c66f7fc897c9fe0e54b09adc
F build.zig 6c774a33003765d0c4edeba5cb9623068b1953346eee57e5301927e0945c0c16
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 ca38cfb24f1270c929c461dea30773f92d89b667546a2d1d4736b599bcb08634
F src/artifact_fuzz.zig 2d82d74528460e123999e78a8b20c189dffdc56ed9cec50ef620ffca04eab33a
F src/delta.zig 881cd0276f09e3a1e5001683584429f4070a24eb719a3b848aee4dbd20fa5232
F src/delta_fuzz.zig 9e0d8dbb8c82ca0ba1a80974c076e74e4f37072b21a10812efd5539875904719
F src/dst.zig 7d51395b80bf27124d97c7e7bea1756df44d559eceb1f2ee77a104839fcfe8c8
F src/fuzz_tests.zig 3623219309bacd69fd8f3e20af3079657222fa2dcaea0f82e5fd77f9eae60042
F src/main.zig b283beb15f3455e80d558ffefa93b9091e17458fdfdce6d3538971e6b88a3357
F src/repostate.zig b3dd84bb89b2f16d10a0d72ca2b9136b8826d249c1499e39ec3a6674f4aa7e90
F src/rfc_vectors/artifact_a1_1_sha1_manifest.txt 82d8fc78b3fbf85efe80cb05e79db40c910bf0551e55b728c6f9c2ca7a42ddb6
F src/root.zig aeda9bd0632c3d4d2caab2f90c1fe494f1bb146e96bd2c4b4d07f441b4e4ab29
F src/sim/gen.zig 24a776b3ae1204c8126edbe0ea1a4d786554d2e58692a12f8951ace7fa5a502c
F src/sim/oracle.zig 829b0be31b9ae0ee656ec408d2ef121e286c947817a3a311e4ff383dec4d5cab
F src/sync.zig 1b3a49fddc4e92683abf9a128f402180a07bed56a61deaf705ea82a3f46e333a
P 03a9951ec89a40290a2bf19adc522d3bce79950260db0ecfb0248670ea37995e
R 78e8e3a5f11b1993d0c19c8aa02c1c5a
U dmestas
Z f080a3d04ea4e7428a77a1883c395754