Repository navigation

D-CMH-1: class-qualified methods compile into Quack algebra, with no Rust per method - #1504

Merged

AdaWorldAPI merged 12 commits into

mainfrom

ccr-9f3b8075-74u47l

Oct 12, 2026

Merged

D-CMH-1: class-qualified methods compile into Quack algebra, with no Rust per method#1504
AdaWorldAPI merged 12 commits into
mainfrom
ccr-9f3b8075-74u47l

Commits on Oct 12, 2026
- glove-parity: a concept's method bound once, run through Quack and R2IL
  claude
  committed
  b61f62f
- D-CMH-1: method bodies are declarative data
  claude
  committed
  0dbb6b5
- D-CMH-1: class-qualified call, binding seals, NARS revision as data
  claude
  committed
  7659f06
- board: D-CMH-1 class-method polyfill ledger
  claude
  committed
  040d64e
- D-CMH-1: lower once at preparation; cost probe (Experiment E)
  claude
  committed
  e984885
- D-CMH-1 Experiment B: a method declared after the freeze
  claude
  committed
  7fa9bca
- r2il: every fold reads a resident plane as its mask
  claude
  committed
  8d5a36f
- D-CMH-1 Experiment C: replay, cross-layer stamps, retraction
  claude
  committed
  a4a5821
- board: D-CMH-1 experiments A–E
  claude
  committed
  7335847
- Merge main into ccr-9f3b8075-74u47l
  claude
  committed
  8375a0b
- method_cost: print the compiled SIMD tier
  claude
  committed
  89fd1c6
- D-CMH-1: refuse ambiguous registrations, claims and law parameters
  claude
  committed
  4b52305