Repository navigation

feat(contracts): prototype exact-integer revision 3 - #359

Closed

bbopen wants to merge 4 commits into

codex/tywrap-callable-compiler-20260919from

codex/tywrap-exact-integer-source-20260920

Closed

feat(contracts): prototype exact-integer revision 3#359
bbopen wants to merge 4 commits into
codex/tywrap-callable-compiler-20260919from
codex/tywrap-exact-integer-source-20260920

Commits on Sep 20, 2026
- feat(contracts): define pinned exact integer revision 3
  bbopen
  committed
  2cc49f0
- feat(codegen): compile exact integers behind v3 capability
  bbopen
  committed
  beaf569
- fix(contracts): make recursive revisions typecheck
  bbopen
  committed
  a51301a
- fix(codegen): type exact method and variadic inputs
  bbopen
  committed
  1862f3e