Overview
| Comment: | Route T-cards through crosslink and apply tag cross-reference direct-write and primary-chain propagation per repo-state section 5, deriving branch value and open-leaf status from the resulting tag state per sections 6.1 and 7.4 with leaf re-evaluation on branch changes per section 7.6, and extend the DST oracle and generator to exercise every tag flavor against those invariants. |
|---|---|
| Timelines: | family | ancestors | descendants | both | repostate |
| Files: | files | file ages | folders |
| SHA3-256: |
d0509719bfe5946ce1598f353dad760f |
| User & Date: | dmestas on 2026-07-10 02:03:51.497 |
| Other Links: | branch diff | manifest | tags |
Context
|
2026-07-10
| ||
| 05:22 | Implement plain-name resolution and open-leaf selection per sections 8.2 and 9, splitting branch-tag lookup per section 6.4, and extend the DST oracle and generator to verify both against brute-force scans across every replay order. check-in: a1d8cd5a57 user: dmestas tags: repostate | |
| 02:03 | Route T-cards through crosslink and apply tag cross-reference direct-write and primary-chain propagation per repo-state section 5, deriving branch value and open-leaf status from the resulting tag state per sections 6.1 and 7.4 with leaf re-evaluation on branch changes per section 7.6, and extend the DST oracle and generator to exercise every tag flavor against those invariants. check-in: d0509719bf user: dmestas tags: repostate | |
| 00:15 | Add the repostate ArtifactStore boundary and RepoState crosslink linkage with incremental leaf-set maintenance per repo-state §3.1-3.3 and §7.2-7.3, driven by a seeded deterministic simulation that checks the leaf invariant and derivation order-independence every step check-in: 03a9951ec8 user: dmestas tags: repostate | |
Changes
Modified src/dst.zig
from [78b5f3d6b7]
to [7d51395b80].
[diff]
Modified src/repostate.zig
from [74e4e02773]
to [b3dd84bb89].
[diff]
Modified src/sim/gen.zig
from [0677c1e412]
to [24a776b3ae].
[diff]
Modified src/sim/oracle.zig
from [3c4f3fdf41]
to [829b0be31b].
[diff]