This page computes the proof that every proof notebook produces the same result for every viewer. Start by clicking on the main result true = true [1] to open it in the side panel, then use Focus in Graph to see the knowledge graph, or Focus in Layers to see the computation chain. Click Taints to see inconsistencies we're currently aware of — mostly documentation that hasn't caught up with the code yet.
Every proof on this marketing page is a parseltongue notebook. Every notebook executes a deterministic computation — same axioms, same rewrites, same values. No randomness, no external state, no server-side rendering that could vary between viewers. If you are reading this page, the computation reproduced.
The "=" is literal: the values you see were computed by the same engine that computed them for everyone else. This is not a screenshot of a result that once passed. It is the result, running for each assembly. When we snapshot cortex version and its source data — it's guaranteed to reproduce.
(import (quote .src.reproducible rp))
rp.is-reproducible
We cite 4 [2] proof notebooks by quoting their titles from the actual files:
Each page contains executable parseltongue blocks[7] that import parseltongue modules[8].
Parseltongue evaluation is pure. The engine takes a set of directives — facts, axioms, derives, diffs — and evaluates them via structural rewriting. There is no random seed, no wall-clock dependency, no network call, no mutable global state. The same .pgmd file with the same .pltg modules produces the same values on every machine, every time.
rp.is-reproducible
Existence (4 [2] pages) ∧ determinism → reproducible: true [9][1].
The proof of reproducibility is the act of rendering this page. If the values resolved, it reproduced.
| Check | Result | Rule |
|---|---|---|
| src.reproducible.reproducible-grounded | HOLDS | src.reproducible.is-reproducible (true) must equal src.reproducible.is-reproducible (true) |
| # | Name | Kind | Value | Grounding |
|---|---|---|---|---|
| 1 | src.reproducible.reproducible-grounded | diff | true = true | |
| 2 | src.reproducible.proof-page-count | calc | 4 | derived: (std.counting.count-exists src.reproducible.page-zero-silent src.reproducible.page-truth-grounded src.reproducible.page-sub-minute src.reproducible.page-unbounded) |
| 3 | src.reproducible.page-zero-silent | fact | true | the zero-silent proof notebook exists: "Zero Silent Inconsistencies" (zero-silent, verified) |
| 4 | src.reproducible.page-truth-grounded | fact | true | the truth-grounded proof notebook exists: "One Hundred Percent Truth-Grounded" (truth-grounded, verified) |
| 5 | src.reproducible.page-sub-minute | fact | true | the sub-minute proof notebook exists: "Less Than One Minute" (sub-minute, verified) |
| 6 | src.reproducible.page-unbounded | fact | true | the unbounded proof notebook exists: "Infinite Nodes and Connections" (unbounded, verified) |
| 7 | src.reproducible.pages-use-pltg-blocks | fact | true | proof pages contain pltg blocks — executable parseltongue: ";; pltg Load" (zero-silent, verified) |
| 8 | src.reproducible.pages-import-core | fact | true | proof pages import parseltongue modules — same system for every viewer: "(import (quote .src.zero_silent zs))" (zero-silent, verified) |
| 9 | src.reproducible.is-reproducible | theorem | true | derived: (src.reproducible.reproducible src.reproducible.proof-page-count src.reproducible.engine-deterministic) |
| Group | Kind | Node | Description |
|---|---|---|---|
| Parseltongue (OSS) | raw | core/validation/core.pltg, std/counting.pltg (imported by every proof) | |
| Parseltongue (OSS) | raw | core/std/epistemics.pltg | |
| Parseltongue (OSS) | raw | core/demos/data_governance_pltg: generate.py, checker.pltg, resources/governance_policy.md | |
| Parseltongue (OSS) | raw | core/inspect/perspectives/visualisation/taints.py | |
| Parseltongue (OSS) | raw | core/quote_verifier/index.py | |
| Parseltongue (OSS) | raw | core/README.md | |
| Website | raw | vectorcat-website src/components/react/IntegrityCortexCards.jsx (the IMPACT tiles) | |
| Proof notebooks | raw | zero-silent.pgmd, truth-grounded.pgmd, sub-minute.pgmd, unbounded.pgmd, reproducible.pgmd | |
| Proof notebooks | raw | resources/integrity-cortex.md | |
| Proof modules | facts | src/zero_silent.pltg | "0 silent inconsistencies" by construction: five naive consistency criteria map to the epistemic lattice, which the engine proves maps to errors and warnings, which have detectors; the count of silent ones is 0. Closes with diff zero-silent-grounded (the tile's 0 against silent-inconsistency-count). |
| Proof modules | facts | src/truth_grounded.pltg | "100% truth-grounded" by construction: a baseline of 100 (every item has a grounding state) times the loss factor of each of five pipeline stages. Closes with diff truth-grounded-proved (the tile's 100 against truth-grounded-coverage). |
| Proof modules | facts | src/sub_minute.pltg | "<1 min instead of weeks" by construction: the demo checker's compliance derives, counted as a document, give the manual scale in weeks; the per-edge cost of the taint BFS gives the parseltongue time. Closes with diffs weeks-grounded and sub-minute-grounded. |
| Proof modules | facts | src/unbounded.pltg | "∞ nodes and connections" by induction on system size (zero/succ): a zero-node system is valid, and validity at N gives validity at succ(N) with no guard on N. Closes with diff unbounded-grounded (the tile's ∞ against node-limit). |
| Proof modules | facts | src/reproducible.pltg | "Reproducible =" by existence: the proof pages exist and each executes a deterministic parseltongue computation. Closes with diff reproducible-grounded. |
| Proof pages | final | proofs/zero-silent.html | |
| Proof pages | final | proofs/truth-grounded.html | |
| Proof pages | final | proofs/sub-minute.html | |
| Proof pages | final | proofs/unbounded.html | |
| Proof pages | final | proofs/reproducible.html | |
| Proof pages | final | proofs/integrity-cortex.html (every proof, imported) |
| From | To | How |
|---|---|---|
| core/validation/core.pltg, std/counting.pltg (imported by every proof) | src/zero_silent.pltg | import |
| core/validation/core.pltg, std/counting.pltg (imported by every proof) | src/truth_grounded.pltg | import |
| core/validation/core.pltg, std/counting.pltg (imported by every proof) | src/sub_minute.pltg | import |
| core/validation/core.pltg, std/counting.pltg (imported by every proof) | src/unbounded.pltg | import |
| core/validation/core.pltg, std/counting.pltg (imported by every proof) | src/reproducible.pltg | import |
| core/std/epistemics.pltg | src/zero_silent.pltg | import |
| core/demos/data_governance_pltg: generate.py, checker.pltg, resources/governance_policy.md | src/sub_minute.pltg | load-document |
| core/inspect/perspectives/visualisation/taints.py | src/sub_minute.pltg | load-document |
| core/quote_verifier/index.py | src/truth_grounded.pltg | load-document |
| core/README.md | src/unbounded.pltg | load-document |
| zero-silent.pgmd, truth-grounded.pgmd, sub-minute.pgmd, unbounded.pgmd, reproducible.pgmd | src/reproducible.pltg | load-document (all five) |
| zero-silent.pgmd, truth-grounded.pgmd, sub-minute.pgmd, unbounded.pgmd, reproducible.pgmd | src/zero_silent.pltg | load-document (its own notebook) |
| zero-silent.pgmd, truth-grounded.pgmd, sub-minute.pgmd, unbounded.pgmd, reproducible.pgmd | src/truth_grounded.pltg | load-document (its own notebook) |
| zero-silent.pgmd, truth-grounded.pgmd, sub-minute.pgmd, unbounded.pgmd, reproducible.pgmd | src/unbounded.pltg | load-document (its own notebook) |
| vectorcat-website src/components/react/IntegrityCortexCards.jsx (the IMPACT tiles) | src/zero_silent.pltg | quotes the 0 tile |
| vectorcat-website src/components/react/IntegrityCortexCards.jsx (the IMPACT tiles) | src/truth_grounded.pltg | quotes the 100% tile |
| vectorcat-website src/components/react/IntegrityCortexCards.jsx (the IMPACT tiles) | src/sub_minute.pltg | quotes the <1 min tile |
| vectorcat-website src/components/react/IntegrityCortexCards.jsx (the IMPACT tiles) | src/unbounded.pltg | quotes the ∞ tile |
| vectorcat-website src/components/react/IntegrityCortexCards.jsx (the IMPACT tiles) | src/reproducible.pltg | quotes the A=A tile |
| src/zero_silent.pltg | proofs/zero-silent.html | diff zero-silent-grounded |
| src/truth_grounded.pltg | proofs/truth-grounded.html | diff truth-grounded-proved |
| src/sub_minute.pltg | proofs/sub-minute.html | diffs weeks-grounded, sub-minute-grounded |
| src/unbounded.pltg | proofs/unbounded.html | diff unbounded-grounded |
| src/reproducible.pltg | proofs/reproducible.html | diff reproducible-grounded |
| src/zero_silent.pltg | proofs/integrity-cortex.html (every proof, imported) | import |
| src/truth_grounded.pltg | proofs/integrity-cortex.html (every proof, imported) | import |
| src/sub_minute.pltg | proofs/integrity-cortex.html (every proof, imported) | import |
| src/unbounded.pltg | proofs/integrity-cortex.html (every proof, imported) | import |
| src/reproducible.pltg | proofs/integrity-cortex.html (every proof, imported) | import |
| resources/integrity-cortex.md | proofs/integrity-cortex.html (every proof, imported) | load-document |