Artifact 0e237af570a73bc78e9a717a8ea59867611deb2348287765826ea4ff1942528b:
- File
src/sim/gen.zig
- 2026-07-10 05:22:52 — part of check-in [a1d8cd5a57] on branch repostate — 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. (user: dmestas, size: 17884) [annotate] [blame] [check-ins using]
- 2026-07-10 15:18:56 — part of check-in [93ecd64c47] on branch trunk — Merge the completed repostate derivation layer onto trunk: tag cross-references and propagation, name and branch resolution, and the section 8.3 resolver, with the grown deterministic-simulation oracle and a gate-sized sweep (user: dmestas, size: 17884) [annotate] [blame] [check-ins using]