Markdown for LLMs

Facts and evidence: boundaries

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# Facts and evidence: boundaries

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

## 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](/constructs/rule-strict/) and the
  [definitions page](/constructs/definition/).
- 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](/constructs/time/).
- `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](/constructs/negation-and-status/).