ข้ามสารบัญไปยังเนื้อหา
อัปเดต 2026-09-07
Correctness & Honesty
correct-or-loud registers
DekEn's governing engineering principle — 'correct or loud': when a solve, calc, or export falls outside its validated envelope, the platform refuses, blocks, or warns with a specific reason instead of handing back a plausible-but-wrong number.
ในหมวดนี้
Steady scope-note register (A1–A52)ScopeBanner (the UI surface)Transient honesty register (T1–T25)Solver limitation register (40-case audit)Public validation dossier (VC-001..073+)Solver verification matrixByte-identity / SACRED testing disciplineDegree-1 junction demand trap (fixed)Convergence honesty guards (head-sanity + anti-hunting)Honest scenario / batch runnerSpecific solver-failure messagesData-provenance statement (FMEDA)