Skip to content
Merged
Changes from all commits
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
6968eff
Fire R3 auto memoization repeated pure call gate
briansrls May 10, 2026
e8061f7
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
30dc18f
Use structural memoization gate witness
briansrls May 10, 2026
731bc82
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
6965dc0
Use structural pure call memo keys
briansrls May 10, 2026
9c0a6fa
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
e7dc0fc
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
4007e18
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
ce74476
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
6cad895
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
8a7a9aa
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
2c77bd0
WIP: R3 gate #49: auto memoization repeated pure call cached
briansrls May 10, 2026
2fe74fc
WIP: R3 gate #49: auto memoization repeated pure call cached
briansrls May 10, 2026
648a73f
WIP: R3 gate #49: auto memoization repeated pure call cached
briansrls May 10, 2026
8b34f2f
Fix non-copy memoization regression assertion
briansrls May 10, 2026
ff5e42e
Restore memoization gate deferral framing
briansrls May 10, 2026
a29f817
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
8faacb8
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
6b7ad32
Fire repeated pure call memoization gate
briansrls May 10, 2026
d1ab449
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
1ff1053
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
457b6d3
WIP: R3 gate #49: auto memoization repeated pure call cached
briansrls May 10, 2026
bb8a66d
Tighten repeated call memoization witness wording
briansrls May 10, 2026
60bde93
Share repeated call cache emission plan
briansrls May 10, 2026
32a058b
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
3d8ff02
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
2071eb1
Defer R3 memoization dimension report gate
briansrls May 10, 2026
9bbd312
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
5c7ef86
WIP: R3 gate #49: auto memoization repeated pure call cached
briansrls May 10, 2026
4024301
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
0c8f79b
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
3b6e933
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 2026
a2c6d2d
Merge remote-tracking branch 'origin/main' into session/swift-ibex-553
briansrls May 10, 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
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,8 @@
// DB-20 models workflow parallelism through `WorkflowParallelismReport`.
// The auto-memoization gates still lock the `BinaryDimensionReportEquals`
// shape for the cost-related `DimensionReport<C>` half of `Lens<Purity>·Lens<Cost>`.
// Gate #49 remains author-now/fire-later until the generic dimension-report
// producer/evaluator path can compare the declared observed/expected reports.

module std.r3_free_consequences_first_batch

Expand Down
Loading