Repository navigation

K1: plane modes are families with typed absence; payload metadata is a family method - #1210

Merged

trissim merged 18 commits into

mainfrom

refactor/K1-plane-modes

Oct 12, 2026

Merged

K1: plane modes are families with typed absence; payload metadata is a family method#1210
trissim merged 18 commits into
mainfrom
refactor/K1-plane-modes

Commits on Oct 11, 2026
- WIP: K1 receipt: re-measured at d597aa224; remaining work blocked on E1 and K8 files
  
  trissim
  and
  claude
  committed
  37ad2d2
- Merge origin/main into K1 (E1 landed)
  
  trissim
  and
  claude
  committed
  e9c8ae0
- WIP: K1: image metadata and array data are runtime-value family methods
  
  trissim
  and
  claude
  committed
  3b656ba
- WIP: K1: RuntimePlaneAxis is a family; composition mode merged into it
  
  trissim
  and
  claude
  committed
  e9d89f7
- WIP: K1: NoPlaneAxis replaces None plane axes; axis questions are family predicates
  
  trissim
  and
  claude
  committed
  296b9cc
- WIP: K1: ObjectLabelDomainScope is a family that owns its plane-domain behaviour; E1 table rows removed
  
  trissim
  and
  claude
  committed
  6c5a84f
- WIP: K1: whole-axis and selected-plane projections are classes; plane_index None modes gone
  
  trissim
  and
  claude
  committed
  089456b
- WIP: K1: per-slice source provenance is a runtime-value method; G3 projection gate passes
  
  trissim
  and
  claude
  committed
  8bdce93
- WIP: K1: absent scalar source metadata stays absent; volume-projection and derived-role tests pass
  
  trissim
  and
  claude
  committed
  782476d
- WIP: K1 guards
  
  trissim
  and
  claude
  committed
  b71531b
- WIP: K1: positive family predicates and require methods; no negated flag reads
  
  trissim
  and
  claude
  committed
  d52c7c1
- WIP: K1: scope validates declared ids by value; label set answers its own alias question
  
  trissim
  and
  claude
  committed
  adc79e4
- WIP: K1: label set answers its alias question; positive-flag guard
  
  trissim
  and
  claude
  committed
  42a3d53
Commits on Oct 12, 2026
- Merge origin/main into K1 (N1b landed)
  
  trissim
  and
  claude
  committed
  1f57f18
- K1: receipt: plane-mode families, typed absence, payload methods
  
  trissim
  and
  claude
  committed
  d1fda82
- Merge origin/main into K1 (K8 landed)
  trissim
  committed
  25d28d4
- Merge origin/main into K1 (K7, B6b landed)
  
  trissim
  and
  claude
  committed
  c8cbd1b
- Merge origin/main into K1 (U4, B6d landed)
  
  trissim
  and
  claude
  committed
  2736e6d

Commits

Commits on Oct 11, 2026

Commits on Oct 12, 2026