Failure Injection Overview

Purpose

FI validates invariant behavior under adverse conditions (disk pressure, cert failures, quota flood, retry exhaustion, mission-process kill).

Two Layers

Layer	Location	Runner
Go integration FI	edge/fi/*.go	make fi (Go phase)
Shell FI	edge/ci/tests/FI-*.sh	make fi (shell phase)

Reports

• Shell results: /tmp/edge-fi-report/results.jsonl

• Unified report: /tmp/edge-fi-report/traceability.md

• Proof summary printed at end of make fi

Evidence

• Makefile target fi

• edge/ci/tests/run_all.sh

• edge/ci/tests/gen_traceability_report.sh

• edge/ci/tests/print_proof_summary.py

See Also

• Root FI Tests

• FI Catalog → Running

• Traceability → Invariant Map