Artifact Description [a8ee00e9a3]

Artifact a8ee00e9a36c0c9fba1266ccc03b15a1f86bb622d7361ebf28731822f02a4616:

• File internal/horizon/heldset.go
  • 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: 8937) [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: 8937) [annotate] [blame] [check-ins using]