Struct CompilerRuleReport 

pub struct CompilerRuleReport {
    pub rule: String,
    pub kind: &'static str,
    pub cadence: &'static str,
    pub tier: &'static str,
    pub reason: Option<String>,
}

Where ONE rule of a Problem landed, and at what cadence (API_SPEC §5.8, “Every Problem reports what ran”).

Fields

rule: String

The rule — an equation or an observed — component-qualified, the same spelling observed_field resolves and a refusal names.

kind: &'static str

"observed" or "state derivative" for a rule of the compiled model. The evaluations construction performs OUTSIDE that rule set are reported too, under their own kinds: "build-time observed" and "value invention" (the build pipeline), and "initial condition" and "initial-condition scope" (a field ic and the state-free observeds it reads).

cadence: &'static str

The cadence tier the rule runs at: "const" (once per solve, at setup), "discrete" (once per refresh segment) or "continuous" (every right-hand-side call). The tier is the cost story: a decline at const costs once, the same decline at continuous costs per step.

tier: &'static str

Where the rule landed: "taped", "xla" (lowered from the tape into the compiled XLA program, under Compiler::Xla), "fallback" (the per-cell oracle beneath the tape, reachable only outside a strict compiler), or "oracle" (every rule under Compiler::Interpreter, by design). An evaluation outside the compiled rule set is "vectorized" when the whole-array overlay served it and "oracle" when it was walked per cell, which a strict compiler refuses. A "value invention" row is "relational": the producer’s member set, computed once at setup by the relational engine from build-time factors (CONFORMANCE_SPEC §5.7.6 keeps that engine off the hot path), under every compiler alike. It is neither the oracle nor a fallback, so a build that succeeds under a strict compiler still has CompilerReport::n_oracle == 0.

reason: Option<String>

For a "fallback", the DEEPEST decline reason reached while trying to lower the rule; for an "oracle" evaluation outside the compiled rule set, why it was walked per cell. None otherwise.

Trait Implementations

impl Clone for CompilerRuleReport

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompilerRuleReport

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.