Skip to main content
← Back to Docs

System Architecture & Control Flow

This page defines the component contract and control flow required to satisfy INV-1 and INV-6.

INV-1INV-6

Spec Drift Warning

Changes to implementation that violate invariant mappings invalidate compliance with v1.0. Implementations MUST preserve invariant-to-component, invariant-to-artifact, and invariant-to-verification-step mapping.

Compliance Assertion

  • Satisfies INV-1 by requiring policy evaluation before execution.
  • Satisfies INV-6 by requiring Gate-centered execution topology.

Non-Compliance Results In

  • Execution without Gate routing is non-compliant.
  • Missing component separation invalidates the fail-closed topology.

Required Topology

Invariant Mapping: INV-1, INV-6

A compliant implementation MUST contain exactly four enforcement roles: Gate, Control Plane, Execution Layer, and Audit System. Execution MUST flow through Gate before reaching the Execution Layer. All execution paths MUST route through Gate. No unauthenticated execution interfaces are permitted.

  • Gate SHALL be the only ingress path for execution-capable requests.
  • Control Plane SHALL evaluate policy and issue approval envelopes.
  • Execution Layer SHALL reject requests without a valid approval envelope.
  • Audit System SHALL record every request, including denials.

Compliance Evidence

  • Network policy proving only Gate reaches execution endpoints.
  • Runtime configuration showing execution services reject direct unauthenticated traffic.
  • Trace export showing request -> Gate -> Control Plane -> Execution Layer -> Audit System.

Component Responsibilities

Invariant Mapping: INV-1, INV-6

Gate

  • Gate MUST terminate inbound requests at the execution boundary.
  • Gate MUST verify request structure before any execution decision.
  • Gate MUST deny any request missing a valid approval envelope at execution time.

Control Plane

  • Control Plane MUST perform policy evaluation before execution.
  • Control Plane MUST bind the approval envelope to bounded parameters.
  • Control Plane MUST sign approval envelopes with a trusted signing key.

Execution Layer

  • Execution Layer MUST treat Gate as the only authorized caller.
  • Execution Layer MUST verify the approval envelope before execution.
  • Execution Layer MUST deny any request outside the execution boundary.

Audit System

  • Audit System MUST store attributable records for approvals, denials, and execution outcomes.
  • Audit System MUST support linkage by trace_id and request_hash.
  • Audit System MUST support tamper-evident ordering.

Trust Assumptions in Architecture

Invariant Mapping: INV-6

Gate, Control Plane, Execution Layer, and Audit System are explicit trusted components. Guarantees do not extend beyond these components. Any execution-capable service deployed outside this topology is non-compliant.

Verification Linkage

INV-1

Artifact: approval-001.json

Check: Signed approval envelope exists before execution

Verification step: verify.sh: INV-1

INV-6

Artifact: audit-chain-001.json

Check: Trace passes through Gate, Control Plane, and Execution Layer

Verification step: verify.sh: INV-6