Repository navigation

feat(polytime): expose plain framed and computed-word lengths - #809

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

feat/plain-framed-list-length-750

Oct 24, 2026

Merged

feat(polytime): expose plain framed and computed-word lengths#809
SamuelSchlesinger merged 2 commits into
mainfrom
feat/plain-framed-list-length-750

Commits on Oct 24, 2026
- feat(polytime): expose plain framed-list length certificate
  SamuelSchlesinger
  committed
  5eb4749
- fix(polytime): infer the encoding of computed word lengths
  SamuelSchlesinger
  committed
  f2b1294