Artifact dc239c22980b90b705398a11fda30e502c1a83d0163eb061d29288b7c25fcb8b:
- File
conformance/rfcs/README.md
— part of check-in
[bd80910304]
at
2026-10-22 23:19:47
on branch feat/horizon-cones
— docs(conformance): re-pin the horizon draft to zit 3a2df62515
zit's horizon-rfc check-in 3a2df62515 changes one rule of the horizon draft: a path cone now elides sub-manifest nodes under either horizon, as the sparse store does. Of the trees the horizon keeps (every check-in's under a content horizon) only the nodes on paths into the cone are held, an origin withholds the rest, its walk is bounded and kept like the classification, and a cursor is voided when an appended tree makes an older withheld node kept. The other six drafts are byte-identical at both check-ins.
Restate the rows whose text changed (3.2, 4.1, 5.1, 6.2.6), add rows for the new statements (4.1, 4.3, 6.2), and mark the restated rows the code does not meet yet rather than leave them claiming coverage. (user: [email protected], size: 5259) [annotate] [blame] [check-ins using] [more...]
# Pinned drafts The conformance suite reads these documents, never edits them. Each is a byte-for-byte copy of a file under `docs/rfcs/` in the zit repository, taken from the check-in below. The requirements tables in `../requirements/` pin each copy by its SHA-256, so a refreshed copy fails the coverage test until its table has been re-read against it. The draft text is the authority. Since zit check-in `62a7d1bb3f` (2026-10-20) every erratum is applied in its draft and zit keeps no erratum files: each draft records its corrections in its own Changes appendix ("Changes in This Revision"). Since zit check-in `68a3f76cb7` (2026-10-20) the artifact-format, repo-state and sync-protocol drafts name themselves `-00` throughout, in their headers, their cross-references and their reference entries, and the copies here carry zit's file names. Against the `62a7d1bb3f` text, which these copies replace, nothing but those names and the wording of the Changes appendix's heading and introduction differs: no normative text changed and no section number moved. | File | zit check-in | zit artifact | SHA-256 | |---|---|---|---| | `draft-fossil-artifact-format-00.txt` | `68a3f76cb7` | `aa13f2e42c` | `0887d83d3c57c8b1…` | | `draft-fossil-repo-state-00.txt` | `68a3f76cb7` | `140fdf2d3b` | `137f0a573498bf27…` | | `draft-fossil-sync-protocol-00.txt` | `68a3f76cb7` | `62e9495f35` | `2195d9a18fe6bfaa…` | | `draft-fossil-delta-format-00.txt` | `62a7d1bb3f` | `d8025d6d75` | `6a28ee7e2e146f80…` | | `draft-fossil-submanifests-00.txt` | `e03d91943e57afa20c3fdeab159a23a8a5eab66c` (branch `horizon-rfc`) | `b9b19fa418` | `99ea094690fe1386…` | | `draft-fossil-sparse-cone-00.txt` | `e6ee276c89` (branch `horizon-rfc`) | `c7ef80e7e1` | `2ecfc54f4b830938…` | | `draft-fossil-horizon-00.txt` | `3a2df62515` (branch `horizon-rfc`) | `360f8c9d9b` | `037f9ad4cb1eeed0…` | The delta-format and sub-manifest files are byte-identical at `68a3f76cb7` and `62a7d1bb3f`. The delta-format draft is unchanged since `3f86ff4261` (2026-10-17). The sub-manifest draft (`draft-fossil-submanifests-00`) includes the sparse canonical-rewrite correction merged into `horizon-rfc` at the exact check-in above (2026-10-20). Sections 6.2 and 6.4 require canonical construction under the requested k, including MAX-cut shifts, final-small-group merges and propagation at every height. Opaque reuse requires verified compatible partition evidence, not the mutable setting; missing necessary nodes must be fetched or cause explicit refusal without a partial check-in. Appendix A.6 supplies the required MAX, final-merge and different/unknown-k cases. The earlier Appendix A byte vectors in `../testdata/submanifest/` remain unchanged: they are zit's `src/rfc_vectors/` copies from `3f86ff4261`, each with two leading `#` lines that the suite drops. The sparse-cone and horizon drafts follow zit's `horizon-rfc` branch, where the horizon draft lives; that branch merges trunk. The sparse-cone copy at `e6ee276c89` carries the corrections of zit #257 to #260 and #262 (the cone-served acknowledgement, the empty-cone refusal, structural retention on compaction and local filtering, and the pull-inventory clarifications) and retains the branch's §3.1 members-of-other-kinds and §6.2 outside-delta-base corrections. Its §4.2 now requires the complete canonical structural affected range and verified partition basis, with fetch or explicit refusal when necessary nodes are absent. Section 5.1 permits outside payloads to be absent but does not require discarding already-held or demand-fetched payloads; §5.3 follows the corrected canonical-writing contract. The horizon copy is pinned at `3a2df62515` (2026-10-22). Against the `9bf7ebfe0f` copy it replaces (`bbd1435674`, the revision zit's author called ready to implement against, plus the zit#266 correction to §4.5, which binds the cluster prohibition to an origin that serves at a horizon and has a clone request what a horizon-ignorant origin's clusters name) it changes one rule: a path cone elides sub-manifest nodes under either horizon, as the sparse store of the sparse-cone draft's §5.1 does. Of the trees the horizon keeps, every check-in's under a content horizon, only the nodes on paths into the cone are held and an origin withholds the rest (§3.2, §4.1, §5.1, §6.2); the derivation reads no node (§4.3); §6.2 states how the origin's walk is bounded and kept; and §6.2.6 voids a cursor when an appended tree makes an older withheld node kept. The other six drafts and the sparse-cone text there are byte-identical at both check-ins. Its Appendix C lists every change to the earlier text: that rule; the leaves rule restated over P cards alone, with K closed under descendants under both rules (§3.1, §3.4); the seed carrying T cards for every entry of K, not C alone (§5.2.1); the cursor's announcements made only in reply to a request that pulls (§6.2.6); and, from the revision before, the cursor itself and the classification-memoization SHOULDs (§6.1, §6.2). The same branch adds the pragma names these two drafts define (`cone`, `cone-not`, and the `horizon` family) to the sync draft's §9 list of extension pragmas; the sync draft here follows trunk, so that addition is pending.