Skip to content

Clean up continuation AIR setup#733

Merged
MauroToscano merged 1 commit into
continuations-local-to-globalfrom
codex/continuation-cleanup-3-5
Jun 26, 2026
Merged

Clean up continuation AIR setup#733
MauroToscano merged 1 commit into
continuations-local-to-globalfrom
codex/continuation-cleanup-3-5

Conversation

@MauroToscano

Copy link
Copy Markdown
Contributor

Summary

  • remove the unused first-epoch register-init branch from continuation AIR construction
  • make epoch_touched_cells test-only instead of exposing it from production builds
  • clean stale comments that referred to the old helper name / is_first binding

Tests

  • cargo test -p lambda-vm-prover test_local_to_global_traces_from_real_execution -- --nocapture
  • cargo test -p lambda-vm-prover test_epoch_proof_commits_l2g -- --nocapture
  • cargo test -p lambda-vm-prover test_continuation_pipeline_end_to_end -- --nocapture
  • cargo test -p lambda-vm-prover continuation::tests -- --nocapture (initial run: 14 passed, 1 fixture-missing failure)
  • cargo test -p lambda-vm-prover continuation::tests::test_split_verify_rejects_tampered_private_input_genesis -- --nocapture
  • make lint

@MauroToscano MauroToscano merged commit 5529dbd into continuations-local-to-global Jun 26, 2026
6 checks passed
@MauroToscano MauroToscano deleted the codex/continuation-cleanup-3-5 branch June 26, 2026 23:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant