A deterministic C++20 batch engine for reconciling conflicting inventory records across disparate systems. Enforces strict schema validation, verifies checksums, and writes an append-only audit log with full deterministic replay — built for correctness-critical, auditable logistics environments.
Auto-formation C++17 et DO-178C, par la pratique : 17 modules vérifiés, 19 campagnes de test tracées aux exigences, outillage de traçabilité et de configuration, projet intégré FQMS DAL B. Même cas d'étude que le dépôt frère en Ada/SPARK.
Modern C++14 header-only INI parser/generator. MISRA C++ friendly, no-exception, no-RTTI.
To associate your repository with the misra-cpp topic, visit your repo's landing page and select "manage topics."