DekEn

อัปเดต 2026-09-07

Solver limitation register (40-case audit)

35 silent-wrong → 0

An adversarial audit built 40 commercial-plant test cases against every steady solver mode, found 35 silently returning a plausible-but-wrong number (6 of them critical), and used that register as the drumbeat for a multi-session coverage-extension epic that closed every one — the register now stands at 40/40 correct-or-loud.

เมื่อไรจึงใช้
  • You want the historical evidence for why the honesty register exists — this audit is what proved the platform needed one.
  • You're deciding whether a new physics area needs its own honesty detector — check whether a similar commercial case is already in this register before assuming it's covered.
  • You're explaining to a stakeholder why correct-or-loud matters — this document is the concrete before/after.
คำนวณอย่างไร

Method: build real commercial-plant scenarios (not synthetic edge cases) across every solver mode, run them, and classify each result as correct, silently-wrong, or already-loud — a fundamentally different check than unit-test coverage because it hunts for confidently-wrong answers, not code paths that error.

ข้อควรระวัง
noteClosing a register entry sometimes meant building real physics (an exact wall-shear model for a rheology gap) and sometimes meant adding a detector that admits a limitation rather than fixing it (a wide-boiling warn) — 'closed' means correct-or-loud, not necessarily 'now numerically perfect'.
noteThe register is a point-in-time audit artifact, not a live-computed dashboard like the validation dossier — re-running it after a solver change is a deliberate, separate audit step, not automatic.
ที่เกี่ยวข้อง