test/fixtures/f1b-laundering-phase.sgd

1#lang folio/doc

2@note["topics/f1b-laundering-phase" title: "Laundering a phase" tags: '("folio")]

4@p{The same geometry with the OTHER structural container, because a refusal

5proven for one kind is not a refusal proven for the class. Both are declared

6refused witnesses and both must be refused by the predicate.}

8@task["t-launder-phase" title: "A work item that tries to contain a phase" status: 'ready]{

10@section["Smuggled" id: "smuggled-phase"]{

12@p{An ordinary block, which must remain acceptable.}

14@phase["p-smuggled" title: "A phase that must not be here" status: 'planned order: 1]{

15@p{A phase belongs to a project or a milestone, never to a section inside a task.}

16}

18}

20}

22@end note