Artifact 21b040491d768aca514204263f8fdd35b403f8d356fc129e3c0a09a3568dbeab:
- File
conformance/rfcs/README.md
— part of check-in
[9a0f07fe70]
at
2026-10-23 01:40:13
on branch feat/horizon-cones
— docs(conformance): re-pin the horizon draft to zit 24457c7dd6
zit's horizon-rfc check-in 24457c7dd6 revises the horizon draft; the other six drafts are byte-identical at it and at 3a2df62515. Each change has its own Appendix C bullet: the seed's D card is the latest summarized tag event rounded up to a whole second with no fraction, its U card the origin's label for the minting implementation, and the strictly-later clause is dropped (5.2.2); a merge asks the origin whenever either side's ancestry crosses the horizon (5.5); a deepen with no known common ancestor of C and the target is refused naming the remedy (5.8); the merge-base query takes a list of secondaries (6.2.4); a boundary hash is a parent of any held manifest, a baseline below C included (5.3, 6.2.2); and a store already at the structural horizon falls back to the content horizon, discarding its seed, when its replies lack horizon-served structural (6.3). The 3.4 cost note changes no rule.
Restate the rows whose text changed (5.2.1, 5.2.2, 5.3, 5.6, 6.2.2, 6.2.3, 6.2.4, 6.3) and add rows for the new statements (5.3, 5.5, 5.8, 6.2.4, 6.3), so each is checked against the final text. (user: [email protected], size: 6183) [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 |
24457c7dd6 (branch horizon-rfc) |
d0f95017df |
332387c274567ed5… |
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
24457c7dd6 (2026-10-22). The other six drafts are byte-identical at
3a2df62515 and 24457c7dd6; against the 3a2df62515 copy it replaces,
the horizon draft's Appendix C adds one bullet per change: §3.4 notes that the leaves rule can hold
effectively the whole history when childless check-ins fork near the root,
measured on the Fossil repository (no rule change); a seed's D card is the
latest tag event it summarizes rounded up to a whole second with no
fraction (C's event time when it summarizes none), so two origins mint the
same seed up to the U card, which is the origin's own label for the
minting implementation and not a user's login (§5.2, §5.2.2, §6.2.3); the
requirement that a seed's D be strictly later than the seed it replaces is
dropped, since a clone replaces its seed whole (§5.2.2); a store at the
structural horizon whose pull or sync replies lack horizon-served
structural falls back to the content horizon, records it, discards its
seed, fetches the manifests and nodes below C and reports it, as a clone
does (§6.2.5, §6.3); a client asks the origin for the merge base whenever
either side's ancestry crosses the horizon, not only when it finds none
(§5.5); a deepen moves C to a common ancestor of C and the target, and
when none is known refuses naming the remedy, never moving C to a
non-ancestor (§5.8); the merge-base query takes a primary and one or two
secondaries, the answer repeats them and appends Fossil's pivot over the
set, and in a merge the secondaries are the checkout and its pending plain
merges (§6.2.4); and a boundary hash is a P-card parent, not in K, of any
held check-in manifest, a baseline below C included, labelled in the reply
that introduces the manifest (§5.3, §6.2.2). The 3a2df62515 copy it
replaced made a path cone elide sub-manifest nodes under either horizon,
an origin withholding the rest, its walk bounded and kept, and a cursor
voided when an appended tree makes an older withheld node kept (§3.2,
§4.1, §4.3, §5.1, §6.2, §6.2.6); with the revisions before it, the leaves
rule restated over P cards alone, the seed carrying T cards for every
entry of K, the cursor's announcements made only in reply to a request
that pulls, the cursor itself and the classification-memoization SHOULDs.
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.