Artifact 8da091d3943ac9296665d7f012e9429c8885f1d48bc8b488b7a85228fc429d3b:
- File
conformance/requirements/horizon.tsv
-
2026-10-22 22:07:31
— part of check-in
[d7a8b71b9b]
on branch feat/horizon-cones
— feat(horizon): state the leaves rule's cost; prove the wire carries only hash and rule
A client that wants to merge across live branches offline should pick the leaves rule knowingly (HZ-3.1-2). The rule holds every descendant of where each childless check-in's history meets C's, which on a repository with old unmerged branches is nearly the whole history. clone and cone store --leaves now warn once on stderr, the flag help says so, and HorizonLeaves documents the cost for library callers.
HZ-3.4-2 asks that a horizon never be a count or a date on the wire. A case records the request cards of a horizon clone and pull under both rules and asserts one pragma of a full hash and a rule name; the CLI's clone refuses a name, and its store cone resolves a branch name to the full hash first. (user: [email protected], size: 14579) [annotate] [blame] [check-ins using]
-
2026-10-22 22:07:56
— part of check-in
[c79a113e0c]
on branch feat/horizon-cones
— Merge branch 'wip/hz-small-rows' into feat/horizon-cones
HZ-3.1-2: the leaves rule's cost is stated where it is chosen. HZ-3.4-2: a horizon reaches the wire only as a full hash and a rule name. (user: [email protected], size: 14579) [annotate] [blame] [check-ins using]
-
2026-10-22 22:07:31
— part of check-in
[d7a8b71b9b]
on branch feat/horizon-cones
— feat(horizon): state the leaves rule's cost; prove the wire carries only hash and rule