Overview
| Comment: | refactor(horizon): name the held-set rule with the cone's HorizonRule
Both slices defined the descendants/leaves rule: cone.HorizonRule for the serialized member and horizon.Rule for the walk. One concept gets one type; the walk now takes the value the cone carries. |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk | feat/horizon-cones |
| Files: | files | file ages | folders |
| SHA3-256: |
6d8ccec5da3de55a3ab2473b99c5d751 |
| User & Date: | [email protected] on 2026-10-21 22:21:44.000 |
| Other Links: | branch diff | manifest | tags |
Context
|
2026-10-21
| ||
| 22:21 | docs(changelog): the horizon held set check-in: 707fa08656 user: [email protected] tags: feat/horizon-cones, trunk | |
| 22:21 |
refactor(horizon): name the held-set rule with the cone's HorizonRule
Both slices defined the descendants/leaves rule: cone.HorizonRule for the serialized member and horizon.Rule for the walk. One concept gets one type; the walk now takes the value the cone carries. check-in: 6d8ccec5da user: [email protected] tags: feat/horizon-cones, trunk | |
| 22:20 |
Merge branch 'wip/horizon-held-set' into feat/horizon-cones
The held set K of draft-fossil-horizon-00 §3.1 under both rules, bounded and computed from the check-in graph the repository holds. Conflicts in the horizon suite and table resolved by keeping both slices' cases and rows. check-in: 7a5ae7cee7 user: [email protected] tags: feat/horizon-cones, trunk | |
Changes
Modified conformance/horizon_test.go
from [e6ff3f6577]
to [a953f5aca6].
[diff]
Modified internal/horizon/heldset.go
from [fa99a2b2fc]
to [c139686b40].
[diff]
Modified internal/horizon/heldset_test.go
from [5ecbefbf59]
to [dbe84012f3].
[diff]