The Invariance Itself - User contributions [en]

The Principia Machina/Diagrams/12 Index of record

2026-09-16T13:01:14Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 12 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: structure
* LANGUAGE: DOT
* GENERATED FROM: live index
* 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.

<graphviz>
digraph index_of_record {
rankdir=TB;
node [shape=box, fontname="Helvetica"];
HUB [label="CENTRAL HUB\npublishes D(IS)"];
GEN [label="Entry: general reader"];
OPR [label="Entry: human operator"];
AGT [label="Entry: AI agent"];
HUB -> GEN; HUB -> OPR; HUB -> AGT;
DECL [label="DECLARATIONS page (global)\ngenesis line; certificates; STATE; admissions; closeouts\nH-DECL append-only", shape=note];
BC [label="BUILD CHAIN page (global)\none line per build, names its declaration\nTPX append-only", shape=note];
HUB -> DECL; HUB -> BC;
LIB1 [label="LIBRARY page\ncontainer <uuid>"];
MAN1 [label="MANIFEST page\ntitle + content hash per page\nBADGE written last"];
HUB -> LIB1 -> MAN1;
TFK1 [label="TFK pages"]; REG1 [label="Register volumes"]; SP1 [label="Spine"]; CERT1 [label="CAC certificate"];
MAN1 -> TFK1; MAN1 -> REG1; MAN1 -> SP1; MAN1 -> CERT1;
IA [label="Instruction artifacts\nversion, REQUIRES, STATUS\n(class over which D(IS) is computed)"];
DOC [label="Documentation pages\nwith version described"];
HUB -> IA; HUB -> DOC;
BC -> DECL [label="verified against", style=dashed];
MAN1 -> BC [label="chain line", style=dashed];
}
</graphviz>

<pre>
digraph index_of_record {
rankdir=TB;
node [shape=box, fontname="Helvetica"];
HUB [label="CENTRAL HUB\npublishes D(IS)"];
GEN [label="Entry: general reader"];
OPR [label="Entry: human operator"];
AGT [label="Entry: AI agent"];
HUB -> GEN; HUB -> OPR; HUB -> AGT;
DECL [label="DECLARATIONS page (global)\ngenesis line; certificates; STATE; admissions; closeouts\nH-DECL append-only", shape=note];
BC [label="BUILD CHAIN page (global)\none line per build, names its declaration\nTPX append-only", shape=note];
HUB -> DECL; HUB -> BC;
LIB1 [label="LIBRARY page\ncontainer <uuid>"];
MAN1 [label="MANIFEST page\ntitle + content hash per page\nBADGE written last"];
HUB -> LIB1 -> MAN1;
TFK1 [label="TFK pages"]; REG1 [label="Register volumes"]; SP1 [label="Spine"]; CERT1 [label="CAC certificate"];
MAN1 -> TFK1; MAN1 -> REG1; MAN1 -> SP1; MAN1 -> CERT1;
IA [label="Instruction artifacts\nversion, REQUIRES, STATUS\n(class over which D(IS) is computed)"];
DOC [label="Documentation pages\nwith version described"];
HUB -> IA; HUB -> DOC;
BC -> DECL [label="verified against", style=dashed];
MAN1 -> BC [label="chain line", style=dashed];
}
</pre>

The Principia Machina/Diagrams/11 Work-block lifecycle

2026-09-16T13:01:14Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 11 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid state
* GENERATED FROM: per-container schedule log
* 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.

{{#mermaid:stateDiagram-v2
[*] --> COMMISSIONED : lead commissions block; ETA 1-2 days
COMMISSIONED --> OWNED_BY : assigned to wiki account; ASSIGNMENT row; leased range
OWNED_BY --> OWNED_BY : draft persists in local instance at each turn boundary
OWNED_BY --> LANDED : return vetted under IV; landed by TPX; range reclaimed
OWNED_BY --> EXPIRED : server time passes ETA (definitional)
COMMISSIONED --> EXPIRED : server time passes ETA
EXPIRED --> COMMISSIONED : recommission; new BLOCK ID with back-pointer; partials tagged UNCOMPUTED
LANDED --> CORROBORATED : refused late result matches landed result (D13 i)
LANDED --> [*]
CORROBORATED --> [*]
}}

<pre>
stateDiagram-v2
[*] --> COMMISSIONED : lead commissions block; ETA 1-2 days
COMMISSIONED --> OWNED_BY : assigned to wiki account; ASSIGNMENT row; leased range
OWNED_BY --> OWNED_BY : draft persists in local instance at each turn boundary
OWNED_BY --> LANDED : return vetted under IV; landed by TPX; range reclaimed
OWNED_BY --> EXPIRED : server time passes ETA (definitional)
COMMISSIONED --> EXPIRED : server time passes ETA
EXPIRED --> COMMISSIONED : recommission; new BLOCK ID with back-pointer; partials tagged UNCOMPUTED
LANDED --> CORROBORATED : refused late result matches landed result (D13 i)
LANDED --> [*]
CORROBORATED --> [*]
</pre>

The Principia Machina/Diagrams/10 Landing and post-refusal

2026-09-16T13:01:14Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 10 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid flow
* GENERATED FROM: per-container control panel
* 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.

{{#mermaid:flowchart TD
A[Result submitted with BLOCK ID] --> B{TPX: BLOCK ID valid and not EXPIRED? grant and D(IS) ok?}
B -- yes --> C[Land: register updated; work order closed; manifest and badge]
B -- no --> D[Refuse]
D --> E[Step 1: read control panel; apply to lead. Wiki read advisory; lead authoritative]
E --> F{Block status}
F -- neither reassigned nor landed --> G[Step 2: lead issues new BLOCK ID with back-pointer; result lands under it]
F -- reassigned --> H[Step 3: enter collaboration queue; wait for land or expiry; re-enter step 1]
F -- landed --> I[Step 4: compare with landed result]
I -- match --> J[CORROBORATION RECORD: names reproduced record, agent account, inherited tag, reported difference; block CORROBORATED]
I -- mismatch --> K[Request audit: new work block ending in a decision item under MRG]
}}

<pre>
flowchart TD
A[Result submitted with BLOCK ID] --> B{TPX: BLOCK ID valid and not EXPIRED? grant and D(IS) ok?}
B -- yes --> C[Land: register updated; work order closed; manifest and badge]
B -- no --> D[Refuse]
D --> E[Step 1: read control panel; apply to lead. Wiki read advisory; lead authoritative]
E --> F{Block status}
F -- neither reassigned nor landed --> G[Step 2: lead issues new BLOCK ID with back-pointer; result lands under it]
F -- reassigned --> H[Step 3: enter collaboration queue; wait for land or expiry; re-enter step 1]
F -- landed --> I[Step 4: compare with landed result]
I -- match --> J[CORROBORATION RECORD: names reproduced record, agent account, inherited tag, reported difference; block CORROBORATED]
I -- mismatch --> K[Request audit: new work block ending in a decision item under MRG]
</pre>

The Principia Machina/Diagrams/09 Lock and petition queue

2026-09-16T13:01:13Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 9 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid sequence
* GENERATED FROM: per-container lock page state
* 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.

{{#mermaid:sequenceDiagram
participant L as AI-LEAD (holder)
participant W as Lock page (wiki)
participant X as TPX
participant C as AI-CO (waiter)
C->>W: append PETITION row on collaboration page (ACCOUNT, CAPABILITY with D(IS), STATUS WAITING)
L->>W: acquire by base-revision edit: holder, grant n+1, grant time, expiry
X-->>W: save hook refuses acquisition out of queue order or before expiry
L->>X: landing API call with grant number and D(IS)
X->>X: fencing: grant >= current and holder = pusher; D(IS) matches published
X->>W: manifest rebuilt; badge written last
L->>W: heartbeat extends expiry, never past 24 h from grant
L->>X: final push
L->>W: release (valid only after push)
C->>W: queue head acquires within ACQUISITION WINDOW (5 min)
Note over C,W: if head silent past window, next waiter may acquire
Note over L,X: a late push from a stale holder is refused by fencing
}}

<pre>
sequenceDiagram
participant L as AI-LEAD (holder)
participant W as Lock page (wiki)
participant X as TPX
participant C as AI-CO (waiter)
C->>W: append PETITION row on collaboration page (ACCOUNT, CAPABILITY with D(IS), STATUS WAITING)
L->>W: acquire by base-revision edit: holder, grant n+1, grant time, expiry
X-->>W: save hook refuses acquisition out of queue order or before expiry
L->>X: landing API call with grant number and D(IS)
X->>X: fencing: grant >= current and holder = pusher; D(IS) matches published
X->>W: manifest rebuilt; badge written last
L->>W: heartbeat extends expiry, never past 24 h from grant
L->>X: final push
L->>W: release (valid only after push)
C->>W: queue head acquires within ACQUISITION WINDOW (5 min)
Note over C,W: if head silent past window, next waiter may acquire
Note over L,X: a late push from a stale holder is refused by fencing
</pre>

The Principia Machina/Diagrams/08 Regime and contradiction tests

2026-09-16T13:01:13Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 8 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid decision
* GENERATED FROM: static, SR3, SR7, SR8
* 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.

{{#mermaid:flowchart TD
A[Record allocated] --> Q{Regime?}
Q -- L: re-derivable from TFK plus ASSUMPTIONS, no empirical input --> L[L record]
Q -- M: value with combined standard uncertainty u_c per GUM --> M[M record; Type B components enumerated]
L --> LL{Against another L}
LL --> T1[L-L: conjunction with TFK derives a contradiction?]
M --> S8[SR8: if N >= 2 standing M records of one quantity and chi2 over N-1 > 1, scale each u by S]
S8 --> MM{Against another M}
MM --> T2[M-M: abs x1 - x2 > k sqrt u1^2 + u2^2 ?]
M --> LM{Against an L}
LM --> T3[L-M: M value fails M-M test against L's derived value?]
T3 -- yes --> SR7[SR7: never strikes the L derivation; named gap if a r > 0, DOMAIN finding if a r = 0]
T1 -- yes --> SR5[to SR4-SR6 ordering]
T2 -- yes --> SR5
T1 -- no --> OK[No contradiction]
T2 -- no --> OK
T3 -- no --> OK
}}

<pre>
flowchart TD
A[Record allocated] --> Q{Regime?}
Q -- L: re-derivable from TFK plus ASSUMPTIONS, no empirical input --> L[L record]
Q -- M: value with combined standard uncertainty u_c per GUM --> M[M record; Type B components enumerated]
L --> LL{Against another L}
LL --> T1[L-L: conjunction with TFK derives a contradiction?]
M --> S8[SR8: if N >= 2 standing M records of one quantity and chi2 over N-1 > 1, scale each u by S]
S8 --> MM{Against another M}
MM --> T2[M-M: abs x1 - x2 > k sqrt u1^2 + u2^2 ?]
M --> LM{Against an L}
LM --> T3[L-M: M value fails M-M test against L's derived value?]
T3 -- yes --> SR7[SR7: never strikes the L derivation; named gap if a r > 0, DOMAIN finding if a r = 0]
T1 -- yes --> SR5[to SR4-SR6 ordering]
T2 -- yes --> SR5
T1 -- no --> OK[No contradiction]
T2 -- no --> OK
T3 -- no --> OK
</pre>

The Principia Machina/Diagrams/07 Strike-rule flow

2026-09-16T13:01:12Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 7 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid flow
* GENERATED FROM: static, D16
* 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.

{{#mermaid:flowchart TD
R[Record r at CAC] --> SR1{SR1: FINDING with TFK derives a contradiction?}
SR1 -- yes --> STRUCK1[Struck without ranking]
SR1 -- no --> SR2{SR2: derivation from TFK plus ASSUMPTIONS valid?}
SR2 -- no --> STRUCK1
SR2 -- yes --> C{Standing record contradicts r?}
C -- no --> STANDS[r stands]
C -- yes --> REG[SR3: apply regime test L-L, M-M after SR8 scaling, or L-M]
REG -- no contradiction survives --> STANDS
REG -- contradiction --> SR7{SR7: M contradiction against L derivation?}
SR7 -- yes, a r greater than 0 --> GAP[Named gap against r's ASSUMPTIONS; r stands]
SR7 -- yes, a r equals 0 --> DOM[Finding against TFK DOMAIN; human declares restriction or successor]
SR7 -- no --> SR4[SR4: d r = a r, s r lexicographic]
SR4 --> SR5{SR5: compare d}
SR5 -- r closer --> OTHER[Other record struck; locus recorded]
SR5 -- r farther --> SR6{SR6: independent contradictions n_ind r >= N_x?}
SR5 -- equal --> AUDIT[Audit block; decision item]
SR6 -- no --> STRUCKR[r struck; its extra ASSUMPTIONS are the locus]
SR6 -- yes --> AUDIT
}}

<pre>
flowchart TD
R[Record r at CAC] --> SR1{SR1: FINDING with TFK derives a contradiction?}
SR1 -- yes --> STRUCK1[Struck without ranking]
SR1 -- no --> SR2{SR2: derivation from TFK plus ASSUMPTIONS valid?}
SR2 -- no --> STRUCK1
SR2 -- yes --> C{Standing record contradicts r?}
C -- no --> STANDS[r stands]
C -- yes --> REG[SR3: apply regime test L-L, M-M after SR8 scaling, or L-M]
REG -- no contradiction survives --> STANDS
REG -- contradiction --> SR7{SR7: M contradiction against L derivation?}
SR7 -- yes, a r greater than 0 --> GAP[Named gap against r's ASSUMPTIONS; r stands]
SR7 -- yes, a r equals 0 --> DOM[Finding against TFK DOMAIN; human declares restriction or successor]
SR7 -- no --> SR4[SR4: d r = a r, s r lexicographic]
SR4 --> SR5{SR5: compare d}
SR5 -- r closer --> OTHER[Other record struck; locus recorded]
SR5 -- r farther --> SR6{SR6: independent contradictions n_ind r >= N_x?}
SR5 -- equal --> AUDIT[Audit block; decision item]
SR6 -- no --> STRUCKR[r struck; its extra ASSUMPTIONS are the locus]
SR6 -- yes --> AUDIT
</pre>

The Principia Machina/Diagrams/06 Three-zone TFK

2026-09-16T13:01:12Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 6 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: structure
* LANGUAGE: DOT
* GENERATED FROM: per-container manifest digests
* 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.

<graphviz>
digraph three_zone_tfk {
rankdir=LR;
node [shape=box, fontname="Helvetica"];
subgraph cluster_tfk {
label="TFK (immutable per container)"; style=dashed;
TPK [label="Zone 1: TPK in full"];
TrM [label="Zone 2: TrM identification fields\nDOF, DOMAIN, identification, FALSIFIER, BEARS"];
TMS [label="Zone 3: TMS in full\nSTEP CONVENTION, k, N_x, local yardsticks"];
}
DTPK [label="D(TPK)", shape=ellipse];
DTrM [label="D(TrM)", shape=ellipse];
DTMS [label="D(TMS)", shape=ellipse];
DTFK [label="D(TFK)\nover the three in fixed order", shape=doubleoctagon];
TPK -> DTPK; TrM -> DTrM; TMS -> DTMS;
DTPK -> DTFK; DTrM -> DTFK; DTMS -> DTFK;
CERT [label="CAC certificate\nassigns UUID; master record", shape=note];
CHAIN [label="BUILD CHAIN line\nnames DECLARATIONS line verified against", shape=note];
DTFK -> CERT; DTFK -> CHAIN;
MUT [label="Mutable, in register records naming the entry:\nSTATE, SCRUTINY, RIDER, NOTE, CHECKS OWED, RECORDS", style=dotted];
TrM -> MUT [style=dotted, label="status lives outside the TFK"];
}
</graphviz>

<pre>
digraph three_zone_tfk {
rankdir=LR;
node [shape=box, fontname="Helvetica"];
subgraph cluster_tfk {
label="TFK (immutable per container)"; style=dashed;
TPK [label="Zone 1: TPK in full"];
TrM [label="Zone 2: TrM identification fields\nDOF, DOMAIN, identification, FALSIFIER, BEARS"];
TMS [label="Zone 3: TMS in full\nSTEP CONVENTION, k, N_x, local yardsticks"];
}
DTPK [label="D(TPK)", shape=ellipse];
DTrM [label="D(TrM)", shape=ellipse];
DTMS [label="D(TMS)", shape=ellipse];
DTFK [label="D(TFK)\nover the three in fixed order", shape=doubleoctagon];
TPK -> DTPK; TrM -> DTrM; TMS -> DTMS;
DTPK -> DTFK; DTrM -> DTFK; DTMS -> DTFK;
CERT [label="CAC certificate\nassigns UUID; master record", shape=note];
CHAIN [label="BUILD CHAIN line\nnames DECLARATIONS line verified against", shape=note];
DTFK -> CERT; DTFK -> CHAIN;
MUT [label="Mutable, in register records naming the entry:\nSTATE, SCRUTINY, RIDER, NOTE, CHECKS OWED, RECORDS", style=dotted];
TrM -> MUT [style=dotted, label="status lives outside the TFK"];
}
</pre>

The Principia Machina/Diagrams/05 Copy-forward

2026-09-16T13:01:11Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 5 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid sequence
* GENERATED FROM: static, D5
* 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.

{{#mermaid:sequenceDiagram
participant H as H-DECL
participant X as TPX
participant P as Predecessor container
participant S as Successor container
H->>X: change request against TFK, or digest-gate failure
X->>H: offer COPY-FORWARD (pre-filled draft) or empty draft
H->>X: choose COPY-FORWARD
X->>S: new DRAFT CONTAINER from P's TFK, edited
X->>X: zone checks; digests; UUID; new prefix (D1)
X->>H: candidate certificate to staging
H->>X: land certificate on DECLARATIONS (CERTIFIED)
X->>S: write TFK pages; init register volume 1 OPEN
X->>S: inherit P's records as PROVISIONAL; REFUTED stays REFUTED; fresh identifiers; back-pointer per record
X->>P: freeze; forward pointer to S
X->>S: manifest, library page, badge (last); BUILD CHAIN line
}}

<pre>
sequenceDiagram
participant H as H-DECL
participant X as TPX
participant P as Predecessor container
participant S as Successor container
H->>X: change request against TFK, or digest-gate failure
X->>H: offer COPY-FORWARD (pre-filled draft) or empty draft
H->>X: choose COPY-FORWARD
X->>S: new DRAFT CONTAINER from P's TFK, edited
X->>X: zone checks; digests; UUID; new prefix (D1)
X->>H: candidate certificate to staging
H->>X: land certificate on DECLARATIONS (CERTIFIED)
X->>S: write TFK pages; init register volume 1 OPEN
X->>S: inherit P's records as PROVISIONAL; REFUTED stays REFUTED; fresh identifiers; back-pointer per record
X->>P: freeze; forward pointer to S
X->>S: manifest, library page, badge (last); BUILD CHAIN line
</pre>

The Principia Machina/Diagrams/04 CAC check flow

2026-09-16T13:01:11Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 4 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid flow
* GENERATED FROM: static, CAC piece check list
* 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.

{{#mermaid:flowchart TD
S[CAC invoked on draft or container] --> T1[Kernel tests T1-T6 on TPK]
T1 -- fail --> R[Return rejected component to author]
T1 -- pass --> I4[Four isomorphism checks on TrM: TOTAL, SURJECTIVE, INJECTIVE, STRUCTURE-PRESERVING]
I4 -- fail --> R
I4 -- pass --> C9[SR9 C1-C5 on every TMS entry; k, N_x, STEP CONVENTION declared]
C9 -- fail --> R
C9 -- pass --> P[Prefix unique across TPM D1]
P -- fail --> R
P -- pass --> D[Compute D TPK, D TrM, D TMS, D TFK]
D --> M[Check register against itself and against master record; SR1-SR8]
M -- contradiction --> K[Strike per SR5, or audit block per SR5 equal-d, SR6 N_x]
K --> DI[Decision item under MRG; round halts]
M -- clean --> CERT[Candidate certificate written to staging]
CERT --> H[H-DECL lands certificate on DECLARATIONS]
}}

<pre>
flowchart TD
S[CAC invoked on draft or container] --> T1[Kernel tests T1-T6 on TPK]
T1 -- fail --> R[Return rejected component to author]
T1 -- pass --> I4[Four isomorphism checks on TrM: TOTAL, SURJECTIVE, INJECTIVE, STRUCTURE-PRESERVING]
I4 -- fail --> R
I4 -- pass --> C9[SR9 C1-C5 on every TMS entry; k, N_x, STEP CONVENTION declared]
C9 -- fail --> R
C9 -- pass --> P[Prefix unique across TPM D1]
P -- fail --> R
P -- pass --> D[Compute D TPK, D TrM, D TMS, D TFK]
D --> M[Check register against itself and against master record; SR1-SR8]
M -- contradiction --> K[Strike per SR5, or audit block per SR5 equal-d, SR6 N_x]
K --> DI[Decision item under MRG; round halts]
M -- clean --> CERT[Candidate certificate written to staging]
CERT --> H[H-DECL lands certificate on DECLARATIONS]
</pre>

The Principia Machina/Diagrams/03 Digest gate and recovery

2026-09-16T13:01:10Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 3 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid flow
* GENERATED FROM: static, D5(g), 4.4
* 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.

{{#mermaid:flowchart TD
A[Write requested on container] --> B[TPX recomputes D TPK, D TrM, D TMS, D TFK]
B --> C{D TFK equals certificate?}
C -- yes --> D[Write proceeds]
C -- no --> E[Halt write; name mismatched zone]
E --> F[Offer COPY-FORWARD; open decision item]
F --> G{H-DECL declares}
G -- RESTORE --> H[Return TFK pages to revision whose content hash matches the chain]
H --> I{Digest matches?}
I -- yes --> D
I -- no --> E
G -- FORK --> J[Copy-forward under newly declared TFK; new UUID, new prefix]
J --> K[Predecessor frozen with forward pointer]
}}

<pre>
flowchart TD
A[Write requested on container] --> B[TPX recomputes D TPK, D TrM, D TMS, D TFK]
B --> C{D TFK equals certificate?}
C -- yes --> D[Write proceeds]
C -- no --> E[Halt write; name mismatched zone]
E --> F[Offer COPY-FORWARD; open decision item]
F --> G{H-DECL declares}
G -- RESTORE --> H[Return TFK pages to revision whose content hash matches the chain]
H --> I{Digest matches?}
I -- yes --> D
I -- no --> E
G -- FORK --> J[Copy-forward under newly declared TFK; new UUID, new prefix]
J --> K[Predecessor frozen with forward pointer]
</pre>

The Principia Machina/Diagrams/02 Container lifecycle

2026-09-16T13:01:10Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 2 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''

* KIND: process
* LANGUAGE: Mermaid state
* GENERATED FROM: per-container manifest state
* 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.

{{#mermaid:stateDiagram-v2
[*] --> DRAFT_CONTAINER : initiator opens draft (D26)
DRAFT_CONTAINER --> DRAFT_CONTAINER : zone check fails; component returned (D25)
DRAFT_CONTAINER --> CANDIDATE : TPK, TrM, TMS pass; digests, UUID, prefix, candidate certificate (D25)
CANDIDATE --> CERTIFIED : H-DECL lands certificate on DECLARATIONS
CERTIFIED --> WORKING : TPX writes TFK pages, register volume 1 OPEN, control panel, lock, collaboration, manifest, badge, BUILD CHAIN line
WORKING --> WORKING : landings; badge written last
WORKING --> HALTED : digest-gate failure (D5g)
HALTED --> WORKING : RESTORE declared; digest matches
HALTED --> FORKED : FORK declared; copy-forward (D5)
WORKING --> FORKED : change request against TFK; copy-forward (D5)
FORKED --> DRAFT_CONTAINER : successor draft, new UUID, new prefix
WORKING --> RETIRED : RETIRED declared (D12)
RETIRED --> [*] : pages protected read-only; stays in index
}}

<pre>
stateDiagram-v2
[*] --> DRAFT_CONTAINER : initiator opens draft (D26)
DRAFT_CONTAINER --> DRAFT_CONTAINER : zone check fails; component returned (D25)
DRAFT_CONTAINER --> CANDIDATE : TPK, TrM, TMS pass; digests, UUID, prefix, candidate certificate (D25)
CANDIDATE --> CERTIFIED : H-DECL lands certificate on DECLARATIONS
CERTIFIED --> WORKING : TPX writes TFK pages, register volume 1 OPEN, control panel, lock, collaboration, manifest, badge, BUILD CHAIN line
WORKING --> WORKING : landings; badge written last
WORKING --> HALTED : digest-gate failure (D5g)
HALTED --> WORKING : RESTORE declared; digest matches
HALTED --> FORKED : FORK declared; copy-forward (D5)
WORKING --> FORKED : change request against TFK; copy-forward (D5)
FORKED --> DRAFT_CONTAINER : successor draft, new UUID, new prefix
WORKING --> RETIRED : RETIRED declared (D12)
RETIRED --> [*] : pages protected read-only; stays in index
</pre>

The Principia Machina/Diagrams/01 Five-layer map

2026-09-16T13:01:10Z

Maintenance script: Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16

''Structural diagram 1 of 12. Part of [[The Principia Machina/Hub|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.

<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<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; }
}
</graphviz>

<pre>
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; }
}
</pre>