Skip to main content

Module energy

Module energy 

Source
Expand description

Canonical quadratic residual energy (PSP-8 System 2).

The single energy that gates acceptance, feeds the finite-decision bound, and is recorded for replay is

V(x) = sum_{e in E} w_e * ||r_e(x)||^2,   w_e > 0.

Each ResidualEvent stores the raw magnitude r_e >= 0; the SDK squares and weights it here. The component aggregates V_syn, V_str, V_log, V_boot, V_sheaf are derived rollups of this same quadratic energy:

V_comp = sum_{e in comp} w_e * ||r_e||^2,   V(x) = sum_comp V_comp.

The rollups are user-visible projections only: they carry no independent weights and are never summed through a second weighting pass.

Structs§

EnergyComponents
Derived component rollups (PSP-8 System 2). Telemetry projections only.
EnergyModel
The declared energy model for a domain scope (PSP-8 System 5 EnergyModel).
EnergyScore
The full energy evaluation of a candidate.
ResidualWeight
One residual weight entry in an EnergyModel.

Functions§

score_candidate
Compute the canonical quadratic energy for a candidate’s residual vector against a declared EnergyModel.