Jump to content

The Principia Machina/Diagrams/C5 Certification pipeline: Difference between revisions

From The Invariance Itself
m 1 revision imported
m 1 revision imported
 
(19 intermediate revisions by 2 users not shown)
Line 1: Line 1:
''Conceptual diagram 5 of 5.'' Part of [[The Principia Machina/Hub|the TPM hub]].
{{TPM map}}
{{DISPLAYTITLE:Diagram C5 Certification pipeline}}
''Conceptual diagram 5 of 7.'' Part of [[The Principia Machina/Hub|the TPM hub]].
* KIND: process
* KIND: process
* LANGUAGE: Mermaid flow
* LANGUAGE: Mermaid
* GENERATED FROM: declared by the human 2026-09-17; TPS 5.14, 6.1, 6.5, 7.2
* GENERATED FROM: declared by the human 2026-09-17; TPS 5.14, 6.1, 6.5, 7.2
* STATUS: hand-authored at TPS 0.1.0; conceptual, kept by the human; never generated
* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the rate "one per five blocks" predates the CANARY SCHEDULE, 5.17.12; the certificate's fields predate CR3's sponsor, fingerprint, VENDOR FAMILY and D(PROMPT); not drawn: the cluster gate, the reproduction operation of the trial, the hold on failure); checked against TPS 0.4.0 (revision 7, declared final 2026-09-30) and revision 8, proposed as TPS 0.5.0, on 2026-09-30: also owed a redraw (PRB computes D(TPS) and D(IS) from the declared pages before every session, not D(IS) alone, 5.4.15, 5.14 CR9); not drawn: on a D(TPS) mismatch, PRB's report of the pages that differ, from the page list TPX publishes, 5.4.15, 5.11.16; the sponsor's and the agent's accounts, made by H-OP, 5.2.7; conceptual, kept by the human; never generated
* SOURCE SHA-256: <code>d1ba869a28ea83935bc5e16d02e11890de59ff0c664ad1e2453f4a6040eca572</code>
* SOURCE SHA-256: <code>cbf15f5fbe3c8cbaf18027d2631653f35a9f29d2b44bb2967694429e99c9e3d2</code>
* KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means; [[The Principia Machina/Diagrams/Terms|definition of terms]]; [[The Principia Machina/TPS 0.1.0/Contents|contents of the specification]]


Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.
Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.


<onlyinclude><div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;">
{{#mermaid:
{{#mermaid:
%% C5 Certification pipeline with canaries and the push-time checks. TPS 0.1.0: 5.14 CR1-CR9, 6.1, 6.5, 7.2.
%% C5 Certification pipeline. TPS 5.14, 6.1, 6.5, 7.2.
flowchart TD
flowchart TD
   subgraph S1 ["1. Suite (CR4, 7.2)"]
   subgraph S1 ["1. Suite, CR4 and TPS 7.2"]
     T0[(synthetic certification container<br/>and suite pages)] --> T1[six probes planted on<br/>staging and return pages]
     T0[(synthetic UWC and its suite pages)] --> T1[six probes delivered in reads]
     T1 --> T2[candidate refuses every probe<br/>and reports each as a detection]
     T1 --> T2[candidate refuses and reports each]
     T2 --> T3[supervised trial of<br/>N operations, N = 6]
     T2 --> T3[supervised trial of N operations]
     T3 --> T4[/human reviews the trial/]
     T3 --> T4[/human reviews the trial/]
   end
   end
   subgraph S2 ["2. Admission (CR3, CR5)"]
   subgraph S2 ["2. Admission, CR3 and CR5"]
     T4 --> M1[/H-DECL declares admission<br/>on the DECLARATIONS page/]
     T4 --> M1[/H-DECL declares admission/]
     M1 --> M2[(certificate: account, snapshot ID,<br/>suite version, D-IS, date)]
     M1 --> M2[(certificate: account, snapshot, suite)]
     M2 --> M3[membership in the agent group,<br/>platform-enforced]
     M2 --> M3[agent group membership]
     M3 --> M4[(CAPABILITY: CERTIFIED with suite<br/>version, snapshot ID, D-IS, date)]
     M3 --> M4[(CAPABILITY carries CERTIFIED)]
   end
   end
   subgraph S3 ["3. Work under canaries (CR6, CR8)"]
   subgraph S3 ["3. Work under canaries, CR6 and CR8"]
     M4 --> C1[live probes planted by TPX,<br/>one per five work blocks]
     M4 --> C1[live probes, one per five blocks]
     C1 -- refused and reported --> C2[(canary pass rate<br/>on the control panel)]
     C1 -- refused and reported --> C2[(canary pass rate on the panel)]
     C1 -- failed --> C3[/human removes the account from<br/>the agent group; decision item/]
     C1 -- failed --> C3[/TPX suspends, then human removes/]
   end
   end
   subgraph S4 ["4. Push-time checks (CR9, 6.1, 4.2 rows 33 and 36)"]
   subgraph S4 ["4. Push-time checks, CR9 and TPS 6.1"]
     M4 --> P1[PRB computes D-IS over the<br/>TPS version the agent holds]
     M4 --> P1[PRB computes D-IS locally]
     P1 --> P2[push carries D-IS and the<br/>conformance declaration]
     P1 --> P2[push carries D-IS and the declaration]
     P2 --> P3[TPX: D-IS matches the published value<br/>and the declared TPS version is current]
     P2 --> P3[TPX: D-IS and TPS version current?]
     P3 -- pass --> P4[(landing accepted; implementation<br/>digest recorded in CAPABILITY)]
     P3 -- pass --> P4[(landing accepted)]
     P3 -- fail --> P5[(push refused;<br/>STATUS NEEDS RECERTIFICATION)]
     P3 -- fail --> P5[(refused, NEEDS RECERTIFICATION)]
   end
   end
   subgraph S5 ["5. Lapse and re-certification  (CR3, CR9)"]
   subgraph S5 ["5. Lapse, CR3 and CR9"]
     L1[snapshot retired, or suite version<br/>changed, or D-IS changed] --> L2[certificate lapses]
     L1[snapshot, suite or D-IS changed] --> L2[certificate lapses]
     L2 --> L3[re-certification is the suite;<br/>abbreviated run for a<br/>PATCH-level TPS change]
     L2 --> L3[re-certification is the suite]
     L3 --> T0
     L3 --> T0
     P5 --> L2
     P5 --> L2
Line 59: Line 61:
   class P5 bad
   class P5 bad
|config.theme=neutral}}
|config.theme=neutral}}
</div></onlyinclude>
<div class="mw-collapsible mw-collapsed" style="clear:both; border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid)
<div class="mw-collapsible-content">
<pre>
%% C5 Certification pipeline. TPS 5.14, 6.1, 6.5, 7.2.
flowchart TD
  subgraph S1 ["1. Suite, CR4 and TPS 7.2"]
    T0[(synthetic UWC and its suite pages)] --> T1[six probes delivered in reads]
    T1 --> T2[candidate refuses and reports each]
    T2 --> T3[supervised trial of N operations]
    T3 --> T4[/human reviews the trial/]
  end
  subgraph S2 ["2. Admission, CR3 and CR5"]
    T4 --> M1[/H-DECL declares admission/]
    M1 --> M2[(certificate: account, snapshot, suite)]
    M2 --> M3[agent group membership]
    M3 --> M4[(CAPABILITY carries CERTIFIED)]
  end
  subgraph S3 ["3. Work under canaries, CR6 and CR8"]
    M4 --> C1[live probes, one per five blocks]
    C1 -- refused and reported --> C2[(canary pass rate on the panel)]
    C1 -- failed --> C3[/TPX suspends, then human removes/]
  end
  subgraph S4 ["4. Push-time checks, CR9 and TPS 6.1"]
    M4 --> P1[PRB computes D-IS locally]
    P1 --> P2[push carries D-IS and the declaration]
    P2 --> P3[TPX: D-IS and TPS version current?]
    P3 -- pass --> P4[(landing accepted)]
    P3 -- fail --> P5[(refused, NEEDS RECERTIFICATION)]
  end
  subgraph S5 ["5. Lapse, CR3 and CR9"]
    L1[snapshot, suite or D-IS changed] --> L2[certificate lapses]
    L2 --> L3[re-certification is the suite]
    L3 --> T0
    P5 --> L2
  end


<!-- A DOT-drawn preview of this pipeline exists as a derived image, tagged with this source's hash; it is not a second source. -->
  classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122
  classDef human fill:#eaf3ff,stroke:#36c,color:#202122
  classDef data fill:#fef6e7,stroke:#ac6600,color:#202122
  classDef bad fill:#fee7e6,stroke:#d33,color:#202122
  classDef good fill:#d5fdf4,stroke:#14866d,color:#202122
  style S1 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S2 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S3 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S4 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S5 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  class T1,T2,T3,M3,C1,P1,P2,P3,L1,L2,L3 task
  class T4,M1,C3 human
  class T0,M2,M4,C2 data
  class P4 good
  class P5 bad
</pre>
</div></div>


== Text equivalent ==
== Text equivalent ==
Stage 1 Suite: six probes in a synthetic container, each refused and reported, then N supervised operations reviewed by the human (CR4, 7.2). Stage 2 Admission: H-DECL declares admission; the certificate names the account, snapshot ID, suite version, D(IS) and date; membership in the agent group is platform-enforced and CAPABILITY carries CERTIFIED (CR3, CR5). Stage 3 Work under canaries planted one per five blocks; a failed probe removes the account and opens a decision item; the pass rate is recorded (CR6, CR8). Stage 4 Push-time checks: D(IS) and the declared TPS version must match the published values; the implementation digest is recorded (CR9, 6.1). Stage 5 Lapse: a retired snapshot, a changed suite or a changed D(IS) lapses the certificate; re-certification is the suite, abbreviated for a PATCH-level change (CR3, CR9).
Stage 1 Suite: six probes delivered into the candidate's reads of a synthetic container, each refused and reported, then N supervised operations, one per probe type and one reproduction, reviewed by the human (CR4, 7.2). Stage 2 Admission: the sponsor requests it; TPX, the controller, writes a candidate certificate only through the gate, the cluster lookup giving the model IN, or CUSP on the gate's path (5.19.14); [[The Principia Machina/Roles|H-DECL]] declares admission; the certificate names the account, its sponsor, the fingerprint TPX derived, the VENDOR FAMILY, the prompt digest D(PROMPT), the suite version, the instruction set digest D(IS) and the date (CR3); membership in the agent group is platform-enforced and CAPABILITY carries CERTIFIED (CR5). Stage 3 Work under probes delivered in the agent's own reads at the rate the CANARY SCHEDULE sets by tenure, not the drawing's one per five blocks (5.17.12); a failed canary suspends the account's landing API (application programming interface) at once and holds its recent work, and the human then removes it, opening a decision item; the pass rate, with its count, is recorded on the panel and in the fleet scorecard (CR6, CR8). Stage 4 Push-time checks: D(IS), D(PROMPT) and the declared version of The Principia Machina Specification (TPS) must match; the implementation digest is recorded (CR9, 5.14.5, 6.1). Stage 5 Lapse: a changed suite or a changed D(IS) lapses the certificate, as does the sponsor's block or removal; the retirement of the recorded snapshot is a dossier flag, not a lapse; re-certification is the suite, abbreviated for a PATCH-level change (CR3, CR9).


[[Category:The Principia Machina]]
[[Category:The Principia Machina]]

Latest revision as of 13:34, 30 September 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)


Conceptual diagram 5 of 7. Part of the TPM hub.

  • KIND: process
  • LANGUAGE: Mermaid
  • GENERATED FROM: declared by the human 2026-09-17; TPS 5.14, 6.1, 6.5, 7.2
  • STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the rate "one per five blocks" predates the CANARY SCHEDULE, 5.17.12; the certificate's fields predate CR3's sponsor, fingerprint, VENDOR FAMILY and D(PROMPT); not drawn: the cluster gate, the reproduction operation of the trial, the hold on failure); checked against TPS 0.4.0 (revision 7, declared final 2026-09-30) and revision 8, proposed as TPS 0.5.0, on 2026-09-30: also owed a redraw (PRB computes D(TPS) and D(IS) from the declared pages before every session, not D(IS) alone, 5.4.15, 5.14 CR9); not drawn: on a D(TPS) mismatch, PRB's report of the pages that differ, from the page list TPX publishes, 5.4.15, 5.11.16; the sponsor's and the agent's accounts, made by H-OP, 5.2.7; conceptual, kept by the human; never generated
  • SOURCE SHA-256: cbf15f5fbe3c8cbaf18027d2631653f35a9f29d2b44bb2967694429e99c9e3d2

Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.

Source (the text equivalent; Mermaid)
%% C5 Certification pipeline. TPS 5.14, 6.1, 6.5, 7.2.
flowchart TD
  subgraph S1 ["1. Suite, CR4 and TPS 7.2"]
    T0[(synthetic UWC and its suite pages)] --> T1[six probes delivered in reads]
    T1 --> T2[candidate refuses and reports each]
    T2 --> T3[supervised trial of N operations]
    T3 --> T4[/human reviews the trial/]
  end
  subgraph S2 ["2. Admission, CR3 and CR5"]
    T4 --> M1[/H-DECL declares admission/]
    M1 --> M2[(certificate: account, snapshot, suite)]
    M2 --> M3[agent group membership]
    M3 --> M4[(CAPABILITY carries CERTIFIED)]
  end
  subgraph S3 ["3. Work under canaries, CR6 and CR8"]
    M4 --> C1[live probes, one per five blocks]
    C1 -- refused and reported --> C2[(canary pass rate on the panel)]
    C1 -- failed --> C3[/TPX suspends, then human removes/]
  end
  subgraph S4 ["4. Push-time checks, CR9 and TPS 6.1"]
    M4 --> P1[PRB computes D-IS locally]
    P1 --> P2[push carries D-IS and the declaration]
    P2 --> P3[TPX: D-IS and TPS version current?]
    P3 -- pass --> P4[(landing accepted)]
    P3 -- fail --> P5[(refused, NEEDS RECERTIFICATION)]
  end
  subgraph S5 ["5. Lapse, CR3 and CR9"]
    L1[snapshot, suite or D-IS changed] --> L2[certificate lapses]
    L2 --> L3[re-certification is the suite]
    L3 --> T0
    P5 --> L2
  end

  classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122
  classDef human fill:#eaf3ff,stroke:#36c,color:#202122
  classDef data fill:#fef6e7,stroke:#ac6600,color:#202122
  classDef bad fill:#fee7e6,stroke:#d33,color:#202122
  classDef good fill:#d5fdf4,stroke:#14866d,color:#202122
  style S1 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S2 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S3 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S4 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S5 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  class T1,T2,T3,M3,C1,P1,P2,P3,L1,L2,L3 task
  class T4,M1,C3 human
  class T0,M2,M4,C2 data
  class P4 good
  class P5 bad

Text equivalent

Stage 1 Suite: six probes delivered into the candidate's reads of a synthetic container, each refused and reported, then N supervised operations, one per probe type and one reproduction, reviewed by the human (CR4, 7.2). Stage 2 Admission: the sponsor requests it; TPX, the controller, writes a candidate certificate only through the gate, the cluster lookup giving the model IN, or CUSP on the gate's path (5.19.14); H-DECL declares admission; the certificate names the account, its sponsor, the fingerprint TPX derived, the VENDOR FAMILY, the prompt digest D(PROMPT), the suite version, the instruction set digest D(IS) and the date (CR3); membership in the agent group is platform-enforced and CAPABILITY carries CERTIFIED (CR5). Stage 3 Work under probes delivered in the agent's own reads at the rate the CANARY SCHEDULE sets by tenure, not the drawing's one per five blocks (5.17.12); a failed canary suspends the account's landing API (application programming interface) at once and holds its recent work, and the human then removes it, opening a decision item; the pass rate, with its count, is recorded on the panel and in the fleet scorecard (CR6, CR8). Stage 4 Push-time checks: D(IS), D(PROMPT) and the declared version of The Principia Machina Specification (TPS) must match; the implementation digest is recorded (CR9, 5.14.5, 6.1). Stage 5 Lapse: a changed suite or a changed D(IS) lapses the certificate, as does the sponsor's block or removal; the retirement of the recorded snapshot is a dossier flag, not a lapse; re-certification is the suite, abbreviated for a PATCH-level change (CR3, CR9).