AMAGI: Master Parameter Sheet v2.0 Verified — Amagi Framework Hardware-Enforced PTCB for Autonomous CPS

Alexey Mikhailovich Burlai · Zenodo (CERN European Organization for Nuclear Research) · 2026

License: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) — https://creativecommons.org/licenses/by-nc/4.0/legalcode. Commercial and safety-critical use of derivatives is subject to S-APL v2.0 (Strict Architectural Principle License) — full text in the attached PDF and at https://zenodo.org/records/20753406. The Zenodo `license` field shows CC BY-NC 4.0 (the SPDX ID accepted by Zenodo); S-APL v2.0 governs any commercial or safety-critical use of derivative works. ─────────────────────────────────────────────── Master parameter sheet for the AMAGI Architectural Class — the single source of truth for all quantitative and configuration parameters referenced across the AMAGI document family. SCOPEConsolidates all numerical values, timing budgets, memory maps, register definitions, clock frequencies, voltage thresholds, and diagnostic intervals referenced by Framework v2.0, NIPU v1.1, MEM v1.1, HARA v1.0, FMEDA v1.0, and Traceability Matrix v1.0. Any change to a parameter in this sheet propagates normatively to all dependent documents. PARAMETER CATEGORIES• Timing budgets (CRTM response ≤ 15 µs, EGW gate-close latency ≤ 50 ns)• Memory map (MAG in eFuse/OTP, SHMF regions, audit log partition)• Clock and reset (watchdog timeout, brownout thresholds)• Diagnostic intervals (CRC period, hash chain block size)• Cryptographic parameters (ML-KEM-1024, ML-DSA-44, SLH-DSA-128f parameters) VERSIONINGAll parameters are versioned per semver. Version 2.0 supersedes v1.0 (Zenodo record 10.5281/zenodo.20145098) and aligns with Framework v2.0, NIPU v1.1, and MEM v1.1. ALIGNMENTThis document is normatively aligned with: Framework v2.0, NIPU v1.1, MEM v1.1, HARA v1.0, FMEDA v1.0, Traceability Matrix v1.0, S-APL v2.0, and AGIAM Charter v1.2.

Read the paper · More papers on PaperTik