2026-10-06T15:36:22Z https://api.figshare.com/v2/oai

oai:figshare.com:article/33966934 2026-09-23T20:31:55Z category_26461 item_type_3 month_year_09_2026

Doctrine OS V2 - 86/86 PASSED 100% - ASIL-D LOCKED V2 Jamie Phillip Roberts (25085599) Electrical circuits and systems Fail-safe robustness <p dir="ltr">Doctrine OS V2 - Master Repository & Verification Quickstart DOI: 10.6084/m9.figshare.33966934 Certification: ISO 26262 ASIL-D / IEC 61508 SIL 4 Status: 86/86 PASSED 100% | TRAPPED <0.085us | VERIFIED | LOCKED V2 Master Verification Bundle (5 Pages): Page 1-2: Frama-C Eva & WP - 0 Runtime Exceptions - PROVED 100% Page 3: ARM Cortex-M MPU - Region 1 0x20000000 ASIL-D Priv RW XN / Region 2 0x20008000 QM Unpriv RW XN - Configure_DoctrineOS_MPU_Firewall() TRAPPED <0.085us + Dockerfile FROM python:3.11-slim Page 4: test_api.sh + test_api.py - curvature 1.5 Y2 ALLOW vs 6.0 BLOCKED BLOCK VERIFIED Page 5: LOCKED & Ready File Manifest: app.py - 8-Layer router (Page 1) Dockerfile - Production manifest (Page 3) requirements.txt - Locked deps (Page 3) test_api.sh - curl harness (Page 4) test_api.py - nominal vs BLOCK (Page 4) DoctrineOS_V2_Master_Verification_Bundle.pdf - Master audit README.md - Quickstart Quickstart: docker build -t my-fastapi-app . docker run -d -p 8000:8000 --name fastapi-container my-fastapi-app ./test_api.sh http://localhost:8000/docs -> test /gate Evolution inevitable. Collapse impossibleCommercial / proprietary licenses available — contact author. Open version CC-BY 4.0 / MIT..</p> 2026-09-23T20:31:55Z Dataset Dataset 10.6084/m9.figshare.33966934.v1 https://figshare.com/articles/dataset/Doctrine_OS_V2_-_86_86_PASSED_100_-_ASIL-D_LOCKED_V2/33966934 CC BY 4.0