refactor!: execution refactor - #804

Draft

agureev wants to merge 20 commits into

artem/draft-refactor-integrationfrom

artem/execution-refactor

Commits on Aug 27, 2026

fix(lee): splice derived pre_states into the journal the circuit verifies
agureev
committed
906b1ae
fix(lee): mirror the circuit's per-path authorization in the shielded prover host
agureev
committed
bec869a
refactor(lee): key the circuit's account inputs by AccountId
agureev
committed
107e67f
refactor(lee): split ProgramOutput along the circuit's trust boundary
agureev
committed
61a087a
chore: artifacts
agureev
committed
bb1c1f0
refactor(lee): remove dead error variant and unused AccountDiffOutput accessors
agureev
committed
a733558
refactor(lee): deduplicate small validation helpers
agureev
committed
772c8ee
refactor(lee): finish the pre_state_refs -> accounts rename
agureev
committed
3dd06e0
refactor(lee): single source for MAX_NUMBER_CHAINED_CALLS
agureev
committed
3505c2f
refactor(lee): one caller-seed matcher pair for all three walks
agureev
committed
ac59a2e
refactor(lee): single AccountDiff materialization kernel
agureev
committed
b52aec6
refactor(lee): one journal-parse helper for the three decode sites
agureev
committed
1454c3d
refactor(lee): share public claim validation between the walks
agureev
committed
5b33c24
refactor(lee): guests echo the call context wholesale via ProgramInput::into_output
agureev
committed
5c01ce3
refactor(lee): move the execution walk into lee_core behind an effects provider
agureev
committed
90c7bc0
refactor(lee): host prover drives the shared walk
agureev
committed
64d141d
refactor(lee): one private-PDA map, binding as the proven half
agureev
committed
869cc23
refactor(lee): EntryCall, the seedless entry-call type
agureev
committed
0da0761
refactor(lee): review-driven cleanups across the execution seam
agureev
committed
4581a10
refactor(lee): adopt AccountDiffOutput::unchanged and finish the guest echo sweep
agureev
committed
943df09

Navigation Menu

refactor!: execution refactor - #804

refactor!: execution refactor#804
agureev wants to merge 20 commits into
artem/draft-refactor-integrationfrom
artem/execution-refactor

Commits on Aug 27, 2026

fix(lee): splice derived pre_states into the journal the circuit verifies

fix(lee): mirror the circuit's per-path authorization in the shielded prover host

refactor(lee): key the circuit's account inputs by AccountId

refactor(lee): split ProgramOutput along the circuit's trust boundary

chore: artifacts

refactor(lee): remove dead error variant and unused AccountDiffOutput accessors

refactor(lee): deduplicate small validation helpers

refactor(lee): finish the pre_state_refs -> accounts rename

refactor(lee): single source for MAX_NUMBER_CHAINED_CALLS

refactor(lee): one caller-seed matcher pair for all three walks

refactor(lee): single AccountDiff materialization kernel

refactor(lee): one journal-parse helper for the three decode sites

refactor(lee): share public claim validation between the walks

refactor(lee): guests echo the call context wholesale via ProgramInput::into_output

refactor(lee): move the execution walk into lee_core behind an effects provider

refactor(lee): host prover drives the shared walk

refactor(lee): one private-PDA map, binding as the proven half

refactor(lee): EntryCall, the seedless entry-call type

refactor(lee): review-driven cleanups across the execution seam

refactor(lee): adopt AccountDiffOutput::unchanged and finish the guest echo sweep