Expected FI Outputs

This page documents curated pass-output snippets used during FI review. Authoritative raw logs are generated by the FI harness and traceability report.

Format

Each scenario entry shows:

  • The probe command

  • Expected stdout (pass condition)

  • Expected exit code

FI-C4-01 (retry exhaustion)

OK exhaust: state=EXHAUSTED count=3

Exit: 0

FI-C4-02 (count preserved after exhausted)

OK noincrmt: count=3 (unchanged)

FI-C4-03 (no reactivation beyond window)

OK persist: still EXHAUSTED after 2×window

Quota Flood (FI-C3-03) Summary Pattern

Curated demo output shows quota drop warnings plus passing test result:

... edge.quota.exceeded ... drops_total=1
... (omitted repeated warnings) ...
... edge.quota.exceeded ... drops_total=100
--- PASS: TestFI_C3_03_AuthorizedPeerFlood
PASS

Evidence

  • edge/ci/tests/FI-C4-01_retry_exhaustion.sh

  • edge/ci/tests/run_all.sh

  • edge/ci/tests/gen_traceability_report.sh

  • edge/ci/tests/print_proof_summary.py

  • docs/_generated/test-outputs/demo-output.txt (quota flood summary lines)

  • /tmp/edge-fi-report/results.jsonl (when make fi executed)

  • /tmp/edge-fi-report/traceability.md (when make fi executed)

See Also