Skip to content

test(codec): prove generated Point value adapter - #356

Closed
bbopen wants to merge 20 commits into
codex/tywrap-callable-compiler-20260919from
codex/tywrap-generated-point-proof-20260920
Closed

bbopen wants to merge 20 commits into
codex/tywrap-callable-compiler-20260919from
codex/tywrap-generated-point-proof-20260920

Conversation

@bbopen

@bbopen bbopen commented Sep 20, 2026

Copy link
Copy Markdown
Owner

Scope

  • Add an importable Python Point fixture and use analyzer IR as the compiler input.
  • Derive the prototype dataclass identity and field rules from that IR and the resolved callable contract.
  • Execute the compiler-generated Promise<Point> wrapper through an explicit bound runtime provider.
  • Check the required defaulted field, capability and adapter failures, exact decoded fields, and generated return validation.
  • Keep the exact-integer and dataclass codecs isolated under test/prototypes.

Verification

Limits

The default runtime has no dataclass adapter. The generated structural validator checks required field values; the bound prototype adapter checks wire identity and exact fields. Production still needs bridge capability negotiation and a server-side compiled field contract. This PR is a design proof for #339 and does not close the issue.

Stacked on draft #347. Prototype work is also tracked in draft #349.

@coderabbitai

coderabbitai Bot commented Sep 20, 2026

Copy link
Copy Markdown

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

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

@github-actions github-actions Bot added area:docs Area: documentation area:codegen labels Sep 20, 2026
@bbopen

bbopen commented Sep 20, 2026

Copy link
Copy Markdown
Owner Author

Integrated through reviewed implementation PR #362, merged as 43f111b43fbb0ce31dcb59f8fb489e8dadf3f191. This branch head is an ancestor of that merged commit. Final combined release candidate aa5497f867b36a76670afedbe9b34a6712a322e3 passed full CI 35508107651. Closing this component PR because its work is already on main; release publication is tracked by #354.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:codegen area:docs Area: documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant