Діастатичний індекс аксіоматичної неконсистентності
Реєстр вузлів R для фіксації розбіжності, симуляції та компенсаційної витримки в межах аксіоматично допущеної системи.
Аксіоматично допущена система S, зафіксована через ObjectLock.
m визначає, що саме вимірюється: формальна, емпірична, прогностична або нормативна розбіжність.
Множина вузлів або зв'язків R1...Rn з указаним типом вузла.
Кожен бал має пояснення; бал без підстави не визнається валідним.
⋈ ΔR. PROTOCOLLUM CALIBRATIONIS / протокол оператора
Статус. Калькулятор не вимірює «істину взагалі». Він фіксує розбіжність між заявленою функцією і фактичним режимом у заданому режимі m.
Заборона змішення. DRI(S,t,m) ≠ DRI(S,t,m′), якщо m ≠ m′. Формальний, емпіричний, прогностичний, нормативний, інтерпретаційний, символічний або клінічний профілі не зводяться в одне число. Hybrid допускається лише як контейнер профілів, а не як фінальний індекс.
- Зафіксуй
S: назву, визначення, межі, виключення, інтервалt. - Обери режим
m: Formal, Empirical, Predictive, Normative або Hybrid. Якщо обрано Hybrid, обовʼязково заповни ProfileSplit Plan. - Для кожного
Riвкажи тип: axiom, assumption, definition, theorem, model, application, empirical claim, prediction, heuristic. - Вкажи основу доказу: internal logic, empirical observation, historical record, mathematical proof, expert interpretation, mixed.
- Кожен бал
A/C/D/S/Rtnмає мати причину. Порожня причина переводить бал уExp(Tx). C ≥ 4вимагає самопідрив або системне протиріччя.D ≥ 4у Formal mode не може спиратися лише на емпіричну поведінку.- ContradictionGate 3.3.
C ≥ 4допускається лише при самопротиріччі, конфлікті теореми з аксіомою або самозапереченні заявленої функції. Неефективність, неунікальність чи небажаність не є протиріччям. - ClaimFunctionLock. Критика вузла має збігатися з його заявленою функцією. Якщо вузол критикується за те, чого він не обіцяв, високі
C/Dне визнаються валідними. - Жорстка валідація 3.4. Якщо заявлено
FormalабоNormative, але підстави балів є емпіричними, вузол отримуєModeContaminatedDRI. - Заборона єдиного індексу. Якщо виявлено режимне забруднення, загальний
DVA_INDEXмає статусRAW / INVALIDдо розведення профілів. - ProfileSplit Enforcement 3.4. Hybrid не формує
ValidDVA_INDEX. Для Hybrid потрібно явно перелічити окремі профілі: наприкладFormal,Empirical,Predictive,Normative. Без такого плану ObjectLock неповний.