Artifact 4c68800cc7de38261da4dedd78b75be607838d4c844f6587f8679bdab5abae3b:
- File
src/dst.zig
- 2026-07-10 15:17:52 — part of check-in [51a4a56825] on branch repostate — Shrink the pre-commit DST gate to 6 seeds x 1000 steps so it runs in seconds; the per-step oracle recompute made the former 25x10000 sweep take minutes, so deep coverage now runs out-of-band via --seeds (user: dmestas, size: 21667) [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: 21667) [annotate] [blame] [check-ins using]