BFP Rauch: 1 revision imported

2026-09-22T06:09:44Z

1 revision imported

← Older revision		Revision as of 06:09, 22 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-22T05:33:58Z

1 revision imported

← Older revision	Revision as of 05:33, 22 September 2026
(No difference)

BFP Rauch: Human-facing page: Structure key

2026-09-22T05:25:03Z

Human-facing page: Structure key

← Older revision	Revision as of 05:25, 22 September 2026
(No difference)

BFP Rauch: Human-facing page: Structure key

2026-09-22T05:25:03Z

Human-facing page: Structure key

← Older revision	Revision as of 05:25, 22 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-18T04:35:41Z

1 revision imported

← Older revision	Revision as of 04:35, 18 September 2026
(No difference)

BFP Rauch: Human-facing page: Structure key

2026-09-18T04:34:06Z

Human-facing page: Structure key

← Older revision	Revision as of 04:34, 18 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-18T04:19:46Z

1 revision imported

← Older revision	Revision as of 04:19, 18 September 2026
(No difference)

BFP Rauch: Human-facing page: Structure key

2026-09-18T04:14:02Z

Human-facing page: Structure key

← Older revision	Revision as of 04:14, 18 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-17T21:54:41Z

1 revision imported

← Older revision	Revision as of 21:54, 17 September 2026
(No difference)

BFP Rauch: Human-facing page: Structure key

2026-09-17T21:48:49Z

Human-facing page: Structure key

New page

{{TPM map}}
{{DISPLAYTITLE:Structure key}}
''Key for the structure diagrams. Part of [[The Principia Machina/Hub|the TPM hub]]. Hand-authored at TPS 0.1.0.''
* USED BY: diagrams 01, 06, 12, C1, C2
* SOURCE SHA-256: <code>fc582133546d6c0093e6af6048123d2d0209c8833e7af947e2292f702f4ab61c</code>

== Shapes, alphabetical ==
; dashed arrow : a check or verification relationship, not ownership.
; diamond (01, 06, 12) : a gate or check.
; dotted arrow : a reference held in a field, such as a back-pointer or the WORKLOAD pointer.
; lighter header : a class of register record: withdrawal, corroboration, named-gap, verification, entry-status.
; loop : a set among records of the same type (CITES).
; note (01, 06, 12) : a certificate or a chain line.
; octagon (01, 06, 12) : a digest.
; plain box (01, 06, 12) : a layer, page or object.
; record box : a record type or page class, in Bachman form. Header: the name and where it lives. Second row: identity, writer, allocation. Field rows: the fields TPS names. Last row: the TPS addresses.
; solid arrow : a set, owner to member; the label is the set's name, then the rule (order, count, who allocates), then addresses.
; three-dimensional box (01, 06, 12) : the Public Recorder, the host.

<div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;">
<graphviz>
// K2 Key for structure diagrams (DOT, Bachman form).
digraph K2_key_for_structure_diagrams {
graph [rankdir=TB, fontname="Helvetica", fontsize=10, labelloc=t, nodesep=0.35, ranksep=0.45, label="K2 KEY FOR STRUCTURE DIAGRAMS"];
node [shape=plaintext, fontname="Helvetica", fontsize=9, fontcolor="#202122"]; edge [fontname="Helvetica", fontsize=8, arrowhead=vee, color="#54595d", fontcolor="#202122"];
OWNER [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
<TR><TD COLSPAN="3" BGCOLOR="#eaecf0"><B>RECORD TYPE OR PAGE CLASS</B> where it lives</TD></TR>
<TR><TD>identity</TD><TD>who writes it</TD><TD>how it is allocated</TD></TR>
<TR><TD COLSPAN="3" ALIGN="LEFT">field | field | field</TD></TR>
<TR><TD COLSPAN="3">TPS addresses</TD></TR></TABLE>>];
MEMBER [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
<TR><TD COLSPAN="2" BGCOLOR="#f8f9fa"><B>RECORD CLASS</B> lighter header</TD></TR>
<TR><TD COLSPAN="2" ALIGN="LEFT">its fields</TD></TR><TR><TD COLSPAN="2">addresses</TD></TR></TABLE>>];
REF [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3"><TR><TD BGCOLOR="#eaecf0"><B>ANOTHER TYPE</B></TD></TR><TR><TD>addresses</TD></TR></TABLE>>];
OWNER -> MEMBER [label="SET NAME\nsolid: a set, owner to member"];
OWNER -> REF [label="dashed: a check", style=dashed];
MEMBER -> REF [label="dotted: a pointer", style=dotted];
MEMBER -> MEMBER [label="loop: a set among\nrecords of one type"];
REF -> L1 [style=invis];
subgraph cluster_simple { label="Shapes in diagrams 01, 06, 12"; style=filled; fillcolor="#f8f9fa"; color="#c8ccd1";
node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1"];
L1 [label="plain box: a layer, page or object"]; L2 [label="box3d: the Public Recorder, the host", shape=box3d];
L3 [label="octagon: a digest", shape=octagon]; L4 [label="note: a certificate or a chain line", shape=note]; L5 [label="diamond: a gate or check", shape=diamond];
L1 -> L2 [label="solid: the named relation"]; L2 -> L3 [label="dashed: a parameter or audit relation", style=dashed]; L3 -> L4 [label="dotted, no head: hosts or holds", style=dotted, arrowhead=none]; L4 -> L5 [style=invis];
}
}
</graphviz>
</div>
<div class="mw-collapsible mw-collapsed" style="clear:both; border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; DOT)
<div class="mw-collapsible-content">
<pre>
// K2 Key for structure diagrams (DOT, Bachman form).
digraph K2_key_for_structure_diagrams {
graph [rankdir=TB, fontname="Helvetica", fontsize=10, labelloc=t, nodesep=0.35, ranksep=0.45, label="K2 KEY FOR STRUCTURE DIAGRAMS"];
node [shape=plaintext, fontname="Helvetica", fontsize=9, fontcolor="#202122"]; edge [fontname="Helvetica", fontsize=8, arrowhead=vee, color="#54595d", fontcolor="#202122"];
OWNER [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
<TR><TD COLSPAN="3" BGCOLOR="#eaecf0"><B>RECORD TYPE OR PAGE CLASS</B> where it lives</TD></TR>
<TR><TD>identity</TD><TD>who writes it</TD><TD>how it is allocated</TD></TR>
<TR><TD COLSPAN="3" ALIGN="LEFT">field | field | field</TD></TR>
<TR><TD COLSPAN="3">TPS addresses</TD></TR></TABLE>>];
MEMBER [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
<TR><TD COLSPAN="2" BGCOLOR="#f8f9fa"><B>RECORD CLASS</B> lighter header</TD></TR>
<TR><TD COLSPAN="2" ALIGN="LEFT">its fields</TD></TR><TR><TD COLSPAN="2">addresses</TD></TR></TABLE>>];
REF [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3"><TR><TD BGCOLOR="#eaecf0"><B>ANOTHER TYPE</B></TD></TR><TR><TD>addresses</TD></TR></TABLE>>];
OWNER -> MEMBER [label="SET NAME\nsolid: a set, owner to member"];
OWNER -> REF [label="dashed: a check", style=dashed];
MEMBER -> REF [label="dotted: a pointer", style=dotted];
MEMBER -> MEMBER [label="loop: a set among\nrecords of one type"];
REF -> L1 [style=invis];
subgraph cluster_simple { label="Shapes in diagrams 01, 06, 12"; style=filled; fillcolor="#f8f9fa"; color="#c8ccd1";
node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1"];
L1 [label="plain box: a layer, page or object"]; L2 [label="box3d: the Public Recorder, the host", shape=box3d];
L3 [label="octagon: a digest", shape=octagon]; L4 [label="note: a certificate or a chain line", shape=note]; L5 [label="diamond: a gate or check", shape=diamond];
L1 -> L2 [label="solid: the named relation"]; L2 -> L3 [label="dashed: a parameter or audit relation", style=dashed]; L3 -> L4 [label="dotted, no head: hosts or holds", style=dotted, arrowhead=none]; L4 -> L5 [style=invis];
}
}
</pre>
</div></div>

[[Category:The Principia Machina]]

The Principia Machina/Diagrams/Structure key - Revision history

BFP Rauch: 1 revision imported

BFP Rauch: 1 revision imported

BFP Rauch: Human-facing page: Structure key

BFP Rauch: Human-facing page: Structure key

BFP Rauch: 1 revision imported

BFP Rauch: Human-facing page: Structure key

BFP Rauch: 1 revision imported

BFP Rauch: Human-facing page: Structure key

BFP Rauch: 1 revision imported

BFP Rauch: Human-facing page: Structure key