Repository navigation

refactor(probabilistic): build clean oracle phases from plain deterministic certificates (#862) - #883

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

feat/ptm-tidy-normal-form-862

Oct 24, 2026

Merged

refactor(probabilistic): build clean oracle phases from plain deterministic certificates (#862)#883
SamuelSchlesinger merged 2 commits into
mainfrom
feat/ptm-tidy-normal-form-862

Commits on Oct 24, 2026
- refactor(probabilistic): build clean oracle phases from plain deterministic certificates (#862)
  
  SamuelSchlesinger
  and
  claude
  committed
  7d72009
- refactor(probabilistic): reuse the plain bitsFrame certificate in clean pairing
  
  SamuelSchlesinger
  and
  claude
  committed
  84d4b28