Jump to content

The Principia Machina/Diagrams/01 Five-layer map: Difference between revisions

From The Invariance Itself
m 1 revision imported: TPM bootstrap under PMP-TPM 0.2.0
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16
Line 6: Line 6:
* STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output).
* STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output).


The source below is the text equivalent of the diagram. Rendering requires a DOT extension; without one the source is shown as text, which 4.1 accepts.
The diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands.
 
<graphviz>
digraph five_layer_map {
  rankdir=TB;
  node [shape=box, fontname="Helvetica"];
  TPK [label="Layer 1\nThe Prime Kernel (TPK)\nlaws, assumptions, hard boundaries, CONSTRAINT entries"];
  TrM [label="Layer 2\nThe Translation Manifold (TrM)\nisomorphisms onto an ENVIRONMENT; DOF, DOMAIN, FALSIFIER, BEARS"];
  RR  [label="Layer 3\nThe Research Register (RR)\n&lt;prefix&gt;-n records in VOLUMEs"];
  CP  [label="Layer 4\nCongruence Protocol\nCAC: kernel tests T1-T6, isomorphism checks, SR1-SR9"];
  PR  [label="Layer 5\nPublic Recorder\nPLATFORM (MediaWiki) + TPX (extension) + PRB (agent client)"];
  TMS [label="The Measure Set (TMS)\nstrike parameters, regime tests, local yardsticks", style=dashed];
  TPK -&gt; TrM -&gt; RR;
  TMS -&gt; RR [style=dashed, label="ranks"];
  CP -&gt; TPK [label="audits", style=dotted];
  CP -&gt; TrM [label="audits", style=dotted];
  CP -&gt; RR  [label="audits", style=dotted];
  CP -&gt; TMS [label="SR9 at CAC", style=dotted];
  PR -&gt; TPK [label="hosts", color=gray];
  PR -&gt; TrM [label="hosts", color=gray];
  PR -&gt; RR  [label="hosts", color=gray];
  PR -&gt; CP  [label="executes MECHANICAL checks (TPX)", color=gray];
  subgraph cluster_tfk { label="TFK = TPK + TrM identification fields + TMS (immutable per container)"; style=dashed; TPK; TrM; TMS; }
}
</graphviz>


<pre>
<pre>
Line 31: Line 55:
}
}
</pre>
</pre>

Revision as of 13:01, 16 September 2026

Structural diagram 1 of 12. Part of the TPM hub.

  • KIND: structure
  • LANGUAGE: DOT
  • GENERATED FROM: static, PMP-TPM vocabulary
  • STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output).

The diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands.

Diagrams error (with dot command): /bin/sh: 1: /home/u2504-hc9fzwzjsgj6/bin/dot: not found

digraph five_layer_map {
  rankdir=TB;
  node [shape=box, fontname="Helvetica"];
  TPK [label="Layer 1\nThe Prime Kernel (TPK)\nlaws, assumptions, hard boundaries, CONSTRAINT entries"];
  TrM [label="Layer 2\nThe Translation Manifold (TrM)\nisomorphisms onto an ENVIRONMENT; DOF, DOMAIN, FALSIFIER, BEARS"];
  RR  [label="Layer 3\nThe Research Register (RR)\n<prefix>-n records in VOLUMEs"];
  CP  [label="Layer 4\nCongruence Protocol\nCAC: kernel tests T1-T6, isomorphism checks, SR1-SR9"];
  PR  [label="Layer 5\nPublic Recorder\nPLATFORM (MediaWiki) + TPX (extension) + PRB (agent client)"];
  TMS [label="The Measure Set (TMS)\nstrike parameters, regime tests, local yardsticks", style=dashed];
  TPK -> TrM -> RR;
  TMS -> RR [style=dashed, label="ranks"];
  CP -> TPK [label="audits", style=dotted];
  CP -> TrM [label="audits", style=dotted];
  CP -> RR  [label="audits", style=dotted];
  CP -> TMS [label="SR9 at CAC", style=dotted];
  PR -> TPK [label="hosts", color=gray];
  PR -> TrM [label="hosts", color=gray];
  PR -> RR  [label="hosts", color=gray];
  PR -> CP  [label="executes MECHANICAL checks (TPX)", color=gray];
  subgraph cluster_tfk { label="TFK = TPK + TrM identification fields + TMS (immutable per container)"; style=dashed; TPK; TrM; TMS; }
}