C tag:\sadd\s`zit\stag\sadd\sNAME\sCHECKIN`,\sminting\sa\sSINGLETON\ssym\scard\n\n`tag`\swas\sread-only:\s`tag\slist`\swas\sthe\sonly\ssubcommand,\sso\sa\srepository\scould\nnot\sbe\sgiven\sa\sname\sfor\sa\scheck-in\sat\sall\s(blocker\sB6).\sThe\sverb\stold\sthe\struth\nabout\swhat\sexisted,\sbut\sthe\scapability\swas\ssimply\sabsent.\n\nWHAT\sCHANGED\n\n`zit\stag\sadd\sNAME\sCHECKIN`\smints\sone\sCONTROL\sartifact\scarrying\sa\ssingle\n`T\s+sym-NAME`\scard\stargeting\sthe\sresolved\scheck-in's\s64-hex\shash.\n\nTHE\sSIGN\sIS\sTHE\sWHOLE\sCORRECTNESS\sARGUMENT.\sThe\scard\sis\sa\sSINGLETON\s(`+`),\snot\na\spropagating\s(`*`)\stag.\s`repostate.resolveName`\s(src/repostate.zig:891)\spicks\nthe\smax-`event.mtime`\scheck-in\samong\sALL\sactive\s`sym-`\srows,\sso\sa\spropagating\n`*sym-v1`\swould\sbe\sinherited\sby\severy\sdescendant\sand\sthen\sresolve\sto\sthe\sNEWEST\nof\sthem\s—\sthe\sname\swould\ssilently\sdrift\soff\sthe\scheck-in\sthe\suser\stagged,\swhich\nis\sthe\ssame\sclass\sof\swrong\sanswer\sas\sB1.\s`applyTagOps`\s(src/repostate.zig:727)\ngates\spropagation\son\s`op.type\s!=\s.singleton`,\sso\sa\s`+`\scard\spins\sthe\sname\swith\nZERO\srepostate\schanges.\sThe\scontrast\swith\sa\sbranch\sis\sdeliberate\sand\snow\ndocumented\sat\sboth\ssites:\sa\s*branch*\ssym\spropagates\sprecisely\sbecause\ndescendants\smust\sinherit\sit;\sa\s*tag*\ssym\sdoes\snot,\sprecisely\sbecause\sthey\smust\nnot.\n\n`amend`'s\ssteps\s5-6\s—\sassemble\sthe\scontrol\smanifest,\srun\sthe\sruntime-safety\nround-trip\sself-check,\s`putArtifact`\s+\s`commit`\sunder\sthe\ssingle\sfsync\s—\sare\nextracted\sinto\s`mintControlArtifact`,\sand\s`tag\sadd`\sis\sits\ssecond\sconsumer.\sBoth\nverbs\sresolve\sa\scheck-in,\scompose\sa\sT\srun,\sthen\smint;\sthat\slast\sstep\sis\snow\nwritten\sonce.\samend's\sexisting\sbattery\sguards\sthe\sextraction\sunchanged.\sThe\nhelper's\serror\sset\sis\s`logstore.OpenError`,\sthe\swidest\sof\sthe\sthree\sthe\sbody\scan\nproduce,\sso\seach\sverb\srenders\sit\sunder\sits\sown\sname.\n\n`tag\sadd`\scloses\sits\sread\sview\sBEFORE\sthe\sread-write\sappend\s(commit's\sdurability\npattern),\sso\sit\sowns\sits\srepository\slifetime\srather\sthan\ssharing\sthe\slisting\npath's\s`defer\srepo.deinit`.\sResolution\sand\sthe\sempty-NAME\scheck\sboth\sprecede\sthe\nmint:\sa\srun\sthat\scannot\sresolve\sits\sCHECKIN\smints\snothing,\sasserted\sby\sa\stest.\n\n`selectInheritedSyms`'s\scomment\ssaid\szit\smints\sno\ssingleton\ssyms\sitself,\sso\sthe\n§6.2\sexclusion\sof\sthem\sfrom\sa\sbranch\smove's\scancel\sset\swas\sreachable\sonly\svia\sa\nsynced\s`T\s+sym-X\s*`.\sThat\sis\sno\slonger\strue\s—\sthe\scomment\sis\scorrected.\sThe\nbehavior\sneeded\sno\schange,\sand\sits\sunit\stest\salready\scovered\sa\ssingleton\ssym.\n\nRECORDED,\sNOT\sASSUMED:\sbranch\screation\sshares\sno\sread-only\sgap.\sIt\sis\salready\nserved\sby\s`commit\s--branch`,\swhich\smints\sthe\spropagating\sbranch/sym\spair\ndirectly\son\sthe\scheck-in\smanifest\s(src/cli.zig\s`composeCommitTags`),\sso\sthere\sis\nno\s`branch\sadd`\sto\swrite.\sCancel/remove\ssemantics\sstay\sdeferred\sto\s0.2\s—\nclosing\s"cannot\screate\stags"\sis\sthe\sblocker;\sa\sfull\stag\slifecycle\sis\snot.\n\nRED\sPROOF\s(per\sBLOCKER-FIX-PLAN.md\ssection\s2,\sno\sproduct\scode\schanged\suntil\sRED\nwas\sproven;\smarkers\s`//\sREGRESSION\sB6:`)\n\nEnd-to-end,\ssrc/e2e.zig\s—\sall\sfive\sfailed\spre-fix\sat\s`tag\sadd`\swith\sexit\s2\n("unknown\ssubcommand\s'add'"):\n\n\s\scli\sREGRESSION\sB6:\stag\sadd\screates\sa\stag\sthat\stag\slist\sand\stag\slist\sCHECKIN\sreport\n\s\scli\sREGRESSION\sB6:\sa\screated\stag\spins\sto\sits\scheck-in\sand\sis\snot\sinherited\sby\sa\sdescendant\s(tag\sbefore\scommit)\n\s\scli\sREGRESSION\sB6:\sa\screated\stag\spins\sto\sits\scheck-in\sand\sis\snot\sinherited\sby\sa\sdescendant\s(commit\sbefore\stag)\n\s\scli\sREGRESSION\sB6:\sa\screated\stag\ssurvives\spack\n\s\scli\sREGRESSION\sB6:\sa\screated\stag\ssurvives\sa\sclone\n\nThe\spinning\spair\sruns\sboth\sorderings\s—\stag-then-commit\sexercises\sinheritance\sat\ncommit\stime,\scommit-then-tag\sexercises\sthe\spropagation\swalk\sover\salready\ncrosslinked\sdescendants.\sIdentical\sbehavior\sin\sboth\sis\swhat\sproves\sthe\smechanism\nrather\sthan\sluck.\spack\sand\sclone\sprove\sthe\sround\strip:\sa\ssynced\sartifact\sthat\ndoes\snot\ssurvive\ssync\sis\sa\sworse\slie\sthan\sa\smissing\sverb.\n\nAdded\salongside\sthem:\s`tag\sadd`'s\sarity\serrors,\sand\san\sunresolvable\sCHECKIN\nleaving\sno\stag\sbehind.\sUnit,\ssrc/cli.zig:\sthe\sparser's\sadd\sgrammar\s(both\npositionals\srequired,\s`--help`/bad\soption\swinning\sover\sarity,\s`--`\shandling),\n`composeTagAddCards`\sminting\sexactly\sone\s`+sym-`\scard\sat\sthe\starget,\sits\scontrol\nround\strip\sthrough\s`artifact.parse`\sproving\sthe\ssign\ssurvives\sthe\swire,\sand\nleak-freedom\sunder\s`checkAllAllocationFailures`.\n\nTEST\sEVIDENCE\sNOW\n\nIn\sthis\sworktree\sat\sthe\scommitted\stree:\s`zig\sfmt\s--check\s.`,\s`zig\sbuild`,\n`zig\sbuild\stest`,\sand\s`zig\sbuild\se2e`\seach\sexit\s0\s—\sfull\sbattery,\sno\sfiltering.\n\nCHANGED\sEXPECTATIONS\s(both\sencoded\sthe\smissing\scapability,\snothing\selse)\n\n\s\scli\stag\sB-tag-7\s(src/cli.zig)\sand\scli\stag\sB-tag-13\s(src/e2e.zig)\sused\sthe\n\s\sliteral\stoken\s`add`\sas\stheir\sstand-in\sfor\s"not\sa\ssubcommand".\s`add`\sIS\sone\n\s\snow,\sso\sboth\suse\s`cancel`,\sa\sword\sthat\sstill\sis\snot.\n\n\s\scli\stag\sB-tag-11's\sverbatim\s`tag_help_expected`\sgains\sthe\s`add`\susage\sline\sand\n\s\sits\sparagraph,\sbecause\s`tag\s--help`\smust\steach\sthe\snew\sgrammar.\n\nNo\sborrowed\stechnique:\sthe\ssingleton-sign\sargument\sand\sthe\smint\sextraction\sare\noriginal\sto\sthis\schange.\sNo\sperformance\sclaim\sis\smade.\n\nSIBLING\sMERGE\n\nThis\scheckout\sabsorbed\sthe\ssibling\sB3\scommit\s(1aeb531cac)\sbefore\slanding.\sThe\nonly\sconflict\swas\sin\ssrc/e2e.zig\sand\swas\spositional,\snot\ssemantic:\sboth\schanges\nappend\sa\snew\sregression\sblock\sat\sthe\send\sof\sthe\sfile.\sBoth\sblocks\sare\skept,\sone\ncopy\seach;\sthe\stwo\scandidate\sB3\shunks\sfossil\spresented\swere\sbyte-identical,\sand\nthe\sfull\sbattery\sabove\swas\sre-run\son\sthe\smerged\stree,\snot\sjust\son\smine.\n
D 2026-07-19T15:16:39.711
F .fossil-settings/ignore-glob 3580f973d7097226f91a27c7b61ec13d9d07880d95549f9b90ce86da5d867a23
F .github/workflows/ci.yml 6d343370ac09cc6826509b7c22e045fd7c8b2272504ced464c382a24588d0878
F LICENSE 702ae7ff835a2a971dae11c5cae039803bf394b77a6d8ec9f18693e449eaaf26
F README.md 62e1f936cc2ea0e33d717539bdffd6126a639843069bd6256359f2b15cb06232
F build.zig 43c12a0eaffed3817646b3021862ee1add3b8536a85b531b7cf55319c3b0e95e
F build.zig.zon 0eade544d4d7fc5a620348c6f29cc9219ff8c6d6377a05e756ca89860a524781
F docs/rfcs/draft-fossil-artifact-format-00.txt a6d542a5effeb41d0ea1e916058ccdc0a5819787f167ef1ebad7814f5680e7ad
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 aa55791464a54ef4b651df8780ba5c46e95c723c7997d09a5b727fef658f920a
F scripts/mirror-export.sh cc1130129e3c320cb9c1c5a05f505e45ece23d6bb3e0228da8e7ffe97bd5612b x
F src/annotate.zig 0a6b6728099e63c84681d1e5228ebb45fafb55d65df1720358247fd6e6532c63
F src/artifact.zig c630afd9fbbcfaccd7b823105b4d05db1dc85b6af03080a6d58635ed064672ca
F src/artifact_fuzz.zig 8bb359ddfe790818e109a1dd7ac0c1b5cec1a8fdc556f37e73504cdb7f933e17
F src/artifact_test.zig da999476660f7e6e1f50ed9da5c30f1c83d6b358e2cfcd265c6932959c85bdd1
F src/bisect.zig 7bfc45d3e0e339017826941463cc4e9118892d2898fbcd319e6e6ca85c4d3301
F src/checkout.zig ac48e76f22c8065f70d2a827ae00ffb99887af80950a93c1a3451a9a1ad0f403
F src/ci_test.zig 98f79b658d4840ba4807a79b5cc697cd1417015b2fc6521d6b21ba283310cf86
F src/cli.zig 1e5b30773fc696e84ae3e7d7019a636435020bcd296810e90af6344cb494c1a7
F src/container.zig cef1028531f2763f94248b761c8779a1884e44bb854b8c45617494e3ead40e61
F src/container_test.zig a013652b1ed181161d3ad8fc9d8f052f7c27b61e129662632ceaf8cf189445ec
F src/delta.zig e8f3a6297d47549aea146222732ccf514c39688414f0a74ba396ac91066686f3
F src/delta_fuzz.zig 9e0d8dbb8c82ca0ba1a80974c076e74e4f37072b21a10812efd5539875904719
F src/delta_test.zig b18d97e117dce8fbcc05bff6f6954effdb946bab6d36337efbe5ef64d10646a0
F src/dst.zig 7a2e9e522066e5e052090da4b175f8fa5ea51452d30c019b5f46079034fd2f79
F src/e2e.zig eeb1fdd6f6e7b70473a4ea0f4e5822e26a9c5ed6f8ae817a7f5e0187b31b8e13
F src/extras.zig d7b6ec8caa95993ce01c4ed9ddd0cda327db823bdbde4e27dff4966591be25f5
F src/fuzz_tests.zig 1074473ceb2aba56872e79607ecd4eb19f07be0d2c6c749e19a02ee2db8570d9
F src/logstore.zig a26e7b006f335b0bbb9bb41ac702ea42fab1c5b4ce9b13c7d25a89c84197aed0
F src/logstore_benchmark.zig e245474e1cc4f10617866f718aab3958f13b256c609b3e5fd562f500668388c0
F src/logstore_fuzz.zig 67b7bda806397f92c3b07c94854d9fafca56710090071a1c1c8ec94d137408f8
F src/logstore_test.zig a9baaee2cf009c988832d3632f52a1eeabf36afd52c891315f7673ce28442533
F src/main.zig 29aa226b226ae7093f8ebd0a9b5660036d7a1ae94dfb61c008d74fe84734405e
F src/managed.zig 81ccc2d6321fe3dff91f653305ae4e73bea0b3fae7db2ab2f0cf168d9518d601
F src/merge3.zig 7fc52445688751bb8af30462549650660bcdbadabef54d892b6505d628248d0b
F src/merge3_fuzz.zig 83dcd4d9f2f9c208baa15e79ceeea80a0ebf47456a9b045f6d1c1efe3a927582
F src/pack.zig 0ea96cb540b3f43f6ff8ce95a3044ce939879bc6f9bf0eb82b26aab4089009c7
F src/packaging_test.zig b802ada92f1ade1b62e3d1cfc36549c9b8d05be5430bd33d440bc93d7cd3600f
F src/repocache.zig aae232a6b1b86e27c5242c0ee17ce9f2544299d99cf4936d8c2c9000e3166884
F src/repoimage.zig 7d2dc2f3c145e10e2d9ba6997705fd61a0cc0aedde8e171c253163d1279ccdd5
F src/repository.zig 79ffa239b0a37eea0b3161040f045d6ca8c656331c29925f078ac87213a12476
F src/repository_test.zig 17bdf4c7042f846f928570a47821035f936238f70f3d61d8d2ea3729d5f58868
F src/repostate.zig b4944efab53752f12da2871b2bc46251dbdacd4fcba27e38c61c4fe4d40d1df1
F src/repostate_test.zig e5699688b0f43b7480ed5d89f11585c2f61114bbe3ec9dae5061741f37b37e7a
F src/repoview.zig ec2958e1e8fd955c761d240ab80c3b3f62e3473991713c25ed5a603df984e403
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_round1_reply.txt 638813029b10f81303b88859279afb17095d7c779c993f4267870909acabbeb9
F src/rfc_vectors/sync_a1_round2_file_cards.txt 4fa397741f7521cc4181d5d6b04dc143187f57602384eaa688552115ecda27c2
F src/rfc_vectors/sync_a1_round2_reply.txt af956808190c79b37a384041690c36b78845b471d6c6c01d1cced6e3ee92e6b1
F src/rfc_vectors/sync_a2_reply.txt aa130a127cde210f793c7842960083c765e0ffc7b673374fabc8f0edfe03d763
F src/root.zig c0e74897f57db81c0e4ce57bb992f4fbf52139234317ca00698a2af0c1c1c9b3
F src/serve.zig a072735c12410c63d1d5ace84d7ddf30b84639848ba420207e2432e5b7dcbc27
F src/serve_fuzz.zig 3c39ea768ffa37599e2cc00c588f053870766ab91500aceb0d844a4322174687
F src/sim/faulty_file.zig 8e8a0325d0e987d1dd306588f910af5302e6456561eefae92c73c424fc1a9c94
F src/sim/gen.zig 0e237af570a73bc78e9a717a8ea59867611deb2348287765826ea4ff1942528b
F src/sim/net.zig 8fb057012ce0a33f67c928cd696bc2761fea8ba4012b2daa33871b2ba5dfe772
F src/sim/oracle.zig 04b81d9472a0529d9e9d030779304c3d6c930f4db20b800ae3f9cbc5c178969a
F src/sim/storage_sweep.zig 5472d632347079fb5c7e7ae300b46c6e8202b91202b1c51b181dd3c7bab8a306
F src/sim/sync_gen.zig 238d46942915b5c0e989dfc738b5927b5228468ea123e6f17b6fb593aa5cbf6e
F src/sim/sync_sweep.zig 5458a84be08823d2d0fc9464665f1c3f3f26563185dc9ae24cf73259faa5d40e
F src/smoke.zig d3aecf12565618a6b678eeff534230c88dbe5a02486beafcdbdf1eac9b258292
F src/storage.zig 512205eb629d5af8d50ad336f1ef49f53b455abd52ee2f9b56d20893cafad39f
F src/storage_benchmark.zig 871f00fef1a34a0b2ee7b9656a217a0cf52949fdd710b642a44dc6bf12d6866e
F src/sync.zig b04119b2679887c6705ed4831899ca1911ca20afe0bac865022ac8b7ad879194
F src/sync_benchmark.zig 9a4542401c880750ff6565a2ca9f1d116341d1c5af704ef4a05c2732eeec8849
F src/sync_driver.zig 722ed498ea6b76900661a085d4257e51f6416d43ac1185e8ac15140de265f67e
F src/sync_driver_test.zig b50450d2938fc60aa90cd9067fc45141a965b63dc2194f42d5109919e380d7df
F src/sync_fuzz.zig 3f419ec3e3c0b4ecf99376e46d111c4fae9826d08f9968e649ffdf84d10f9e61
F src/sync_test.zig b47b05d3defeef61a02c9c9817b66288c48430713737c946734dba151bb17e7e
F src/transport.zig 4652b2ab7f43ccd8af5ca6ef7604f8e7cd28353450b1ec90d206b881308f8b5f
F src/transport_fuzz.zig adc4ea5e22f821d868ffa57e3aafd42834f358b26d4b317cd6dbe8c76c6f733b
F src/undo.zig 2e213cbe02118e37b11554620b285deae5dbf5b4d8009ae6dc229b84375b7591
F src/update.zig 0103da3d0ea12ce5710fd4268f432a52a0fb07ea7cb2ebe14af6e52395eb598c
F src/update_test.zig c06e5fb6da0b1b7aa055fb2398bd03844e0dbec67ed97905135db1dffb8a2a14
F src/warmread_benchmark.zig 9421986d49deff3f720e491fb6d1c7162dc9322f4e67dd14198820c3992dc02a
P 1aeb531cacc90e33ad757881c78a56a0b6d75d8d4e441606a4f232f756ce0dac
R 366f8fe9c12643f6193003e66cc8ff67
U dmestas
Z 2d7a0ca8be01a09b229e273f81bc4775