Repository navigation

Integrate callable coroutine types with runtime fixtures - #357

Closed

bbopen wants to merge 63 commits into

codex/tywrap-coroutines-final-integration-20260920from

codex/tywrap-coroutine-capability-followup-20260920

Closed

Integrate callable coroutine types with runtime fixtures#357
bbopen wants to merge 63 commits into
codex/tywrap-coroutines-final-integration-20260920from
codex/tywrap-coroutine-capability-followup-20260920

Commits on Sep 20, 2026
- docs(codec): freeze internal value contract prototype
  bbopen
  committed
  eabfe66
- 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
  56cfa61
- feat(codegen): route callable contracts through generation
  bbopen
  committed
  f300b71
- fix callable compiler integration regressions
  bbopen
  committed
  40370ee
- refresh menagerie callable contract snapshots
  bbopen
  committed
  c5c02e8
- 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(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
- Merge commit 'a642527' into codex/tywrap-callable-compiler-20260919
  bbopen
  committed
  27cf162
- test: prove scalar float16 through generated HTTP wrapper
  bbopen
  committed
  552b530
- test(architecture): add overloaded nested-record fixtures
  bbopen
  committed
  1fa6a87
- 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
- Merge value interface Torch float16 guard
  bbopen
  committed
  0c3a1ce
- 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
- 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
- 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
- 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
- Integrate coroutine capability and safe object fallback
  bbopen
  committed
  37ee8db
- merge: combine callable compiler with coroutine runtime fixtures
  bbopen
  committed
  db77710
- 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
- merge: take accepted callable compiler baseline
  bbopen
  committed
  3763324
- merge: take accepted conformance evidence
  bbopen
  committed
  54cef7c

Commits

Commits on Sep 20, 2026