Статусы, авторство и доказательная дисциплина
KLT/RBD v68 публикует метод и результаты, но сохраняет различение между proved theorem, theorem-candidate, machine record и public card.
Авторство и новизна
Автор концепций и проектной математики: Курпишев Иван Борисович, Independent Researcher, Kaliningrad. В сборке фиксируются авторские конструкции KLT/RBD, PIX@PEAKS, Reper-база, transfer-curvature, multidomain signature atlas и программный RBD-route.
Статусная лестница
| Статус | Смысл |
|---|---|
| formula/source node | формула или источник внесены в RBD |
| gap/break node | обнаружен разрыв D, Dom, proof или transfer |
| theorem_candidate | устойчивая задача для доказательства |
| machine_registered | запись создана программным маршрутом |
| public_card | публичное объяснение без стирания status ledger |
Правило v68
Публичная страница не отменяет внутренний статус. HTML объясняет результат, но не превращает theorem-candidate в доказанную теорему. Скучно, зато честно.