PDELie Support Matrix#
This page is a compact map of the stable v0.x user-facing surface. It is a navigation aid, not a replacement for API_STABILITY.md.
The machine-readable version for the v0.29 recipe release is support_matrix.v0_29.json.
Core Workflows#
Workflow |
First APIs |
Defensible output |
|---|---|---|
Data readiness |
|
report-only compatibility checks for canonical scalar 1D periodic |
Candidate validation |
|
configured validation and finite-transform verification evidence |
Downstream/export provenance |
|
backend-neutral runtime summaries, provenance traceability, and split-risk diagnostics |
PDE Support Matrix#
PDE |
Generator |
Residual |
Vertical slice |
Candidate validation |
Weak support |
External-data readiness |
|---|---|---|---|---|---|---|
Heat |
yes |
yes |
yes |
yes |
frozen weak slice |
yes |
Burgers |
yes |
yes |
yes |
yes |
frozen weak slice |
yes |
KdV |
normalized short-horizon only |
yes |
yes |
yes |
no |
yes |
Fisher-KPP |
yes |
yes |
yes |
yes |
internal weak diagnostic only |
yes |
Advection-diffusion |
yes |
yes |
yes |
yes |
no |
yes |
KS |
no public runtime |
no |
no |
diagnostic/no-go |
no |
no |
Selected Runtime Helpers#
These helpers are stable public APIs under their submodules. They remain runtime supportability tools, not canonical objects or manuscript artifact schemas.
pdelie.reporting.summarize_generator_fit_diagnosticspdelie.invariants.compute_periodic_window_coveragepdelie.invariants.diagnose_uniform_translation_consistencypdelie.reporting.summarize_invariant_workflowpdelie.invariants.summarize_uniform_translation_orbitpdelie.invariants.build_uniform_translation_orbit_batchpdelie.invariants.OrbitBatchResultpdelie.symmetry.validate_symmetry_candidatepdelie.symmetry.FormulaGeneratorFamilypdelie.reporting.summarize_generator_confidencepdelie.reporting.summarize_field_batch_readinesspdelie.discovery.summarize_discovery_bridge_outputpdelie.discovery.summarize_discovery_resultpdelie.reporting.summarize_downstream_discovery_workflowpdelie.reporting.summarize_split_leakage_provenancepdelie.reporting.summarize_weak_form_supportabilitypdelie.data.from_xarray_datasetpdelie.reporting.summarize_xarray_dataset_readiness
Boundary Statement#
PDELie reports empirical Lie-symmetry diagnostics under explicit contracts. A positive report means the configured evidence passed for the supplied field, residual evaluator, generator candidate, thresholds, and validation path. It is not a mathematical proof, a broad benchmark claim, a learned symmetry model, or a guarantee that finite transforms are safe outside the documented scope.