eip-7642: rm bloom filter from tx receipt

[letypequividelespoubelles]

Note

Removes Phase 4 (bloom filter) from the tx receipt circuit and refactors phase IDs, transitions, and size updates, with minor constraint renames and helpers.

• rlptxrcpt/osaka/constraints.lisp:
  • Remove Phase 4 (bloom filter):
    • Delete Phase 4 constraints and decrementing logic; adjust transitions to 1→2→3→5 (skip 4).
    • Update phase-transition to go 3→5 and keep TXRCPT_SIZE vanishing on Phase 5.
  • Phase ID and gating refactor:
    • Replace reduce-based phase sums with explicit sums for phases 1,2,3,5.
    • Add helpers phase-sum and phase-wght-sum; use them in phase exclusion and no-change checks.
    • Update impose-phase-id to explicit weighted sum excluding Phase 4.
  • Size updates:
    • Replace phasesize-update with phase-size-update to update only when ([PHASE 5] * DEPTH_1) == 1.
  • Constraint renames/cleanup:
    • ct-incrementings→ct-incrementing, istopic-incrementing→is-topic-incrementing, lccorrection-nullity→lc-correction-nullity, finalisation→finalization, no-end-no-changephase→no-end-no-change-phase.
  • Misc adjustments:
    • Minor guard/constancy tweaks (e.g., special-ct-constancy, ABS_LOG_NUM-evolution).

^{Written by Cursor Bugbot for commit 5fc5f6f. This will update automatically on new commits. Configure here.}