PyPI recent updates for cairn-clinical https://pypi.org/project/cairn-clinical/ Recent updates to the Python Package Index for cairn-clinical en 1.0.4 https://pypi.org/project/cairn-clinical/1.0.4/ FM-2 formal verification of CDR-to-FHIR mappings — Allen algebra, Z3 SMT proofs, SILD silent information loss detection. friedhelm.matten@iscad-it.de Mon, 25 May 2026 10:45:58 GMT 1.0.3 https://pypi.org/project/cairn-clinical/1.0.3/ FM-2 formal verification of CDR-to-FHIR mappings — Allen algebra, Z3 SMT proofs, SILD silent information loss detection. friedhelm.matten@iscad-it.de Mon, 25 May 2026 10:40:21 GMT 1.0.2 https://pypi.org/project/cairn-clinical/1.0.2/ FM-2 formal verification of CDR-to-FHIR mappings — Allen algebra, Z3 SMT proofs, SILD silent information loss detection. friedhelm.matten@iscad-it.de Mon, 25 May 2026 08:51:48 GMT 1.0.1 https://pypi.org/project/cairn-clinical/1.0.1/ Clinical interoperability reference architecture. Built on FM-2. friedhelm.matten@iscad-it.de Mon, 25 May 2026 08:13:17 GMT