[bbopen]

Scope

This stacked draft PR explores exact integer and dataclass result contracts for #337 and #339. It depends on #348. All new code lives in test/prototypes and focused tests. Shipped codecs and generated wrappers do not import it.

The exact integer prototype uses a per-call capability and policy, versioned decimal tags, canonical decimal strings, and byte, depth, node, and digit limits. Its Python request decoder uses a trusted resolved contract. It accepts JSON integer tokens as floats only at declared float nodes. A versioned float tag preserves negative zero. The dataclass prototype emits validated field envelopes and keeps TypeScript provenance in a private WeakMap.

Evidence

• Python prototype tests: 15 passed.
• Python files compile with py_compile.
• Direct Node to Python to Node roundtrip passed for nested bigints, floats, booleans, and signed zero.
• Prettier and git diff --check passed.
• Exact-head manual CI is running at https://github.com/bbopen/tywrap/actions/runs/35497996047. The workflow watches pull requests targeting main, so this stacked PR needs a manual run.

Limits

This is design evidence, not production support. The generated Promise<Point> proof from the actual compiler model and an independent review are still required. Do not close #337 or #339 from this PR.

[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.}

[bbopen]

Superseded by the reviewed revision 3 and generated Point proofs in #359 and #356, integrated through #362. The final tree retains the dataclass input/depth regressions from this draft and passed full CI at aa5497f. The accepted bounded designs and their limits are recorded in docs/maintainers/architecture-decision-0.11.md. Closing this earlier prototype draft; release publication remains tracked by #354.