Repository navigation

Add binding-local views to the Axiom adapter, registry, compose and closure (S2b PR 1) - #1482

Merged

MaxGhenis merged 22 commits into

mainfrom

be/s2b-views

Nov 5, 2026

Merged

Add binding-local views to the Axiom adapter, registry, compose and closure (S2b PR 1)#1482
MaxGhenis merged 22 commits into
mainfrom
be/s2b-views

Commits on Nov 3, 2026
- Add binding-local views to the Axiom adapter
  claude
  committed
  2d8b627
- Partition binding-local view roots in the input closure
  claude
  committed
  a210845
- Parse binding-local views in the registry and check them in compose
  claude
  committed
  f5a0670
- Pin NZ-shaped and relation engine references to goldens from the base
  claude
  committed
  c04320d
- Add the changelog fragment for binding-local views
  claude
  committed
  446e031
- Test that every rules kernel requires a view's whole selector slice
  claude
  committed
  5933b6f
- Pin view code to axiom.py and the no-view outputs to the base path
  claude
  committed
  4d4a99b
- Class a view's defaulted roots as person columns in the support roster
  claude
  committed
  881d78a
- Freeze NZ's real-tree engine references at the base
  
  MaxGhenis
  and
  claude
  committed
  6872f50
- Document binding-local views in the declared-units guide
  
  MaxGhenis
  and
  claude
  committed
  ef39861
Commits on Nov 4, 2026
- Union shared-path closure roots to remove binding-order dependence
  MaxGhenis
  committed
  b31d4b6
- Cover both logical views to catch dropped input roots
  MaxGhenis
  committed
  679f21f
- Validate complete outside declarations before pinning bindings
  MaxGhenis
  committed
  9470935
- Preserve outside value types in view equality and hashing
  MaxGhenis
  committed
  959ea22
- Exercise view property edges across every graph dtype
  MaxGhenis
  committed
  ad854d2
- Type and stabilize real Child differential inputs
  MaxGhenis
  committed
  0d136ed
- Freeze CI reference bindings to isolate NZ edits
  MaxGhenis
  committed
  1cf06b5
- Clarify view evidence, serialization and selector refusals
  MaxGhenis
  committed
  0d6201a
- Merge main (875506e8) into be/s2b-views
  
  MaxGhenis
  and
  claude
  committed
  02265bb
- Accept overrides of a view selector that a program reads
  
  MaxGhenis
  and
  claude
  committed
  f1d48f7
- Correct the two docstrings that review B flagged
  
  MaxGhenis
  and
  claude
  committed
  760b0b4
- Merge main 3e7a7045 into be/s2b-views
  
  MaxGhenis
  and
  claude
  committed
  36800b1

Commits

Commits on Nov 3, 2026

Commits on Nov 4, 2026