parseltongue/ Core Overview

Parseltongue Core

LLMs hallucinate. They produce fluent, confident text that may have no basis in the source material. Traditional approaches treat this as a retrieval problem — feed the model better context and hope for the best. Parseltongue takes a different approach: instead of trusting an LLM's summary, we ask it to encode each document as a logic system. Every extracted claim must cite a verbatim quote. Every conclusion must derive from stated premises. And every derivation is checked.

This notebook loads the engine's own formal specification — 50 nodes extracted by LLMs from engine.py, each citing a verbatim quote from the source code. These are the tip of a 2000+ node iceberg — switch to the Layers or Graph tab to see the full structure. And some of the nodes we extracted may be wrong! E.G. we forgot to update documentation after refactoring. The engine catches such errors. The ⚠ and ✖ markers you'll see throughout aren't bugs in the demo — they're the system working.

pltg Load ▸
Out: True

Can We Actually Check Axioms?

The README promises that Parseltongue grounds axioms in evidence. That's easy to promise. Can we prove it?

Here's how it works. You have a claim — say, "Q3 revenue grew 15%." You find it quoted in one report. Then you find the raw quarterly figures in another document and compute growth independently. Now you have two paths to the same number. If they agree, the claim held up under scrutiny. If they don't — 15% vs 9.5% — you caught a contradiction. The more independent paths that converge on the same answer, the stronger the grounding.

In Parseltongue, this comparison between two independent paths to the same value is called a diff.

The engine takes this further. It formally defines the epistemic status of every axiom — exemplifiable (evidence found), hallucinated (evidence contradicts), or unknown (can't tell). It maps these statuses to the errors and warnings it produces. And then it proves — not asserts, proves — that the mapping is exact. Every hallucinated claim becomes an error[1]. Every unknown becomes a warning[2]. What survives is exemplifiable — the system witnessed it through evidence[3].

1core.engine.hallucinated-is-error 2core.engine.unknown-is-warning 3core.readme.parseltongue-makes-axioms-exemplifiable

This is not an aspirational claim but a theorem[4]. The comparison true = true[5] shows it holds computationally. And the ⚠ and ✖ markers on this page are that classification running live.

4core.engine.isomorphism-hallucinations-errors-unknowns-warnings 5core.thm-epistemics-cross-check

Everything below explains the machinery that makes this work.

Facts and Evidence — Where It Starts

A fact is a named value extracted from a document. But a value alone means nothing — anyone can write revenue = 15. What makes it a Parseltongue fact is the evidence: the name of the source document and a verbatim quote. The engine literally searches the document for that exact text.

If the quote is found, the fact is grounded. If not, it's flagged unverified_evidence — the first kind of error. This is how hallucination detection works at its most basic level: the LLM says "the code does X" and quotes a line from engine.py. The engine checks. If that line isn't there, the fact is ungrounded.

This is the first of three consistency layers — Evidence grounding.[6] Every fact in the engine's specification goes through this check. The ones with ⚠ markers on this page? That's a fact whose evidence the engine couldn't fully verify.

6core.engine.consistency-layer-1

Derivation — The Proof Chain

You have facts. You want to prove something from them. A derivation is a theorem: an expression evaluated against specific facts listed in its :using clause. The engine checks that every fact you claim to use actually exists and is accessible.

The critical property: if ANY fact in the :using list has unverified evidence, the entire derivation inherits the taint. One fabricated revenue figure can contaminate dozens of downstream calculations. The engine doesn't hide this — it shows you the full contamination tree, not just the root cause.

This propagation is called fabrication taint, and it's the second consistency layer — Fabrication propagation.[7] You don't just catch the lie; you see everything it contaminates.

7core.engine.consistency-layer-2

The engine's specification proves three things about this chain. First, that facts, axioms, and terms all verify their origin through the same mechanism[8]. Second, that derivation inherits grounding from its sources — if the language says derive is a documentation directive, the engine checks its sources[9]. Third, that diffs need no evidence at all — inconsistency between their sides is itself a system-level issue, not a claim requiring grounding[10].

8core.engine.bound-evidence-attachable 9core.engine.bound-derive-inherits 10core.engine.bound-diff-no-evidence
pltg Derivation ▸
Out: 3
derivation-theorem-count = 3

3[11] theorems prove the derivation chain. The number of derivation mechanisms documented matches the number implemented: 5 = 5.[12]

11derivation-theorem-count 12core.engine.derivation-mechanism-coverage

Comparing Independent Paths

Back to the revenue example from Section 2. Two paths, one number, do they agree? That's what diffs do formally. You register a :replace side and a :with side — two independently computed values for the same quantity. When the consistency checker runs, it evaluates both and compares.

When the paths disagree, the engine flags a divergence — the third and final consistency layer: Diff agreement.[13] But it doesn't stop at the point of disagreement. If theorem B depends on a value that just diverged, B is now suspect too. To find the full blast radius, the engine scans all five definition types — facts[14], terms[15], axioms[16], theorems[17], and other diffs[18]. It follows derivation chains for indirect dependencies[19], and the expansion is transitive — quoting the actual while frontier: loop from the source[20].

13core.engine.consistency-layer-3 14core.engine.dependents-scans-facts 15core.engine.dependents-scans-terms 16core.engine.dependents-scans-axioms 17core.engine.dependents-scans-theorems 18core.engine.dependents-scans-diffs 19core.engine.dependents-checks-derivation-list 20core.engine.dependents-is-transitive
pltg Dependents ▸
Out: 5
dependents-scan-count = 5

The scanner covers 5[21] definition types. The paired count matches what the documentation claims (5 = 5)[22] and what the implementation provides (5 = 5).[23]

21dependents-scan-count 22core.engine.dependents-paired-vs-doc 23core.engine.dependents-paired-vs-impl

Diffs evaluate structurally, not by string comparison[24]. A diff excludes itself from its own dependency scan — without this, every diff would flag itself as divergent. All 3[25] documented aspects of the diff mechanism are implemented: 3 = 3.[26]

24core.engine.diff-evaluated-structurally 25core.engine.diff-mechanism-doc-count 26core.engine.diff-mechanism-coverage

The Three Layers

We've now walked through each consistency layer individually:

  1. Evidence grounding[6] — is the quote actually in the document?
    6core.engine.consistency-layer-1
  2. Fabrication propagation[7] — does the taint from ungrounded facts propagate to derivations?
    7core.engine.consistency-layer-2
  3. Diff agreement[13] — do independent paths to the same value agree?
    13core.engine.consistency-layer-3

The consistency checker runs them in sequence. The specification confirms it checks all 3[27] layers, and the documented layer count matches the implementation: 3 = 3.[28]

27core.engine.consistency-layer-count 28core.engine.consistency-layers-coverage
pltg Consistency Layers ▸
Out: 3

Errors, Warnings, and the Classification

The three layers produce 8[29] distinct states — 5[30] errors and 3[31] warnings.

29core.engine.consistency-states-total 30core.engine.causes-error-count 31core.engine.causes-warning-count

The distinction matters. Hard errors mean something is definitely wrong — unverified evidence, a derivation built on fabricated sources. Warnings are different — they mark the boundary of what the engine can prove. A fact verified manually has no quote for the engine to check[32]. A diff whose :replace side references another diff[33] would require the engine to evaluate itself to resolve — a circularity akin to the halting problem[34]. In both cases the engine reaches an incompleteness boundary: it cannot confirm the hypothesis, but it also cannot refute it. The result is epistemically unknown, so the engine hands off responsibility and produces a warning[35]. This is called contamination.

32core.engine.manual-causes-warning 33core.engine.contamination-all-are-diff-refs 34core.engine.contamination-is-empty 35core.engine.contamination-causes-warning

Each failure mode has a witness pattern — a theorem that proves exactly how that kind of failure is detected:

pltg Error Witnesses ▸
Out: 5
witness-count = 5

5[36] patterns: hallucinated evidence[37], missing evidence entirely[38], an axiom that doesn't hold under binding[39], an ungrounded derivation source[40], and unknown evidence status[41].

36witness-count 37core.engine.witness-evidence-hallucinated 38core.engine.witness-no-evidence-hallucinated 39core.engine.witness-fabrication-does-not-hold 40core.engine.witness-fabrication-ungrounded-source 41core.engine.witness-evidence-unknown
pltg Error vs Warning Counts ▸
Out: 5

Now the payoff. This classification — hallucinated→error, unknown→warning, what survives→exemplifiable — is exactly what Section 2 promised. The engine doesn't just produce these labels. It proves the mapping is exhaustive. The epistemics isomorphism[4] is the theorem that ties it together: the README's philosophical claim about grounding axioms in evidence[42] and the engine's mechanical error classification are the same operation. Axiom status collapses to std.epistemics.exemplifiable[43] — because the engine witnessed them.

4core.engine.isomorphism-hallucinations-errors-unknowns-warnings 42core.readme.evidence-is-departure 43core.readme.parseltongue-axiom-status

Cross-Module Validation

The engine's specification doesn't exist in isolation. It's one of roughly 15 modules that cross-validate each other. The README makes claims. Each module's specification makes claims. The implementation exists. Cross-module diffs connect them — and the rendered values show whether they agree:

  • Consistency state count: 8 = 8[44]
    44core.thm-consistency-states-total
  • Error types vs README's issue table: 5 = 5[45]
    45core.thm-engine-error-cross-check
  • Warning types vs README's warning table: 3 = 3[46]
    46core.thm-engine-warning-cross-check
  • Fabrication propagation described vs implemented: true = true[47]
    47core.thm-fabrication
  • Automatic grounding claimed vs built: true = true[48]
    48core.thm-fact-cites-quote
  • Cross-validation mechanism: true = true[49]
    49core.thm-diffs-detect
  • The epistemics isomorphism: true = true[5]
    5core.thm-epistemics-cross-check
pltg Cross-Module ▸
Out: 7
cross-module-count = 7

7[50] cross-module diffs. When any of them drift — someone updates the README but forgets the implementation, or vice versa — the comparison catches it automatically.

50cross-module-count

Document Management — Items × Layers

The engine manages documents through registration, loading, and ground-truth indexing. When a subsystem appears in multiple representations — documentation says it exists, implementation actually provides it — the Items × Layers pattern creates a fact per item per layer, derives per-layer aggregates, and compares across layers.

pltg Document Management ▸
Out: 3

3[51] features are fully paired — documented AND implemented. The paired count matches what the documentation claims (3 = 3)[52] and what the implementation provides (3 = 3).[53]

51core.engine.doc-mgmt-paired-count 52core.engine.doc-mgmt-paired-vs-doc 53core.engine.doc-mgmt-paired-vs-impl

The Engine's Shape

pltg Core Facts ▸
Out: 8
engine-fact-count = 8

8[54] key facts form the foundation — from the derive directive's docstring (Derive a theorem from existing axioms/terms.)[55] to the consistency checker's (Check full consistency state of the system.),[56] from the requirement that axioms have free ?-variables[57] to the transitive dependents expansion[20]. Each one quotes verbatim from engine.py. The engine's formal specification is built from its own source code, extracted by LLMs, and verified by the engine itself.

54engine-fact-count 55core.engine.derive-doc 56core.engine.consistency-doc 57core.engine.axiom-requires-free-vars 20core.engine.dependents-is-transitive

Screening Report

The engine is designed to know its own status — after all, that's what it's for. It has an explicit directive to produce its own consistency report and act on it. Here is the report for the engine's own specification — Parseltongue validating itself:

pltg Screen ▸
Out: True
System inconsistent: 4 issue(s) Unverified evidence: core.engine_scopes.delegate-counts-depth quote: 'depth = 0\n e = expr\n while isinstance(e, list) and e and e[0] == DELEGATE:\n depth += 1\n e = e[1]' core.engine_scopes.proposal-binds-from-env quote: 'plain = Symbol(vname.lstrip("?"))\n if plain not in env:\n return []\n bindings[var] = env[plain]' core.engine_scopes.proposal-evaluates-body quote: 'bound_body = substitute(body, bindings)\n return self._eval(\n bound_body, env, axiom_scope, restricted)' core.engine_scopes.proposal-peels-delegate-nesting quote: 'while isinstance(e, list) and e and e[0] == DELEGATE:' core.engine_scopes.proposal-returns-empty-on-mismatch quote: 'if not result:\n return []' core.engine_scopes.scope-checks-self quote: 'if name == SELF:' core.engine_scopes.scope-passes-name-to-callable quote: 'return scope_val(name, *resolved)' core.engine_scopes.scope-resolves-name quote: 'scope_val = self._eval(name, env, axiom_scope, restricted)' core.engine_scopes.self-evaluates-all-args quote: 'if head == SELF:\n # (self expr ...) — evaluate all args in the current engine\n result = None\n for arg in expr[1:]:\n result = self._eval(arg, env, axiom_scope, restricted)\n return result' core.readme.readme-documents-core-pltg-plan quote: '(re "core\\\\.pltg")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-introspection-and-self-consistency-plan quote: '(re "Introspection and Self-Consistency")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-per-module-validators-plan quote: '(re "validation/atoms\\\\.pltg")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-self-test-goedel-plan quote: '(re "incompleteness derive")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-self-test-plan quote: '(re "self-referential incompleteness")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-self-test-turing-plan quote: '(re "axiom→theorem")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-validation-framework-plan quote: '(re "#+ Self-Validation")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.engine_scopes.delegate-counts-depth quote: 'depth = 0\n e = expr\n while isinstance(e, list) and e and e[0] == DELEGATE:\n depth += 1\n e = e[1]' validation.core.engine_scopes.proposal-binds-from-env quote: 'plain = Symbol(vname.lstrip("?"))\n if plain not in env:\n return []\n bindings[var] = env[plain]' validation.core.engine_scopes.proposal-evaluates-body quote: 'bound_body = substitute(body, bindings)\n return self._eval(\n bound_body, env, axiom_scope, restricted)' validation.core.engine_scopes.proposal-peels-delegate-nesting quote: 'while isinstance(e, list) and e and e[0] == DELEGATE:' validation.core.engine_scopes.proposal-returns-empty-on-mismatch quote: 'if not result:\n return []' validation.core.engine_scopes.scope-checks-self quote: 'if name == SELF:' validation.core.engine_scopes.scope-passes-name-to-callable quote: 'return scope_val(name, *resolved)' validation.core.engine_scopes.scope-resolves-name quote: 'scope_val = self._eval(name, env, axiom_scope, restricted)' validation.core.engine_scopes.self-evaluates-all-args quote: 'if head == SELF:\n # (self expr ...) — evaluate all args in the current engine\n result = None\n for arg in expr[1:]:\n result = self._eval(arg, env, axiom_scope, restricted)\n return result' validation.core.readme.readme-documents-core-pltg-plan quote: '(re "core\\\\.pltg")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-introspection-and-self-consistency-plan quote: '(re "Introspection and Self-Consistency")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-per-module-validators-plan quote: '(re "validation/atoms\\\\.pltg")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-self-test-goedel-plan quote: '(re "incompleteness derive")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-self-test-plan quote: '(re "self-referential incompleteness")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-self-test-turing-plan quote: '(re "axiom→theorem")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-validation-framework-plan quote: '(re "#+ Self-Validation")' quote: 'reason: search index is empty — nothing to quantify over' No evidence provided: core.engine_scopes.stub-scope-error-message (origin: TODO: scope target not callable error message) core.stub-brief-vs-detailed (origin: TODO: fmt_dsl(brief=True) truncates quotes in structure view; fmt_origin_rows(detailed=True) shows QV line + confidence in detail view) core.stub-inspect-loaded (origin: TODO: inspect_loaded(term, loader) — convenience combining probe + Lens with MDebuggerPerspective) core.stub-lens-api (origin: TODO: Lens class — view, view_layer, view_consumer, view_node, view_inputs, view_subgraph, view_kinds, view_roots, focus) core.stub-mdebugger-perspective (origin: TODO: MDebuggerPerspective takes LazyLoader, annotates output with file:line from AST, uses os.path.relpath) core.stub-perspective-instances (origin: TODO: Perspective instances (not types) — MarkdownPerspective, AsciiPerspective, MDebuggerPerspective) core.stub-probe-structure (origin: TODO: probe(term, engine) → CoreToConsequenceStructure — graph, layers, depths, max_depth) validation.core.engine_scopes.stub-scope-error-message (origin: TODO: scope target not callable error message) validation.core.stub-brief-vs-detailed (origin: TODO: fmt_dsl(brief=True) truncates quotes in structure view; fmt_origin_rows(detailed=True) shows QV line + confidence in detail view) validation.core.stub-inspect-loaded (origin: TODO: inspect_loaded(term, loader) — convenience combining probe + Lens with MDebuggerPerspective) validation.core.stub-lens-api (origin: TODO: Lens class — view, view_layer, view_consumer, view_node, view_inputs, view_subgraph, view_kinds, view_roots, focus) validation.core.stub-mdebugger-perspective (origin: TODO: MDebuggerPerspective takes LazyLoader, annotates output with file:line from AST, uses os.path.relpath) validation.core.stub-perspective-instances (origin: TODO: Perspective instances (not types) — MarkdownPerspective, AsciiPerspective, MDebuggerPerspective) validation.core.stub-probe-structure (origin: TODO: probe(term, engine) → CoreToConsequenceStructure — graph, layers, depths, max_depth) Potential fabrication: core.engine_scopes.delegate-property-count core.engine_scopes.export-delegate-property-count core.engine_scopes.export-proposal-step-count core.engine_scopes.export-scope-handler-count core.engine_scopes.proposal-step-count core.engine_scopes.scope-handler-count core.engine_scopes.scope-handler-feature-count validation.core.engine_scopes.delegate-property-count validation.core.engine_scopes.export-delegate-property-count validation.core.engine_scopes.export-proposal-step-count validation.core.engine_scopes.export-scope-handler-count validation.core.engine_scopes.proposal-step-count validation.core.engine_scopes.scope-handler-count validation.core.engine_scopes.scope-handler-feature-count Diff value divergence: validation.core.ee-computable-directives: validation.core.readme.export-computable-directive-count (5) vs std.counting.util.stub (std.counting.util.stub) — values differ validation.core.ee-dependents-scan-paired: validation.core.readme.export-diff-scan-paired (5) vs std.counting.util.stub (std.counting.util.stub) — values differ validation.core.ee-diff-scans-five: validation.core.readme.readme-diff-scans-five-types (True) vs std.counting.util.stub (std.counting.util.stub) — values differ validation.core.ee-evidence-excluded: validation.core.readme.bound-evidence-excludes-computation (True) vs std.counting.util.stub (std.counting.util.stub) — values differ validation.core.thm-ast-effects-no-name: validation.core.ast_verifier.bound-effects-no-name (True) vs validation.core.stub-ast-effects-no-name (std.counting.util.stub) — values differ validation.core.thm-ast-extract-behavior: validation.core.ast_verifier.extract-behavior-count (2) vs validation.core.stub-ast-extract-behavior (std.counting.util.stub) — values differ validation.core.thm-ast-graph-behavior: validation.core.ast_verifier.graph-behavior-count (4) vs validation.core.stub-ast-graph-behavior (std.counting.util.stub) — values differ validation.core.thm-ast-identity-paired: validation.core.ast_verifier.identity-paired (1) vs validation.core.stub-ast-identity-paired (std.counting.util.stub) — values differ validation.core.thm-ast-node-identity: validation.core.ast_verifier.node-identity-paired (1) vs validation.core.stub-ast-node-identity (std.counting.util.stub) — values differ validation.core.thm-ast-walk-behavior: validation.core.ast_verifier.walk-behavior-count (2) vs validation.core.stub-ast-walk-behavior (std.counting.util.stub) — values differ validation.core.thm-lazy-effect-rank: validation.core.lazy_loader.export-effect-rank (True) vs validation.core.stub-lazy-effect-rank (std.counting.util.stub) — values differ validation.core.thm-lazy-entry-points: validation.core.lazy_loader.entry-point-count (3) vs validation.core.stub-lazy-entry-points (std.counting.util.stub) — values differ validation.core.thm-lazy-fault-tolerance: validation.core.lazy_loader.fault-tolerance-count (6) vs validation.core.stub-lazy-fault-tolerance (std.counting.util.stub) — values differ validation.core.thm-lazy-line-tracking: validation.core.lazy_loader.export-line-tracking (True) vs validation.core.stub-lazy-line-tracking (std.counting.util.stub) — values differ validation.core.thm-lazy-patch-paired: validation.core.lazy_loader.patch-paired (2) vs validation.core.stub-lazy-patch-paired (std.counting.util.stub) — values differ validation.core.thm-lazy-post-effects: validation.core.lazy_loader.export-post-directive-effects (True) vs validation.core.stub-lazy-post-effects (std.counting.util.stub) — values differ validation.core.thm-lazy-pre-effects: validation.core.lazy_loader.export-pre-directive-effects (True) vs validation.core.stub-lazy-pre-effects (std.counting.util.stub) — values differ [warning] Manually verified: c.count-exists, c.count-exists-base, c.count-exists-step, c.sum-values, c.sum-values-base, c.sum-values-step, c.util.export, c.util.export-base, c.util.stub, c.util.stub-base, core.ast_verifier.count-exists, core.atoms.count-exists, core.count-exists, core.default_system_settings.count-exists, core.demos.count-exists, core.domain.manual-control-implies-human, core.domain.set-implies-fast, core.engine.count-exists, core.engine_scopes.count-exists, core.grammar.count-exists, core.inspect_main.inspect_bench.stub, core.inspect_main.inspect_evaluate.stub, core.inspect_main.inspect_hologram.stub, core.inspect_main.inspect_lens.stub, core.inspect_main.inspect_search.stub, core.inspect_main.stub, core.integrity.count-exists, core.integrity.stub, core.lang.count-exists, core.lazy_loader.count-exists, core.loader.count-exists, core.pyproject.count-exists, core.quote_verifier.count-exists, core.quote_verifier.empty-has-no-content, core.quote_verifier.empty-verified-result, core.quote_verifier.no-transformations, core.quote_verifier.normalized-empty-verified, core.quote_verifier.normalized-has-content, core.quote_verifier.quote-has-content, core.quote_verifier.regular-is-not-dangerous, core.quote_verifier.regular-single-count, core.quote_verifier.regular-word-count, core.quote_verifier.remove-stopwords-enabled, core.quote_verifier.score-after-single-dangerous, core.quote_verifier.single-stopword-verified, core.quote_verifier.single-word-is-single, core.quote_verifier.single-word-is-stopword, core.quote_verifier.sum-values, core.readme.axiom-status, core.readme.count-exists, core.readme.evidence-computes, core.stub, core.system.count-exists, counting.count-exists, counting.count-exists-base, counting.count-exists-step, counting.sum-values, counting.sum-values-base, counting.sum-values-step, counting.util.export, counting.util.export-base, counting.util.stub, counting.util.stub-base, epistemics.collapse, epistemics.collapse-hypothesised, epistemics.collapse-refuted, epistemics.collapse-witnessed, epistemics.count-hallucinated, epistemics.count-hallucinated-base, epistemics.count-hallucinated-step, epistemics.exemplifiable, epistemics.hallucinated, epistemics.hypothesised, epistemics.joint-status, epistemics.joint-status-base, epistemics.joint-status-step, epistemics.joint-superposed, epistemics.joint-superposed-rewrite, epistemics.refuted, epistemics.russell-teapot, epistemics.superpose, epistemics.unknown, epistemics.witness, epistemics.witness-base, epistemics.witnessed, lang.count-exists, lists.bare-filter, lists.classify, lists.concat, lists.concat-base, lists.concat-step, lists.concat-two, lists.cons, lists.cons-base, lists.cons-prepend, lists.cons-prepend-rule, lists.cons-step, lists.filter, lists.filter-base, lists.filter-step, lists.fold, lists.fold-empty, lists.fold-step, lists.length, lists.length-base, lists.length-step, lists.map, lists.map-base, lists.map-step, lists.nth, lists.nth-base, lists.nth-step, lists.reverse, lists.reverse-acc, lists.reverse-acc-base, lists.reverse-acc-step, lists.reverse-rule, lists.unquote.unquote, lists.uq-concat, std.counting.count-exists, std.counting.count-exists-base, std.counting.count-exists-step, std.counting.sum-values, std.counting.sum-values-base, std.counting.sum-values-step, std.counting.util.export, std.counting.util.export-base, std.counting.util.stub, std.counting.util.stub-base, std.epistemics.collapse, std.epistemics.collapse-hypothesised, std.epistemics.collapse-refuted, std.epistemics.collapse-witnessed, std.epistemics.count-hallucinated, std.epistemics.count-hallucinated-base, std.epistemics.count-hallucinated-step, std.epistemics.exemplifiable, std.epistemics.hallucinated, std.epistemics.hypothesised, std.epistemics.joint-status, std.epistemics.joint-status-base, std.epistemics.joint-status-step, std.epistemics.joint-superposed, std.epistemics.joint-superposed-rewrite, std.epistemics.refuted, std.epistemics.russell-teapot, std.epistemics.superpose, std.epistemics.unknown, std.epistemics.witness, std.epistemics.witness-base, std.epistemics.witnessed, std.lists.bare-filter, std.lists.classify, std.lists.concat, std.lists.concat-base, std.lists.concat-step, std.lists.concat-two, std.lists.cons, std.lists.cons-base, std.lists.cons-prepend, std.lists.cons-prepend-rule, std.lists.cons-step, std.lists.filter, std.lists.filter-base, std.lists.filter-step, std.lists.fold, std.lists.fold-empty, std.lists.fold-step, std.lists.length, std.lists.length-base, std.lists.length-step, std.lists.map, std.lists.map-base, std.lists.map-step, std.lists.nth, std.lists.nth-base, std.lists.nth-step, std.lists.reverse, std.lists.reverse-acc, std.lists.reverse-acc-base, std.lists.reverse-acc-step, std.lists.reverse-rule, std.lists.unquote.unquote, std.lists.uq-concat, std.std.higher_order.apply, std.std.higher_order.apply-1, std.std.higher_order.apply-2, std.std.higher_order.apply-3, std.std.higher_order.compose, std.std.higher_order.compose-rule, std.std.higher_order.pipe, std.std.higher_order.pipe-base, std.std.higher_order.pipe-step, std.std.predicates.all, std.std.predicates.all-base, std.std.predicates.all-step, std.std.predicates.any-true, std.std.predicates.any-true-base, std.std.predicates.any-true-step, std.std.predicates.member, std.std.predicates.member-base, std.std.predicates.member-step, std.std.predicates.none, std.std.predicates.none-rule, std.util.export, std.util.export-base, std.util.stub, std.util.stub-base, unquote.unquote, util.export, util.export-base, util.stub, util.stub-base, validation.core.ast_verifier.count-exists, validation.core.atoms.count-exists, validation.core.count-exists, validation.core.default_system_settings.count-exists, validation.core.demos.count-exists, validation.core.domain.manual-control-implies-human, validation.core.domain.set-implies-fast, validation.core.engine.count-exists, validation.core.engine_scopes.count-exists, validation.core.grammar.count-exists, validation.core.inspect_main.inspect_bench.stub, validation.core.inspect_main.inspect_evaluate.stub, validation.core.inspect_main.inspect_hologram.stub, validation.core.inspect_main.inspect_lens.stub, validation.core.inspect_main.inspect_search.stub, validation.core.inspect_main.stub, validation.core.integrity.count-exists, validation.core.integrity.stub, validation.core.lang.count-exists, validation.core.lazy_loader.count-exists, validation.core.loader.count-exists, validation.core.pyproject.count-exists, validation.core.quote_verifier.count-exists, validation.core.quote_verifier.empty-has-no-content, validation.core.quote_verifier.empty-verified-result, validation.core.quote_verifier.no-transformations, validation.core.quote_verifier.normalized-empty-verified, validation.core.quote_verifier.normalized-has-content, validation.core.quote_verifier.quote-has-content, validation.core.quote_verifier.regular-is-not-dangerous, validation.core.quote_verifier.regular-single-count, validation.core.quote_verifier.regular-word-count, validation.core.quote_verifier.remove-stopwords-enabled, validation.core.quote_verifier.score-after-single-dangerous, validation.core.quote_verifier.single-stopword-verified, validation.core.quote_verifier.single-word-is-single, validation.core.quote_verifier.single-word-is-stopword, validation.core.quote_verifier.sum-values, validation.core.readme.axiom-status, validation.core.readme.count-exists, validation.core.readme.evidence-computes, validation.core.stub, validation.core.system.count-exists [warning] diff_contamination: validation.core.ast_verifier.kind-vs-dep-extraction, validation.core.atoms.wff-paired-vs-doc, validation.core.atoms.wff-paired-vs-impl, validation.core.default_system_settings.arith-decl-vs-category, validation.core.default_system_settings.arith-decl-vs-docs, validation.core.default_system_settings.arith-docs-vs-category, validation.core.default_system_settings.arith-docs-vs-impl, validation.core.default_system_settings.arith-impl-vs-category, validation.core.default_system_settings.comp-decl-vs-category, validation.core.default_system_settings.comp-decl-vs-docs, validation.core.default_system_settings.comp-docs-vs-category, validation.core.default_system_settings.comp-docs-vs-impl, validation.core.default_system_settings.comp-impl-vs-category, validation.core.default_system_settings.decl-vs-docs-total, validation.core.default_system_settings.docs-vs-impl-total, validation.core.default_system_settings.logic-decl-vs-category, validation.core.default_system_settings.logic-decl-vs-docs, validation.core.default_system_settings.logic-docs-vs-category, validation.core.default_system_settings.logic-docs-vs-impl, validation.core.default_system_settings.logic-impl-vs-category, validation.core.default_system_settings.paired-vs-decl-total, validation.core.default_system_settings.paired-vs-docs-total, validation.core.default_system_settings.paired-vs-impl-total, validation.core.default_system_settings.paired-vs-total, validation.core.default_system_settings.total-decl-vs-total, validation.core.default_system_settings.total-docs-vs-total, validation.core.default_system_settings.total-impl-vs-total, validation.core.demo-count, validation.core.demos.apples-splats-all-gt-doc-vs-impl, validation.core.demos.apples-splats-count-gt-doc-vs-impl, validation.core.demos.apples-splats-doc-vs-impl, validation.core.demos.apples-splats-splat-pair, validation.core.demos.apples-splats-sum-all-doc-vs-impl, validation.core.demos.self-healing-doc-vs-impl, validation.core.demos.spec-divergence-doc-vs-impl, validation.core.demos.spec-expiry-doc-vs-impl, validation.core.demos.spec-md5-doc-vs-impl, validation.core.demos.spec-session-doc-vs-impl, validation.core.engine.collapsed-error-layers-consistent, validation.core.engine.consistency-layers-coverage, validation.core.engine.defaults-coverage, validation.core.engine.dependents-paired-vs-doc, validation.core.engine.dependents-paired-vs-impl, validation.core.engine.doc-mgmt-paired-vs-doc, validation.core.engine.doc-mgmt-paired-vs-impl, validation.core.engine.eval-diff-contamination-paired-vs-doc, validation.core.engine.eval-diff-contamination-paired-vs-impl, validation.core.engine.unknown-vs-warnings, validation.core.engine.warning-layers-consistent, validation.core.forward-decl, validation.core.lang.directive-vs-keyword-count, validation.core.lang.match-splat-pair, validation.core.lang.substitute-splat-pair, validation.core.lazy_loader.phase-impl-vs-paired, validation.core.lazy_loader.result-doc-vs-impl, validation.core.loader.consistency-facts-vs-axioms, validation.core.loader.effect-doc-vs-impl, validation.core.loader.effect-doc-vs-total, validation.core.loader.effect-impl-vs-total, validation.core.loader.effect-paired-vs-doc, validation.core.loader.effect-paired-vs-impl, validation.core.loader.effect-paired-vs-total, validation.core.misc-evidence-first-class, validation.core.mod-lazy-result-errors, validation.core.mod-lazy-result-loaded, validation.core.mod-lazy-result-ok, validation.core.mod-lazy-result-partial, validation.core.mod-lazy-result-skipped, validation.core.quote_verifier.axiom-paired-vs-doc, validation.core.quote_verifier.axiom-paired-vs-impl, validation.core.quote_verifier.flag-paired-vs-config, validation.core.quote_verifier.flag-paired-vs-doc, validation.core.quote_verifier.flag-paired-vs-init, validation.core.quote_verifier.level-paired-vs-doc, validation.core.quote_verifier.level-paired-vs-enum, validation.core.quote_verifier.level-paired-vs-usage, validation.core.quote_verifier.match-paired-vs-doc, validation.core.quote_verifier.match-paired-vs-enum, validation.core.quote_verifier.match-paired-vs-usage, validation.core.quote_verifier.medium-vs-default-threshold, validation.core.quote_verifier.paired-vs-config, validation.core.quote_verifier.paired-vs-usage, validation.core.quote_verifier.penalty-config-vs-usage, validation.core.quote_verifier.result-paired-vs-api, validation.core.quote_verifier.result-paired-vs-doc, validation.core.quote_verifier.result-paired-vs-impl, validation.core.readme-vs-ast-kinds, validation.core.readme-vs-directive-node, validation.core.readme-vs-lazy-phases, validation.core.readme-vs-loader-effect-count, validation.core.readme-vs-qv-hypotheticals, validation.core.readme.readme-ast-fields-vs-stated, validation.core.readme.readme-classical-axiom-status-check, validation.core.readme.readme-demo-listing-vs-count, validation.core.readme.readme-demo-paired-vs-listing, validation.core.readme.readme-diff-scan-paired-vs-computable, validation.core.readme.readme-diff-scan-paired-vs-scan, validation.core.readme.readme-directive-listing-vs-stated, validation.core.readme.readme-issue-types-vs-stated, validation.core.readme.readme-lazy-phases-vs-stated, validation.core.readme.readme-manual-categories-vs-stated, validation.core.readme.readme-special-forms-vs-stated, validation.core.readme.readme-warning-types-vs-stated, validation.core.selective-import-impl-vs-demo, validation.core.special-forms-count, validation.core.splat-readme-vs-demo, validation.core.splat-readme-vs-impl, validation.core.sys-retract, validation.core.sys-serialization, validation.core.thm-import-circular, validation.core.thm-readme-issue-types, validation.core.thm-readme-warning-types [warning] confounded_evidence: validation.core.ast_verifier.api-paired-vs-count, validation.core.ast_verifier.doc-carries-vs-fields, validation.core.ast_verifier.walk-paired-vs-impl, validation.core.atoms.core-types-coverage, validation.core.atoms.evidence-defaults-grounding, validation.core.atoms.evidence-grounded-label, validation.core.atoms.evidence-interior-coverage, validation.core.atoms.evidence-mechanism-coverage, validation.core.atoms.evidence-unverified-label, validation.core.atoms.module-purity-vs-immutability, validation.core.atoms.term-display-coverage, validation.core.atoms.wff-paired-vs-doc, validation.core.atoms.wff-paired-vs-impl, validation.core.default_system_settings.paired-vs-decl-total, validation.core.default_system_settings.paired-vs-docs-total, validation.core.default_system_settings.paired-vs-impl-total, validation.core.demos.apples-features-coverage, validation.core.demos.apples-splats-paired-vs-doc, validation.core.demos.biomarkers-features-coverage, validation.core.demos.code-check-features-coverage, validation.core.demos.deferred-features-coverage, validation.core.demos.doc-validation-features-coverage, validation.core.demos.extensibility-features-coverage, validation.core.demos.import-patterns-coverage, validation.core.demos.intentional-paired-vs-doc, validation.core.demos.module-axioms-coverage, validation.core.demos.revenue-features-coverage, validation.core.demos.self-healing-features-coverage, validation.core.demos.self-healing-paired-vs-doc, validation.core.demos.self-healing-recovery-coverage, validation.core.demos.spec-divergence-paired-vs-doc, validation.core.demos.spec-mismatch-vs-divergence-doc, validation.core.demos.spec-validation-features-coverage, validation.core.ee-consistency-code, validation.core.ee-consistency-subsection, validation.core.ee-effects-code-example, validation.core.ee-effects-side-effects, validation.core.ee-effects-subsection, validation.core.ee-environments-subsection, validation.core.ee-execution-engine, validation.core.ee-grounding-subsection, validation.core.ee-human-in-loop, validation.core.ee-intersection-lookup, validation.core.ee-large-collections, validation.core.ee-operators-subsection, validation.core.ee-qv-subsection, validation.core.engine.collapsed-error-layers-consistent, validation.core.engine.consistency-layers-coverage, validation.core.engine.consistency-outcomes-vs-report-channels, validation.core.engine.defaults-coverage, validation.core.engine.dependents-paired-vs-doc, validation.core.engine.dependents-paired-vs-impl, validation.core.engine.derivation-mechanism-coverage, validation.core.engine.diff-detections-vs-kinds, validation.core.engine.diff-mechanism-coverage, validation.core.engine.directive-loader-coverage, validation.core.engine.doc-mgmt-paired-vs-doc, validation.core.engine.doc-mgmt-paired-vs-impl, validation.core.engine.error-layers-consistent, validation.core.engine.eval-diff-contamination-paired-vs-doc, validation.core.engine.eval-diff-contamination-paired-vs-impl, validation.core.engine.eval-mechanism-coverage, validation.core.engine.fact-mechanism-coverage, validation.core.engine.hallucinated-vs-issues, validation.core.engine.issue-types-coverage, validation.core.engine.scope-family-handlers-vs-forms, validation.core.engine.scope-family-helpers-vs-expected, validation.core.engine.warning-layers-consistent, validation.core.grammar.atom-conversion-coverage, validation.core.grammar.reader-doc-coverage, validation.core.lang.axiom-evidence-coverage, validation.core.lang.defterm-forms-coverage, validation.core.lang.derive-modes-coverage, validation.core.lang.keyword-args-coverage, validation.core.lang.special-forms-coverage, validation.core.lazy_loader.cascade-vs-skipped, validation.core.lazy_loader.cross-module-vs-tracking, validation.core.lazy_loader.method-doc-vs-impl, validation.core.lazy_loader.parse-error-vs-result, validation.core.lazy_loader.phase-doc-vs-paired, validation.core.lazy_loader.phase-impl-vs-paired, validation.core.lazy_loader.result-field-paired-vs-doc, validation.core.lazy_loader.root-cause-vs-trees, validation.core.loader.all-axioms-backed-coverage, validation.core.loader.consistency-facts-vs-axioms, validation.core.loader.consistency-paired-vs-facts, validation.core.loader.context-arch-coverage, validation.core.loader.effect-behavior-coverage, validation.core.loader.effect-impl-vs-total, validation.core.loader.effect-paired-vs-doc, validation.core.loader.effect-paired-vs-impl, validation.core.loader.effect-paired-vs-total, validation.core.loader.entry-points-coverage, validation.core.loader.loader-internals-coverage, validation.core.loader.namespacing-stages-vs-impl, validation.core.loader.pltg-error-coverage, validation.core.loader.safety-mechanism-vs-axiom, validation.core.misc-apples-topic, validation.core.misc-ixl-matrix, validation.core.misc-manual-reusables-avoid-defterms, validation.core.misc-ouroboros, validation.core.misc-pltg-format, validation.core.misc-tagline, validation.core.misc-title, validation.core.mod-ast-section, validation.core.mod-lazy-section, validation.core.pyproject.shipping-vs-breakage, validation.core.quote_verifier.axiom-paired-vs-doc, validation.core.quote_verifier.axiom-paired-vs-impl, validation.core.quote_verifier.flag-paired-vs-config, validation.core.quote_verifier.flag-paired-vs-doc, validation.core.quote_verifier.flag-paired-vs-init, validation.core.quote_verifier.level-paired-vs-doc, validation.core.quote_verifier.level-paired-vs-enum, validation.core.quote_verifier.level-paired-vs-usage, validation.core.quote_verifier.match-paired-vs-doc, validation.core.quote_verifier.match-paired-vs-enum, validation.core.quote_verifier.match-paired-vs-usage, validation.core.quote_verifier.ordering-invariants-vs-pairs, validation.core.quote_verifier.original-line-coverage, validation.core.quote_verifier.paired-vs-config, validation.core.quote_verifier.paired-vs-usage, validation.core.quote_verifier.result-paired-vs-api, validation.core.quote_verifier.result-paired-vs-doc, validation.core.quote_verifier.result-paired-vs-impl, validation.core.qv-medium-threshold, validation.core.qv-threshold-count, validation.core.readme.readme-classical-axiom-status-check, validation.core.readme.readme-demo-paired-vs-listing, validation.core.readme.readme-diff-scan-paired-vs-computable, validation.core.readme.readme-diff-scan-paired-vs-scan, validation.core.readme.readme-directive-paired-vs-listing, validation.core.readme.readme-evidence-inversion-check, validation.core.readme.readme-extension-unlocks-check, validation.core.readme.readme-issue-types-vs-stated, validation.core.readme.readme-math-claims-count-check, validation.core.readme.readme-plans-landed-check, validation.core.readme.readme-rationale-claims-count-check, validation.core.readme.readme-warning-types-vs-stated, validation.core.sys-core-interface, validation.core.sys-default-env, validation.core.sys-section, validation.core.sys-state, validation.core.system.constructor-params-coverage, validation.core.system.delegation-coverage, validation.core.system.effects-coverage, validation.core.system.properties-coverage, validation.core.system.provenance-coverage, validation.core.system.serialization-doc-vs-paired, validation.core.system.serialization-impl-vs-paired, validation.core.thm-axiom-var, validation.core.thm-fabrication System inconsistent: 4 issue(s) Unverified evidence: core.engine_scopes.delegate-counts-depth quote: 'depth = 0\n e = expr\n while isinstance(e, list) and e and e[0] == DELEGATE:\n depth += 1\n e = e[1]' core.engine_scopes.proposal-binds-from-env quote: 'plain = Symbol(vname.lstrip("?"))\n if plain not in env:\n return []\n bindings[var] = env[plain]' core.engine_scopes.proposal-evaluates-body quote: 'bound_body = substitute(body, bindings)\n return self._eval(\n bound_body, env, axiom_scope, restricted)' core.engine_scopes.proposal-peels-delegate-nesting quote: 'while isinstance(e, list) and e and e[0] == DELEGATE:' core.engine_scopes.proposal-returns-empty-on-mismatch quote: 'if not result:\n return []' core.engine_scopes.scope-checks-self quote: 'if name == SELF:' core.engine_scopes.scope-passes-name-to-callable quote: 'return scope_val(name, *resolved)' core.engine_scopes.scope-resolves-name quote: 'scope_val = self._eval(name, env, axiom_scope, restricted)' core.engine_scopes.self-evaluates-all-args quote: 'if head == SELF:\n # (self expr ...) — evaluate all args in the current engine\n result = None\n for arg in expr[1:]:\n result = self._eval(arg, env, axiom_scope, restricted)\n return result' core.readme.readme-documents-core-pltg-plan quote: '(re "core\\\\.pltg")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-introspection-and-self-consistency-plan quote: '(re "Introspection and Self-Consistency")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-per-module-validators-plan quote: '(re "validation/atoms\\\\.pltg")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-self-test-goedel-plan quote: '(re "incompleteness derive")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-self-test-plan quote: '(re "self-referential incompleteness")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-self-test-turing-plan quote: '(re "axiom→theorem")' quote: 'reason: search index is empty — nothing to quantify over' core.readme.readme-documents-validation-framework-plan quote: '(re "#+ Self-Validation")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.engine_scopes.delegate-counts-depth quote: 'depth = 0\n e = expr\n while isinstance(e, list) and e and e[0] == DELEGATE:\n depth += 1\n e = e[1]' validation.core.engine_scopes.proposal-binds-from-env quote: 'plain = Symbol(vname.lstrip("?"))\n if plain not in env:\n return []\n bindings[var] = env[plain]' validation.core.engine_scopes.proposal-evaluates-body quote: 'bound_body = substitute(body, bindings)\n return self._eval(\n bound_body, env, axiom_scope, restricted)' validation.core.engine_scopes.proposal-peels-delegate-nesting quote: 'while isinstance(e, list) and e and e[0] == DELEGATE:' validation.core.engine_scopes.proposal-returns-empty-on-mismatch quote: 'if not result:\n return []' validation.core.engine_scopes.scope-checks-self quote: 'if name == SELF:' validation.core.engine_scopes.scope-passes-name-to-callable quote: 'return scope_val(name, *resolved)' validation.core.engine_scopes.scope-resolves-name quote: 'scope_val = self._eval(name, env, axiom_scope, restricted)' validation.core.engine_scopes.self-evaluates-all-args quote: 'if head == SELF:\n # (self expr ...) — evaluate all args in the current engine\n result = None\n for arg in expr[1:]:\n result = self._eval(arg, env, axiom_scope, restricted)\n return result' validation.core.readme.readme-documents-core-pltg-plan quote: '(re "core\\\\.pltg")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-introspection-and-self-consistency-plan quote: '(re "Introspection and Self-Consistency")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-per-module-validators-plan quote: '(re "validation/atoms\\\\.pltg")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-self-test-goedel-plan quote: '(re "incompleteness derive")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-self-test-plan quote: '(re "self-referential incompleteness")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-self-test-turing-plan quote: '(re "axiom→theorem")' quote: 'reason: search index is empty — nothing to quantify over' validation.core.readme.readme-documents-validation-framework-plan quote: '(re "#+ Self-Validation")' quote: 'reason: search index is empty — nothing to quantify over' No evidence provided: core.engine_scopes.stub-scope-error-message (origin: TODO: scope target not callable error message) core.stub-brief-vs-detailed (origin: TODO: fmt_dsl(brief=True) truncates quotes in structure view; fmt_origin_rows(detailed=True) shows QV line + confidence in detail view) core.stub-inspect-loaded (origin: TODO: inspect_loaded(term, loader) — convenience combining probe + Lens with MDebuggerPerspective) core.stub-lens-api (origin: TODO: Lens class — view, view_layer, view_consumer, view_node, view_inputs, view_subgraph, view_kinds, view_roots, focus) core.stub-mdebugger-perspective (origin: TODO: MDebuggerPerspective takes LazyLoader, annotates output with file:line from AST, uses os.path.relpath) core.stub-perspective-instances (origin: TODO: Perspective instances (not types) — MarkdownPerspective, AsciiPerspective, MDebuggerPerspective) core.stub-probe-structure (origin: TODO: probe(term, engine) → CoreToConsequenceStructure — graph, layers, depths, max_depth) validation.core.engine_scopes.stub-scope-error-message (origin: TODO: scope target not callable error message) validation.core.stub-brief-vs-detailed (origin: TODO: fmt_dsl(brief=True) truncates quotes in structure view; fmt_origin_rows(detailed=True) shows QV line + confidence in detail view) validation.core.stub-inspect-loaded (origin: TODO: inspect_loaded(term, loader) — convenience combining probe + Lens with MDebuggerPerspective) validation.core.stub-lens-api (origin: TODO: Lens class — view, view_layer, view_consumer, view_node, view_inputs, view_subgraph, view_kinds, view_roots, focus) validation.core.stub-mdebugger-perspective (origin: TODO: MDebuggerPerspective takes LazyLoader, annotates output with file:line from AST, uses os.path.relpath) validation.core.stub-perspective-instances (origin: TODO: Perspective instances (not types) — MarkdownPerspective, AsciiPerspective, MDebuggerPerspective) validation.core.stub-probe-structure (origin: TODO: probe(term, engine) → CoreToConsequenceStructure — graph, layers, depths, max_depth) Potential fabrication: core.engine_scopes.delegate-property-count core.engine_scopes.export-delegate-property-count core.engine_scopes.export-proposal-step-count core.engine_scopes.export-scope-handler-count core.engine_scopes.proposal-step-count core.engine_scopes.scope-handler-count core.engine_scopes.scope-handler-feature-count validation.core.engine_scopes.delegate-property-count validation.core.engine_scopes.export-delegate-property-count validation.core.engine_scopes.export-proposal-step-count validation.core.engine_scopes.export-scope-handler-count validation.core.engine_scopes.proposal-step-count validation.core.engine_scopes.scope-handler-count validation.core.engine_scopes.scope-handler-feature-count Diff value divergence: validation.core.ee-computable-directives: validation.core.readme.export-computable-directive-count (5) vs std.counting.util.stub (std.counting.util.stub) — values differ validation.core.ee-dependents-scan-paired: validation.core.readme.export-diff-scan-paired (5) vs std.counting.util.stub (std.counting.util.stub) — values differ validation.core.ee-diff-scans-five: validation.core.readme.readme-diff-scans-five-types (True) vs std.counting.util.stub (std.counting.util.stub) — values differ validation.core.ee-evidence-excluded: validation.core.readme.bound-evidence-excludes-computation (True) vs std.counting.util.stub (std.counting.util.stub) — values differ validation.core.thm-ast-effects-no-name: validation.core.ast_verifier.bound-effects-no-name (True) vs validation.core.stub-ast-effects-no-name (std.counting.util.stub) — values differ validation.core.thm-ast-extract-behavior: validation.core.ast_verifier.extract-behavior-count (2) vs validation.core.stub-ast-extract-behavior (std.counting.util.stub) — values differ validation.core.thm-ast-graph-behavior: validation.core.ast_verifier.graph-behavior-count (4) vs validation.core.stub-ast-graph-behavior (std.counting.util.stub) — values differ validation.core.thm-ast-identity-paired: validation.core.ast_verifier.identity-paired (1) vs validation.core.stub-ast-identity-paired (std.counting.util.stub) — values differ validation.core.thm-ast-node-identity: validation.core.ast_verifier.node-identity-paired (1) vs validation.core.stub-ast-node-identity (std.counting.util.stub) — values differ validation.core.thm-ast-walk-behavior: validation.core.ast_verifier.walk-behavior-count (2) vs validation.core.stub-ast-walk-behavior (std.counting.util.stub) — values differ validation.core.thm-lazy-effect-rank: validation.core.lazy_loader.export-effect-rank (True) vs validation.core.stub-lazy-effect-rank (std.counting.util.stub) — values differ validation.core.thm-lazy-entry-points: validation.core.lazy_loader.entry-point-count (3) vs validation.core.stub-lazy-entry-points (std.counting.util.stub) — values differ validation.core.thm-lazy-fault-tolerance: validation.core.lazy_loader.fault-tolerance-count (6) vs validation.core.stub-lazy-fault-tolerance (std.counting.util.stub) — values differ validation.core.thm-lazy-line-tracking: validation.core.lazy_loader.export-line-tracking (True) vs validation.core.stub-lazy-line-tracking (std.counting.util.stub) — values differ validation.core.thm-lazy-patch-paired: validation.core.lazy_loader.patch-paired (2) vs validation.core.stub-lazy-patch-paired (std.counting.util.stub) — values differ validation.core.thm-lazy-post-effects: validation.core.lazy_loader.export-post-directive-effects (True) vs validation.core.stub-lazy-post-effects (std.counting.util.stub) — values differ validation.core.thm-lazy-pre-effects: validation.core.lazy_loader.export-pre-directive-effects (True) vs validation.core.stub-lazy-pre-effects (std.counting.util.stub) — values differ [warning] Manually verified: c.count-exists, c.count-exists-base, c.count-exists-step, c.sum-values, c.sum-values-base, c.sum-values-step, c.util.export, c.util.export-base, c.util.stub, c.util.stub-base, core.ast_verifier.count-exists, core.atoms.count-exists, core.count-exists, core.default_system_settings.count-exists, core.demos.count-exists, core.domain.manual-control-implies-human, core.domain.set-implies-fast, core.engine.count-exists, core.engine_scopes.count-exists, core.grammar.count-exists, core.inspect_main.inspect_bench.stub, core.inspect_main.inspect_evaluate.stub, core.inspect_main.inspect_hologram.stub, core.inspect_main.inspect_lens.stub, core.inspect_main.inspect_search.stub, core.inspect_main.stub, core.integrity.count-exists, core.integrity.stub, core.lang.count-exists, core.lazy_loader.count-exists, core.loader.count-exists, core.pyproject.count-exists, core.quote_verifier.count-exists, core.quote_verifier.empty-has-no-content, core.quote_verifier.empty-verified-result, core.quote_verifier.no-transformations, core.quote_verifier.normalized-empty-verified, core.quote_verifier.normalized-has-content, core.quote_verifier.quote-has-content, core.quote_verifier.regular-is-not-dangerous, core.quote_verifier.regular-single-count, core.quote_verifier.regular-word-count, core.quote_verifier.remove-stopwords-enabled, core.quote_verifier.score-after-single-dangerous, core.quote_verifier.single-stopword-verified, core.quote_verifier.single-word-is-single, core.quote_verifier.single-word-is-stopword, core.quote_verifier.sum-values, core.readme.axiom-status, core.readme.count-exists, core.readme.evidence-computes, core.stub, core.system.count-exists, counting.count-exists, counting.count-exists-base, counting.count-exists-step, counting.sum-values, counting.sum-values-base, counting.sum-values-step, counting.util.export, counting.util.export-base, counting.util.stub, counting.util.stub-base, epistemics.collapse, epistemics.collapse-hypothesised, epistemics.collapse-refuted, epistemics.collapse-witnessed, epistemics.count-hallucinated, epistemics.count-hallucinated-base, epistemics.count-hallucinated-step, epistemics.exemplifiable, epistemics.hallucinated, epistemics.hypothesised, epistemics.joint-status, epistemics.joint-status-base, epistemics.joint-status-step, epistemics.joint-superposed, epistemics.joint-superposed-rewrite, epistemics.refuted, epistemics.russell-teapot, epistemics.superpose, epistemics.unknown, epistemics.witness, epistemics.witness-base, epistemics.witnessed, lang.count-exists, lists.bare-filter, lists.classify, lists.concat, lists.concat-base, lists.concat-step, lists.concat-two, lists.cons, lists.cons-base, lists.cons-prepend, lists.cons-prepend-rule, lists.cons-step, lists.filter, lists.filter-base, lists.filter-step, lists.fold, lists.fold-empty, lists.fold-step, lists.length, lists.length-base, lists.length-step, lists.map, lists.map-base, lists.map-step, lists.nth, lists.nth-base, lists.nth-step, lists.reverse, lists.reverse-acc, lists.reverse-acc-base, lists.reverse-acc-step, lists.reverse-rule, lists.unquote.unquote, lists.uq-concat, std.counting.count-exists, std.counting.count-exists-base, std.counting.count-exists-step, std.counting.sum-values, std.counting.sum-values-base, std.counting.sum-values-step, std.counting.util.export, std.counting.util.export-base, std.counting.util.stub, std.counting.util.stub-base, std.epistemics.collapse, std.epistemics.collapse-hypothesised, std.epistemics.collapse-refuted, std.epistemics.collapse-witnessed, std.epistemics.count-hallucinated, std.epistemics.count-hallucinated-base, std.epistemics.count-hallucinated-step, std.epistemics.exemplifiable, std.epistemics.hallucinated, std.epistemics.hypothesised, std.epistemics.joint-status, std.epistemics.joint-status-base, std.epistemics.joint-status-step, std.epistemics.joint-superposed, std.epistemics.joint-superposed-rewrite, std.epistemics.refuted, std.epistemics.russell-teapot, std.epistemics.superpose, std.epistemics.unknown, std.epistemics.witness, std.epistemics.witness-base, std.epistemics.witnessed, std.lists.bare-filter, std.lists.classify, std.lists.concat, std.lists.concat-base, std.lists.concat-step, std.lists.concat-two, std.lists.cons, std.lists.cons-base, std.lists.cons-prepend, std.lists.cons-prepend-rule, std.lists.cons-step, std.lists.filter, std.lists.filter-base, std.lists.filter-step, std.lists.fold, std.lists.fold-empty, std.lists.fold-step, std.lists.length, std.lists.length-base, std.lists.length-step, std.lists.map, std.lists.map-base, std.lists.map-step, std.lists.nth, std.lists.nth-base, std.lists.nth-step, std.lists.reverse, std.lists.reverse-acc, std.lists.reverse-acc-base, std.lists.reverse-acc-step, std.lists.reverse-rule, std.lists.unquote.unquote, std.lists.uq-concat, std.std.higher_order.apply, std.std.higher_order.apply-1, std.std.higher_order.apply-2, std.std.higher_order.apply-3, std.std.higher_order.compose, std.std.higher_order.compose-rule, std.std.higher_order.pipe, std.std.higher_order.pipe-base, std.std.higher_order.pipe-step, std.std.predicates.all, std.std.predicates.all-base, std.std.predicates.all-step, std.std.predicates.any-true, std.std.predicates.any-true-base, std.std.predicates.any-true-step, std.std.predicates.member, std.std.predicates.member-base, std.std.predicates.member-step, std.std.predicates.none, std.std.predicates.none-rule, std.util.export, std.util.export-base, std.util.stub, std.util.stub-base, unquote.unquote, util.export, util.export-base, util.stub, util.stub-base, validation.core.ast_verifier.count-exists, validation.core.atoms.count-exists, validation.core.count-exists, validation.core.default_system_settings.count-exists, validation.core.demos.count-exists, validation.core.domain.manual-control-implies-human, validation.core.domain.set-implies-fast, validation.core.engine.count-exists, validation.core.engine_scopes.count-exists, validation.core.grammar.count-exists, validation.core.inspect_main.inspect_bench.stub, validation.core.inspect_main.inspect_evaluate.stub, validation.core.inspect_main.inspect_hologram.stub, validation.core.inspect_main.inspect_lens.stub, validation.core.inspect_main.inspect_search.stub, validation.core.inspect_main.stub, validation.core.integrity.count-exists, validation.core.integrity.stub, validation.core.lang.count-exists, validation.core.lazy_loader.count-exists, validation.core.loader.count-exists, validation.core.pyproject.count-exists, validation.core.quote_verifier.count-exists, validation.core.quote_verifier.empty-has-no-content, validation.core.quote_verifier.empty-verified-result, validation.core.quote_verifier.no-transformations, validation.core.quote_verifier.normalized-empty-verified, validation.core.quote_verifier.normalized-has-content, validation.core.quote_verifier.quote-has-content, validation.core.quote_verifier.regular-is-not-dangerous, validation.core.quote_verifier.regular-single-count, validation.core.quote_verifier.regular-word-count, validation.core.quote_verifier.remove-stopwords-enabled, validation.core.quote_verifier.score-after-single-dangerous, validation.core.quote_verifier.single-stopword-verified, validation.core.quote_verifier.single-word-is-single, validation.core.quote_verifier.single-word-is-stopword, validation.core.quote_verifier.sum-values, validation.core.readme.axiom-status, validation.core.readme.count-exists, validation.core.readme.evidence-computes, validation.core.stub, validation.core.system.count-exists [warning] diff_contamination: validation.core.ast_verifier.kind-vs-dep-extraction, validation.core.atoms.wff-paired-vs-doc, validation.core.atoms.wff-paired-vs-impl, validation.core.default_system_settings.arith-decl-vs-category, validation.core.default_system_settings.arith-decl-vs-docs, validation.core.default_system_settings.arith-docs-vs-category, validation.core.default_system_settings.arith-docs-vs-impl, validation.core.default_system_settings.arith-impl-vs-category, validation.core.default_system_settings.comp-decl-vs-category, validation.core.default_system_settings.comp-decl-vs-docs, validation.core.default_system_settings.comp-docs-vs-category, validation.core.default_system_settings.comp-docs-vs-impl, validation.core.default_system_settings.comp-impl-vs-category, validation.core.default_system_settings.decl-vs-docs-total, validation.core.default_system_settings.docs-vs-impl-total, validation.core.default_system_settings.logic-decl-vs-category, validation.core.default_system_settings.logic-decl-vs-docs, validation.core.default_system_settings.logic-docs-vs-category, validation.core.default_system_settings.logic-docs-vs-impl, validation.core.default_system_settings.logic-impl-vs-category, validation.core.default_system_settings.paired-vs-decl-total, validation.core.default_system_settings.paired-vs-docs-total, validation.core.default_system_settings.paired-vs-impl-total, validation.core.default_system_settings.paired-vs-total, validation.core.default_system_settings.total-decl-vs-total, validation.core.default_system_settings.total-docs-vs-total, validation.core.default_system_settings.total-impl-vs-total, validation.core.demo-count, validation.core.demos.apples-splats-all-gt-doc-vs-impl, validation.core.demos.apples-splats-count-gt-doc-vs-impl, validation.core.demos.apples-splats-doc-vs-impl, validation.core.demos.apples-splats-splat-pair, validation.core.demos.apples-splats-sum-all-doc-vs-impl, validation.core.demos.self-healing-doc-vs-impl, validation.core.demos.spec-divergence-doc-vs-impl, validation.core.demos.spec-expiry-doc-vs-impl, validation.core.demos.spec-md5-doc-vs-impl, validation.core.demos.spec-session-doc-vs-impl, validation.core.engine.collapsed-error-layers-consistent, validation.core.engine.consistency-layers-coverage, validation.core.engine.defaults-coverage, validation.core.engine.dependents-paired-vs-doc, validation.core.engine.dependents-paired-vs-impl, validation.core.engine.doc-mgmt-paired-vs-doc, validation.core.engine.doc-mgmt-paired-vs-impl, validation.core.engine.eval-diff-contamination-paired-vs-doc, validation.core.engine.eval-diff-contamination-paired-vs-impl, validation.core.engine.unknown-vs-warnings, validation.core.engine.warning-layers-consistent, validation.core.forward-decl, validation.core.lang.directive-vs-keyword-count, validation.core.lang.match-splat-pair, validation.core.lang.substitute-splat-pair, validation.core.lazy_loader.phase-impl-vs-paired, validation.core.lazy_loader.result-doc-vs-impl, validation.core.loader.consistency-facts-vs-axioms, validation.core.loader.effect-doc-vs-impl, validation.core.loader.effect-doc-vs-total, validation.core.loader.effect-impl-vs-total, validation.core.loader.effect-paired-vs-doc, validation.core.loader.effect-paired-vs-impl, validation.core.loader.effect-paired-vs-total, validation.core.misc-evidence-first-class, validation.core.mod-lazy-result-errors, validation.core.mod-lazy-result-loaded, validation.core.mod-lazy-result-ok, validation.core.mod-lazy-result-partial, validation.core.mod-lazy-result-skipped, validation.core.quote_verifier.axiom-paired-vs-doc, validation.core.quote_verifier.axiom-paired-vs-impl, validation.core.quote_verifier.flag-paired-vs-config, validation.core.quote_verifier.flag-paired-vs-doc, validation.core.quote_verifier.flag-paired-vs-init, validation.core.quote_verifier.level-paired-vs-doc, validation.core.quote_verifier.level-paired-vs-enum, validation.core.quote_verifier.level-paired-vs-usage, validation.core.quote_verifier.match-paired-vs-doc, validation.core.quote_verifier.match-paired-vs-enum, validation.core.quote_verifier.match-paired-vs-usage, validation.core.quote_verifier.medium-vs-default-threshold, validation.core.quote_verifier.paired-vs-config, validation.core.quote_verifier.paired-vs-usage, validation.core.quote_verifier.penalty-config-vs-usage, validation.core.quote_verifier.result-paired-vs-api, validation.core.quote_verifier.result-paired-vs-doc, validation.core.quote_verifier.result-paired-vs-impl, validation.core.readme-vs-ast-kinds, validation.core.readme-vs-directive-node, validation.core.readme-vs-lazy-phases, validation.core.readme-vs-loader-effect-count, validation.core.readme-vs-qv-hypotheticals, validation.core.readme.readme-ast-fields-vs-stated, validation.core.readme.readme-classical-axiom-status-check, validation.core.readme.readme-demo-listing-vs-count, validation.core.readme.readme-demo-paired-vs-listing, validation.core.readme.readme-diff-scan-paired-vs-computable, validation.core.readme.readme-diff-scan-paired-vs-scan, validation.core.readme.readme-directive-listing-vs-stated, validation.core.readme.readme-issue-types-vs-stated, validation.core.readme.readme-lazy-phases-vs-stated, validation.core.readme.readme-manual-categories-vs-stated, validation.core.readme.readme-special-forms-vs-stated, validation.core.readme.readme-warning-types-vs-stated, validation.core.selective-import-impl-vs-demo, validation.core.special-forms-count, validation.core.splat-readme-vs-demo, validation.core.splat-readme-vs-impl, validation.core.sys-retract, validation.core.sys-serialization, validation.core.thm-import-circular, validation.core.thm-readme-issue-types, validation.core.thm-readme-warning-types [warning] confounded_evidence: validation.core.ast_verifier.api-paired-vs-count, validation.core.ast_verifier.doc-carries-vs-fields, validation.core.ast_verifier.walk-paired-vs-impl, validation.core.atoms.core-types-coverage, validation.core.atoms.evidence-defaults-grounding, validation.core.atoms.evidence-grounded-label, validation.core.atoms.evidence-interior-coverage, validation.core.atoms.evidence-mechanism-coverage, validation.core.atoms.evidence-unverified-label, validation.core.atoms.module-purity-vs-immutability, validation.core.atoms.term-display-coverage, validation.core.atoms.wff-paired-vs-doc, validation.core.atoms.wff-paired-vs-impl, validation.core.default_system_settings.paired-vs-decl-total, validation.core.default_system_settings.paired-vs-docs-total, validation.core.default_system_settings.paired-vs-impl-total, validation.core.demos.apples-features-coverage, validation.core.demos.apples-splats-paired-vs-doc, validation.core.demos.biomarkers-features-coverage, validation.core.demos.code-check-features-coverage, validation.core.demos.deferred-features-coverage, validation.core.demos.doc-validation-features-coverage, validation.core.demos.extensibility-features-coverage, validation.core.demos.import-patterns-coverage, validation.core.demos.intentional-paired-vs-doc, validation.core.demos.module-axioms-coverage, validation.core.demos.revenue-features-coverage, validation.core.demos.self-healing-features-coverage, validation.core.demos.self-healing-paired-vs-doc, validation.core.demos.self-healing-recovery-coverage, validation.core.demos.spec-divergence-paired-vs-doc, validation.core.demos.spec-mismatch-vs-divergence-doc, validation.core.demos.spec-validation-features-coverage, validation.core.ee-consistency-code, validation.core.ee-consistency-subsection, validation.core.ee-effects-code-example, validation.core.ee-effects-side-effects, validation.core.ee-effects-subsection, validation.core.ee-environments-subsection, validation.core.ee-execution-engine, validation.core.ee-grounding-subsection, validation.core.ee-human-in-loop, validation.core.ee-intersection-lookup, validation.core.ee-large-collections, validation.core.ee-operators-subsection, validation.core.ee-qv-subsection, validation.core.engine.collapsed-error-layers-consistent, validation.core.engine.consistency-layers-coverage, validation.core.engine.consistency-outcomes-vs-report-channels, validation.core.engine.defaults-coverage, validation.core.engine.dependents-paired-vs-doc, validation.core.engine.dependents-paired-vs-impl, validation.core.engine.derivation-mechanism-coverage, validation.core.engine.diff-detections-vs-kinds, validation.core.engine.diff-mechanism-coverage, validation.core.engine.directive-loader-coverage, validation.core.engine.doc-mgmt-paired-vs-doc, validation.core.engine.doc-mgmt-paired-vs-impl, validation.core.engine.error-layers-consistent, validation.core.engine.eval-diff-contamination-paired-vs-doc, validation.core.engine.eval-diff-contamination-paired-vs-impl, validation.core.engine.eval-mechanism-coverage, validation.core.engine.fact-mechanism-coverage, validation.core.engine.hallucinated-vs-issues, validation.core.engine.issue-types-coverage, validation.core.engine.scope-family-handlers-vs-forms, validation.core.engine.scope-family-helpers-vs-expected, validation.core.engine.warning-layers-consistent, validation.core.grammar.atom-conversion-coverage, validation.core.grammar.reader-doc-coverage, validation.core.lang.axiom-evidence-coverage, validation.core.lang.defterm-forms-coverage, validation.core.lang.derive-modes-coverage, validation.core.lang.keyword-args-coverage, validation.core.lang.special-forms-coverage, validation.core.lazy_loader.cascade-vs-skipped, validation.core.lazy_loader.cross-module-vs-tracking, validation.core.lazy_loader.method-doc-vs-impl, validation.core.lazy_loader.parse-error-vs-result, validation.core.lazy_loader.phase-doc-vs-paired, validation.core.lazy_loader.phase-impl-vs-paired, validation.core.lazy_loader.result-field-paired-vs-doc, validation.core.lazy_loader.root-cause-vs-trees, validation.core.loader.all-axioms-backed-coverage, validation.core.loader.consistency-facts-vs-axioms, validation.core.loader.consistency-paired-vs-facts, validation.core.loader.context-arch-coverage, validation.core.loader.effect-behavior-coverage, validation.core.loader.effect-impl-vs-total, validation.core.loader.effect-paired-vs-doc, validation.core.loader.effect-paired-vs-impl, validation.core.loader.effect-paired-vs-total, validation.core.loader.entry-points-coverage, validation.core.loader.loader-internals-coverage, validation.core.loader.namespacing-stages-vs-impl, validation.core.loader.pltg-error-coverage, validation.core.loader.safety-mechanism-vs-axiom, validation.core.misc-apples-topic, validation.core.misc-ixl-matrix, validation.core.misc-manual-reusables-avoid-defterms, validation.core.misc-ouroboros, validation.core.misc-pltg-format, validation.core.misc-tagline, validation.core.misc-title, validation.core.mod-ast-section, validation.core.mod-lazy-section, validation.core.pyproject.shipping-vs-breakage, validation.core.quote_verifier.axiom-paired-vs-doc, validation.core.quote_verifier.axiom-paired-vs-impl, validation.core.quote_verifier.flag-paired-vs-config, validation.core.quote_verifier.flag-paired-vs-doc, validation.core.quote_verifier.flag-paired-vs-init, validation.core.quote_verifier.level-paired-vs-doc, validation.core.quote_verifier.level-paired-vs-enum, validation.core.quote_verifier.level-paired-vs-usage, validation.core.quote_verifier.match-paired-vs-doc, validation.core.quote_verifier.match-paired-vs-enum, validation.core.quote_verifier.match-paired-vs-usage, validation.core.quote_verifier.ordering-invariants-vs-pairs, validation.core.quote_verifier.original-line-coverage, validation.core.quote_verifier.paired-vs-config, validation.core.quote_verifier.paired-vs-usage, validation.core.quote_verifier.result-paired-vs-api, validation.core.quote_verifier.result-paired-vs-doc, validation.core.quote_verifier.result-paired-vs-impl, validation.core.qv-medium-threshold, validation.core.qv-threshold-count, validation.core.readme.readme-classical-axiom-status-check, validation.core.readme.readme-demo-paired-vs-listing, validation.core.readme.readme-diff-scan-paired-vs-computable, validation.core.readme.readme-diff-scan-paired-vs-scan, validation.core.readme.readme-directive-paired-vs-listing, validation.core.readme.readme-evidence-inversion-check, validation.core.readme.readme-extension-unlocks-check, validation.core.readme.readme-issue-types-vs-stated, validation.core.readme.readme-math-claims-count-check, validation.core.readme.readme-plans-landed-check, validation.core.readme.readme-rationale-claims-count-check, validation.core.readme.readme-warning-types-vs-stated, validation.core.sys-core-interface, validation.core.sys-default-env, validation.core.sys-section, validation.core.sys-state, validation.core.system.constructor-params-coverage, validation.core.system.delegation-coverage, validation.core.system.effects-coverage, validation.core.system.properties-coverage, validation.core.system.provenance-coverage, validation.core.system.serialization-doc-vs-paired, validation.core.system.serialization-impl-vs-paired, validation.core.thm-axiom-var, validation.core.thm-fabrication

We hope this was an interesting deep dive into how Parseltongue works. Please don't hesitate to write us if you have any questions — or would like to improve it.

[1]core.engine.hallucinated-is-error = true
[2]core.engine.unknown-is-warning = true
[3]core.readme.parseltongue-makes-axioms-exemplifiable = true
[4]core.engine.isomorphism-hallucinations-errors-unknowns-warnings = true
[5]core.thm-epistemics-cross-check = true = true
[6]core.engine.consistency-layer-1 = Evidence grounding
[7]core.engine.consistency-layer-2 = Fabrication propagation
[8]core.engine.bound-evidence-attachable = true
[9]core.engine.bound-derive-inherits = true
[10]core.engine.bound-diff-no-evidence = true
[11]derivation-theorem-count = 3
[12]core.engine.derivation-mechanism-coverage = 5 = 5
[13]core.engine.consistency-layer-3 = Diff agreement
[14]core.engine.dependents-scans-facts = true
[15]core.engine.dependents-scans-terms = true
[16]core.engine.dependents-scans-axioms = true
[17]core.engine.dependents-scans-theorems = true
[18]core.engine.dependents-scans-diffs = true
[19]core.engine.dependents-checks-derivation-list = true
[20]core.engine.dependents-is-transitive = true
[21]dependents-scan-count = 5
[22]core.engine.dependents-paired-vs-doc = 5 = 5
[23]core.engine.dependents-paired-vs-impl = 5 = 5
[24]core.engine.diff-evaluated-structurally = true
[25]core.engine.diff-mechanism-doc-count = 3
[26]core.engine.diff-mechanism-coverage = 3 = 3
[27]core.engine.consistency-layer-count = 3
[28]core.engine.consistency-layers-coverage = 3 = 3
[29]core.engine.consistency-states-total = 8
[30]core.engine.causes-error-count = 5
[31]core.engine.causes-warning-count = 3
[32]core.engine.manual-causes-warning = validation.core.engine.consistency-warning
[33]core.engine.contamination-all-are-diff-refs = true
[34]core.engine.contamination-is-empty = false
[35]core.engine.contamination-causes-warning = validation.core.engine.consistency-warning
[36]witness-count = 5
[37]core.engine.witness-evidence-hallucinated = std.epistemics.hallucinated
[38]core.engine.witness-no-evidence-hallucinated = std.epistemics.hallucinated
[39]core.engine.witness-fabrication-does-not-hold = std.epistemics.hallucinated
[40]core.engine.witness-fabrication-ungrounded-source = std.epistemics.hallucinated
[41]core.engine.witness-evidence-unknown = std.epistemics.unknown
[42]core.readme.evidence-is-departure = true
[43]core.readme.parseltongue-axiom-status = std.epistemics.exemplifiable
[44]core.thm-consistency-states-total = 8 = 8
[45]core.thm-engine-error-cross-check = 5 = 5
[46]core.thm-engine-warning-cross-check = 3 = 3
[47]core.thm-fabrication = true = true
[48]core.thm-fact-cites-quote = true = true
[49]core.thm-diffs-detect = true = true
[50]cross-module-count = 7
[51]core.engine.doc-mgmt-paired-count = 3
[52]core.engine.doc-mgmt-paired-vs-doc = 3 = 3
[53]core.engine.doc-mgmt-paired-vs-impl = 3 = 3
[54]engine-fact-count = 8
[55]core.engine.derive-doc = Derive a theorem from existing axioms/terms.
[56]core.engine.consistency-doc = Check full consistency state of the system.
[57]core.engine.axiom-requires-free-vars = true
Diagnostics79 errors · 520 warnings · 435 info
error 79 ▸
warning 520 ▸
info 435 ▸
System 2343 facts 330 terms 268 axioms 1439 theorems 1034 issues

?
Developed by sci2sci
Need to convert data and documents to knowledge safely at enterprise scale?
Try VectorCat!