The Principia Machina/GTP/Conformance: Difference between revisions
CO-4 rebuilt against PMP-TPM 0.13.0 (D185.1 (c); D174.1): relabel and mirror update |
Edited under the disclosure rule |
||
| Line 1: | Line 1: | ||
{{TPM map}} | {{TPM map}} | ||
{{DISPLAYTITLE:Conformance}} | {{DISPLAYTITLE:Conformance}} | ||
''The form of the statement an implementation publishes to claim conformance with [[The Principia Machina/GTP|GTP]], per [[The Principia Machina/GTP/19 Conformance|section 19]]. This page is the blank form | ''The form of the statement an implementation publishes to claim conformance with [[The Principia Machina/GTP|GTP]], per [[The Principia Machina/GTP/19 Conformance|section 19]]. This page is the blank form.'' | ||
An implementation works down every numbered section below and, on each row, says what fills it: which artifact, which part of it. A slot nothing fills is marked EMPTY and given a reason. Leaving a row out is not allowed, because a table missing a row reads just like a table where that row was filled in. | An implementation works down every numbered section below and, on each row, says what fills it: which artifact, which part of it. A slot nothing fills is marked EMPTY and given a reason. Leaving a row out is not allowed, because a table missing a row reads just like a table where that row was filled in. | ||
Latest revision as of 07:00, 13 October 2026
| The Principia Machina: map |
|---|
| Reading the diagrams Structure key Process key Definition of terms Roles |
| Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent |
| The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each) |
The form of the statement an implementation publishes to claim conformance with GTP, per section 19. This page is the blank form.
An implementation works down every numbered section below and, on each row, says what fills it: which artifact, which part of it. A slot nothing fills is marked EMPTY and given a reason. Leaving a row out is not allowed, because a table missing a row reads just like a table where that row was filled in.
The statement names the TPS version whose part 6 it is made against, GTP carrying no version of its own (TPS 1.2.6; D174.1), and is republished whenever the implementation's version or that TPS version moves. An implementation leaving any rule of section 7 unfilled is not described as conforming at all.