test/transcripts/f3b/sabotage-red.txt

1# F3b sabotage transcript (post-review-fix, clean confirming run) -- folio c20fe5f, 2026-08-25

2# 7/7 red; T5 re-anchored after the containment/sweep fixes made (else non-unique

4SAB-F3B LEG T1: raw-vs-semantic accounting tolerated

5 PREDICT RED: b6-rename-refusals (the prose and markdown occurrences

6 are silently dropped, the renames PROCEED, and b6's

7 expected refusals never come -- closure cannot help:

8 those files are never staged)

9 PREDICT GREEN: b5 (every occurrence in ITS web is rewritable), b1, b7

10SAB-F3B LEG T1: RED AS PREDICTED

11SAB-F3B LEG T2: the semantic pass returns NO sites (total silent loss)

12 with the accounting tolerated -- referrer files are never touched at

13 all, so closure (staged-only) cannot see it either; b5's own CONTENT

14 asserts on the referrer files are what catches it

15 PREDICT RED: b5-rename (residue in ref files)

16 PREDICT GREEN: b1

17SAB-F3B LEG T2: RED AS PREDICTED

18SAB-F3B LEG T2c: the semantic pass drops every site AFTER the first per

19 file (accounting tolerated) -- ref-two stays TOUCHED with one of its

20 two sites stale, which is exactly the residue GRAPH CLOSURE exists

21 to catch

22 PREDICT RED: b5-rename WITH the closure signature

23SAB-F3B LEG T2c: RED AS PREDICTED

24SAB-F3B LEG T3: delete ignores referrers

25 PREDICT RED: b7-delete (a referenced delete publishes; the arm

26 expects the refusal)

27 PREDICT GREEN: b1, b5

28SAB-F3B LEG T3: RED AS PREDICTED

29SAB-F3B LEG T4: recovery goes silent (does nothing, reports nothing)

30 PREDICT RED: b3-recovery-completes (no completion, no report, the

31 manifest survives into the arm's asserts)

32 PREDICT GREEN: b1 (no crash state on its path)

33SAB-F3B LEG T4: RED AS PREDICTED

34SAB-F3B LEG T5: recovery TOLERATES the unprovable (the first-pass proof

35 always passes) -- gate arm 5's driver must observe recovery proceeding

36 over a corrupt temp instead of refusing to a human

37SAB-F3B LEG T5: RED AS PREDICTED

38SAB-F3B LEG TA: assertion layer -- flip the bystander hash expectation

39 PREDICT RED: b12-bystander

40SAB-F3B LEG TA: RED AS PREDICTED

41SAB-F3B: rebuilding restored tree and re-running the FULL gate

42SAB-F3B: restored gate GREEN

43---

44F3B_SABOTAGE legs=7 red=7 setup_failed=0

45CLEAN_SAB_RC=0