test/transcripts/f1a/gate-green.txt

1# F1a gate, green on the REBASED tree. Eight arms.

2# Command: XDG_CACHE_HOME=$(mktemp -d) bash test/gate-f1a.sh

3#

4# PROVENANCE -- BOTH worlds, because this phase moved through several of each.

5# folio base (master) : e5b7a9ab49e0a710be0c256ab66c936412b74723

6# branch tip : 03cf95643c7caa97349aea20e25ff227a3b68bae

7# sigil-doc : faaa9a358578775a2d17c2da68193102a8cd361f (via dev-redirects, NOT a release)

# folio master moved once under this phase (17d29bb -> e5b7a9ab49e0a710be0c256ab66c936412b74723, v0.2.11 + CLI contract);

# sigil-doc moved three times (36a4fbb -> 7066ffc -> faaa9a358578775a2d17c2da68193102a8cd361f). Verdicts held across all of

10# them, but a transcript is only true of the pair named above -- take both SHAs from

11# HERE, not from any prose that cites them.

12#

13=== F1a gate ===============================================

14repo : /home/daviwil/Projects/Code/sigil/task-f1a-folio-doc-model @ 03cf95643c7caa97349aea20e25ff227a3b68bae

15compiler : [33msigil[39m 0.18.3 (sigil-lang 0.18.3-dev+0ed19fd1)

16sigil-doc : faaa9a358578775a2d17c2da68193102a8cd361f (via dev-redirects, NOT a release)

17sigil-doc dirty : 0 files

18============================================================

19--- arm 1: build

20arm 1 OK: bundle built, 130 modules

21--- arm 2: model suite

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

23--- arm 3: publication fallback

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

25--- arm 4: vocabulary coverage

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

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

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

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

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

31--- 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

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

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

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