Artifact 723af954e93758bc5cf89f27f6de355b53bd08368d93c46734ff32a9d32c1353:
- File
conformance/rfcs/README.md
-
2026-10-22 00:03:56
— part of check-in
[a68f89e414]
on branch feat/horizon-cones
— conform(horizon): pin at horizon-rfc bbd1435674; the leaves rule over P cards
zit's author called horizon-rfc bbd1435674 ready to implement against, and zit#265 settled the leaves rule there against fossil's leaf: a childless check-in is one no P card names, open or closed, and K under the leaves rule is C's descendants plus every descendant of each check-in where a childless check-in's ancestry meets C's. Both rules now yield a set closed under descendants, so leaves and branch tips derive exactly.
HeldSet follows zit's computation at that check-in (src/sparse.zig, ClassifyState.extend): meeting points are the members of C's ancestry a childless check-in's parent walk reaches without passing one, and a childless check-in is skipped only when it descends from C. The tests that encoded the old rule are restated: a merged-but-open branch tip adds nothing, a closed branch's tip does, the fork's descendants on C's side are held, and an unrelated root adds nothing.
The draft copy, the README pin and the table follow: HZ-3.1-1, HZ-5.2-1 (the seed applies to every entry of K) and HZ-6.2-11 (announce only in reply to a request that pulls) are restated, and HZ-3.1-4 (closure under descendants) is new, with a case checking that no child of a held check-in falls outside K under either rule. (user: [email protected], size: 4489) [annotate] [blame] [check-ins using]
-
2026-10-22 00:05:41
— part of check-in
[80c8df6a74]
on branch feat/horizon-cones
— Merge branch 'feat/horizon-cones' into wip/horizon-content
# Conflicts: # conformance/horizon_test.go # conformance/requirements/horizon.tsv (user: [email protected], size: 4489) [annotate] [blame] [check-ins using]
-
2026-10-22 00:03:56
— part of check-in
[a68f89e414]
on branch feat/horizon-cones
— conform(horizon): pin at horizon-rfc bbd1435674; the leaves rule over P cards