test/fixtures/f2a-corpus.sgd

1#lang sigil/doc

2@note["topics/f2a-corpus" title: "F2a inspection corpus" tags: '("folio" "inspector")]

4@p{Πολύγλωσσο κείμενο: καλημέρα κόσμε — 日本語も. This paragraph is FIRST on

5purpose. Every span reported below it has a UTF-8 byte offset that differs from

6its scalar offset, so a span arm that only ever looked at ASCII cannot pass by

7accident.}

9@related["topics/folio-doc-frozen-vocabulary" kind: 'depends-on]{the frozen model}

11@query["q-open-tasks" title: "Open tasks" spec: '(status ready)]{}

13@transclude["topics/sigil-doc-passive-parse-api" node: "guarantees"]{}

15@p{An author expression that must never run: @(string-append "in" "ert").}

17@sidebar["t-byte-spans" title: "An abstraction this inspector does not know"]{

18@p{A command outside the frozen folio vocabulary is OPAQUE: a span with a name,

19never an index-authoritative node. Its first positional argument deliberately

20COLLIDES with a real task id below. Because an opaque command declares no node

21id, this corpus still reports zero diagnostics -- which is the assertion. If

22opaque positionals were treated as ids, this line alone would mint a duplicate.}

23}

25@code["sigil"]{(define (folded x)

26 ;; A raw body whose folded text is NOT its content -- the authoritative

27 ;; text is the source slice named by the span.

28 (+ x 1))}

30@end note

32@project["projects/f2a" title: "Passive inspector" status: active tags: '("wave-3")]

34@milestone["m-inspect" title: "Descriptor" status: active]

36@phase["p-spans" title: "Exact spans" status: active order: 1]

38@task["t-byte-spans" status: ready priority: high tags: '("spans") due: "2026-08-20"]{

39@p{Byte spans verified against source bytes, not against the parse tree.}

40}

42@task["t-field-spans" status: active priority: medium]{

43@p{A task's @code{status} span is distinct from its body span.}

44}

46@end phase

48@phase["p-witness" title: "No-execution witness" status: ready order: 2]

50@decision["d-duplicate-ids" title: "Duplicate ids are reported, never resolved" status: accepted]{

51@p{Both occurrences stay; resolution by id is refused.}

52}

54@question["q-bounded-worker" title: "Who owns the bounded worker?" status: answered]{

55@p{F2b, on the ruling of 2026-08-11.}

56}

58@end phase

60@end milestone

62@update["u-2026-08-11" timestamp: "2026-08-11" author: "F2a" commit: "unset"]{

63@p{An update is a historical record and holds no live work items.}

64}

66@end project