Repository navigation
Expand file tree
/
Copy pathexpected.stdout
More file actions
14 lines (14 loc) · 1.86 KB
/
Copy pathexpected.stdout
File metadata and controls
14 lines (14 loc) · 1.86 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
docs/ar/AR-overview.md:3: error: AR-overview.system-overview cites AR-one 2 times; RULE-overview requires exactly once
docs/ar/AR-overview.md:3: error: AR-overview.system-overview cites AR-one-more 0 times; RULE-overview requires exactly once
docs/fs/FS-demo.md:1: error: FS-demo has 0 security chapters; RULE-security requires exactly one; expected display name "security" (case-insensitive, not section handle); observed direct chapters: "goals: Goals", "requirements: Requirements"
docs/fs/FS-demo.md:1: error: FS-demo must cite GOAL (citation direction)
docs/fs/FS-demo.md:6: error: FS-demo.requirements cites REQ 0 times; RULE-requirements-count requires exactly 2
docs/fs/FS-demo.md:6: error: FS-demo.requirements cites REQ 0 times; RULE-requirements-floor requires at least 2
docs/fs/FS-demo.md:6: error: FS-demo.requirements is cited by AR 0 times; RULE-inbound, RULE-inbound-copy requires at least one
docs/fs/FS-demo.md:6: error: FS-demo.requirements must cite REQ (RULE-requirements)
docs/fs/FS-demo.md:8: error: FS must not cite AR (RULE-prohibition) — re-point the citation or downgrade it to a plain Markdown link
docs/fs/FS-unreached.md:1: error: FS-unreached has no requirements chapter, so RULE-inbound, RULE-inbound-copy cannot reach it; add the chapter, or narrow the rule to the declarations that have one; this became an error in grund 0.16.0
docs/fs/FS-unreached.md:1: error: FS-unreached has no requirements chapter, so RULE-requirements cannot reach it; add the chapter, or narrow the rule to the declarations that have one; this became an error in grund 0.16.0
docs/rules/RULE-invalid.md:1: error: RULE-invalid is not a valid rule: modality "may not" is not accepted; accepted form: Each FS must not cite any AR.
docs/fs/FS-demo.md:1: suggestion: FS-demo should cite GOAL (RULE-positive, RULE-positive-copy)
docs/fs/FS-demo.md:8: suggestion: FS should not cite AR (RULE-negative)