Overview
| Comment: | 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 |
|---|---|
| Timelines: | family | ancestors | descendants | both | repostate |
| Files: | files | file ages | folders |
| SHA3-256: |
03a9951ec89a40290a2bf19adc522d3b |
| User & Date: | dmestas on 2026-07-10 00:15:56.019 |
| Other Links: | branch diff | manifest | tags |
Context
|
2026-07-10
| ||
| 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:28 | Merge the repostate layer onto trunk: the ArtifactStore boundary, RepoState crosslink and leaf-set derivation, and the deterministic simulation harness with its dst build step check-in: 3f205d5a97 user: dmestas tags: trunk | |
| 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 | |
|
2026-07-09
| ||
| 22:41 | Compute the R card aggregate content checksum per section 6.3 as MD5 over each tracked file's name, minimal-decimal size, and content in canonical filename order, and pin the digest token grammar and Z card self-checksum boundary cases from sections 6.1 and 6.2 with worked-example tests. check-in: f0f90cfa39 user: dmestas tags: trunk | |
Changes
Modified build.zig
from [20fe82ab43]
to [6c774a3300].
[diff]
Added src/dst.zig version [78b5f3d6b7].
Modified src/repostate.zig
from [80f3753ec6]
to [74e4e02773].
[diff]
Added src/sim/gen.zig version [0677c1e412].
Added src/sim/oracle.zig version [3c4f3fdf41].