Commit8ecf6225Recorded25 Aug 2026Repositoryfolio

test: refresh the F3a transcripts at the post-review-fix state

Message

gate-green at 5a53dbd (22 probe arms), sabotage 10/10 with restored gate green, the re-run merge inventory (identical shape: three inherited environment refusals, one pre-existing coverage red, all classified), and the adversarial review record naming the reviewer as the MEDIUM's finder.

Changed
 test/transcripts/f3a/gate-green.txt      |  9 ++++-----
 test/transcripts/f3a/merge-inventory.txt | 30 +++++++++++-------------------
 test/transcripts/f3a/review-verdict.txt  |  5 +++++
 test/transcripts/f3a/sabotage-red.txt    |  3 ++-
 4 files changed, 22 insertions(+), 25 deletions(-)
Diff
test/transcripts/f3a/gate-green.txtmodified
@@ -1,7 +1,6 @@
−1
# F3a gate transcript -- provenance
−2
# folio: 0b99fa0 (feat/f3a-coordinator; merge-tree vs master b2767df = HEAD^{tree} = e27bdaf8)
−3
# sigil: 0.19.2 (163dd929) installed; sigil-doc: f63e98a via dev-redirects
−4
# date: 2026-08-25
+1
# F3a gate transcript (post-review-fix) -- provenance
+2
# folio: 5a53dbd (feat/f3a-coordinator; master b2767df is ancestor; merge-tree == HEAD^{tree} = 47a2ec8f)
+3
# sigil: 0.19.2 (163dd929) installed; sigil-doc: f63e98a via dev-redirects; date: 2026-08-25
4
5
GATE-F3A: building (dev config)...
6
GATE-F3A arm 1: OK
@@ -11,5 +10,5 @@ GATE-F3A arm 4: OK
10
GATE-F3A arm 5: OK
11
GATE-F3A arm 6: OK
12
---
−14
F3A_GATE_GREEN arms_run=[1 2 3 4 5 6] probe_arms=21 sab_arms=8 contention_rounds=5 sha=0b99fa0
+13
F3A_GATE_GREEN arms_run=[1 2 3 4 5 6] probe_arms=22 sab_arms=8 contention_rounds=5 sha=5a53dbd
14
GATE_RC=0
test/transcripts/f3a/merge-inventory.txtmodified
@@ -1,34 +1,26 @@
−1
# F3a four-leg bar, leg 3: full gate inventory on the merged tree -- provenance: branch tip 0b99fa0, master b2767df, merge-tree == HEAD tree (e27bdaf8), 2026-08-25
−2
# Verdicts: f3a GREEN / f2b GREEN / f4a GREEN / m0 GREEN
−3
# f1a f1b SETUP-REFUSED (dirty ../sigil-doc: 1 uncommitted line in book/practical-sigil/01-useful-first-script.sgd; SAME refusal reproduced from the master checkout at b2767df -- environmental, predates this branch)
−4
# f2a SETUP-REFUSED (pinned dev compiler ../task-sigil-language-readers/build/dev/bin/sigil absent; with SIGIL_F2A_COMPILER override it advances to the same dirty-sigil-doc refusal)
−5
# sabotage-coverage RED PRE-EXISTING (red on pristine b2767df archive, same five F2b modules; this branch's three modules read covered)
+1
# F3a four-leg bar, leg 3 RE-RUN at 5a53dbd -- merge-tree == HEAD tree (47a2ec8f), master b2767df
+2
# Verdicts identical in shape to the 0b99fa0 inventory: f3a/f2b/f4a/m0 GREEN;
+3
# f1a/f1b/f2a SETUP-REFUSED (inherited environment: dirty ../sigil-doc WIP line, leader-verified as David's; absent pinned dev compiler, leader filing ticket);
+4
# sabotage-coverage RED PRE-EXISTING (same five F2b modules as pristine master; this branch's three modules covered).
5
−7
=== gate-f1a START 17:27:38 ===
+6
=== gate-f1a ===
7
gate-f1a RC=1
−9
M book/practical-sigil/01-useful-first-script.sgd
8
F1A GATE RED: sigil-doc has 1 uncommitted file(s); evidence produced against it is not reproducible
−11
=== gate-f1b START 17:27:38 ===
+9
=== gate-f1b ===
10
gate-f1b RC=1
−13
M book/practical-sigil/01-useful-first-script.sgd
11
F1B GATE RED: sigil-doc has 1 uncommitted file(s); evidence produced against it is not reproducible
−15
=== gate-f2a START 17:27:38 ===
+12
=== gate-f2a ===
13
gate-f2a RC=1
14
F2A GATE RED: compiler not found at /home/daviwil/Projects/Code/sigil/task-f3a-coordinator-folio/../task-sigil-language-readers/build/dev/bin/sigil
−18
=== gate-f2b START 17:27:39 ===
+15
=== gate-f2b ===
16
gate-f2b RC=0
−20
==========================================================================
17
GATE-F2B GREEN (sigil 0.19.2, sigil-doc f63e98a)
−22
=== gate-f4a START 17:28:30 ===
+18
=== gate-f4a ===
19
gate-f4a RC=0
−24
==========================================================================
20
GATE-F4A GREEN
−26
=== gate-m0 START 17:30:42 ===
+21
=== gate-m0 ===
22
gate-m0 RC=0
−28
23
M0_GATE_GREEN arms=10 corpus=pressure-corpus python=guix shell python
−30
=== gate-sabotage-coverage START 17:30:55 ===
+24
=== gate-sabotage-coverage ===
25
gate-sabotage-coverage RC=1
−32
catch and prove it reddens, or add the module to exempt_modules WITH AN
26
ARGUMENT for why it cannot carry one.
−34
INVENTORY_DONE
test/transcripts/f3a/review-verdict.txtadded
@@ -0,0 +1,5 @@
+1
# F3a adversarial review record -- reviewer ran against frozen 4c4c1e6 in its own checkout (../review-f3a-4c4c1e6, preserved)
+2
# Verdict: PASS-WITH-FIXES. MEDIUM: directory-symlink containment escape (REVIEWER'S FINDING; author reproduced, fixed in 5a53dbd, armed as a-symlink-boundary).
+3
# LOW: author unvalidated at journal doors (fixed 5a53dbd). NOTE: revision byte-vs-string invisible on this toolchain (recorded in revision.sgl, no test by ruling).
+4
# Reviewer's owned product plants P1-P4: all four predicted-vs-observed matches; 9 of 11 hunt items ran-and-clean.
+5
# Full report in the task note tasks/f3a-coordinator-lock-scalar-transactions (Session Log, 2026-08-25).
test/transcripts/f3a/sabotage-red.txtmodified
@@ -1,4 +1,4 @@
−1
# F3a sabotage transcript -- provenance: folio 0b99fa0, sigil 0.19.2, sigil-doc f63e98a via dev-redirects, 2026-08-25
+1
# F3a sabotage transcript (post-review-fix) -- provenance: folio 5a53dbd, sigil 0.19.2, sigil-doc f63e98a via dev-redirects, 2026-08-25
2
3
SAB-F3A LEG S1: remove the revision comparison
4
PREDICT RED: sab-revcheck (a stale write publishes)
@@ -53,3 +53,4 @@ SAB-F3A: restoring and re-running the FULL gate as the restore proof
53
SAB-F3A: restored gate GREEN
54
---
55
F3A_SABOTAGE legs=10 red=10 setup_failed=0
+56
SAB_RC=0