public diligence / prototype / demo

containment assurance

The two-host trust model, machine-checked controls, and residual operational risk.

version
2026.08
reviewed
2026-08-08
public digest
9d76fc7b4f999897

Containment claim

DetCordon is designed to let hostile web payloads execute inside a disposable, time-boxed sandbox while evidence flows outward to a separate store-only sink. The HTTP tap remains DetectionOnly: it observes the interaction rather than claiming to make the payload safe.

Trust boundaries

Assurance and residual risk

Automated tests check important Docker and Firecracker deployment invariants, including DetectionOnly operation, ephemeral victim writes, default-drop egress, channel separation, sink-service separation, encrypted storage, and time-boxed execution.

Those tests do not prove live kernel isolation, physical host separation, firewall state after operator changes, or future evidence availability after a sink compromise. Every pilot therefore includes live-host preflight, separate-host confirmation, evidence checks, and an explicit residual-risk review. DetCordon is containment-first observation, not a formal proof that arbitrary third-party payloads are safe.