Repository navigation

Kind reflection (#11819) and a computing SHA-256 under the identity layer - #11996

Merged

briansrls merged 24 commits into

mainfrom

session/nimble-hawk-154

Sep 22, 2026

Merged

Kind reflection (#11819) and a computing SHA-256 under the identity layer#11996
briansrls merged 24 commits into
mainfrom
session/nimble-hawk-154

Commits on Sep 20, 2026
- WIP: kind-annotated type parameters, and refuse a type parameter in value position
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  81ed09d
- Ask the declared type-parameter roster, not the inferred type; carry it on InferScope
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  abcf71c
- Resolve both sides of the kind check; the alias declaration does not carry its target here
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8dd8b7d
- Make the kind a two-arm coproduct so its roster is readable; restore the children arm
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4f44a27
- Carry the children arm into the seed, and file two language-layer classes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  93b636f
Commits on Sep 21, 2026
- Two plan docs said no SHA-256 computation exists in .dag; extdeps.crypto.sha2 makes that false
  
  Brian Searls
  and
  claude
  committed
  97cd138
- Merge remote-tracking branch 'origin/session/gentle-seal-490' into session/nimble-hawk-154
  Brian Searls
  committed
  5eea716
- std.content_hash gains a COMPUTING cryptographic mint over extdeps.crypto.sha2
  
  Brian Searls
  and
  claude
  committed
  cc575c0
- fabric object refs move onto the cryptographic mint, and the refusal travels
  
  Brian Searls
  and
  claude
  committed
  3dde230
- fabric_storage_witness threads the Optional, and gains the claim that would catch a family change
  
  Brian Searls
  and
  claude
  committed
  8a0f5ec
- File the mint/parser stranding class, and drop the scm-design hunk to quiet-wolf-114
  
  Brian Searls
  and
  claude
  committed
  b4a00b8
- The two remaining fabric witnesses thread the Optional mint, once per fixture
  
  Brian Searls
  and
  claude
  committed
  957928b
- B3: v2.std.node Hash cannot retype today, and the row guarding that was about to retire on a satisfied trigger
  
  Brian Searls
  and
  claude
  committed
  189cab5
- The kind wall gets its discriminating pair, enrolled and CI-runnable
  
  Brian Searls
  and
  claude
  committed
  e20e8c5
- The census found a second row carrying the same artifact-shaped trigger
  
  Brian Searls
  and
  claude
  committed
  1d74c3c
- Piece A delivers ONE working wall, not three: the third is inert in the seed and is retracted
  
  Brian Searls
  and
  claude
  committed
  5a0204f
- Merge remote-tracking branch 'origin/main' into session/nimble-hawk-154
  Brian Searls
  committed
  ddfb367
- The fabric-storage Known-limits bullet described the code I had not written yet
  
  Brian Searls
  and
  claude
  committed
  1cbc682
- Declare the kind-reflection seed growth, and wire it into the roster that counts it
  
  Brian Searls
  and
  claude
  committed
  17a4cca
Commits on Sep 22, 2026
- Address the external review: the peer-parameter digest, the empty store, and positives that could pass on a different failure
  
  Brian Searls
  and
  claude
  committed
  9e1f47b
- Merge remote-tracking branch 'origin/main' into session/nimble-hawk-154
  Brian Searls
  committed
  6882717
- B2 withdrawn on measurement: the structural family stays, the computing mint becomes a declared frontier, and the stall is filed as a row
  
  Brian Searls
  and
  claude
  committed
  2ac15a9
- B1 withdrawn on a second measurement, and three citation defects the floor found
  
  Brian Searls
  and
  claude
  committed
  19ba088
- Two prose honesty defects review 69986 found, both in text this branch authored
  
  Brian Searls
  and
  claude
  committed
  1570252

Commits

Commits on Sep 20, 2026

Commits on Sep 21, 2026

Commits on Sep 22, 2026