Module observability 

Observability projections (PSP-8 System 12).

The UX exposes SRBN evidence rather than hiding it. All dashboard and TUI views are read-only projections over the event ledger, so monitoring cannot mutate the running session. This module computes those projections — the backlog gauge Phi(W), the observed-vs-accepted trajectory, the residual heatmap, and the capability audit — from ledgered events and residual vectors. Rendering (axum/ratatui) belongs to perspt-dashboard / perspt-tui.

Structs

CapabilityAudit

Capability audit projection over the ledger.

ResidualHeatmap

A residual heatmap by energy component and class (PSP-8 System 12).

TrajectoryProjection

Observed-vs-accepted trajectory projection over the ledger.

WorkflowPotential

A backlog/remaining-work gauge entry (PSP-8 WorkflowPotential).

Functions

arriving_potential_per_step

Theorem 9’s sub-criticality load α, computed from arriving potential per step, not arrival count (PSP-9 system 17): a single arriving workflow with a large V_a/ρ_gate can exceed the bound on its own. The gauge is labeled as arriving potential wherever it is displayed; positive recurrence is reported only when every Theorem 9 hypothesis is evidenced.

backlog_gauge

Aggregate backlog gauge Phi(W) = sum_i phi_i (PSP-8 System 2 / Gate H).

phi

Per-workflow potential phi_i = 1 + V_i/rho_gate + B_i (PSP-8 System 2).

residual_heatmap

Build a residual heatmap from a residual vector.