ข้ามสารบัญไปยังเนื้อหา
อัปเดต 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.
ที่เกี่ยวข้อง