Repository navigation

v2 infer: binary algebra operators derive through inhabitance rows (Bool ||; Int-only add arm deleted) - #13060

Merged

gunbai-bot[bot] merged 31 commits into

mainfrom

session/silent-crab-339-algebra-operator-arm

Oct 4, 2026

Commits on Oct 3, 2026
- dag language: primitive algebra inhabitance rows in the signature world, witnessed by the std values; RFM row for the two-representation fork
  
  Brian Searls
  and
  claude
  committed
  1fbbf00
- v2 infer: binary algebra operators derive through the dag language's inhabitance rows; delete the Int-only add arm
  
  Brian Searls
  and
  claude
  committed
  f35465c
- algebra_operator_derivation: one nullary producer per fixture program; claims read the decided reason
  
  Brian Searls
  and
  claude
  committed
  50c2cb4
- floor_pure_producer_share: warm rows for algebra_operator_derivation producers
  
  Brian Searls
  and
  claude
  committed
  a82c877
- Merge remote-tracking branch 'origin/main' into session/silent-crab-339-dag-inhabitance
  Brian Searls
  committed
  e5ca2c8
- algebra_structure_signature: algebra_inhabitance_declares_field reads the declared field set (structure binders, composed sub-structures; never an operation signature or the carrier); the witness r…
  
  Brian Searls
  and
  claude
  committed
  7015c4b
- Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  a8a391c
- v2 infer: read the declared field through algebra_inhabitance_declares_field (no node search); comments state the one-route derivation and why the result is the operand type
  
  Brian Searls
  and
  claude
  committed
  3e54e3c
- algebra_structure_signature: exhaustive arms in the declared-field reading (no wildcard over a closed coproduct)
  
  Brian Searls
  and
  claude
  committed
  c936e91
- Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  fd96fac
- v2 infer: exhaustive arms in the algebra-operator route (no wildcard over a closed coproduct)
  
  Brian Searls
  and
  claude
  committed
  71859fd
- algebra_structure_signature: typed field declaration (Declared / NotDeclared / InhabitanceMalformed{cause}); composition read from the declared algebra_structure_composing_fields, no carrier-hash g…
  
  Brian Searls
  and
  claude
  committed
  e09ac2d
- Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  06ad859
- v2 infer: consume the typed field declaration -- a malformed inhabitance row refuses with its own cause, not as an operand mismatch
  
  Brian Searls
  and
  claude
  committed
  6c986ea
- Merge remote-tracking branch 'origin/main' into session/silent-crab-339-dag-inhabitance
  Brian Searls
  committed
  f990f49
- algebra_structure_signature: derive the composing-field set from the constructors over an atom probe carrier (no hand list restating them)
  
  Brian Searls
  and
  claude
  committed
  7411701
- dag language inhabitance rows: name the consumer's change (gunbc#13060)
  
  Brian Searls
  and
  claude
  committed
  d740539
- Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  0edb1c9
- non_fold_residue: drop the row for the deleted infer_transform_operator_is_int_add (cut over with the arm)
  
  Brian Searls
  and
  claude
  committed
  74246ba
- algebra_structure_signature: the recursive field reader is typed and validates the structure -- a non-binder edge (even with the asked name), a composing field over a non-structure, a non-Conj stru…
  
  Brian Searls
  and
  claude
  committed
  dc2e8e9
- Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  0020653
- node_query: conj_children_optional, the one Conj discrimination as a typed value; the algebra structure reader and the composing-field derivation consume it (no local Bool predicate, no inline re-e…
  
  Brian Searls
  and
  claude
  committed
  e63695f
- Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  f7c87c2
- algebra_structure_signature: classify every member before answering -- per-member results join with precedence Malformed > Declared > NotDeclared, and a composing sub-structure is validated even wh…
  
  Brian Searls
  and
  claude
  committed
  fbc792f
- Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  cf1984f
- floor_pure_producer_share: drop the algebra_operator_derivation warm rows (freeze until #13043; identities routed to royal-deer-478)
  
  Brian Searls
  and
  claude
  committed
  1b764eb
- floor_pure_producer_share: restore the warm rows (amended freeze: land now, royal-deer-478 drops them when #13043 merges)
  
  Brian Searls
  and
  claude
  committed
  66d3a05
- Merge remote-tracking branch 'origin/main' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  3008d1e
- Merge remote-tracking branch 'origin/main' into session/silent-crab-339-algebra-operator-arm
  Brian Searls
  committed
  ad8e8d8
Commits on Oct 4, 2026
- Merge remote-tracking branch 'origin/main' into fix13060
  gunbc-ci-auto-heal
  committed
  d7d90a6
- #13060: select the inhabitance row by its embedded carrier, not the outer copy
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  47a9c0e

Navigation Menu

Repository navigation

v2 infer: binary algebra operators derive through inhabitance rows (Bool ||; Int-only add arm deleted) - #13060

v2 infer: binary algebra operators derive through inhabitance rows (Bool ||; Int-only add arm deleted)#13060
gunbai-bot[bot] merged 31 commits into
mainfrom
session/silent-crab-339-algebra-operator-arm

Commits on Oct 3, 2026

dag language: primitive algebra inhabitance rows in the signature world, witnessed by the std values; RFM row for the two-representation fork

v2 infer: binary algebra operators derive through the dag language's inhabitance rows; delete the Int-only add arm

algebra_operator_derivation: one nullary producer per fixture program; claims read the decided reason

floor_pure_producer_share: warm rows for algebra_operator_derivation producers

Merge remote-tracking branch 'origin/main' into session/silent-crab-339-dag-inhabitance

algebra_structure_signature: algebra_inhabitance_declares_field reads the declared field set (structure binders, composed sub-structures; never an operation signature or the carrier); the witness r…

Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm

v2 infer: read the declared field through algebra_inhabitance_declares_field (no node search); comments state the one-route derivation and why the result is the operand type

algebra_structure_signature: exhaustive arms in the declared-field reading (no wildcard over a closed coproduct)

Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm

v2 infer: exhaustive arms in the algebra-operator route (no wildcard over a closed coproduct)

algebra_structure_signature: typed field declaration (Declared / NotDeclared / InhabitanceMalformed{cause}); composition read from the declared algebra_structure_composing_fields, no carrier-hash g…

Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm

v2 infer: consume the typed field declaration -- a malformed inhabitance row refuses with its own cause, not as an operand mismatch

Merge remote-tracking branch 'origin/main' into session/silent-crab-339-dag-inhabitance

algebra_structure_signature: derive the composing-field set from the constructors over an atom probe carrier (no hand list restating them)

dag language inhabitance rows: name the consumer's change (gunbc#13060)

Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm

non_fold_residue: drop the row for the deleted infer_transform_operator_is_int_add (cut over with the arm)

algebra_structure_signature: the recursive field reader is typed and validates the structure -- a non-binder edge (even with the asked name), a composing field over a non-structure, a non-Conj stru…

Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm

node_query: conj_children_optional, the one Conj discrimination as a typed value; the algebra structure reader and the composing-field derivation consume it (no local Bool predicate, no inline re-e…

Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm

algebra_structure_signature: classify every member before answering -- per-member results join with precedence Malformed > Declared > NotDeclared, and a composing sub-structure is validated even wh…

Merge remote-tracking branch 'origin/session/silent-crab-339-dag-inhabitance' into session/silent-crab-339-algebra-operator-arm

floor_pure_producer_share: drop the algebra_operator_derivation warm rows (freeze until #13043; identities routed to royal-deer-478)

floor_pure_producer_share: restore the warm rows (amended freeze: land now, royal-deer-478 drops them when #13043 merges)

Merge remote-tracking branch 'origin/main' into session/silent-crab-339-algebra-operator-arm

Merge remote-tracking branch 'origin/main' into session/silent-crab-339-algebra-operator-arm

Commits on Oct 4, 2026

Merge remote-tracking branch 'origin/main' into fix13060

#13060: select the inhabitance row by its embedded carrier, not the outer copy