pub fn lino_gap_record(text: &str) -> Option<Value>Expand description
A final answer that is exactly one Links Notation record whose record_type
names a gap, as Formal AI’s task obligations answer (obligation_gap, e.g.
reason no_artifact_in_clause): an id line, then key "value" lines.
Returned in the JSON gap shape (schema = record_type, never complete), so
a gap Formal AI states in its own notation is never taken as success, even
when start verified every change it made (#261).