System Architecture & Control Flow
This page defines the component contract and control flow required to satisfy INV-1 and INV-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