test/transcripts/f1b/gate-f1a-green-after-crossphase.txt

1=== F1a gate ===============================================

2repo : /home/daviwil/Projects/Code/sigil/task-f1b-folio-doc-reader @ 2ad86421641993ac6e70fa3f3ed40ce684a34ee5

3compiler : sigil 0.18.6 (7936d5dc)

4sigil-doc : f83d8d86c9ecfd4701f6ef2994f42ff16b590f3a (via dev-redirects, NOT a release)

5sigil-doc dirty : 0 files

6============================================================

7--- arm 1: build

8arm 1 OK: bundle built, 140 modules

9--- arm 2: model suite

10arm 2 OK: 36/36 tests passed, count derived from test/test-folio-doc-model.sgl

11--- arm 3: publication fallback

12arm 3 OK: 146 checks green, and the harness demonstrably goes red on injection

13--- arm 4: vocabulary coverage

14arm 4 OK: all 11 model records exercised; detector proven to report an absent kind

15--- arm 5: no backend/runtime vocabulary leakage

16arm 5 OK: 11 core files clean; pattern proven to fire on all 5 planted words

17--- arm 6: passivity (import allowlist)

18arm 6 OK: every import in 11 files is inside the allowlist; extractor proven to see a planted violation

19--- arm 7: phase is a non-executable ordered container

arm 7 OK: phase-record is exactly [id title status order children location]; no execution vocabulary; pattern proven to fire

21--- arm 8: the canonical datum serialises every declared field

22arm 8 OK: 47 declared fields all serialised; slicer proven to see and to miss

24F1A_GATE_GREEN arms=8 tests=36 checks=146 kinds=11 core_files=11 fields=47