Science / field: negative evidence in the limits/health contour.
What the artifact opens. a structure was found несовместимость predictive limits и predictive_health на текущем gate.
Gap closed in the general Architecture of Mathematics and sciences. it closes gap, где плохая связка должна быть сохранена, а не стерта.
Internal theorem statement. Артефакт-25 Курпишева утверждает, что a structure was foundный объект RIUD-TETRA-RUN006-018 it closes gap типа ‘it closes gap, где плохая связка должна быть сохранена, а не стерта’ в домене: негативное свидетельство в контуре limits/health.
Formal card: FORMAL-CARD-RUN009-028;
source: RIUD-TETRA-RUN006-018;
proof-object: PROOF-OBJ-RUN007-0018.
Metrics: lambda = -1.34684514,
delta_truth = 0.346845135, CGI = 0.171850283,
blockers = 10, decision =
NEGATIVE-EVIDENCE-FORMAL-CARD-LOCK.
Proof status. negative-evidence;
truth_layer_promotion = 0. The artifact is treated as an
internal KLT-RBD theorem-candidate / roadmap object, not as an
externally proved theorem.
Next action: Сохранить reject-preserved как отрицательное свидетельство; альтернативную role-map держать только в candidate layer..