test/fixtures/f1b-witness-argument.sgd

1#lang folio/doc

2@note["topics/f1b-witness-argument" title: "The channel the refusal does not reach" tags: '("folio")]

4@p{THIS FIXTURE PINS A DISCLOSED LIMIT, and it is deliberately the only fixture

5in this phase that is expected to EXECUTE something under

6@code{#lang folio/doc}.

8It contains no @code{@@(...)} form anywhere, so the reader's author-form refusal

9has nothing to refuse and the manuscript parses. The @code{title:} argument

10below is an ordinary Sigil expression, and the parser splices argument syntax

11into the lowered call unchanged, so it is evaluated by ordinary applicative

12order before any folio command sees a value.

14It cannot be closed at this layer. The hole is structural to @code{sigil/doc}

15argument evaluation rather than specific to folio's vocabulary -- @code{@@section}

16and every other core command has it too -- so the honest move is to MEASURE it,

17pin it, and let the gate go red if it ever changes in either direction.}

19@task["t-argument" title: (begin (display "F1B-WITNESS-ARG-RAN\n") "An argument that ran") status: 'ready]{

20@p{The argument above is the fifth of F2a's five attempt kinds, and the one this

21phase's refusal does not reach.}

22}

24@end note