Artifact Description [05edfa9e5e]

Artifact 05edfa9e5e87def031871f6c74291230b019bdf5a871cad1ceb8a2b8431dc069:

• File conformance/rfcs/draft-fossil-horizon-00.txt
  • 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: 61246) [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: 61246) [annotate] [blame] [check-ins using]