Skip to content
zit Check-in [18cff84a50]
Login

Check-in [18cff84a50]

Overview
Comment:horizon §5.1, §5.2.3, §6.2.3: baselines reachable from K are held; the seed may live outside the store; it travels as a file card the horizon-seed pragma names
Timelines: family | ancestors | descendants | both | horizon-rfc
Files: files | file ages | folders
SHA3-256: 18cff84a504b37ad44efbb4caab86debeae329af58c59550427d02efe83e92e7
User & Date: dmestas on 2026-10-17 19:37:29.362
Other Links: branch diff | manifest | tags
Context
2026-10-17
20:49
Content horizon: a temporal cone member, the keep predicate over K, the horizon pragmas and clone --horizon; update and open deepen below C; cat, update and verify name elision check-in: fe6ed902de user: dmestas tags: horizon-rfc
19:37
horizon §5.1, §5.2.3, §6.2.3: baselines reachable from K are held; the seed may live outside the store; it travels as a file card the horizon-seed pragma names check-in: 18cff84a50 user: dmestas tags: horizon-rfc
17:33
horizon §3.1, §3.4, §5.6: descendants is the default held-set rule; leaves is a knowing choice with its fork-depth cost stated check-in: be26dfc8c7 user: dmestas tags: horizon-rfc
Changes