Module effects 

The physics-effect provenance grid.

Every Element carries an EffectRow: a FIXED-SIZE array with one EffectSlot per PhysicsEffect, so a row physically cannot omit an effect — the pit of success is the type. A slot is Sourced (citation anchored in benchmarks/silicon/analog/sourced-constants.md), Derived (arithmetic shown), Modeled (a loud design parameter awaiting the characterization ladder), Ideal (a physics justification for why the effect is absent), or Unknown — and Unknown is legal, ledgered, and ceiling-bounded in analog_effect_grid_lock, because an honest gap beats an invented figure forever.

Two coherence theorems the lock enforces:

• No orphan physics, no phantom reference: every NonIdealityModel field appears in exactly one slot’s params across the whole grid.
• No budget term outside the taxonomy: effect_of totally classifies every ErrorSource as either aggregated physics effects or explicit Analysis bookkeeping (the bound’s own arithmetic — MulInteraction, EvalRounding — is not a die mechanism, and saying so is part of the honesty).

Structs

EffectRow

A total row: one slot per effect, by construction.

Enums

BudgetTermClass

What a budget term IS: physics of the die, or arithmetic of the bound itself.

EffectSlot

One provenance-classified cell of the grid. params names the NonIdealityModel fields this slot is the census home of (each field lives in exactly one slot, grid-wide); a slot mixing provenances takes the WEAKEST of its params’ statuses.

PhysicsEffect

Every physical effect the grid classifies, one slot each. Declaration order IS the row index (ALL_EFFECTS[i] as usize == i, pinned by the lock).

Constants

ALL_EFFECTS

The effect census, in declaration (= index) order.

EFFECT_COUNT

Functions

effect_of

Total classification of every ErrorSource into the taxonomy — a budget term cannot exist outside it (no wildcard; a new variant breaks this match until classified).

effect_row

THE grid — exhaustive over every element, total over every effect. Elements not yet studied return the all-Unknown row (honest, ledgered); classified rows carry the dossier’s provenance. The NonIdealityModel fields live in the linear tile’s row — the model is tile-generic today and that row is its characterization home.