[bbopen]

Scope

This draft records the bounded generated bigint proof for #337. Against the release integration branch, it changes five files:

• test/fixtures/python/value_contract_exact_integer.py adds scalar and nested integer callables for the analyzer.
• test/prototypes/value_contract_v3_adapter.ts maps resolved v3 contracts into the isolated codec.
• test/prototypes/value_exact_call.py checks the per-call policy and raw request limit, decodes arguments, and encodes results.
• test/value_extensions_generated_integer.test.ts compiles and runs generated wrappers with a private policy provider.
• docs/maintainers/value-contract-prototypes.md records the proof, wire cost, and migration work.

The generated declarations use bigint for Python int inputs and results, including Promise<bigint[][]>. The TypeScript consumer check rejects number inputs and outputs. The bound calls round trip positive and negative values beyond 64 bits. They check signed zero at a float parameter, malformed nested envelopes, the generated return validator, and a missing bridge capability before dispatch. Both the client and Python adapter reject oversized raw requests. The same fixture under revision 2 keeps number types and uses an ordinary call.

The branch includes the accepted v3 source from #359. The production bridge and public per-callable selector remain future work. This proof does not close #337 or change the 0.11 codec policy.

Review and validation

• Independent design review approved a bounded v3 semantic-contract prototype. Independent proof and merge-provenance reviews accepted this five-file diff at 577800b.
• CI 35504606344 ran the generated integer suite 2/2 on Linux, macOS, and Windows at d06e4fa. Its full result failed two source tests from the earlier v3 commit. feat(contracts): prototype exact-integer revision 3 #359 corrected those tests and passed CI 35504583518 at 1862f3e.
• Local Python smoke checks covered nested wide integers and the 10 MiB raw input guard. Prettier and git diff --check passed.
• The final combined integration head awaits its full CI run. The later nested-envelope assertion at 42ff1e1 has independent review but no separate CI run.

[coderabbitai]

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

• Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}