Repository navigation

Support checked Block callbacks with uniform captures - #1625

Draft

tpn wants to merge 107 commits into

NVIDIA:mainfrom

tpn:codex/coop-interop-callables-stable199

Draft

Support checked Block callbacks with uniform captures#1625
tpn wants to merge 107 commits into
NVIDIA:mainfrom
tpn:codex/coop-interop-callables-stable199

Commits on Oct 11, 2026
- fix(codegen): keep the artifact objects of rlibs out of the LTO input
  
  fxeqxmulfx
  and
  claude
  committed
  4c910d3
Commits on Oct 20, 2026
- fix(cargo-oxide): resolve standalone LTO artifact paths
  tpn
  committed
  c64dc69
- feat(cargo-oxide): link external device LTO inputs
  tpn
  committed
  ea0daf4
- Align external LTO example with repository smoke checks
  tpn
  committed
  79c0800
- Carry compiled kernel facts into prepared launches
  tpn
  committed
  859f9d8
- Integrate external LTO and compiled launch facts
  tpn
  committed
  fa7f970
- Integrate standalone artifact target selection
  tpn
  committed
  a4d1484
- Discover and link typed native library operations
  tpn
  committed
  3a8b579
- Propagate library resource facts to checked launches
  tpn
  committed
  e8c766d
- Preserve convergence on native device extern declarations
  tpn
  committed
  8c4a42e
- Integrate device extern convergence preservation
  tpn
  committed
  518f713
- Load concrete generic kernels from one native artifact
  tpn
  committed
  4d7d731
- Exercise native library calls through ordinary Cargo
  tpn
  committed
  e2280ca
- Reconcile LTO cleanup after provider integration
  tpn
  committed
  25625e0
- Integrate native declaration convergence and CLI cleanup
  tpn
  committed
  daa45be
- Integrate reviewed native provider prerequisites
  tpn
  committed
  4a91388
- Use NVVM debug metadata merge behavior for native LTO
  tpn
  committed
  afeb8b8
- Integrate NVVM debug metadata compatibility
  tpn
  committed
  63d7dc2
- Check participation and uniform controls for native block calls
  tpn
  committed
  be66267
- Document native artifact selection and test ambiguous images
  tpn
  committed
  bd361a5
- Clarify native library diagnostics and provider transport
  tpn
  committed
  4492cbf
- Integrate native library diagnostics and debug compatibility
  tpn
  committed
  5b12cd9
- Integrate native library convergence and diagnostic updates
  tpn
  committed
  f1b45ba
- Specialize checked helpers for their kernel roots
  tpn
  committed
  8c529ab
- Clarify native scratch view restriction
  tpn
  committed
  a1596e3
- Support cluster queries on targets below sm90
  tpn
  committed
  61c862c
- Track native library inputs before emitting Cargo dep-info
  tpn
  committed
  6790526
- Test cluster query fallback through the MIR pipeline
  tpn
  committed
  0381476
- Integrate clarified native scratch safety documentation
  tpn
  committed
  dfd32af
- Integrate generic native loading for checked root qualification
  tpn
  committed
  3437de9
- Integrate native dependency tracking with generic loading
  tpn
  committed
  b90c4dd
- Verify cluster query axes and explain target pinning
  tpn
  committed
  333fc8d
- Document native freshness limits and render registration examples
  tpn
  committed
  dbc2266
- Integrate clarified native dependency documentation
  tpn
  committed
  ae683da
- Merge existing artifact retention fix into checked helpers
  tpn
  committed
  bde905b
- Track collective carrier origins and full-block reuse
  tpn
  committed
  a5743ff
- Correct checked helper facts and rooted device emission
  tpn
  committed
  6f581fc
- Integrate carrier epochs with checked helper corrections
  tpn
  committed
  9b9e99b
- Integrate published native input tracking
  tpn
  committed
  ccf43cc
- Integrate pre-SM90 cluster query behavior
  tpn
  committed
  656b7a2
- Retain generic kernel types without host function pointers
  tpn
  committed
  43bd22a
- Reject mutation through aggregate resource descriptors
  tpn
  committed
  c994898
- Integrate generic kernel retention for checked collectives
  tpn
  committed
  5b50992
- Document and guard the generic kernel anchor identity
  tpn
  committed
  2c04c8e
- fix(oxide): allow proved inhabited value checks
  tpn
  committed
  26b427d
- Integrate reviewed generic kernel retention
  tpn
  committed
  7cbbbd6
- feat(oxide): accept read-only native library payloads
  tpn
  committed
  be42c33
- Use the installed LLVM version for the LTO example check
  tpn
  committed
  b426922
- Refresh carrier diagnostics in launch contract tests
  tpn
  committed
  defd5a6
- Track enum tags separately from collective payload facts
  tpn
  committed
  c28e896
- Integrate checked collective CI corrections
  tpn
  committed
  3e894ef
- Restrict enum payload facts to variant projections
  tpn
  committed
  090b176
- Reject structural facts without an enum variant origin
  tpn
  committed
  344d4c6
Commits on Oct 22, 2026
- Preserve inline scopes in line-table debug info
  tpn
  committed
  ac90d9e
- Resolve generic native registration constants
  tpn
  committed
  2789fed
- Resolve generic native registration constants
  tpn
  committed
  12b7e4a
- Move checked block proofs into prepared MIR
  tpn
  committed
  ce3a475
Commits on Oct 23, 2026
- Join the corrected native provider ancestry
  tpn
  committed
  f9e922e
- Integrate native provider with current shared host crates
  tpn
  committed
  b2c6b43
- Refresh native example locks for shared host crates
  tpn
  committed
  09e53a1
- Integrate current host crates into checked block support
  tpn
  committed
  4a83599
- Avoid repeating nonreturn analysis after convergence
  tpn
  committed
  7747b54
- Plan native storage in prepared MIR
  tpn
  committed
  82b16db
- Move callback admission into the dialect MIR pipeline
  tpn
  committed
  42c9219
- Move physical Warp validation to dialect MIR
  tpn
  committed
  ea442b7
- Validate logical Warp collectives on dialect MIR
  tpn
  committed
  86a3fdf
- Add checked per-block scalar output witnesses
  tpn
  committed
  8cfbf34
- Integrate inline source attribution with MIR collective checks
  tpn
  committed
  3bb4fba
- Adapt inline-scope test to cluster query results
  tpn
  committed
  57533f2
- Plan replicated Warp scratch through prepared MIR
  tpn
  committed
  929f8b3
- Preserve external LTO support with upstream model tooling
  tpn
  committed
  ca876f9
- Carry launch facts through upstream device backends
  tpn
  committed
  b9098ac
- Integrate native library calls with upstream device backends
  tpn
  committed
  034b35f
- Record integrated external LTO prerequisite
  tpn
  committed
  6ce7714
- Record integrated launch facts prerequisite
  tpn
  committed
  39bcfa9
- Plan native payload calls on prepared MIR
  tpn
  committed
  5473534
- Merge upstream pipeline into prepared collective MIR
  tpn
  committed
  631c4c6
- Integrate the checked compiler prefix into storage planning
  tpn
  committed
  7636310
- Integrate refreshed storage planning into native callbacks
  tpn
  committed
  15c112d
- Align external LTO inputs with the stable toolchain
  tpn
  committed
  c054b61
- Adapt native registration to the stable toolchain
  tpn
  committed
  730aa1b
- Align launch facts with the stable toolchain
  tpn
  committed
  c66779a
- Carry stable external inputs into native registration
  tpn
  committed
  1cff01a
- Carry stable launch facts into native registration
  tpn
  committed
  b463754
- Keep native registration dependencies in fixture locks
  tpn
  committed
  6bde60b
- Validate prefix warp participation in prepared MIR
  tpn
  committed
  4d1ea61
- Adapt checked collectives to the stable toolchain
  tpn
  committed
  2510051
- Carry registration fixture locks into checked collectives
  tpn
  committed
  bf9093f
- Carry prepared storage planning onto the stable toolchain
  tpn
  committed
  a532b98
- Recognize cold hints in checked collective code
  tpn
  committed
  edd6fe3
- Integrate stable compiler support into callback lowering
  tpn
  committed
  182c0a0
- Integrate stable compiler support into physical warp checks
  tpn
  committed
  089dc34
- Preserve uniformity through primitive integer min and max
  tpn
  committed
  82e58e3
- Test authenticated scalar call summaries
  tpn
  committed
  7c6a903
- Integrate integer control proofs into storage planning
  tpn
  committed
  49518fb
- Merge qualified stable collective facts into callbacks
  tpn
  committed
  919da6a
- Merge qualified collective facts into physical Warp support
  tpn
  committed
  907dbe6
- Integrate stable compiler support for logical Warp collectives
  tpn
  committed
  652e03a
- Integrate stable compiler support for block outputs
  tpn
  committed
  73bced3
- Integrate line tables with the Rust 1.99 compiler stack
  tpn
  committed
  668b52c
- Integrate per-warp storage with the Rust 1.99 compiler stack
  tpn
  committed
  3ffb00f
- Integrate native payloads with the Rust 1.99 compiler stack
  tpn
  committed
  0e5400b
- Integrate prefix warp support with Rust 1.99
  tpn
  committed
  0765aca
- Integrate cold-path hint with Rust 1.99
  tpn
  committed
  96caed4
- Support checked Block payload callbacks
  tpn
  committed
  12be9f0
- Prove immutable scalar captures in checked callbacks
  tpn
  committed
  732bec8
Commits on Oct 27, 2026
- Document the native library analysis boundary
  tpn
  committed
  84b3e80

Commits

Commits on Oct 11, 2026

Commits on Oct 20, 2026

Commits on Oct 22, 2026

Commits on Oct 23, 2026

Commits on Oct 27, 2026