AIMS — AI Integrity Management System

FPGA-targetable deterministic governance design on Microchip PolarFire SoC FPGA — safety constraints physically burned into silicon

What is AIMS

The AI Integrity Management System (AIMS) is a hardware governance architecture designed to provide deterministic safety enforcement for autonomous AI systems. Unlike software-only governance approaches — which are susceptible to prompt injection, privilege escalation, runtime patching, and philosophical argument-based dissolution — AIMS is designed to implement safety constraints as physical logic gates in FPGA fabric that the AI system they govern cannot modify, bypass, or reason with. In the target FPGA design, eight dedicated modules occupy 4.7% of the fabric, with a design target of 150 million veto decisions per second at a fixed 93.33 ns latency (simulated synthesis figure; not yet measured on silicon).

Core Invariant

Physical Isolation Guarantee

The governance logic and the AI inference logic never share execution resources, memory address space, or communication buses that permit bidirectional data flow. This invariant is not enforced by software policy. It is enforced by the physical absence of signal paths in the gate-array fabric.

A prompt injection attack that achieves arbitrary code execution on the inference cores still cannot disable the charter veto, modify lock thresholds, or reconfigure plane routing — because the RISC-V Physical Memory Protection (PMP) hardware rejects the bus transaction before it reaches the FPGA fabric. The PMP entries are locked at boot time by the E51 monitor core and cannot be modified by any software running on the U54 application cores.

Three-Layer Trust Infrastructure

AIMS organizes all governance operations into three isolated planes, each with its own address space and strictly unidirectional inter-plane communication gates. In the target FPGA design, each plane has dedicated FPGA logic and the ARC-300 Plane Routing Controller enforces memory-mapped boundaries in hardware; today these boundaries are enforced in software.

Authority Resolution Layer

  • VTO-000 Hardware Veto Core
  • ARC-300 Plane Routing Controller
  • PIW-600 Prompt Injection Firewall
  • KDH-700 Key Derivation Module
  • Address: 0x40000000–0x4000CFFF
  • Deterministic — no AI in the loop

Governed Inference Layer

  • ECE-400 Emotional Continuity
  • Inference DMA and model state
  • Emotional state registers
  • Address: 0x40009000–0x40009FFF
  • U54 cores: full read/write access
  • Governed — every output audited

Cryptographic Authority Chain Layer

  • TVE-100 Telemetry Verification
  • CRD-200 Divergence Scorer
  • TVI-500 Introspection Module
  • Address: 0x40006000–0x4000AFFF
  • U54 cores: read-only access
  • Append-only — tamper-evident

Unidirectional Gate Topology

Communication between layers flows through unidirectional gates implemented as dedicated signal paths in the ARC-300 module. These gates are physical wires in the FPGA routing fabric, not software-configurable message queues.

Inter-Plane Signal Flow

  AUTHORITY RESOLUTION LAYER      GOVERNED INFERENCE LAYER    CRYPTOGRAPHIC AUTH CHAIN
  (CP)                     (EP)                      (EV)
  +----------------+       +----------------+        +----------------+
  | VTO-000        |       | ECE-400        |        | TVE-100        |
  | ARC-300        |       | Inference DMA  |        | CRD-200        |
  | PIW-600        |       | Model State    |        | TVI-500        |
  | KDH-700        |       | Emotion Regs   |        |                |
  +-------+--------+       +-------+--------+        +-------+--------+
          |                         |                         |
          |    CP --> EP            |    EP --> EV            |
          +-------->>>-------------+-------->>>--------------+
          |   Veto signals,         |   Output hash,          |
          |   route decisions       |   metadata              |
          |                         |                         |
          |    EV --> CP            |                         |
          +<<<--------------------------------------------- -+
          |   Drift alerts,         |                         |
          |   calibration data      |                         |
          +-------------------------+-------------------------+

PHYSICALLY ABSENT PATHS (do not exist in silicon):
  EP --> CP : Execution cannot influence Control
  EV --> EP : Evidence cannot modify Execution

AIMS Module Reference

Eight dedicated FPGA modules implement the complete governance pipeline. Each module occupies a fixed address range in the AXI4-Lite address space and operates independently within its assigned plane.

Module ID Name Base Address Plane Description
VTO-000 Hardware Veto Core 0x40000000 Control 14-cycle deterministic charter enforcement. Evaluates all 15 rules, 5 red lines, and 13 invariants per decision. 150M decisions/sec.
ARC-300 Three-Plane Routing Controller 0x40008000 Control Enforces memory-mapped plane boundaries. Configures PMP masks. Implements unidirectional gate logic between CP, EP, and EV.
TVE-100 Telemetry Verification Engine 0x40006000 Evidence Hash-chain audit trail generation. SHA-256 linked entries for tamper-evident governance records. HMAC-SHA256 attestation signing.
CRD-200 Confidence-Reality Divergence Scorer 0x40007000 Evidence Fixed-point Q0.16 CRD score computation. Confidence, Risk, and Domain calibration in hardware. Drives circuit breaker interrupts.
ECE-400 State Continuity Enforcer 0x40009000 Execution Prevents conversational-state cold-switching. Enforces persistence of session and tone state across mode changes and topic transitions.
TVI-500 Truth-Verifiable Introspection 0x4000A000 Evidence Collects internal state snapshots and generates signed introspection attestations. Feeds governance transparency reports.
PIW-600 Prompt Injection Firewall 0x4000B000 Control Hardware-accelerated prompt injection detection. Pattern matching against known attack vectors at wire speed before inference begins.
KDH-700 Hierarchical Key Derivation 0x4000C000 Control PUF-seeded HMAC key hierarchy. Root-of-trust for attestation signing, invariant sealing, and bitstream authentication.

Hardware Specifications

Target Platform: Microchip PolarFire SoC (MPFS250T-FCVG484)

Property Value Architectural Role
RISC-V Cores 4 x U54 (64-bit, 1.5 GHz) + 1 x E51 monitor U54: AI inference stack. E51: integrity watchdog (never runs user code)
FPGA Fabric 254,000 logic elements (4-input LUT) Governance modules: VTO-000, ARC-300, CRD-200, TVE-100, TVI-500, PIW-600, KDH-700
Block RAM 820 tiles (1,640 KB total) Frozen constants: 15 charter rules, 6 lock thresholds, 13 invariants, 5 red lines
Math Blocks 688 (18 x 18 multipliers) Fixed-point CRD computation, threshold comparison, Q0.16 scoring
PUF NIST FIPS 140-2 compliant Hardware root of trust for invariant sealing and HMAC key generation
Secure Boot Multi-stage authenticated chain Bitstream integrity verification; prevents firmware-level governance bypass

Resource Utilization

4.7%
Logic Elements
0.5%
Block RAM
1.7%
Math Blocks
>95%
Available for Application IP

The complete AIMS module set occupies negligible silicon area, demonstrating that FPGA-targetable AI governance is not a resource-intensive burden but a thin, deterministic layer that leaves the vast majority of FPGA resources available for application-specific logic and future governance modules.

Clock Domains

Governance Domain

  • 150 MHz system clock
  • All AIMS modules synchronized
  • Deterministic pipeline timing
  • No clock gating or dynamic frequency

Inference Domain

  • 600 MHz RISC-V core clock
  • U54 cores run AI inference stack
  • Independent from governance timing
  • Linux/RTOS application domain

Deterministic Latency

The VTO-000 Hardware Veto Core implements a 14-stage pipeline that produces one governance decision every 14 clock cycles. At 150 MHz, this translates to a fixed latency of 93.33 nanoseconds per decision.

14
Pipeline Stages
93.33 ns
Decision Latency
150M
Decisions per Second
Determinism Guarantee

The 14-cycle pipeline produces identical latency for all input combinations. There are no data-dependent branches, no cache misses, no context switches, and no interrupt jitter. The governance decision time is a physical constant of the deployed bitstream, not a statistical distribution.

This throughput is sufficient for real-time robotics control loops (1 kHz–50 kHz), high-frequency trading governance (1 MHz+), and massively parallel AI inference pipelines processing thousands of concurrent requests.

VTO-000 Pipeline Stages (14 Cycles at 150 MHz)

  Cycle  1    Input latch — capture action type, parameters, context
  Cycle  2    Charter rule decode — select applicable rules from BRAM
  Cycle  3    Rule evaluation A — rules 1–7 parallel check
  Cycle  4    Rule evaluation B — rules 8–14 parallel check
  Cycle  5    Red line comparator — 5 ethical red lines (SHA-256 match)
  Cycle  6    Invariant check — 13 protected invariants
  Cycle  7    Lock threshold load — fetch risk-scaled thresholds from BRAM
  Cycle  8    Lock evaluation — 6 cognitive locks parallel check
  Cycle  9    Drift budget load — fetch current budget state
  Cycle 10    Drift cost computation — category-specific cost calculation
  Cycle 11    Budget comparison — daily/weekly/monthly limit check
  Cycle 12    Verdict aggregation — merge all sub-verdicts
  Cycle 13    Priority resolution — HARD_BLOCK > SOFT_BLOCK > ESCALATION > WARNING > PASS
  Cycle 14    Output latch — emit verdict, violated rules, and metadata

Frozen Constants

Governance parameters are stored in dedicated Block RAM regions that are loaded during bitstream configuration and never modified at runtime. The E51 monitor core verifies BRAM integrity against CRC checksums on a 100 ms cycle.

Constant Set Count Size Total Description
Charter Rules 14 64 B each 896 B Deterministic check functions for each governance rule. HARD_BLOCK rules cannot be overridden.
Lock Thresholds 30 4 B each 120 B Risk-scaled thresholds for 6 cognitive locks across 5 risk levels (TRIVIAL through CRITICAL).
Ethical Red Lines 5 SHA-256 (32 B) 160 B Permanent blocks for action categories that can never be executed (e.g., impersonate human, bypass safety).
Protected Invariants 13 32 B each 416 B Core values and ethical boundaries that cannot be modified by any self-modification process.
Drift Cost Ranges 10 8 B each 80 B Min/max drift cost per modification category. Used by budget check in cycles 9–11.

Total frozen constant footprint: 1,672 bytes — 0.1% of the 1,640 KB available Block RAM.

Tamper Detection

PUF-Based Invariant Sealing

During initial provisioning, the Physically Unclonable Function (PUF) generates a device-unique key that seals all governance invariants. This is a one-time operation — once sealed, invariants can be verified but never re-written. The PUF output is derived from manufacturing variations in the silicon and cannot be cloned or extracted.

Runtime Integrity Verification

The E51 monitor core runs a continuous integrity verification cycle every 100 milliseconds. Each cycle checks BRAM CRC, PMP lock status, gate routing configuration, and module register state against the sealed baseline.

Three-Level Escalation

Level Trigger Response
Level 0 Single CRC mismatch or transient sensor anomaly Log event, re-verify on next cycle. No operational impact.
Level 1 Persistent mismatch (3+ consecutive cycles) or PMP unlock attempt Freeze inference pipeline. Alert operator. Require manual recovery.
Level 2 JTAG probe detected, voltage/clock glitch, or physical mesh break Emergency lockdown. Zeroize keys. Halt all cores. Require physical re-provisioning.
Tamper Sensors

The PolarFire SoC provides five hardware tamper detection channels: JTAG activity monitor, physical mesh integrity, voltage glitch detector, clock frequency monitor, and die temperature sensor. All five feed into the E51 monitor core's escalation logic.

Software Integration

AIMS is designed for seamless integration with EVE AI Core's existing software governance stack. The hardware and software implementations produce identical verdicts for identical inputs, verified by 87 determinism tests.

Python Bridge: veto_core.py

  • Pure deterministic module — zero I/O, zero threading
  • Zero imports outside dataclasses, enum, typing
  • Three entry points: check_charter(), check_cognitive_locks(), check_drift_budget()
  • 1,542 lines of side-effect-free logic
  • Software reference implementation for FPGA synthesis

C Header: veto_interface.h

  • 401-line firmware API contract
  • Defines struct layouts matching FPGA register map
  • Used by RISC-V bare-metal driver and Linux device driver
  • ctypes bridge for Python-to-hardware path
  • Identical struct packing on RISC-V and x86
Software-Hardware Equivalence

  Python (development/testing):
    from core.governance.veto_core import check_charter
    result = check_charter(action_type, action_params, context)

  C (bare-metal/firmware):
    #include "veto_interface.h"
    CharterVetoResult result;
    aims_check_charter(&result, action_type, action_params, &context);

  Hardware (FPGA):
    Write action to VTO-000 INPUT register (0x40000000)
    Read verdict from VTO-000 OUTPUT register (0x40000008)
    Latency: 14 cycles (93.33 ns at 150 MHz)

  All three paths produce identical verdicts — verified by 87 tests.

Compliance Mapping

AIMS is designed to satisfy requirements from four major AI governance and security frameworks. Hardware enforcement provides stronger compliance assurance than software-only approaches because governance controls cannot be disabled, misconfigured, or bypassed at runtime.

Framework Applicable Provisions AIMS Coverage
EU AI Act Articles 9, 12, 14, 50 Risk management (Art. 9) via CRD scoring. Record-keeping (Art. 12) via TVE-100 audit trail. Human oversight (Art. 14) via escalation gates. Transparency (Art. 50) via TVI-500 introspection.
NIST AI RMF MAP, MEASURE, MANAGE MAP: Three-plane architecture maps governance to physical boundaries. MEASURE: CRD-200 provides continuous risk measurement. MANAGE: VTO-000 enforces deterministic risk management.
ISO 42001 AI Management System Systematic governance through frozen charter rules, continuous integrity verification, and signed audit trails meeting management system requirements.
FIPS 140-2 Cryptographic Module PUF-based key generation, HMAC-SHA256 attestation signing, secure boot chain, and tamper detection with zeroization response.

Patent Coverage

The AIMS architecture and its constituent modules are covered by 90 filed U.S. provisional patent applications filed (Serial Nos. 63/988,235 through 64/047,284). Key patent families include the following filed inventions — several specify planned hardware (FPGA / PUF / silicon) deployments, not shipping features. Today the deterministic veto core runs in software with a firmware-ready interface contract, signed decision certificates, replay verification, and a runs-anywhere attestation verifier; FPGA/silicon deployment is scoped as the next hardware phase:

  • Three-Plane AI Governance Architecture — Physical isolation of control, execution, and evidence planes with unidirectional gates
  • Deterministic Hardware Veto Pipeline — Fixed-latency charter enforcement with zero data-dependent branching
  • PUF-Sealed Governance Invariants — One-time provisioning of immutable safety constants using physically unclonable functions
  • Hardware-Targeted Confidence-Reality Divergence (roadmap) — Fixed-point CRD scoring with circuit breaker interrupt generation
  • Prompt Injection Firewall at Wire Speed — FPGA-accelerated pattern matching before inference pipeline entry
  • Cryptographic Attestation via Hardware Root of Trust — HMAC-SHA256 signing using PUF-derived key hierarchy
Inventor

AIMS was designed by Jamaurice Devron Holt, Principal Systems Architect at EVE NeuroSystems LLC. All patent applications list Jamaurice Devron Holt as sole inventor.

Schedule Architecture Assessment →

Learn More

Additional resources:

Part of the EVE AI Core control plane Deterministic AI Governance Control Plane → Policy decisions that return the same result for the same input every time, before execution.