test/fixtures/f1b-unique.sgd

1#lang folio/doc

2@note["topics/f1b-unique" title: "Every id declared once" tags: '("folio")]

4@p{THE POSITIVE CONTROL for the uniqueness arm. It is byte-for-byte the shape of

5`f1b-duplicate.sgd` with the second id changed, so a reader that refused every

6document would fail here and an arm that only ever saw the duplicate case could

7not tell refusal from breakage.}

9@task["t-dup" title: "The first declaration" status: 'ready]{

10@p{D12 addressability presumes uniqueness. F1a validates id GRAMMAR and never id

11UNIQUENESS, at any layer, and the estate has a live duplicate.}

12}

14@section["Later" id: "later"]{

16@task["t-not-dup" title: "The second declaration, further down" status: 'active]{

17@p{Both occurrences must be named, with both positions, and neither preferred.}

18}

20}

22@end note