Each card reads straight from a frozen output in the repository. Numerical checks show the code solves its own equations. They do not show the physics is right. Measured comparisons are reported even when the model loses.
Numerically verifiedPEM balances close
36 of 36 casescharge, reaction energy, electrical and coolant balances
Maximum residuals: charge 1.4e-17 mol/s, storage 8.3e-10 J. Water, gas inventory and whole-system energy are not implemented, so no full-system conservation pass is claimed.
Source: output/verification/conservation.json
Numerically verifiedTime-step convergence
4 of 4 step caseswithin 1 mV/cell and 0.01 K at the finest step
Production Euler integrator against an independently transcribed reference (DOP853) for load, humidity, pressure and coolant steps. A numerical budget, not an experimental acceptance limit.
Source: output/verification/convergence.json
Measured gapMeasured PEM challenge: the model loses
120.6 mV vs 34.2 mVmodel RMSE vs a fixed 0.7 V guess, 12,184 samples
Mean residual +92 mV; 0 parameters updated; data previously inspected, so this is a diagnostic, not a blind test. Temperature and humidity are proxies; membrane water is assumed.
Source: output/real/challenge.json
Open questionTwo parameter aliases remain
2 aliasesfit the same low-load data within 3 mV
Different concentration-loss and limiting-current pairs reproduce the same low-load voltages. The planner was challenged to separate them; until measured, the twin reports both.
Source: output/verification/identifiability.json
Numerically verifiedSOFC conservation and solver checks
8 of 8 checkselement, energy, mesh and cross-solver
Largest energy residual 4.2e-08 J. Mesh study covers the 8/16/32-node baseline only, not domain-wide convergence.
Source: output/sofc-v1/verification.json
Open questionSOFC ohmic resistance vs published
-67% to -58%model vs reported cell resistance
Not a like-for-like comparison: the published value is an open-circuit impedance series resistance that includes electrode losses. Marked not comparable; no parameters were fitted.
Source: output/sofc-v1/public-benchmark.json
Open questionFixture inductance, quantified
0.578 µH95 % interval 0.542 to 0.614 µH, conditional
Bayesian analysis of the high-frequency SOFC impedance. No correction is installed: identical net coefficients cannot reveal how the fixture and cell split it without reference measurements.
Source: docs/SOFC_BAYES_CORRECTION_V1.md · output/sofc-bayes-correction-v1/analysis.json
Blocked / withheldHoldout validation gate
Withheld8 reasons, validated = false
The gate stays shut until the hold-out is blind, the hardware is independent, lineage is verified and sensor uncertainty is known.
Source: output/audit/holdout-gate.json
Blocked / withheldSOFC acceptance gate
Blockedcandidate frozen development not validated
Native processing and units unresolved; No independent fixture calibration; No characterized electrode dynamics or hardware covariance; No approved quantitative hardware-specific acceptance limits or unseen cell/batch custody.
Source: output/sofc-observation-v3/candidate.json