Skip to content

🤖 Fix FCR spec safety edges#101

Open
dapplion wants to merge 1 commit into
fcrfrom
codex/fcr-spec-safety
Open

🤖 Fix FCR spec safety edges#101
dapplion wants to merge 1 commit into
fcrfrom
codex/fcr-spec-safety

Conversation

@dapplion

@dapplion dapplion commented Jul 3, 2026

Copy link
Copy Markdown
Owner

Links audit artifact: #100

Implements the first direct FCR spec/safety slice from the audit:

  • FCR-01: use the Gloas bid parent payload hash for FCR safe hash.
  • FCR-07: derive SlotAssignments from actual committee ranges instead of inverting floor-division boundaries.
  • FCR-08: ignore invalidated latest-message roots and descendants for FCR LMD/FFG support.

Validation run locally:

  • cargo fmt --package fast_confirmation --package beacon_chain
  • cargo test -p fast_confirmation slot_assignments --lib
  • cargo test -p fast_confirmation --lib
  • cargo check -p beacon_chain

Intent: reviewable fix branch on top of latest fcr tip.

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