test/transcripts/f2a/gate-green.txt

1F2a GATE TRANSCRIPT -- green (post Fable fix round)

2Produced: 2026-08-11T18:04:21Z

3folio branch : feat/passive-inspector

4sigil-doc : 6d090f36e07236c8ee09044f60cdb19f932c4afd v0.1.2

5sigil-doc clean: yes

6compiler : sigil 0.18.3 (sigil-lang 0.18.3-dev+0ed19fd1)

7config : dev (optimize 0) ONLY -- the LICM Phase B miscompile fires at optimize >= 1.

8NOTE : evidence against a RELEASED sigil-doc tag (v0.1.2). The reader-pathology arm

9 is on its PRE-0.18.5 branch here; the 0.18.5+ branch is exercised separately

10 in arm5-toolchain-0.18.5.txt.

11======================================================================

13=== F2a gate ===============================================

repo            : /home/daviwil/Projects/Code/sigil/task-f2a-passive-inspector @ 9e36cf4841eadb1ee0d435d0f8623fb70b8908b6

15compiler : sigil 0.18.3 (sigil-lang 0.18.3-dev+0ed19fd1)

16sigil-doc : 6d090f36e07236c8ee09044f60cdb19f932c4afd v0.1.2 (via dev-redirects)

17sigil-doc dirty : 0 files

18python3 : Python 3.11.14 (via guix shell python)

compiler path   : /home/daviwil/Projects/Code/sigil/task-f2a-passive-inspector/../task-sigil-language-readers/build/dev/bin/sigil

20redirects : /home/daviwil/Projects/Code/sigil/task-f2a-passive-inspector/dev-redirects.sgl

21sigil-doc dir : /home/daviwil/Projects/Code/sigil/task-f2a-passive-inspector/../sigil-doc

22stdlib root : /home/daviwil/Projects/Code/sigil/task-f2a-passive-inspector/../sigil/packages/sigil-stdlib/src

23XDG_CACHE_HOME : /tmp/f2a-cache

24============================================================

25--- arm 1: build

26arm 1 OK: bundle built, 131 modules

27--- arm 2: inspector suite

28arm 2 OK: 37/37 tests passed, denominator derived from test/test-folio-doc-inspect.sgl

29--- arm 3: byte-exact spans

30F2A_SPAN_VERIFY nodes=49 fields=46 divergent=46 divfields=43 checks=1493 rows=95 failed=0

31arm 3 OK: 1493 byte-level checks over 49 nodes and 46 fields; 46 divergent; verifier proven able to fail

32--- arm 4: no-execution witness

arm 4 OK: 2 detection channels proven able to fire in this run, across all 5 grammar-derived positions; inspection tripped neither; argument-position extraction exercised and read as data

34--- arm 5: diagnostics

35 (BOM fixture: 3 divergent node span(s) -- byte != scalar at the very first node)

test/gate-f2a.sh: line 425: 10114 Aborted                 F2A_MANIFEST_SOURCE="$oom_fixture" F2A_MANIFEST_REVISION="sha256:$(sha256sum "$oom_fixture" | cut -d' ' -f1)" timeout 90 "$sigil" -L build/dev/lib -L src -L test test/f2a-span-manifest.sgl > "$oom_log" 2>&1

arm 5 reader-pathology: compiler 0.18.3 PREDATES the 0.18.5 fix; the documented OOM is REQUIRED and was observed, contained by the ulimit. THIS IS THE PATHOLOGY, NOT A PASS: it flips to the strict assertion automatically at 0.18.5.

38arm 5 OK: located diagnostics for parse-error and no-language-header; BOM/shebang/corpus clean and byte-verified

39--- arm 6: duplicate ids

40arm 6 OK: both nodes present, 2 located diagnostics at 2 distinct positions, spans byte-verified

41--- arm 7: vocabulary derivation

arm 7 OK: 11 records, both sides derived, set equality including id-declaration; comparison proven to see 3 kinds of drift

43--- arm 8: passivity (direct allowlist + transitive closure)

arm 8 OK: direct imports inside the allowlist; transitive closure is 9 modules with no I/O and no evaluation-side module; walker proven to see a violation TWO levels down, through a permitted intermediary

F2A_GATE_GREEN arms=8 tests=37 span_checks=1493 span_nodes=49 span_fields=46 divergent=46 records=11 closure=9 sigil_doc=6d090f36e07236c8ee09044f60cdb19f932c4afd