Repository navigation

Share fusion and autodiff programs and make numeric domains explicit - #141

Merged

jph00 merged 47 commits into

mainfrom

pr/share-fusion-and-autodiff-programs-and-make

Nov 7, 2026

Merged

Share fusion and autodiff programs and make numeric domains explicit#141
jph00 merged 47 commits into
mainfrom
pr/share-fusion-and-autodiff-programs-and-make

Commits on Nov 1, 2026
- target
  jph00
  committed
  73cdc25
Commits on Nov 2, 2026
- nbs/foundations.qmd
  jph00
  committed
  96ea793
- Graph rewrite checkpoint
  jph00
  committed
  f0cca85
- Graph rewrite checkpoint 2
  jph00
  committed
  9f1d721
- over-complex checkpoint
  jph00
  committed
  a3e7fdf
Commits on Nov 3, 2026
Commits on Nov 4, 2026
- Checkpoint one-graph design and test harness on Syd1
  jph00
  committed
  b40f07b
- Checkpoint demand-aware publication and selectable test coverage
  jph00
  committed
  33200df
- Checkpoint canonical coverage fixtures and input-description diagnostics
  jph00
  committed
  1776f8e
- Checkpoint row-owned math and diagnostic captures
  jph00
  committed
  5de1573
- Use the default empty math factories for system rows
  jph00
  committed
  38fb3f4
- Checkpoint operator construction and integer conversion fixes
  jph00
  committed
  97560dd
- Checkpoint count-based refill stamps and Python protocol completion
  jph00
  committed
  3822572
- Checkpoint observed host readback and restored route coverage
  jph00
  committed
  4066a3e
- Preserve optional leaf roles in the shared readback walk
  jph00
  committed
  b300d5d
- Checkpoint call admission and explicit execution boundaries
  jph00
  committed
  3a67b48
- Checkpoint stored-input proofs and shared syntax classification
  jph00
  committed
  332726e
- Use prepared canonical parameters for primitive inverses
  jph00
  committed
  75c69f9
- Checkpoint block lowering and checked execution diagnostics
  jph00
  committed
  a2a5e02
- Preserve logical folds, integer widths and scalar read coordinates
  jph00
  committed
  30af627
- Keep JIT mismatch diagnostics safe for scalar results
  jph00
  committed
  6d5a692
- Preserve structural product roots and compiled fold totals
  jph00
  committed
  84c7790
- Select original JIT test sizes for bounded checks
  jph00
  committed
  a5fba2d
- Restore structural identities and observe inverse serialization
  jph00
  committed
  e1c0982
- Own the character fold result description
  jph00
  committed
  8d3bb28
- Route selections through shared reads and preserve fill tangents
  jph00
  committed
  790e6d5
- Unify prototype evaluation, frame agreement and late name resolution
  jph00
  committed
  a92f5d9
- Preserve empty picks, observe Boolean inverses and join ordinary kinds
  jph00
  committed
  0dc69b3
- Checkpoint special restoration with temporary wspan diagnostics
  jph00
  committed
  ad3970d
- Correct the Betainc input borrow
  jph00
  committed
  591662a
- Use actual framed cells and semantic test comparisons
  jph00
  committed
  dc0dd1d
Commits on Nov 5, 2026
- Checkpoint the graph-repair tree before the eager release
  jph00
  committed
  138ecab
- Take the engine from 96ea793 for the eager release
  jph00
  committed
  d18f5a5
Commits on Nov 6, 2026
- Checkpoint: eager release on current rustymath (integration run 29)
  jph00
  committed
  08c0123
- Eager release: external review round (integration run 37)
  jph00
  committed
  4871fb8
- Checkpoint eager engine before release review
  jph00
  committed
  ea84661
- Unify eager storage and transform boundaries
  jph00
  committed
  ef2e2e4
- Avoid session access for untransformed pending values
  jph00
  committed
  8c4e3cc
Commits on Nov 7, 2026

Commits

Commits on Nov 1, 2026

Commits on Nov 2, 2026

Commits on Nov 3, 2026

Commits on Nov 4, 2026

Commits on Nov 5, 2026

Commits on Nov 6, 2026

Commits on Nov 7, 2026