Repository navigation

Accept cold-path hints in checked collective kernels - #1593

Closed

tpn wants to merge 104 commits into

NVIDIA:mainfrom

tpn:codex/coop-interop-cold-path

Closed

Accept cold-path hints in checked collective kernels#1593
tpn wants to merge 104 commits into
NVIDIA:mainfrom
tpn:codex/coop-interop-cold-path

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

Commits

Commits on Oct 11, 2026

Commits on Oct 20, 2026

Commits on Oct 22, 2026

Commits on Oct 23, 2026