Skip to content

G1 S5-S8 stage 2: D1/D2 + E2-E7 success bridges + S8 dispatcher refactor #1857

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

Draft
Th0rgal wants to merge 36 commits into
base: main
Choose a base branch
from
Draft

G1 S5-S8 stage 2: D1/D2 + E2-E7 success bridges + S8 dispatcher refactor #1857

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
36 commits
Select commit Hold shift + click to select a range
ea9a802
Add Stage 2 plan section after #1826 foundation merge
Th0rgal May 14, 2026
7b9c2e8
G1 S6 (degenerate): of_bridgedStraightStmts_falling_through name slot
Th0rgal May 14, 2026
193537a
G1 S5 (degenerate) + PrintAxioms: of_nativePreservableStraightStmts_l…
Th0rgal May 14, 2026
c272db7
G1 E7 (degenerate) + PrintAxioms: of_bridgedStraightStmts_falling_thr…
Th0rgal May 14, 2026
337121f
G1 stage-2 prep: parallel _revived Preserves predicate + of_empty_bod…
Th0rgal May 14, 2026
6cf2a45
G1 stage-2: PreservesBridgeRevived.of_leave_body (breakthrough, real …
Th0rgal May 14, 2026
616e4b1
G1 stage-2: PreservesBridgeRevived constructor set (4 mirrors)
Th0rgal May 14, 2026
c05ba31
G1 E6 (degenerate Preserves): _revived.of_nativePreservableStraightSt…
Th0rgal May 14, 2026
655f88f
G1 stage-2: ExecBridgeAtFuelRevivedLeaveAware predicate + adapter
Th0rgal May 14, 2026
c89813e
G1 stage-2: revivedLeaveAware downstream consumer
Th0rgal May 14, 2026
8a72464
G1 stage-2: LeaveAware ExecBridge leaf constructors (of_leave_body, o…
Th0rgal May 14, 2026
f1c087f
G1 S7: E2/E4/E6 SuccessBridge name slots claimed (conditional on Leav…
Th0rgal May 14, 2026
e0dd38a
G1 S8-direction: compile_preserves..._callDispatcher_via_result variant
Th0rgal May 14, 2026
cebb032
G1 fix CI: make _via_result variant private
Th0rgal May 14, 2026
ee7acc8
G1 fix CI: remove fn.returnVars references and orphan docstring
Th0rgal May 14, 2026
eb9b973
G1 S7: F7 label-prefix name slot (of_bridgedStraightStmts_falling_thr…
Th0rgal May 14, 2026
a52accf
G1 S7: F2/F4/F6 label-prefix name slots claimed (conditional)
Th0rgal May 14, 2026
ef73c9c
G1 stage-2: _revived block preservation for label-prefix body shapes
Th0rgal May 14, 2026
6f1b727
G1 stage-2: vacuity helpers NativeBlockPreservesWord(_revived)_of_nev…
Th0rgal May 14, 2026
e415366
Polish: drop unused simp argument in _revived_leave proof
Th0rgal May 14, 2026
43c3a77
G1 stage-2: _revived Preserves bridges for F2/F4 prefixed body shapes
Th0rgal May 14, 2026
f503e39
G1 stage-2: exec_block_label_prefix_leave_ok_add_ten helper
Th0rgal May 14, 2026
bf9cffd
G1 F2: ExecOnly + IR-side match helper for body [.block [], .leave]
Th0rgal May 14, 2026
62f662e
G1 F2/F6: graduate from conditional to direct (drop hExecBridge hypot…
Th0rgal May 14, 2026
b486316
G1 F4: graduate to direct (matches F2 pattern)
Th0rgal May 14, 2026
b89b43c
G1 _revived: NativeBlockPreservesWord_revived_nativeRevertZeroZero
Th0rgal May 14, 2026
9ba14c3
G1 _revived: refactor revert proof to fit 50-line proof-length budget
Th0rgal May 14, 2026
0b4151d
G1 _revived: NativeStmtPreservesWord_revived_if_of_cond_preserves_rev…
Th0rgal May 14, 2026
60d38ba
Merge remote-tracking branch 'upstream/main' into native-evmyullean-g…
Th0rgal May 14, 2026
7020b98
PrintAxioms regenerated after upstream merge
Th0rgal May 14, 2026
b002443
G1 _revived: NativeBlockPreservesWord_revived_switchCaseBody_payable_…
Th0rgal May 14, 2026
b5410c1
G1 _revived: NativeBlockPreservesWord_revived_switchCaseBody_nonpayab…
Th0rgal May 14, 2026
1936bd5
G1 fix CI: extend proof-length allowlist for _revived switchCaseBody …
Th0rgal May 14, 2026
4320871
G1 doc: record Stage 2 progress in plan (shipped pieces + remaining w…
Th0rgal May 14, 2026
c6f24ef
G1 _revived: Ok-input cond-reviveJump discharge for lt(calldatasize, k)
Th0rgal May 14, 2026
576da76
G1 _revived: Ok-input cond-reviveJump discharge for callvalue() guard
Th0rgal May 14, 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
Loading