Version: v0.2.0

Rust API index

Every stable name Rust exports, and its extension seams.

Package: earthsci-astdiff 0.2.0

Documentation extracted with rustdoc JSON (rustdoc 1.101.0-nightly (21b707e3f 2026-09-30)), format_version 61.

Extension-tier names are on the Rust extension page .

Stable names

RustCanonicalKindSummary
BandbandtypeOne rectangular region of a Jacobian block: the rows it covers (rows, 1-based inclusive ranges, named by ridx), the column-index expressions (cidx) and the coefficient…
BandErrorband_errorerrorAn expression has a form the band calculus cannot differentiate (for example a joined faq node, the bool_and_or semiring, or a max over two contracted indices).
BlockLublock_diagonal_plantypeThe per-cell block LU of a block-diagonal band list (factorization.jl’s BlockDiagonalPlan): block variables in Markowitz order, the 1-based ordering, and the permuted pattern…
column_linescolumn_linesfunctionThe per-line structure of a state Jacobian along index set axis, or None when a coupling leaves its line: every band couples two array states of one common shape that holds…
ColumnLinescolumn_block_plantypeThe per-line structure of a state Jacobian whose couplings all stay within one line along an index set (structure.jl column_lines).
cse_templatescse_templatesfunctionGreedy largest-first extraction; deterministic (first-encounter order, first-max tie-break) to match the reference byte-for-byte.
DerivativeRuleErrorderivative_rule_errorerrorA scalar operator has no derivative rule (spec §3).
detect_structuredetect_structurefunctionClassify the band list as "block_diagonal", "banded" or "general" (or "empty" / "other"), read off the column-index expressions without evaluating anything.
dscalardscalarfunctionThe derivative of the scalar expression e with respect to the site s (a variable or an indexed read), by the §3 rule table.
evaluation_documentevaluation_documentfunctionThe derived evaluation document and its band-state names (J_1, …).
extended_bandsextended_bandsfunctionThe extended first-order system of axis wrt (spec §4.5): every state equation’s bands with respect to the axis’s targets and the active recurrences, and each active recurrence…
forcing_namesforcing_namesfunctionThe forcing set of a system, sorted by name: the parameters whose cells are the columns of the Wrt::Forcing axis (spec §4.3).
hvp_documenthvp_documentfunctionThe second-order product document of spec §9.4 for the axis pair wrt, the second-order entries (as crate::jacobian_bands2 gives them) and stages stage pairs: its…
JacEntryjac_entrytypeOne block of the Jacobian: row variable u, column variable v, and the Band giving the rows it covers, the column-index expressions and the coefficient.
JacEntry2jac_entry2typeOne second-order band: ∂²(equation for u)/∂v ∂w.
jacobian_bandsjacobian_bandsfunctionDifferentiate a model’s right-hand side into Jacobian bands with respect to wrt (states, parameters, forcing or time).
jacobian_bands2jacobian_bands2functionSecond-order bands for the axis pair wrt = (a1, a2), a1 states or time and a2 states, parameters or forcing: every first-order entry of the a1 axis…
jacobian_blockjacobian_blockfunctionThe jacobians block for one model (spec §4): entries (template-CSE’d when cse is set, hoisting subtrees of at least cse_min_nodes nodes) and — on the state and time axes —…
jacobian_columnsjacobian_columnsfunctionThe column space of a parameters or forcing block: each column variable with its integer shape (empty for a scalar), sorted by name — the columns field of the emitted block…
jvp_documentjvp_documentfunctionThe J v product document of spec §9.2 for the first-order entries on axis wrt (as crate::jacobian_bands_view gives them): a derived ESM document (model "JvpEval") whose…
lu_filllu_fillfunctionSymbolic (no-pivoting) LU: the pattern plus every fill-in entry.
markowitz_orderingmarkowitz_orderingfunctionA Markowitz pivot ordering of a block pattern (1-based), minimizing fill-in greedily.
parse_jacobian_blocksparse_jacobian_blocksfunctionparse_jacobian_block / parse_jacobian_block2 over a model’s jacobians entry, which is either one block or an array of blocks with distinct wrt (spec §4); one…
plan_factorizationplan_factorizationfunctionSymbolic factorization info for the band list’s structure class: the reference’s plan_factorization(entries, sv; structure).
recurrencesrecurrencesfunctionEvery recurrence of the view, in equation order: each observed whose definition reads itself, with its frame and axis read off the definition.
ScatterPlanscatter_plantypeBand fields → storage positions for one (band list, layout).
serialize_bandserialize_bandfunctionOne entry of the jacobians block, as JSON (spec §4).
serialize_planserialize_planfunctionA factorization plan as the factorization field of a jacobians block (spec §4): the reference’s serialize_plan.
simplify_branchessimplify_branchesfunctionifelse-aware simplification, the swell control for coefficients of limiter-heavy schemes: equal branches collapse and same-condition tests are pruned.
SitesitetypeA bare variable reference or one symbolic index(v, i…) cell.
stable_jsonstable_jsonfunctionDeterministic JSON: sorted object keys at every level, floats in the reference’s layout (canonical_float), every other scalar by serde_json.
SysViewsys_viewtypeA model as the band calculus sees it: its variables, equations and index sets.
sysviewsysviewfunctionView a model of file for differentiation.
transfer_definitiontransfer_definitionfunctionThe transfer recurrence T of rec (spec §4.5): over the frame plus one output index j on the axis,
vjp_documentvjp_documentfunctionThe Jᵀ λ product document of spec §9.3 (model "VjpEval"): as jvp_document, with the cotangent inputs VjpIo::lam and the outputs VjpIo::vjp.