Repository navigation

fix(occupancy): the at-the-cut proof main carries a stray `TH.[_]` - #117

Merged

hyperpolymath merged 7 commits into

mainfrom

arena/7e2e253f-metamanifold-webui

Oct 14, 2026

Merged

fix(occupancy): the at-the-cut proof main carries a stray `TH.[_]`#117
hyperpolymath merged 7 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
- fix(occupancy): the at-the-cut proof had a stray `TH.[_]`
  
  hyperpolymath
  and
  arena-agent
  committed
  e4c5c25
- Resolve merge conflicts in 1 file(s)
  
  coderabbitai[bot]
  and
  CodeRabbit
  committed
  a9866b9
- fix(occupancy): reclaim expired task peaks and preserve the first child sample boundary
  coderabbitai[bot]
  committed
  05e56e7
- Merge commit 'a9866b95afadb5204e2f9161550cbf2f68787073' into arena/7e2e253f-metamanifold-webui
  coderabbitai[bot]
  committed
  f823c0c
- docs(occupancy): clarify the ASV/OTU cut peak formula and KiB units
  coderabbitai[bot]
  committed
  d532756