Repository navigation

feat(occupancy): grade the probe's samples against the HWM algebra (#105) - #116

Merged

hyperpolymath merged 2 commits into

mainfrom

arena/7e2e253f-metamanifold-webui

Oct 14, 2026

Merged

feat(occupancy): grade the probe's samples against the HWM algebra (#105)#116
hyperpolymath merged 2 commits into
mainfrom
arena/7e2e253f-metamanifold-webui

Commits on Oct 14, 2026
- feat(occupancy): grade the probe's samples against the HWM algebra (#105)
  
  hyperpolymath
  and
  arena-agent
  committed
  d49c2e3
- fix(occupancy): state the graded Agda in one Timeline instance; annotate CI failures
  
  hyperpolymath
  and
  arena-agent
  committed
  cf1b726