Facts and evidence: boundaries

What the construct does NOT do in 0.2: limits, closed lists, neighbouring constructs, and the selection rule.

OverviewBoundariesCorpus formsPitfalls

Does not do

• Does not override by addition. A case fact does not override a package fact: supports add up, opposites give Contradiction. “New knowledge instead of old” is not by facts but by valid windows and the law date.
• Does not negate by silence. Absence of a fact is Not established, not refuted, not Refuted: negative support comes only from assert not, a negative head, and closure.
• Does not read the contested unasked. A Contradiction premise does not establish a bare literal; deliberate reading goes through supported(P) with justification.
• Does not compare bitemporal. observed and recorded are compared with nothing except order between themselves (later is warning LDC-E3101, the file accepted). A fact’s only working times are valid against the law date.
• Does not accept an out-of-mode assumption. assumed_for_simulation outside simulation does not reach supports: Not established, not refuted + ASSERTION_NOT_ACCEPTED (warning). The modal part belongs to execution; grammar does not hold it.
• Does not infer document admissibility. Admissibility is by dedicated rules, not by a document’s presence: the core does not infer from a number.

Reserved and closed

• The origin list is closed at six names (LDC-E1374 on a typo).
• Fact arguments are ground values: terms are LDC-E1325, a non-canonical Rational is LDC-E1324.
• An anonymous id comes from content: path, file, and line are outside the preimage; an exact duplicate is LDC-E1331.
• The short StableId spelling is a string before : (assert "id": p(x);): the same id field as in the block.
• A fact group: the body only of assert; inclusion by an explicit facts package::Name; line; a contextless, nonexistent, or non-public group is LDC-E1327. The neighbour’s rules do not execute.
• A case carries no law: a rule in given is a rejection.

Neighbours and selection rule

• assert vs definition/rule: support against inference — a fact infers nothing but itself. See the strict-rules page and the definitions page.
• Fact origin vs norm source anchor: support provenance against the norm-text address. Confusing them is a mistake: an anchor does not confirm correctness.
• Fact valid vs rule effective: an assertion’s window about the world against a norm’s window of force. See the time page.
• evidence in a fact vs admissibility rules: a document reference against inference from a document.
• Closure over a domain vs an explicit not: answer completeness against recorded absence. See the negation page.