plan_backend

Julia

abstract type PlanBackend

PlanBackend

What the planner needs from EarthSciASTDiff: a term’s bands (§5.2.2), an operator’s structure (§5.4), the Gershgorin bound (§5.5.2), and the derived documents with their validation (§6, §8). DiffBackend gives them all. A test backend may return nothing for “not available”; the planner raises PlannerStageError where it needs the value.

Methods:

• term_bands(backend, ctx, term) -> Union{Vector{BandEntry}, Nothing}
• all_term_bands(backend, ctx, terms): every term’s term_bands, in term order; DiffBackend computes them from one probe document per batch
• operator_structure(backend, ctx, op) -> Union{AbstractDict, Nothing} (the plan’s structure object)
• gershgorin_bound(backend, ctx, op) -> Union{Float64, Nothing} (max_s ρ(u_s, p, t_s))
• jacobian_reads_forcing(backend, ctx, op) -> Union{Bool, Nothing} (a band coefficient references a data-fed parameter, directly or through an observed; §5.5.2)
• derived_and_validation(backend, ctx) -> Union{Tuple{AbstractDict, AbstractVector}, Nothing}

Source

Rust

Rust does not export this type.