Resource Envelope: Disk Ceiling + Eviction Proof

What you’re proving

  • Disk ceiling checks execute as part of the demo proof path.

  • Pre-eviction behavior is exercised and passing.

  • Bounded-resource behavior is represented in FI traceability output.

Prereqs

  • Repo root: <repo-root>

  • Existing generated outputs (or rerun make docs-gen)

Steps

  1. Review demo capture section for disk ceiling checks.

rg -n 'TestCeiling_ErrCeilingExceeded_PostWriteCheck|TestCeiling_PreEviction_TriggeredAtThreshold' \
  docs/_generated/test-outputs/demo-output.txt

  1. Review FI traceability summary.

sed -n '1,160p' docs/_generated/test-outputs/fi-traceability-output.txt

Expected outputs (from real run)

--- PASS: TestCeiling_ErrCeilingExceeded_PostWriteCheck
--- PASS: TestCeiling_PreEviction_TriggeredAtThreshold

# Edge FI Traceability Report
- Overall: **PASS**
...
- `TestFI_DiskCeiling_ErrCeilingExceeded`: `pass`
- `TestFI_DiskCeiling_EvictionFailure_WriteRejectedCleanly`: `pass`

Verification

  • Demo output contains both ceiling test pass lines.

  • FI traceability includes INV-04-related disk tests in pass state.

Failure modes

  • Missing captures: rerun make docs-gen.

  • Root-only disk-full shell FI (FI-C1-01) may appear as not run in non-root mode.

Non-goals

  • This does not claim distributed/global storage coordination.

  • This does not claim unlimited retention; behavior is bounded by configured ceilings.

Evidence

  • edge/storage/localstore.go

  • edge/storage/store_test.go (TestCeiling_ErrCeilingExceeded_PostWriteCheck, TestCeiling_PreEviction_TriggeredAtThreshold)

  • edge/fi/fi_disk_test.go

  • docs/_generated/test-outputs/demo-output.txt

  • docs/_generated/test-outputs/fi-traceability-output.txt