Table · dataset · 2026
Doctrine OS V2 - 86/86 PASSED 100% - ASIL-D LOCKED V2
Listed in figshare and Loughborough Research Repository — shown once because both records carry DOI 10.6084/m9.figshare.33966934.v1
Description
<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 localhost:8000/docs -> test /gate Evolution inevitable.
Collapse impossibleCommercial / proprietary licenses available — contact author. Open version CC-BY 4.0 / MIT..</p>
Links
Where it is published
- DOI doi.org/10.6084/m9.figshare.33966934.v1 ↗
DOI / persistent id · from figshare com
Catalogue records · 1
- OAI-PMH record api.figshare.com/v2/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Af… ↗
metadata API · from figshare com
Topics
- From keywords
- Astronomy & Astrophysics · Chemistry · Chemistry · Computer Science & AI · Computer Science & AI · Earth & Environmental Science · Earth & Environmental Science · Economics & Finance · Economics & Finance · Electrical circuits and systems · Electrical circuits and systems · Engineering · Engineering · Humanities · Humanities · Life Sciences · Life Sciences · Materials Science · Mathematics & Statistics · Medicine & Health · Medicine & Health · Ocean & Atmospheric Science · Psychology & Behavioral Science · Social Science · Social Science
Provenance · 2 source records, 30 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| figshare | oai:figshare.com:article/33966934 | 4 d ago | JSON v1 |
| Loughborough Research Repository | oai:figshare.com:article/33966934 | 4 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].anzsrc:field:400802 | mapping · repository lboro ac uk | vocabulary-mapper@1.0.0 | keywords['Electrical circuits and systems'] |
| concepts[field].anzsrc:field:400802 | mapping · figshare com | vocabulary-mapper@1.0.0 | keywords['Electrical circuits and systems'] |
| concepts[field].local:field:astronomy | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:chemistry | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:chemistry | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:economics-finance | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:economics-finance | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:engineering | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:engineering | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:humanities | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:humanities | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:life-sciences | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:life-sciences | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:materials-science | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:mathematics-statistics | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:medicine-health | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:medicine-health | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:ocean-atmospheric | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:psychology-behavioral | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| concepts[field].local:field:social-science | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:social-science | mapping · repository lboro ac uk | connector:repository_lboro_ac_uk@1.0.0 | |
| description | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/description |
| license | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/rights |
| publication_date | source · figshare com | connector:figshare_com@1.0.0 | |
| title | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/title |