Does this list carry a defect an analyzer must ABSTAIN on?
The abstention gate, and the reason isPositionalFact is a function
rather than a comment: a defect list is not uniformly "bad input". Seven codes
mark structure the analyzer could not resolve — part of the document was never
walked, so no verdict over it is safe. The other two are coordinate facts about
bytes that were read perfectly well. Gating on defects.length > 0 would
abstain on /system identity set name="router-🚀", a legal command, and on the
~12% of the phase-0 corpus that carries non-ASCII.
Does this list carry a defect an analyzer must ABSTAIN on?
The abstention gate, and the reason isPositionalFact is a function rather than a comment: a defect list is not uniformly "bad input". Seven codes mark structure the analyzer could not resolve — part of the document was never walked, so no verdict over it is safe. The other two are coordinate facts about bytes that were read perfectly well. Gating on
defects.length > 0would abstain on/system identity set name="router-🚀", a legal command, and on the ~12% of the phase-0 corpus that carries non-ASCII.