Repository navigation

feat: integrate callable contracts and numeric correctness for 0.11 - #362

Merged

bbopen merged 239 commits into

mainfrom

codex/tywrap-0-11-implementation-20260920

Sep 20, 2026

Merged

feat: integrate callable contracts and numeric correctness for 0.11#362
bbopen merged 239 commits into
mainfrom
codex/tywrap-0-11-implementation-20260920

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
- test(ci): add isolated consumer package gate
  bbopen
  committed
  37747e8
- docs(codec): narrow prototype to float16 scientific values
  bbopen
  committed
  103ccd6
- test(pyodide): add real WASM and browser checks
  bbopen
  committed
  6513c4d
- feat(codegen): validate and preserve callable contracts
  bbopen
  committed
  dfef732
- fix(ci): read Playwright browser metadata through package entry
  bbopen
  committed
  169ef2d
- test(pyodide): remove stale browser version constant
  bbopen
  committed
  61c09a3
- 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
- fix(pyodide): use local package assets in Node smoke
  bbopen
  committed
  85d4726
- test(pyodide): cover shipped JSON values in local runtime
  bbopen
  committed
  1a436c8
- test(pyodide): fetch locked NumPy asset in CI
  bbopen
  committed
  0385994
- test(codec): separate safe scalar and Arrow array expectations
  bbopen
  committed
  8f89b9b
- chore(pyodide): sync bridge core after codec fix
  bbopen
  committed
  add4dac
- test(pyodide): report browser compiler diagnostics
  bbopen
  committed
  94b7201
- test(ci): compile browser wrapper from packed consumer
  bbopen
  committed
  ae88416
- fix(codec): bound model conversion chains and cycles
  bbopen
  committed
  1b1135d
- test(pyodide): execute native browser imports and bootstrap failure
  bbopen
  committed
  ad35fc1
- test(pyodide): invoke browser smoke and propagate Python bootstrap error
  bbopen
  committed
  917e368
- ci(codec): run bridge core regressions in required jobs
  bbopen
  committed
  333301e
- test(pyodide): require missing runtime assets to fail
  bbopen
  committed
  1d60be3
- Merge branch 'codex/tywrap-value-contracts-20260919' into codex/tywrap-conformance-20260919
  bbopen
  committed
  ae18ad7
- test(consumer): reject unsafe integers and decode Arrow float16
  bbopen
  committed
  d5137fa
- test(pyodide): preflight required runtime assets
  bbopen
  committed
  53b3c8b
- test(consumer): install Arrow decoder in isolated project
  bbopen
  committed
  5e289b7
- Merge remote-tracking branch 'origin/main' into codex/tywrap-conformance-20260919
  bbopen
  committed
  e915ddd
- 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
- test(pyodide): verify installed runtime pins and core assets
  bbopen
  committed
  c6c1d49
- test(consumer): assert public validation error and always dispose
  bbopen
  committed
  892cb25
- fix callable compiler integration regressions
  bbopen
  committed
  40370ee
- test(conformance): assert fresh generation and structured Python errors
  bbopen
  committed
  3b1e181
- fix(codec): validate terminal JSON integer metadata
  bbopen
  committed
  fbe931e
- refresh menagerie callable contract snapshots
  bbopen
  committed
  c5c02e8
- feat(runtime): await Python coroutines in Node and Pyodide
  bbopen
  committed
  fa09797
- fix(runtime): preserve timeout diagnostics and async cleanup
  bbopen
  committed
  d0a990e
- Merge commit 'fbe931e' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  b39ca6e
- Merge commit 'd0a990e' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  12a93a1
- test(pyodide): prove generated coroutine on real WASM
  bbopen
  committed
  b741337
- fix(codec): validate set subclass integers
  bbopen
  committed
  755616f
- harden overload correlation and IR traversal
  bbopen
  committed
  8b2bd08
- feat(runtime): await Python coroutines in Node and Pyodide
  bbopen
  committed
  0486e7b
- fix(runtime): preserve timeout diagnostics and async cleanup
  bbopen
  committed
  78d3656
- honor Python 3.10 overload fallback in tests
  bbopen
  committed
  825a46f
- Merge commit '755616f' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  bfbc6ef
- Merge commit '78d3656' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  93032cd
- normalize cross-version overload snapshot and verify Torch dtype
  bbopen
  committed
  b5a96b6
- fix(runtime): reap retired Python children after forced shutdown
  bbopen
  committed
  1e8717b
- Merge commit '1e8717b' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  677c06e
- feat(codec): define bytes and per-call provenance contracts
  bbopen
  committed
  8ec57da
- feat(codec): define bytes and per-call provenance contracts
  bbopen
  committed
  88ad9de
- style(runtime): satisfy shutdown lint rules
  bbopen
  committed
  6b56a96
- test(pyodide): verify real coroutine cancellation and reuse
  bbopen
  committed
  3393850
- Merge branch 'codex/tywrap-coroutines-20260920' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  6847a73
- feat(codec): carry scalar ndarray proof per RPC call
  bbopen
  committed
  a2e2773
- consume bytes and scalar provenance in callable validators
  bbopen
  committed
  9d9ae8e
- chore: integrate reviewed numeric contracts
  bbopen
  committed
  f096210
- chore: integrate reviewed clean consumer gates
  bbopen
  committed
  d5b341a
- ci: run full release command on manual validation
  bbopen
  committed
  a65540b
- test(architecture): add independent numeric oracle and fixed cases
  bbopen
  committed
  7e14414
- test(architecture): bound exhaustive oracle assertion cost
  bbopen
  committed
  16e2c48
- test: expect broad hidden overload implementation
  bbopen
  committed
  05a891e
- style(test): use braces in architecture oracle
  bbopen
  committed
  855115e
- 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
- test: integrate independent binary16 conformance oracle
  bbopen
  committed
  820760b
- Merge commit 'a642527' into codex/tywrap-callable-compiler-20260919
  bbopen
  committed
  27cf162
- fix(runtime): fence pool replacement until child cleanup succeeds
  bbopen
  committed
  b380418
- Merge branch 'codex/tywrap-coroutines-20260920' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  e640be2
- test: prove scalar float16 through generated HTTP wrapper
  bbopen
  committed
  552b530
- test(architecture): add overloaded nested-record fixtures
  bbopen
  committed
  1fa6a87
- test(pool): wait for retired cleanup before replacement
  bbopen
  committed
  8879171
- Merge branch 'codex/tywrap-coroutines-20260920' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  8967a8a
- Merge branch 'codex/tywrap-callable-compiler-20260919' into codex/tywrap-architecture-conformance-20260920
  bbopen
  committed
  fe21240
- fix(codec): bind Torch float16 to nested ndarray dtype
  bbopen
  committed
  e14d2f3
- test: align nested scalar proof with array index normalization
  bbopen
  committed
  e9fa9b2
- fix(pool): retain failed cleanup from unpublished workers
  bbopen
  committed
  11a1db7
- Merge value interface Torch float16 guard
  bbopen
  committed
  0c3a1ce
- Merge branch 'codex/tywrap-coroutines-20260920' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  6d5fed9
- feat: integrate reviewed bytes and scalar provenance contracts
  bbopen
  committed
  c46f0ad
- test: exercise generated Torch float16 wrapper through HTTP codec
  bbopen
  committed
  f20b4a7
- test: exercise generated callable contracts in isolated consumer
  bbopen
  committed
  0ac3823
- Merge approved Torch dtype contract for conformance proof
  bbopen
  committed
  f33cc5b
- test: reject architecture contract mutations structurally
  bbopen
  committed
  b831054
- feat: integrate reviewed coroutine execution and cancellation
  bbopen
  committed
  f23a890
- test: keep overload helper out of extracted module callables
  bbopen
  committed
  64087dc
- Merge compiler candidate generated Torch and index proofs
  bbopen
  committed
  0852f78
- 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
- Merge compiler NumPy float16 and IR authority fixes for conformance proof
  bbopen
  committed
  ba6da84
- test: preserve strict NumPy warning control and required dataclass fields
  bbopen
  committed
  96041aa
- fix(scientific): require NumPy and Torch dtype identity
  bbopen
  committed
  461ff6a
- test: typecheck generated float16 scalar and array results
  bbopen
  committed
  ecba0e0
- Merge qualified scientific dtype guard and compiler corrections
  bbopen
  committed
  87ce83e
- fix(ir): clear only matching scientific annotation warnings
  bbopen
  committed
  6f82ccb
- Merge exact scientific warning filter for conformance proof
  bbopen
  committed
  1736b68
- feat(generator): expose isolated runtime binding template
  bbopen
  committed
  0006a3f
- test(binding): stage explicit client binding prototype
  bbopen
  committed
  510ab04
- Merge branch 'codex/tywrap-callable-compiler-20260919' into codex/tywrap-client-binding-prototype-20260920
  bbopen
  committed
  69a0a03
- feat: integrate reviewed callable contract compiler
  bbopen
  committed
  d365514
- feat(binding): consume compiler runtime getter template
  bbopen
  committed
  129fd24
- fix(generator): isolate binding provider namespace
  bbopen
  committed
  6a72dce
- Merge branch 'codex/tywrap-callable-compiler-20260919' into codex/tywrap-client-binding-prototype-20260920
  bbopen
  committed
  243b134
- test: integrate independently reviewed generated consumer proofs
  bbopen
  committed
  0ab0a01
- fix(binding): accept allocated runtime provider identifier
  bbopen
  committed
  dd0534c
- fix(binding): type JSON property mapping explicitly
  bbopen
  committed
  d572cb7
- chore: include published promotional site in release candidate
  bbopen
  committed
  acc8178
- style: format callable compiler source and tests
  bbopen
  committed
  fb93225
- docs: exclude internal contract notes from llms bundle
  bbopen
  committed
  fcfb829
- docs(codec): specify bounded value extension protocols
  bbopen
  committed
  3b84b6f
- test(codec): prototype exact integers and dataclass output
  bbopen
  committed
  98645b2
- test(codec): prototype cross-language value extensions
  bbopen
  committed
  5ea7635
- test(codec): reject ambiguous prototype envelopes
  bbopen
  committed
  d7c2412
- test(codec): decode exact requests with declared float nodes
  bbopen
  committed
  a367777
- test(codec): align prototype Unicode and version boundaries
  bbopen
  committed
  bba1e66
- test(codec): emit the counted Unicode wire form
  bbopen
  committed
  8342221
- test(codec): match prototype output bytes to checked limit
  bbopen
  committed
  11f4fde
- test(codec): reject ordinary class as dataclass output
  bbopen
  committed
  42ef2e4
- test(codec): show serializable unsupported dataclass field
  bbopen
  committed
  4f48192
- test(codec): prove generated Point through dataclass adapter
  bbopen
  committed
  5893212
- test: use generated camelCase Point callable
  bbopen
  committed
  3862ebd
- test: derive Point proof from analyzed importable fixture
  bbopen
  committed
  8a1d624
- docs: record exact integer migration costs
  bbopen
  committed
  27a5f3f
- docs: separate proposed policy from prototype checks
  bbopen
  committed
  0954106
- test: bind generated Point call to explicit value policy adapter
  bbopen
  committed
  b22bdfa
- docs: record generated Point proof and remaining boundary
  bbopen
  committed
  9fb5457
- test: pin Point adapter rejection causes
  bbopen
  committed
  9a4fc75
- docs: mark bigint generator contract gap
  bbopen
  committed
  c31157f
- test: pin dataclass input and depth rejection
  bbopen
  committed
  f41bb44
- test(binding): align assertions with generated runtime contracts
  bbopen
  committed
  90098c5
- test(node): assert generated coroutine return contract
  bbopen
  committed
  1d76041
- test(pyodide): assert generated coroutine return contract
  bbopen
  committed
  3fefce2
- Merge branch 'codex/tywrap-coroutines-20260920' into codex/tywrap-coroutines-final-integration-20260920
  bbopen
  committed
  7670512
- test(pyodide): exercise default coroutine capability
  bbopen
  committed
  1515267
- chore: integrate reviewed binding template and release formatting
  bbopen
  committed
  385d996
- test(binding): reflect Python 3.10 overload fallback
  bbopen
  committed
  932d288
- Integrate coroutine capability and safe object fallback
  bbopen
  committed
  37ee8db
- test: integrate reviewed generated dataclass design proof
  bbopen
  committed
  104efd4
- merge: combine callable compiler with coroutine runtime fixtures
  bbopen
  committed
  db77710
- Update object return snapshots to unknown
  bbopen
  committed
  67f030e
- Merge branch 'codex/tywrap-callable-compiler-20260919' into codex/tywrap-client-binding-prototype-20260920
  bbopen
  committed
  86b6284
- test: require real generated Torch float16 callable in scientific CI
  bbopen
  committed
  01c1183
- Fail closed on unresolved returns and recognize torch HalfTensor
  bbopen
  committed
  57cdbc7
- Merge compiler HalfTensor and fail-closed return support for conformance proof
  bbopen
  committed
  9427879
- docs: keep agent guide aligned with curated user documentation
  bbopen
  committed
  f50e552
- 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
- test(ci): verify exact published npm and PyPI consumer artifacts
  bbopen
  committed
  8919d12
- merge: integrate reviewed compiler compatibility corrections
  bbopen
  committed
  c762c65
- merge: take accepted callable compiler baseline
  bbopen
  committed
  3763324
- Merge accepted callable compiler baseline for Torch conformance proof
  bbopen
  committed
  f4b1e92
- Merge commit '42feeca0abd1314592be691faa6d608541dfc6d2' into codex/tywrap-client-binding-prototype-20260920
  bbopen
  committed
  7223c01
- merge: take accepted conformance evidence
  bbopen
  committed
  54cef7c
- docs: add 0.11 migration guide to release candidate
  bbopen
  committed
  737fcff
- test(binding): preserve canonical unknown generic return
  bbopen
  committed
  1e6ff97
- test: analyze Torch fixture outside repository namespace
  bbopen
  committed
  4db7002
- merge: add reviewed published-package verification
  bbopen
  committed
  45c4c67
- feat(contracts): define pinned exact integer revision 3
  bbopen
  committed
  2cc49f0
- 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
- merge: integrate verified real Torch conformance proof
  bbopen
  committed
  25644d8
- merge: integrate reviewed typed coroutine proofs
  bbopen
  committed
  ba4b75c
- fix(binding): derive both forms from one compiled model
  bbopen
  committed
  65bed95
- feat(codegen): compile exact integers behind v3 capability
  bbopen
  committed
  beaf569
- feat(codegen): compile exact integers behind v3 capability
  bbopen
  committed
  a3bdc13
- fix(contracts): make recursive revisions typecheck
  bbopen
  committed
  a51301a
- test: prove generated exact bigint wrapper through bound provider
  bbopen
  committed
  d6f1bac
- fix(contracts): make recursive revisions typecheck
  bbopen
  committed
  694bc00
- merge: integrate reviewed explicit client binding prototype
  bbopen
  committed
  5e40408
- docs: record accepted binding design and production limits
  bbopen
  committed
  a8026a2
- fix(compiler): reject ambiguous union wire values
  bbopen
  committed
  6b12a3e
- docs: state bounded generated bigint proof and rollout gap
  bbopen
  committed
  ba138a4
- fix(compiler): preserve provably disjoint unions
  bbopen
  committed
  af55f56
- fix(codegen): type exact method and variadic inputs
  bbopen
  committed
  1862f3e
- 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
- docs: record 0.10 history and planned 0.11 release scope
  bbopen
  committed
  238b852
- merge: integrate reviewed exact integer contract prototype
  bbopen
  committed
  11d828a
- merge: adopt accepted exact integer v3 source
  bbopen
  committed
  4f224da
- fix(compiler): account for permissive marker decoders
  bbopen
  committed
  88859e2
- docs: explain extractor upgrade and fresh contract generation
  bbopen
  committed
  919a674
- docs: require replacing pinned IR during migration
  bbopen
  committed
  da1d2fb
- docs: describe resolved callable compilation in architecture guide
  bbopen
  committed
  b1114e2
- merge: align exact integer proof with release integration
  bbopen
  committed
  9ed30b1
- docs: describe both analyzed exact integer callables
  bbopen
  committed
  577800b
- docs: distinguish IR shape from requested module validation
  bbopen
  committed
  f83f2fb
- fix: guard optional scientific marker fields in unions
  bbopen
  committed
  b11dae6
- merge: integrate reviewed generated bigint adapter proof
  bbopen
  committed
  c791315
- style: format union marker guard
  bbopen
  committed
  9e87968
- merge: combine exact integer and union wire guards
  bbopen
  committed
  3fe3bcf
- perf(frame): slice ASCII payloads without per-character scan
  bbopen
  committed
  5f019a5
- test(frame): cover ASCII and Unicode frame boundaries
  bbopen
  committed
  f1c0041
- docs(perf): state fixed chunk gate without stale ratio claim
  bbopen
  committed
  4e68452
- fix(dev): retain last good bridge when source changes mid-reload
  bbopen
  committed
  f3a09ef
- merge: integrate reviewed ASCII frame encoding optimization
  bbopen
  committed
  193f0a5
- fix(dev): preserve working reload when Python sources change during preparation
  bbopen
  committed
  bcc5e47
- fix(review): synchronize compiler guides and type generator fixtures
  bbopen
  committed
  c01b43b
- test: accept exact published prerelease versions
  bbopen
  committed
  9f4ec8c
- test(consumer): integrate reviewed exact prerelease validation
  bbopen
  committed
  861c57e
- test(codegen): cover extracted positional-only overloads
  bbopen
  committed
  88a6605
- fix(runtime): isolate retired subprocess generation
  bbopen
  committed
  0af3d9f
- test(codegen): integrate reviewed positional-only overload coverage
  bbopen
  committed
  b89d346
- fix(runtime): integrate reviewed subprocess generation isolation
  bbopen
  committed
  3dd1330
- style(test): format watch regression assertion
  bbopen
  committed
  6eec0d4

Commits

Commits on Sep 20, 2026