Repository navigation

test(codec): prove generated exact integer calls - #361

Merged

bbopen merged 37 commits into

codex/tywrap-0-11-integration-20260920from

codex/tywrap-exact-integer-pointbase-20260920

Sep 20, 2026

Merged

test(codec): prove generated exact integer calls#361
bbopen merged 37 commits into
codex/tywrap-0-11-integration-20260920from
codex/tywrap-exact-integer-pointbase-20260920

Commits on Sep 20, 2026
- docs(codec): specify bounded value extension protocols
  bbopen
  committed
  f90705e
- test(codec): prototype exact integers and dataclass output
  bbopen
  committed
  f9bea9c
- test(codec): prototype cross-language value extensions
  bbopen
  committed
  4040b74
- test(codec): reject ambiguous prototype envelopes
  bbopen
  committed
  e460a4f
- test(codec): decode exact requests with declared float nodes
  bbopen
  committed
  30453fc
- test(codec): align prototype Unicode and version boundaries
  bbopen
  committed
  8ed94d9
- test(codec): emit the counted Unicode wire form
  bbopen
  committed
  6e694a7
- test(codec): match prototype output bytes to checked limit
  bbopen
  committed
  0ad97ce
- test(codec): reject ordinary class as dataclass output
  bbopen
  committed
  9a1a4c0
- test(codec): show serializable unsupported dataclass field
  bbopen
  committed
  9a00640
- test(codec): prove generated Point through dataclass adapter
  bbopen
  committed
  80bfa77
- test: use generated camelCase Point callable
  bbopen
  committed
  0226fd9
- test: derive Point proof from analyzed importable fixture
  bbopen
  committed
  f76641f
- docs: record exact integer migration costs
  bbopen
  committed
  20fa0f6
- docs: separate proposed policy from prototype checks
  bbopen
  committed
  f835f98
- test: bind generated Point call to explicit value policy adapter
  bbopen
  committed
  a84e9b9
- docs: record generated Point proof and remaining boundary
  bbopen
  committed
  5010dc0
- test: pin Point adapter rejection causes
  bbopen
  committed
  58da680
- docs: mark bigint generator contract gap
  bbopen
  committed
  18aa8de
- test: pin dataclass input and depth rejection
  bbopen
  committed
  5b2dc3f
- test: add analyzed exact integer callable fixture
  bbopen
  committed
  c45aac0
- test: add private exact integer call adapter
  bbopen
  committed
  684b940
- test: keep adapter capability metadata outside request
  bbopen
  committed
  bd9efc7
- test: check exact call arguments as one bounded record
  bbopen
  committed
  1208322
- docs: measure representative exact integer payload growth
  bbopen
  committed
  9aec49f
- test: make exact fixture distinguish signed zero
  bbopen
  committed
  8d437b7
- feat(contracts): define pinned exact integer revision 3
  bbopen
  committed
  d8b29a4
- test: map resolved v3 nodes into prototype codec
  bbopen
  committed
  38c9b84
- feat(codegen): compile exact integers behind v3 capability
  bbopen
  committed
  a3bdc13
- test: prove generated exact bigint wrapper through bound provider
  bbopen
  committed
  d6f1bac
- fix(contracts): make recursive revisions typecheck
  bbopen
  committed
  694bc00
- docs: state bounded generated bigint proof and rollout gap
  bbopen
  committed
  ba138a4
- test: prove generated nested exact integer return and request caps
  bbopen
  committed
  d06e4fa
- test: reject malformed nested bigint envelope in bound call
  bbopen
  committed
  42ff1e1
- merge: adopt accepted exact integer v3 source
  bbopen
  committed
  4f224da
- merge: align exact integer proof with release integration
  bbopen
  committed
  9ed30b1
- docs: describe both analyzed exact integer callables
  bbopen
  committed
  577800b

Commits

Commits on Sep 20, 2026