Repository navigation

engine: separate inclusion lists and omission claims in Bogota - #911

Draft

Marchhill wants to merge 17 commits into

ethereum:mainfrom

Marchhill:inclusion-list-claims

Draft

engine: separate inclusion lists and omission claims in Bogota#911
Marchhill wants to merge 17 commits into
ethereum:mainfrom
Marchhill:inclusion-list-claims

Commits on Sep 29, 2026
Commits on Oct 8, 2026
- engine: set MAX_INCLUSION_LIST_CLAIMS to 2**12
  Marchhill
  committed
  0a7ac8d
Commits on Oct 10, 2026
- engine: bind inclusion verdicts to explicit claim context
  Marchhill
  committed
  33104ce
- Add inclusion list schema names to spelling dictionary
  Marchhill
  committed
  7c01d32
Commits on Oct 13, 2026
- engine: support deferred inclusion checks by context
  Marchhill
  committed
  801c296
- engine: rename claim evaluationIndex and align profile activation
  Marchhill
  committed
  cb79715
- engine: rename omission claims consistently
  Marchhill
  committed
  c6375a7
Commits on Oct 14, 2026
Commits on Oct 15, 2026
- engine: specify undecidable checks, verdict retention and claim index encoding
  Marchhill
  committed
  a3f63f9
Commits on Oct 27, 2026
- Return completed inclusion verdicts with newPayload
  Marchhill
  committed
  51451e8