Fail-closed rollup, per the four rules ratified with the tristate:
A proven write wins outright — an unknown elsewhere cannot make a
document that definitely writes stop writing.
With no proven write, ANY unclassifiable occurrence yields unknown,
never false. That is the spec's zero-false-negative requirement
expressed as a rule rather than a hope.
Statements the parser cannot confirm as navigation emit an occurrence
rather than being dropped (enforced in occurrences).
unknown is reported with its blockers, so the caller can see why.
A document-level structural defect (unterminated string, over-depth nesting)
means part of the input was never walked, so it abstains under rule 2 for the
same reason a defect occurrence does.
Fail-closed rollup, per the four rules ratified with the tristate:
unknownelsewhere cannot make a document that definitely writes stop writing.unknown, neverfalse. That is the spec's zero-false-negative requirement expressed as a rule rather than a hope.occurrences).unknownis reported with its blockers, so the caller can see why.A document-level structural defect (unterminated string, over-depth nesting) means part of the input was never walked, so it abstains under rule 2 for the same reason a
defectoccurrence does.