Integration Tests

Build Tag

Go FI integration tests are build-tagged with integration and run from edge/fi.

Running

cd <repo-root>
make fi
# or focused:
cd edge && GOWORK=off go test -tags integration -v -count=1 ./fi/...

Invariants covered in current FI set

  • INV-04 (disk ceiling)

  • INV-05 (assurance downgrade behavior)

  • INV-09 (transport auth boundary)

  • INV-10 (mission decoupling)

  • INV-12 (retry exhaustion semantics)

  • INV-13 (quota enforcement)

Evidence

  • Makefile target fi

  • edge/fi/fi_*.go

  • edge/ci/tests/gen_traceability_report.sh

  • /tmp/edge-fi-report/traceability.md (generated artifact)

See Also