Repository navigation

gkat-probe: a K3 guard reads a leaf plus validity, never a NULL's payload; D-GKAT-0 board closeout - #1679

Merged

AdaWorldAPI merged 7 commits into

mainfrom

ccr-d3ce1263-ied9yh

Oct 21, 2026

Merged

gkat-probe: a K3 guard reads a leaf plus validity, never a NULL's payload; D-GKAT-0 board closeout#1679
AdaWorldAPI merged 7 commits into
mainfrom
ccr-d3ce1263-ied9yh

Commits on Oct 21, 2026
- gkat-probe: encode K3 guards as Quack's T/F verdict pair
  claude
  committed
  7caf55f
- board: D-GKAT-0 shipped (#1676); K3 encoding note
  claude
  committed
  3d2e220
- gkat-probe: a K3 guard is a value bit and a presence bit
  claude
  committed
  5a0bf3f
- board: D-GKAT-0 K3 encoding is value + presence
  claude
  committed
  894e88e
- Merge remote-tracking branch 'origin/main' into ccr-d3ce1263-ied9yh
  claude
  committed
  4e062f2
- gkat-probe: a K3 leaf never reads the payload of a NULL
  claude
  committed
  169647c
- board: D-GKAT-0 K3 leaf is payload-blind under NULL
  claude
  committed
  515a399