Repository navigation

feat(codegen): preserve callable contracts - #347

Merged

bbopen merged 54 commits into

mainfrom

codex/tywrap-callable-compiler-20260919

Sep 20, 2026

Merged

feat(codegen): preserve callable contracts#347
bbopen merged 54 commits into
mainfrom
codex/tywrap-callable-compiler-20260919

Commits on Sep 20, 2026
- docs(codec): freeze internal value contract prototype
  bbopen
  committed
  914c4f6
- docs(codec): freeze internal value contract prototype
  bbopen
  committed
  eabfe66
- docs(codec): narrow prototype to float16 scientific values
  bbopen
  committed
  90cd6c6
- docs(codec): narrow prototype to float16 scientific values
  bbopen
  committed
  103ccd6
- feat(codegen): validate and preserve callable contracts
  bbopen
  committed
  dfef732
- docs(codec): compose unions and fixed tuples in value contract
  bbopen
  committed
  7d051ca
- fix(codec): reject unsafe integers and decode Arrow float16
  bbopen
  committed
  696ea14
- docs(codec): compose unions and fixed tuples in value contract
  bbopen
  committed
  56cfa61
- docs(codec): correct value contract revision reference
  bbopen
  committed
  cc65cc8
- test(codec): separate safe scalar and Arrow array expectations
  bbopen
  committed
  8f89b9b
- chore(pyodide): sync bridge core after codec fix
  bbopen
  committed
  add4dac
- fix(codec): bound model conversion chains and cycles
  bbopen
  committed
  1b1135d
- ci(codec): run bridge core regressions in required jobs
  bbopen
  committed
  333301e
- feat(codegen): route callable contracts through generation
  bbopen
  committed
  f300b71
- Merge remote-tracking branch 'origin/main' into codex/tywrap-value-contracts-20260919
  bbopen
  committed
  c6d1543
- fix callable compiler integration regressions
  bbopen
  committed
  40370ee
- fix(codec): validate terminal JSON integer metadata
  bbopen
  committed
  fbe931e
- refresh menagerie callable contract snapshots
  bbopen
  committed
  c5c02e8
- fix(codec): validate set subclass integers
  bbopen
  committed
  755616f
- harden overload correlation and IR traversal
  bbopen
  committed
  8b2bd08
- honor Python 3.10 overload fallback in tests
  bbopen
  committed
  825a46f
- normalize cross-version overload snapshot and verify Torch dtype
  bbopen
  committed
  b5a96b6
- feat(codec): define bytes and per-call provenance contracts
  bbopen
  committed
  8ec57da
- feat(codec): define bytes and per-call provenance contracts
  bbopen
  committed
  88ad9de
- feat(codec): carry scalar ndarray proof per RPC call
  bbopen
  committed
  a2e2773
- consume bytes and scalar provenance in callable validators
  bbopen
  committed
  9d9ae8e
- test: expect broad hidden overload implementation
  bbopen
  committed
  05a891e
- fix(rpc): keep one-argument validator call shape
  bbopen
  committed
  7e2301c
- Merge commit '755616fc2dfac972f3f58fcc997afc53e8b705cf' into codex/tywrap-callable-compiler-20260919
  bbopen
  committed
  bc3641b
- test(rpc): assert additive validator provenance
  bbopen
  committed
  a642527
- Merge commit 'a642527' into codex/tywrap-callable-compiler-20260919
  bbopen
  committed
  27cf162
- test: prove scalar float16 through generated HTTP wrapper
  bbopen
  committed
  552b530
- fix(codec): bind Torch float16 to nested ndarray dtype
  bbopen
  committed
  e14d2f3
- test: align nested scalar proof with array index normalization
  bbopen
  committed
  e9fa9b2
- Merge value interface Torch float16 guard
  bbopen
  committed
  0c3a1ce
- test: exercise generated Torch float16 wrapper through HTTP codec
  bbopen
  committed
  f20b4a7
- fix(compiler): derive callable types from IR and detect bound overload overlap
  bbopen
  committed
  5c1728f
- fix(ir): avoid array index as inherited type parameters
  bbopen
  committed
  fda3d6d
- fix(scientific): resolve NumPy float16 dtype from expanded annotation
  bbopen
  committed
  5d0b3ad
- test: preserve strict NumPy warning control and required dataclass fields
  bbopen
  committed
  96041aa
- fix(scientific): require NumPy and Torch dtype identity
  bbopen
  committed
  461ff6a
- fix(ir): clear only matching scientific annotation warnings
  bbopen
  committed
  6f82ccb
- feat(generator): expose isolated runtime binding template
  bbopen
  committed
  0006a3f
- fix(generator): isolate binding provider namespace
  bbopen
  committed
  6a72dce
- style: format callable compiler source and tests
  bbopen
  committed
  fb93225
- docs: exclude internal contract notes from llms bundle
  bbopen
  committed
  fcfb829
- Integrate coroutine capability and safe object fallback
  bbopen
  committed
  37ee8db
- Update object return snapshots to unknown
  bbopen
  committed
  67f030e
- Fail closed on unresolved returns and recognize torch HalfTensor
  bbopen
  committed
  57cdbc7
- Keep validation checks when widening unresolved results
  bbopen
  committed
  4f7c8e5
- Resolve selected local records and simple aliases
  bbopen
  committed
  a289bdc
- Reconcile generic safety tests and generated snapshots
  bbopen
  committed
  ebfa17e
- Compose local value contracts and guard foreign validation
  bbopen
  committed
  ec2dbb6
- Bound compile-local alias expansion depth
  bbopen
  committed
  42feeca

Commits

Commits on Sep 20, 2026