docs/f0/evidence-summary.md

1# F0 evidence summary

3Date: 2026-08-09

5Normative commit: `699b7ea`

7## Green gate

9```sh

10python3 tools/f0_contract_gate.py

11python3 tools/f0_inventory.py /home/daviwil/Ops/folio \

12 --positive-control --no-op-copy /tmp/folio-f0-copy.eiOW5Z --rounds 2 \

13 --output docs/f0/evidence-green.json

14```

16Result: PASS. All 2,643 files were classified; 1,474 product-visible tasks were

17counted, matching the deployed `folio/status` control. The estate contains 1,448 task

18ID occurrences / 1,447 unique visible IDs, one duplicate ID (`t-7681`), 26 visible

19tasks without IDs, and three independently found unreachable IDs. The positive note,

20task, raw-ID, and link controls all fired. A disposable 2,641-file post-product-probe

21copy survived byte-exact no-op rewriting. The two census rounds took 2.09s and 2.92s.

23The contract gate froze 30 MCP tools and 35 library mutation/query/index entry doors.

25## Product-path baseline

27```sh

28python3 tools/f0_product_baseline.py \

29 --binary /home/daviwil/Projects/Code/sigil/folio/build/release/bin/folio \

30 --root /tmp/folio-f0-copy.eiOW5Z \

31 --output docs/f0/evidence-product-baseline.json

32```

34On the disposable copy: cold start plus initialize 43,510ms; common status query

353,720ms; full 2,588-note index rebuild 23,997ms; controlled inbox mutation 268ms;

36warm status query after mutation 4,033ms; peak child RSS 198,016 KiB. Every MCP control

37returned a success response and the process exited zero. No running service or canonical

38file was involved.

40## Accepted sabotage

42```sh

43python3 tools/f0_inventory.py /home/daviwil/Ops/folio \

44 --omit-prefix notes/topics --rounds 1 \

45 --output docs/f0/evidence-sabotage.json

46```

48Result: expected exit 1. It named omitted files and reported the exact classification

49denominator mismatch: only 1,541 of 2,643 files scanned. Restoring the scan produced the

50green result above.

52## Boundary observation

54A source-level product harness is frozen in `tools/f0_product_baseline.sgl`. The

55worktree's dependency rebuild did not complete within a five-minute diagnostic bound,

56and the pre-existing July development library stack-overflowed on this 2,588-note

57estate. Neither was used as positive evidence. The deployed August release binary was

58therefore used for the current product baseline, and the independent Python census was

59checked against its 1,474-task result.

61BLOCKING REVIEW PENDING. F1 has not started.