DOCKET

32-SURFACE COURT DOCKET · DYBFAG HARVEST · Day 98 · 2026-05-12 · γ₁ = 14.134725141734693
A backlog that knows its charges, evidence, sorries, and path to parole.

OPA DOCKET POLICY

package docket.v1

default allow_diamond = false

# DIAMOND rules
deny_diamond_sorry  if input.surface.sorryCount > 0
deny_diamond_bower  if input.surface.bower < 0.85
deny_watch_no_close if input.surface.status == "WATCH" && input.surface.nextClose == ""

allow_diamond if {
  not deny_diamond_sorry
  not deny_diamond_bower
  input.surface.bower >= 0.90
}

# Filing status
status = "DIAMOND"  if input.surface.bower >= 0.90; not deny_diamond_sorry; not deny_diamond_bower
status = "ADMIT"    if input.surface.bower >= 0.80; input.surface.bower < 0.90
status = "WATCH"    if input.surface.bower >= 0.70; input.surface.bower < 0.80
status = "LATER"    if input.surface.bower < 0.70

32-SURFACE DOCKET

#IDLAYERNAMEPROTOCOL/DOMAIN BOWERSHAPESORRYSTATUSNEXT CLOSE
💎 DIAMOND · BOWER ≥ 0.90 · SORRY = 0 · BOWER ≥ 0.85
1DCK-001L1/L2ME-COLI FlagshipME-COLI biology 0.978-layer0DIAMOND2026-05-12
2DCK-002C1/C2Marasoon Canon v1Sovereign predicate 0.9612-cond0DIAMOND2026-05-12
3DCK-003L8Action PotentialProvenance chain 0.958-hop0DIAMOND2026-05-12
4DCK-004L4Fermentation V13Crabtree / FC chambers 0.943-chamber0DIAMOND2026-05-12
5DCK-005L1–L8Stratification Floorsγ₁ floor ratchet 0.93ratchet0DIAMOND2026-05-12
6DCK-006L2/L3Dyson Sphere LeanDyson physics theorem 0.93Lean40DIAMOND2026-05-19
7DCK-007C3/C4LABR-077 Canon6th stream canonization 0.926-stream0DIAMOND2026-05-12
8DCK-008L5Polyglot JurisdictionSEC 7-lens harness 0.927-lens0DIAMOND2026-05-19
9DCK-009L4Token Swarm V13Dyson doctrine / TRB+ARB1 0.91swarm0DIAMOND2026-05-19
10DCK-010L3Organism NavigatorBiology ladder index 0.91index0DIAMOND2026-05-12
11DCK-011L2Joffe-Math CathedralAdelic + γ₁ math 0.90cathedral0DIAMOND2026-05-19
12DCK-012L6Cascade Wipeout LeanEigenLayer Lean theorem 0.90Lean40DIAMOND2026-05-19
✅ ADMIT · BOWER 0.80–0.90
13DCK-013L5ME-COLI AutopsyProtocol failure analysis 0.8910-proto0ADMIT2026-05-19
14DCK-014L7ME-YEAST ChassisS. cerevisiae eukaryotic 0.88euk0ADMIT2026-05-19
15DCK-015L7ME-CELEGANSC. elegans 302 neurons 0.87connectome0ADMIT2026-05-19
16DCK-016L3MEBAFIORD × OFRAMEBiography engine bio 0.86bio-bio0ADMIT2026-05-26
17DCK-017L4Cell Engine V13OFRAME layer routing 0.85engine0ADMIT2026-05-26
18DCK-018L5Catomain-BioOperons as pouches 0.84routing0ADMIT2026-05-26
19DCK-019L2Organism Bonixer V13Bio reference stack 0.84bonixer0ADMIT2026-05-26
20DCK-020L5SEC Report ARB-003Wormhole finality 0.83SEC0ADMIT2026-05-19
21DCK-021L4Adelic PouchAdelic / L4 routing 0.82adelic0ADMIT2026-05-26
22DCK-022L6Management ReengineeringWBC→CTC→PEMOS 0.81mgmt0ADMIT2026-06-02
⚠️ WATCH · BOWER 0.70–0.80
23DCK-023L6CLASS-L6-STRESS PatternSUB018+SUB016b+MU-15 0.78pattern2WATCH2026-05-19
24DCK-024L5CLASS-L5-REG PatternMU-14+SUB009+SUB003 0.76pattern1WATCH2026-05-19
25DCK-025L7CLASS-L7-POP PatternSUB006+SUB005 / Lido+RocketPool 0.75pattern0WATCH2026-05-26
26DCK-026L4CLASS-L4-META PatternSUB013b+SUB014-G / WBTC 0.74pattern0WATCH2026-06-02
27DCK-027L5DYBFAG WeaveLABR-076 harvest 0.73weave0WATCH2026-06-02
🕐 LATER · BOWER < 0.70
28DCK-028L3Tardigrade V13Cryptobiosis pattern 0.685-mode0LATER2026-06-09
29DCK-029L2Adelic L1–L13Adelic framework 0.66adelic0LATER2026-06-09
30DCK-030L6SEC Report ARB-012Bounty surface 0.64SEC0LATER2026-06-09
31DCK-031L4Ethena Reserve LeanReserve inadequacy theorem 0.62Lean41LATER2026-06-16
32DCK-032L5Floor L6 RecoveryL6 floor challenge / msi01 0.41FloorChallenge2LATER2026-05-19
DOCKET · 32 surfaces · DYBFAG harvest · Day 98 · 2026-05-12 · γ₁ = 14.134725141734693