| Class | Description |
|---|---|
| FoldKernel |
FOLD-V1 (
lineage-spec/algorithms/fold-v1.md): folds the ExplainGraph of one statement of a document
into its Fact Occurrences, FactCandidates and write requirements. |
| FoldLabel |
The label of a fold walk (
algorithms/fold-v1.md, Section 5.1): VALUE, or ROW with a
role. |
| Projector |
The
PROJECTOR checks of algorithms/fold-v1.md, Section 11: folds each statement with
FoldKernel and compares the result with the Fact layer of the same document, at stage
SEMANTIC. |
| StatementFold |
What FOLD-V1 yields for one statement (
algorithms/fold-v1.md, Section 2, item 1): the Fact
Occurrences, the FactCandidates, and the requirements on every write of a field. |
| StatementFold.Candidate |
A FactCandidate (Section 7.1, items 4 to 6) with its Occurrence.
|
| StatementFold.CandidateBinding |
The binding of one side of a FactCandidate Occurrence (Section 7.1, item 6).
|
| StatementFold.Decision |
How a reference decides a FactCandidate's candidate-set end (fold-v1 Section 7.1, item 5): the deciding
reference's candidate set (in the ExplainGraph; at a published end, the document's set with the same members),
and the pairs {alternative, member}, sorted.
|
| StatementFold.End |
One end of a FactCandidate: a fixed endpoint, or a candidate set with its membership, and, when another reference
decides it (fold-v1 Section 7.1, item 5), the decision.
|
| StatementFold.FactOccurrence |
A Fact Occurrence (Section 8.1): the proposition, its path and ordinal, proof, bindings and support.
|
| StatementFold.Pair |
One (source, target) pair of an outcome (Section 7.1, item 5).
|
| StatementFold.TerminalInput |
A terminal input of a write (Section 7.5): its kind, disclosure, the literal or hash token, and a parameter's
marker as written with, for an anonymous marker, its position (two parameters of one write are two inputs).
|
| StatementFold.WriteRequirement |
What a write of one field must carry (Sections 7.4 and 7.5).
|
| Exception | Description |
|---|---|
| FoldLimitException |
Folding a statement needed more work than the kernel's limits allow: more exploration states than
FoldKernel.DEFAULT_MAX_STATES, or more worlds than FoldKernel.DEFAULT_MAX_WORLDS in one group
of linked ambiguous references (the worlds of a group grow exponentially with its references). |