Repository navigation

docs: class-method HotPlug activation across Quack and R2IL - #1501

Merged

AdaWorldAPI merged 7 commits into

mainfrom

docs/class-method-hotplug-activation-rfc

Oct 12, 2026

Merged

docs: class-method HotPlug activation across Quack and R2IL#1501
AdaWorldAPI merged 7 commits into
mainfrom
docs/class-method-hotplug-activation-rfc

Commits on Oct 12, 2026
- docs: specify class-method hotplug activation and lowering
  AdaWorldAPI
  committed
  e684079
- docs: add adversarial class-method hotplug parity suite
  AdaWorldAPI
  committed
  28bca7e
- docs: inventory existing hotplug, Quack, loco and schema seams
  AdaWorldAPI
  committed
  f220878
- docs: record D-CMH-0 class-method hotplug finding
  AdaWorldAPI
  committed
  bbc6028
- docs: regenerate board entry index for D-CMH-0
  AdaWorldAPI
  committed
  fab89e6
- docs: clarify population sizes in falsification fixture
  AdaWorldAPI
  committed
  a7a977b
- Merge main into docs/class-method-hotplug-activation-rfc
  claude
  committed
  9a435fb