EDFM invariant verification report
Research-grade — validation in progress.
The EDFM path carries its own metamorphic-style invariant suite instead of a single golden number: `src/lib/reservoir/edfmInvariantReport.ts` (schema + migrations + provenance), `edfmInvariantTuning.ts`, `edfmPerfWorkloads.ts`, and `edfmCaseHeatmap.ts` run the declared invariants — mass conservation, monotonicity in transmissibility, spacing/contact-area scaling, and reduction to the dual-porosity λ limit — across a case matrix and report per-case pass / violation with the offending inputs named. Every report is schema-versioned and provenance-stamped (`solverProvenance.ts`) so an old stored report migrates instead of silently mismatching. Interactive viewer at `/edfm-invariant-report` with the case heatmap and downloadable receipt.
Invariants cover the closed-form EDFM transfer and the MINC subgrid transient; they do not yet cover EDFM faces assembled into the 3-phase black-oil pressure matrix. Next ship: extend the case matrix over the multiphase assembly path once EDFM transmissibilities contribute directly to `compositionalBlackOil3P`, and wire the report into the metamorphic relation CI gate so a violation blocks the merge.
No phase markers extracted from this row's prose yet.
- No published error band yet — use with engineering judgment.