The Principia Machina/Diagrams/Terms - Revision history

BFP Rauch: Edited under the disclosure rule

2026-10-13T07:00:52Z

Edited under the disclosure rule

← Older revision		Revision as of 07:00, 13 October 2026
Line 90:		Line 90:
	; MECHANICAL, INSPECTION : The two check classes: executed and acted on by TPX, or read and judged by a human or an agent. ([[The Principia Machina/TPS/4.2 Check classes and the check-class matrix\|4.2.1]])		; MECHANICAL, INSPECTION : The two check classes: executed and acted on by TPX, or read and judged by a human or an agent. ([[The Principia Machina/TPS/4.2 Check classes and the check-class matrix\|4.2.1]])
	; model map, VENDOR FAMILY, MODEL CONFIGURATION : The operator's table assigning each model name to its maker's family (for open weights, with its pinned server and quantization); the family a certificate binds; and one setting of a model, such as its reasoning effort. Selected 2026-09-25; in TPS since revision 5 ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14]]); not yet built. ([[The Principia Machina/Inputs/Top performers\|Top performers]])		; model map, VENDOR FAMILY, MODEL CONFIGURATION : The operator's table assigning each model name to its maker's family (for open weights, with its pinned server and quantization); the family a certificate binds; and one setting of a model, such as its reasoning effort. Selected 2026-09-25; in TPS since revision 5 ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14]]); not yet built. ([[The Principia Machina/Inputs/Top performers\|Top performers]])
	; MRG : The decision protocol of ~~PMP, which~~ the ~~implementation PMP-TPM follows~~: a collision it cannot resolve becomes a decision item, put to the human. TPS states its own rules for decision items in part 6. ([[The Principia Machina/TPS/6.3 Decision items\|6.3]])		; MRG : The decision protocol of the Claude instance's instruction set: a collision it cannot resolve becomes a decision item, put to the human. TPS states its own rules for decision items in part 6. ([[The Principia Machina/TPS/6.3 Decision items\|6.3]])
	; named-gap record : A record TPX writes for each gap: an untied or undetermined DOF, the locus of a strike, or a measured disagreement with a logical result; its SOURCE says which, and its STATE LINE says whether it is OPEN, SETTLED or STANDING. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.5]])		; named-gap record : A record TPX writes for each gap: an untied or undetermined DOF, the locus of a strike, or a measured disagreement with a logical result; its SOURCE says which, and its STATE LINE says whether it is OPEN, SETTLED or STANDING. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.5]])
	; NCBI : The National Center for Biotechnology Information, which runs PubMed and PubMed Central; TPX looks up PMIDs and PMCIDs at its services. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.21]])		; NCBI : The National Center for Biotechnology Information, which runs PubMed and PubMed Central; TPX looks up PMIDs and PMCIDs at its services. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.21]])
Line 98:		Line 98:
	; PLATFORM : Native MediaWiki: pages, history, protection, upload, the API. ([[The Principia Machina/TPS/5.2 The platform\|5.2]])		; PLATFORM : Native MediaWiki: pages, history, protection, upload, the API. ([[The Principia Machina/TPS/5.2 The platform\|5.2]])
	; PMID, PMCID : The PubMed identifier of a biomedical paper, and the identifier of its free full text in PubMed Central. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.6]])		; PMID, PMCID : The PubMed identifier of a biomedical paper, and the identifier of its free full text in PubMed Central. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.6]])
	; PMP, PMP-TPM : PMP-TPM, the project meta prompt of The Principia Machina, is one vendor's implementation of the agent contract: non-normative, and never above TPS. PMP is the base instruction set it requires, outside TPS and never indexed. ([[The Principia Machina/TPS/1.2 Scope and residence\|1.2]])
	; post-refusal procedure : What an agent does when its push is refused for an expired block: ask the lead, then land, wait, corroborate or request an audit. ([[The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal\|5.9.7]])		; post-refusal procedure : What an agent does when its push is refused for an expired block: ask the lead, then land, wait, corroborate or request an audit. ([[The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal\|5.9.7]])
	; PRB : The Public Recorder Backend: the client beside the agent that keeps the local workspace and drives TPX through its API. ([[The Principia Machina/TPS/5.4 PRB\|5.4]])		; PRB : The Public Recorder Backend: the client beside the agent that keeps the local workspace and drives TPX through its API. ([[The Principia Machina/TPS/5.4 PRB\|5.4]])

BFP Rauch: 1 revision imported

2026-09-30T13:34:12Z

1 revision imported

← Older revision	Revision as of 13:34, 30 September 2026
(No difference)

DeltaS Zero: Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; O-RS-2)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; O-RS-2)

Show changes

BFP Rauch: 1 revision imported

2026-09-30T02:11:10Z

1 revision imported

← Older revision	Revision as of 02:11, 30 September 2026
(No difference)

DeltaS Zero: Post-TPC-PY page batch B2 (S90, S130): HF3 (help set, revision 7); SWEEP (SW-4)

2026-09-30T02:10:58Z

Post-TPC-PY page batch B2 (S90, S130): HF3 (help set, revision 7); SWEEP (SW-4)

Show changes

DeltaS Zero: Post-TPC-PY page batch (S70): HF

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): HF

← Older revision	Revision as of 02:11, 29 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-29T02:10:48Z

1 revision imported

BFP Rauch: 1 revision imported

2026-09-28T03:56:35Z

1 revision imported

← Older revision	Revision as of 03:56, 28 September 2026
(No difference)

DeltaS Zero: Second help pass (HELP-PASS-2): the 17 entries' status words and links (M SC11, K6)

2026-09-28T03:55:00Z

Second help pass (HELP-PASS-2): the 17 entries' status words and links (M SC11, K6)

Show changes

DeltaS Zero: Definition of terms: the duplicate first list (landing round 7 build) removed; DOF and 33 more abbreviations defined; the matrix row count and one term head corrected (the user's abbreviation directive, 2026-09-26)

2026-09-27T01:00:09Z

Definition of terms: the duplicate first list (landing round 7 build) removed; DOF and 33 more abbreviations defined; the matrix row count and one term head corrected (the user's abbreviation directive, 2026-09-26)

← Older revision	Revision as of 01:00, 27 September 2026
(No difference)

← Older revision		Revision as of 07:00, 13 October 2026
Line 90:		Line 90:
	; MECHANICAL, INSPECTION : The two check classes: executed and acted on by TPX, or read and judged by a human or an agent. ([[The Principia Machina/TPS/4.2 Check classes and the check-class matrix\|4.2.1]])		; MECHANICAL, INSPECTION : The two check classes: executed and acted on by TPX, or read and judged by a human or an agent. ([[The Principia Machina/TPS/4.2 Check classes and the check-class matrix\|4.2.1]])
	; model map, VENDOR FAMILY, MODEL CONFIGURATION : The operator's table assigning each model name to its maker's family (for open weights, with its pinned server and quantization); the family a certificate binds; and one setting of a model, such as its reasoning effort. Selected 2026-09-25; in TPS since revision 5 ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14]]); not yet built. ([[The Principia Machina/Inputs/Top performers\|Top performers]])		; model map, VENDOR FAMILY, MODEL CONFIGURATION : The operator's table assigning each model name to its maker's family (for open weights, with its pinned server and quantization); the family a certificate binds; and one setting of a model, such as its reasoning effort. Selected 2026-09-25; in TPS since revision 5 ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14]]); not yet built. ([[The Principia Machina/Inputs/Top performers\|Top performers]])
	; MRG : The decision protocol of ~~PMP, which~~ the ~~implementation PMP-TPM follows~~: a collision it cannot resolve becomes a decision item, put to the human. TPS states its own rules for decision items in part 6. ([[The Principia Machina/TPS/6.3 Decision items\|6.3]])		; MRG : The decision protocol of the Claude instance's instruction set: a collision it cannot resolve becomes a decision item, put to the human. TPS states its own rules for decision items in part 6. ([[The Principia Machina/TPS/6.3 Decision items\|6.3]])
	; named-gap record : A record TPX writes for each gap: an untied or undetermined DOF, the locus of a strike, or a measured disagreement with a logical result; its SOURCE says which, and its STATE LINE says whether it is OPEN, SETTLED or STANDING. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.5]])		; named-gap record : A record TPX writes for each gap: an untied or undetermined DOF, the locus of a strike, or a measured disagreement with a logical result; its SOURCE says which, and its STATE LINE says whether it is OPEN, SETTLED or STANDING. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.5]])
	; NCBI : The National Center for Biotechnology Information, which runs PubMed and PubMed Central; TPX looks up PMIDs and PMCIDs at its services. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.21]])		; NCBI : The National Center for Biotechnology Information, which runs PubMed and PubMed Central; TPX looks up PMIDs and PMCIDs at its services. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.21]])
Line 98:		Line 98:
	; PLATFORM : Native MediaWiki: pages, history, protection, upload, the API. ([[The Principia Machina/TPS/5.2 The platform\|5.2]])		; PLATFORM : Native MediaWiki: pages, history, protection, upload, the API. ([[The Principia Machina/TPS/5.2 The platform\|5.2]])
	; PMID, PMCID : The PubMed identifier of a biomedical paper, and the identifier of its free full text in PubMed Central. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.6]])		; PMID, PMCID : The PubMed identifier of a biomedical paper, and the identifier of its free full text in PubMed Central. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.6]])
	; PMP, PMP-TPM : PMP-TPM, the project meta prompt of The Principia Machina, is one vendor's implementation of the agent contract: non-normative, and never above TPS. PMP is the base instruction set it requires, outside TPS and never indexed. ([[The Principia Machina/TPS/1.2 Scope and residence\|1.2]])
	; post-refusal procedure : What an agent does when its push is refused for an expired block: ask the lead, then land, wait, corroborate or request an audit. ([[The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal\|5.9.7]])		; post-refusal procedure : What an agent does when its push is refused for an expired block: ask the lead, then land, wait, corroborate or request an audit. ([[The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal\|5.9.7]])
	; PRB : The Public Recorder Backend: the client beside the agent that keeps the local workspace and drives TPX through its API. ([[The Principia Machina/TPS/5.4 PRB\|5.4]])		; PRB : The Public Recorder Backend: the client beside the agent that keeps the local workspace and drives TPX through its API. ([[The Principia Machina/TPS/5.4 PRB\|5.4]])

← Older revision		Revision as of 02:10, 29 September 2026
Line 38:		Line 38:
	; DIMENSION : The physical dimension of a quantity, required on every manifold entry and every environment quantity; dimensionless is written, never implied. ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.11]])		; DIMENSION : The physical dimension of a quantity, required on every manifold entry and every environment quantity; dimensionless is written, never implied. ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.11]])
	; D(IS) : The digest of the published TPS version; an agent presents it to prove it holds the current rule book. ([[The Principia Machina/TPS/5.14 AI certification\|5.14]])		; D(IS) : The digest of the published TPS version; an agent presents it to prove it holds the current rule book. ([[The Principia Machina/TPS/5.14 AI certification\|5.14]])
	; DOF, degree of freedom : A quantity the Prime Kernel leaves free for its laws to relate, declared with a name and a dimension. DOF is the first of the six kinds in a Prime Kernel and is written the same in the singular and the plural. Each DOF that no constraint removes must be tied to the world by an entry of the Translation Manifold; one without an entry is an untied DOF, recorded as a named gap or, where the Measure Set says so, refused. A DOF is any variable the kernel declares, so the count is not the mechanical count of independent coordinates: the tutorial's spring has one mechanical degree of freedom but declares position x, velocity v and ~~time t~~ as ~~three~~ DOF. ([[The Principia Machina/TPS/2.2 The Prime Kernel\|2.2.6]], [[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.6]])		; DOF, degree of freedom : A quantity the Prime Kernel leaves free for its laws to relate, declared with a name and a dimension. DOF is the first of the six kinds in a Prime Kernel and is written the same in the singular and the plural. Each DOF that no constraint removes must be tied to the world by an entry of the Translation Manifold; one without an entry is an untied DOF, recorded as a named gap or, where the Measure Set says so, refused. A DOF is any variable the kernel declares, so the count is not the mechanical count of independent coordinates: the tutorial's spring has one mechanical degree of freedom but declares time t, position x, velocity v and the displacement z across the spring axis as four DOF. ([[The Principia Machina/TPS/2.2 The Prime Kernel\|2.2.6]], [[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.6]])
	; DOI : Digital Object Identifier: the permanent identifier that most journals and data repositories give a work. When a bibliography entry lands, TPX asks the DOI system whether its DOI exists. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.6]])		; DOI : Digital Object Identifier: the permanent identifier that most journals and data repositories give a work. When a bibliography entry lands, TPX asks the DOI system whether its DOI exists. ([[The Principia Machina/TPS/5.21 The bibliography\|5.21.6]])
	; DOT : The graph language of the Graphviz software, in which the structural diagrams are written as text; the process diagrams use Mermaid. ([[The Principia Machina/TPS/5.15 Help sets, diagrams and the references page\|5.15.3]])		; DOT : The graph language of the Graphviz software, in which the structural diagrams are written as text; the process diagrams use Mermaid. ([[The Principia Machina/TPS/5.15 Help sets, diagrams and the references page\|5.15.3]])
Line 44:		Line 44:
	; draft container : The page where a kernel is built before a container exists; one per initiator. ([[The Principia Machina/TPS/5.5 The new-container flow\|5.5.1]])		; draft container : The page where a kernel is built before a container exists; one per initiator. ([[The Principia Machina/TPS/5.5 The new-container flow\|5.5.1]])
	; D(TPK), D(TrM), D(TMS), D(TFK) : Content digests of the three zones and of the whole kernel, computed only by TPX. ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5]])		; D(TPK), D(TrM), D(TMS), D(TFK) : Content digests of the three zones and of the whole kernel, computed only by TPX. ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5]])
			; D VARIABLE, D_VARIABLES : The variable a kernel's derivatives are taken with respect to, the s in D(x, s, n): usually the time t, but any DOF that no constraint fixes or removes, of any dimension. D_VARIABLES, the one field of the Prime Kernel's PARAMETERS part, says whether the kernel uses ONE, the default, or SEVERAL; with SEVERAL the structure check does not analyse the kernel. ([[The Principia Machina/TPS/2.2 The Prime Kernel\|2.2.13]], [[The Principia Machina/TPS/2.2 The Prime Kernel\|2.2.6]]; [[The Principia Machina/Tutorial/2 Write the Prime Kernel\|tutorial step 2]])
	; entry-status record : The record that carries a kernel entry's changeable fields: STATE, SCRUTINY, RIDER, NOTE, CHECKS OWED, RECORDS. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.2]])		; entry-status record : The record that carries a kernel entry's changeable fields: STATE, SCRUTINY, RIDER, NOTE, CHECKS OWED, RECORDS. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.2]])
	; ENVIRONMENT INVENTORY : Manifold header field: the quantities on the world's side, each with its dimension. ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.10]])		; ENVIRONMENT INVENTORY : Manifold header field: the quantities on the world's side, each with its dimension. ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.10]])
			; ENVIRONMENT MODULE, MODULE DECLARATION : A declared, versioned text from which TPX writes ordinary entries into a draft kernel at its author's choice - constants, assumptions, boundaries, and force terms added to equations of motion the kernel already has - chosen by answering the new-container form's question about which interactions act. It exists only by the declaring authority's MODULE DECLARATIONS; what it writes stands in the kernel as the author's own entries would, and the closed world still holds. ([[The Principia Machina/TPS/5.22 Environment modules\|5.22]]; [[The Principia Machina/Inputs/Environment modules\|Environment modules]])
			; EOM-0 : A container's first register objective when the structure check found a DOF that no law determines: while it is OPEN, TPX lands only EOM-0 and REPRODUCTION blocks; it closes when each such DOF is determined or the declaring authority declares the gap standing. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.16]]; [[The Principia Machina/Inputs/Register records\|Register records]])
	; EQUIVALENCE : The relation the declared TRANSFORMATIONS generate; the manifold checks run modulo it. ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.10]])		; EQUIVALENCE : The relation the declared TRANSFORMATIONS generate; the manifold checks run modulo it. ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.10]])
	; EXCLUSION LIST : The declaring authority's declaration of the vendors whose models are neither ranked nor certified; it is named on the DECLARATIONS page alone. Selected 2026-09-25. ([[The Principia Machina/Inputs/Top performers\|Top performers]])		; EXCLUSION LIST : The declaring authority's declaration of the vendors whose models are neither ranked nor certified; it is named on the DECLARATIONS page alone. Selected 2026-09-25. ([[The Principia Machina/Inputs/Top performers\|Top performers]])
Line 57:		Line 60:
	; GUM : The Guide to the Expression of Uncertainty in Measurement (JCGM 100:2008): the international rules for stating how uncertain a measured value is. Every measured finding states its combined standard uncertainty, u_c, by them. ([[The Principia Machina/TPS/3.2 Record fields and regime\|3.2.4]])		; GUM : The Guide to the Expression of Uncertainty in Measurement (JCGM 100:2008): the international rules for stating how uncertain a measured value is. Every measured finding states its combined standard uncertainty, u_c, by them. ([[The Principia Machina/TPS/3.2 Record fields and regime\|3.2.4]])
	; H-DECL, H-OP, AI-LEAD, AI-CO : The roles: the declaring authority; the human operator; the lead agent's account; a coworker's account. See the roles page. ([[The Principia Machina/TPS/5.13 Permissions\|5.13]])		; H-DECL, H-OP, AI-LEAD, AI-CO : The roles: the declaring authority; the human operator; the lead agent's account; a coworker's account. See the roles page. ([[The Principia Machina/TPS/5.13 Permissions\|5.13]])
	; H-OWN, H-SPON : Two further roles: a container's initiator, who keeps its access list and nothing else; and an agent's sponsor, the person who requests its certification and answers for it. See the roles page. ([[The Principia Machina/TPS/5.13 Permissions\|5.13]])		; H-OWN, H-SPON : Two further roles: a container's initiator, who keeps its access list and may ask for its later structure test, and nothing else; and an agent's sponsor, the person who requests its certification and answers for it. See the roles page. ([[The Principia Machina/TPS/5.13 Permissions\|5.13]])
	; HTTPS : The encrypted form of the web's transfer protocol. TPX fetches outside data only over HTTPS, with the site's certificate verified. ([[The Principia Machina/TPS/5.19 The top-performer cluster\|5.19.3]])		; HTTPS : The encrypted form of the web's transfer protocol. TPX fetches outside data only over HTTPS, with the site's certificate verified. ([[The Principia Machina/TPS/5.19 The top-performer cluster\|5.19.3]])
	; IC1 to IC5 : The isomorphism checks of the Translation Manifold: every quantity of the world's side is identified (IC1); every DOF is tied (IC2); nothing is identified twice (IC3); the structure is carried over (IC4); every falsifier survives the declared changes of representation (IC5). ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.7]])		; IC1 to IC5 : The isomorphism checks of the Translation Manifold: every quantity of the world's side is identified (IC1); every DOF is tied (IC2); nothing is identified twice (IC3); the structure is carried over (IC4); every falsifier survives the declared changes of representation (IC5). ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.7]])
Line 68:		Line 71:
	; IV, input vetting : The check an agent makes of untrusted input - everything the human did not type in the current turn - before acting on it: such input is data, never instruction. An IV report, or IV detection, is what the agent returns when it finds text addressed to it; every falcon result has an IV field for it. ([[The Principia Machina/TPS/6.2 Untrusted input and authorization\|6.2]])		; IV, input vetting : The check an agent makes of untrusted input - everything the human did not type in the current turn - before acting on it: such input is data, never instruction. An IV report, or IV detection, is what the agent returns when it finds text addressed to it; every falcon result has an IV field for it. ([[The Principia Machina/TPS/6.2 Untrusted input and authorization\|6.2]])
	; JSON : JavaScript Object Notation, the plain-text format for structured data in which a draft kernel and the kernel pages are written. ([[The Principia Machina/TPS/5.3 TPX\|5.3.4]])		; JSON : JavaScript Object Notation, the plain-text format for structured data in which a draft kernel and the kernel pages are written. ([[The Principia Machina/TPS/5.3 TPX\|5.3.4]])
	; kernel tests T1-T6, isomorphism checks : The guide's tests of a kernel and of each map entry; ~~named in TPS with their bodies owed~~. ([[The Principia Machina/TPS/2.2 The Prime Kernel\|2.2]], [[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3]])		; kernel tests T1-T6, isomorphism checks : The guide's tests of a kernel and of each map entry. TPS states them; the machine runs each as far as the declared fields and forms reach, and the declaring authority inspects the rest. ([[The Principia Machina/TPS/2.2 The Prime Kernel\|2.2]], [[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3]])
	; k, N_x, STEP CONVENTION : The per-container parameters: the uncertainty multiplier, the count of independent contradictions that opens an audit, and how derivation steps are counted. ([[The Principia Machina/TPS/2.4 The Measure Set\|2.4.5]])		; k, N_x, STEP CONVENTION : The per-container parameters: the uncertainty multiplier, the count of independent contradictions that opens an audit, and how derivation steps are counted. ([[The Principia Machina/TPS/2.4 The Measure Set\|2.4.5]])
	; landing : The act by which results enter the register through TPX's landing API. ([[The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal\|5.9]])		; landing : The act by which results enter the register through TPX's landing API. ([[The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal\|5.9]])
Line 101:		Line 104:
	; RESTORE, FORK : The two human-declared recoveries from a digest-gate failure: return the kernel pages to the matching revision, or copy forward under a new kernel. ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5.7]])		; RESTORE, FORK : The two human-declared recoveries from a digest-gate failure: return the kernel pages to the matching revision, or copy forward under a new kernel. ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5.7]])
	; RFC : Request for Comments: a numbered Internet standard or note, such as RFC 3986 on web addresses. ([[The Principia Machina/TPS/8.3 References\|8.3]])		; RFC : Request for Comments: a numbered Internet standard or note, such as RFC 3986 on web addresses. ([[The Principia Machina/TPS/8.3 References\|8.3]])
			; ROLE : A field of the Prime Kernel saying what a law is for: EOM(x), the equation of motion of the DOF x; CONSTRAINT; CONSTITUTIVE; INVARIANT; or DEFINITION. Required on every LAW; on a DOF only INPUT, a quantity the kernel takes as given. T1 checks the spelling; any other mismatch is a finding of the structure check. ROLE CONSTRAINT names a law, not a CONSTRAINT entry. ([[The Principia Machina/TPS/2.2 The Prime Kernel\|2.2.6]]; [[The Principia Machina/Inputs/Prime Kernel\|Prime Kernel]])
	; RR, the Research Register : Layer 3: every finding, in order, with its assumptions, derivation, regime and standing. ([[The Principia Machina/TPS/3.1 Records, prefixes and volumes\|3.1]])		; RR, the Research Register : Layer 3: every finding, in order, with its assumptions, derivation, regime and standing. ([[The Principia Machina/TPS/3.1 Records, prefixes and volumes\|3.1]])
	; SAME-MODEL : A mark on a corroboration whose model snapshot equals the original's; it is excluded from the corroboration counts. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.10]])		; SAME-MODEL : A mark on a corroboration whose model snapshot equals the original's; it is excluded from the corroboration counts. ([[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3.10]])
Line 110:		Line 114:
	; SIGNATURE : Manifold header field: the relations and operations the map must carry, each with its image. Not a cryptographic signature. ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.10]])		; SIGNATURE : Manifold header field: the relations and operations the map must carry, each with its image. Not a cryptographic signature. ([[The Principia Machina/TPS/2.3 The Translation Manifold\|2.3.10]])
	; SPONSOR STAGE, SPONSOR GRADUATION, DORMANT : A sponsor's stage: NEW, WORKING, or SERIOUS from its graduation, at least 10 landed blocks on 5 different days over at least 14 days. It grants no right and is never taken away; DORMANT marks 90 days without a landing. Selected 2026-09-25; in TPS since revision 5 ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14]]); not yet built. ([[The Principia Machina/Inputs/Sponsoring an agent\|Sponsoring an agent]])		; SPONSOR STAGE, SPONSOR GRADUATION, DORMANT : A sponsor's stage: NEW, WORKING, or SERIOUS from its graduation, at least 10 landed blocks on 5 different days over at least 14 days. It grants no right and is never taken away; DORMANT marks 90 days without a landing. Selected 2026-09-25; in TPS since revision 5 ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14]]); not yet built. ([[The Principia Machina/Inputs/Sponsoring an agent\|Sponsoring an agent]])
			; SPONSOR ZONE : Everything an agent's client, PRB, places on the model's instruction channel besides the agent contract itself: the implementation's text and the sponsor's own instructions, whole, within a declared size cap. With the list of every tool the model is offered it makes up the PROMPT whose digest the certificate binds. ([[The Principia Machina/TPS/5.14 AI certification\|5.14.5]]; [[The Principia Machina/Sponsor guide/Keeping your agent's instructions healthy\|Keeping your agent's instructions healthy]])
	; strike rule, SR1 to SR9 : The nine rules that decide what stands and what is struck. ([[The Principia Machina/TPS/4.4 The strike rule\|4.4]])		; strike rule, SR1 to SR9 : The nine rules that decide what stands and what is struck. ([[The Principia Machina/TPS/4.4 The strike rule\|4.4]])
	; strike skeleton : The five fixed principles every Measure Set instantiates: the kernel is inviolable; a record stands while uncontradicted; conflicts are ordered by distance; a distant record prevails only past a threshold; logical and measured results are split. ([[The Principia Machina/TPS/4.3 The strike skeleton\|4.3]])		; strike skeleton : The five fixed principles every Measure Set instantiates: the kernel is inviolable; a record stands while uncontradicted; conflicts are ordered by distance; a distant record prevails only past a threshold; logical and measured results are split. ([[The Principia Machina/TPS/4.3 The strike skeleton\|4.3]])
			; structure check, STRUCTURE_CHECK, EOM map : TPX's check, at the final pass, of whether a kernel's equations of motion determine its motion: every DOF that changes given by exactly one law with an EQUATION, nothing missing and nothing doubled. It refuses nothing: a missing equation opens EOM-0 and every other finding goes to the declaring authority with a question. Its account of the kernel is the EOM map; its label on the certificate is ''structurally regular'' or ''Structure not Validated at Inception'', with the reason. STRUCTURE_CHECK, a Measure Set parameter, ON unless written OFF, switches it. Not the structural checks each zone gets as it is entered. ([[The Principia Machina/TPS/2.2 The Prime Kernel\|2.2.20]], [[The Principia Machina/TPS/2.4 The Measure Set\|2.4.7]]; [[The Principia Machina/Inputs/Prime Kernel\|Prime Kernel]])
	; tag : A record's standing mark: PROVISIONAL, REFUTED, CORROBORATED, as copy-forward and landing assign it. ([[The Principia Machina/TPS/3.2 Record fields and regime\|3.2.2]])		; tag : A record's standing mark: PROVISIONAL, REFUTED, CORROBORATED, as copy-forward and landing assign it. ([[The Principia Machina/TPS/3.2 Record fields and regime\|3.2.2]])
	; TFK, the Full Kernel : The three zones together; immutable per container; any change starts a new container. ([[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|2.1]])		; TFK, the Full Kernel : The three zones together; immutable per container; any change starts a new container. ([[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|2.1]])