FM-4: Signal-Loss Inspection at Data-boundaries — Eine formale Detektorklasse für klinische Cross-System-Übertragungen

Wir formalisieren Signal-Loss Inspection at Data-boundaries (SILD) als modalitätsneutrale Detektorklasse für klinische Cross-System-Übertragungen. Aufbauend auf der in FM-1 entwickelten Informationsalgebra definieren wir vier kanonische Verlustmuster — Type Narrowing, Temporal Collapse, Attribute Dropping, Reference Severing — als Endo-Operatoren auf dem dort eingeführten Informationsraum.

Die SILD-Komponente operationalisiert diese Operatoren als Detektoren an der Übertragungskante zwischen zwei klinischen Systemen. Wir zeigen, dass die Loss-Pattern-Algebra unabhängig vom konkreten Trägerformat ist (HL7 v2, FHIR R4, FHIR R5, DICOM SR), und leiten daraus eine Adapter-Architektur ab, bei der pro Trägerformat genau ein Pfad-Vokabular und ein Transport-Adapter ausgetauscht werden, während Taxonomie und Severity-Profil unverändert bleiben.

Der Hauptsatz (Vollständigkeitssatz 2.5) sichert die Erschöpfung des Verlustraums; der Minimalitätssatz 2.7 zeigt, dass die Vier-Pattern-Taxonomie nicht reduzierbar ist.

Anschluss an FM-1. Schwesterpaper zu FM-2 (CAIRN) und FM-3 (AION).

Version 2 (2026-05-26): Lizenz von CC-BY-4.0 auf AGPL-3.0-only OR Commercial (ISCaD GmbH) umgestellt. Referenzimplementierung SILD unter github.com/fmatten/SILD.

Copyright © 2026 Friedhelm Matten / ISCaD GmbH. Kommerzielle Lizenz: licensing@iscad-it.de