Expand description
P11 — Regional Decoder Kernel types.
Bounded execution region definitions, residual envelopes, syndrome envelopes, and convergence reports. These types enable iterative runtime convergence with stop rules and oscillation/degradation detection.
Structs§
- Region
Contract V1 - Bounded execution region definition. Defines a subgraph that can be iterated independently and checked for convergence.
- Region
Convergence Report V1 - Iterative runtime convergence evidence. Reports whether a region’s iterative execution converged, oscillated, or degraded.
- Residual
Envelope V1 - Expected-vs-observed mismatch envelope. Captures the residual between what the kernel expected and what it observed.
- Syndrome
Envelope V1 - Violated constraint bundle. Captures which constraints were violated during execution and why.
Enums§
- Convergence
State - Convergence state after iterative execution.
- Convergence
Stop Reason - Why the iteration stopped.
Functions§
- classify_
convergence - Detect convergence from a residual history.