Skip to content

M1 within-walk resolve memo: floor shared-computation memoization #6008

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
briansrls merged 31 commits into from
Jun 30, 2026
Merged

M1 within-walk resolve memo: floor shared-computation memoization #6008

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
f776e83
Design sketch: floor shared-computation memoization (no implementation)
briansrls Jun 29, 2026
d2bc7d5
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 29, 2026
e9f8ed1
Fix stale §1 framing of EmitDeterminismGate (oracle, not redundant)
briansrls Jun 29, 2026
bb3cd31
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 29, 2026
5ec93ca
Fix M2: each gate uses distinct compile tuple; no artifact sharing today
briansrls Jun 29, 2026
06cf6ea
Fix §6 displacement table and §7 collapse claim
briansrls Jun 29, 2026
20fa4e8
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 29, 2026
e1e46a0
Fix §6 displacement table: baseline 4× resolves (not 2×), M1 saves ~1…
briansrls Jun 29, 2026
8e22c7e
Fix stale ~37s in §6 Total row — M1 saves ~105s not ~35s
briansrls Jun 29, 2026
111564b
Add link to floor-shared-compute-memoization sketch in DESIGN.md open…
briansrls Jun 29, 2026
a6a5e81
Merge remote-tracking branch 'origin/main' into session/tidy-hawk-120
briansrls Jun 29, 2026
198ddcd
Merge remote-tracking branch 'origin/main' into session/tidy-hawk-120
briansrls Jun 29, 2026
945c603
Merge remote-tracking branch 'origin/main' into session/tidy-hawk-120
briansrls Jun 30, 2026
53785dd
Merge remote-tracking branch 'origin/main' into session/tidy-hawk-120
briansrls Jun 30, 2026
d820e77
Merge remote-tracking branch 'origin/main' into session/tidy-hawk-120
briansrls Jun 30, 2026
ec8e6f1
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 30, 2026
78c94ce
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 30, 2026
88156a3
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 30, 2026
b0dfa85
M1 within-walk resolve memo: fix Runnable pattern exhaustiveness
briansrls Jun 30, 2026
ccfa5ea
M1 resolve scope: add discriminating witnesses to ci_floor_plan
briansrls Jun 30, 2026
dadcd26
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 30, 2026
97ef8c1
fix: OR use_walk_memo on SharedClaims merge; document source_roots in…
briansrls Jun 30, 2026
0bd564b
fix: gate workspace_root import under #[cfg(test)] to clear unused-im…
briansrls Jun 30, 2026
89ecbc7
fix: replace vec! with array literal in warm==cold test to silence cl…
briansrls Jun 30, 2026
d662a7a
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 30, 2026
cf84c60
§5 construction: drop resolve_scope — derive memo from heavy_whole_tr…
briansrls Jun 30, 2026
622bfba
reword stale ResolveScope vocab in two comments
briansrls Jun 30, 2026
238e50b
WIP: DESIGN SKETCH ONLY (no code; returns to stern-moth-225 + operato…
briansrls Jun 30, 2026
3f324ce
fix: promote memo-eligible thread_units on entry cache hit; sync regen
briansrls Jun 30, 2026
3ed9960
add resolve-count oracle: memo fires resolve_entry_graph once per ent…
briansrls Jun 30, 2026
312e4d0
Merge remote-tracking branch 'origin/main' into session/tidy-hawk-120
briansrls Jun 30, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading