Overview
| Comment: | Implement section 8.3's full name-resolution dispatch (rid:, tag:, tip, root:/start:/merge-in: via the section 8.4 branch-walk, date:/utc:/local: timestamps, hash-prefix matching, and trailing-punctuation retry), section 6.3's branch enumeration, and section 7.5's ambiguous-leaf test and open-leaf listing, then extend the DST oracle with brute-force checks for all four against every replay order. |
|---|---|
| Timelines: | family | ancestors | descendants | both | repostate |
| Files: | files | file ages | folders |
| SHA3-256: |
79b37fd3b943ecb319c1babd01fa1f2a |
| User & Date: | dmestas on 2026-07-10 15:04:00.776 |
| Other Links: | branch diff | manifest | tags |
Context
|
2026-07-10
| ||
| 15:17 | 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 closed check-in: 51a4a56825 user: dmestas tags: repostate | |
| 15:04 | Implement section 8.3's full name-resolution dispatch (rid:, tag:, tip, root:/start:/merge-in: via the section 8.4 branch-walk, date:/utc:/local: timestamps, hash-prefix matching, and trailing-punctuation retry), section 6.3's branch enumeration, and section 7.5's ambiguous-leaf test and open-leaf listing, then extend the DST oracle with brute-force checks for all four against every replay order. check-in: 79b37fd3b9 user: dmestas tags: repostate | |
| 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 | |
Changes
Modified src/dst.zig
from [dbdb2fab8a]
to [5b1c7bd97d].
[diff]
Modified src/repostate.zig
from [8466bd0e14]
to [c14f15920b].
[diff]
Modified src/sim/oracle.zig
from [b635d3e725]
to [04b81d9472].
[diff]