The Principia Machina/Inputs/Declarations - Revision history

BFP Rauch: 1 revision imported

2026-10-03T01:45:28Z

1 revision imported

← Older revision		Revision as of 01:45, 3 October 2026
(No difference)

DeltaS Zero: G-1 (outside AI session 2): the lead's last sentence now says where the agent-facing page is and addresses no one (base revision 5443)

2026-10-03T01:35:13Z

G-1 (outside AI session 2): the lead's last sentence now says where the agent-facing page is and addresses no one (base revision 5443)

← Older revision		Revision as of 01:35, 3 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Inputs: declarations}}		{{DISPLAYTITLE:Inputs: declarations}}
	''Public Recorder inputs: a help set for the people who put things into The Principia Machina - authors of a new UWC, operators, and the declaring authority. It explains; the specification governs. Start at [[The Principia Machina/Inputs\|the index]]; for a guided walk from a blank file to a declared UWC, follow [[The Principia Machina/Tutorial\|the tutorial]]. ~~Agents read~~ [[The Principia Machina/Agent/Inputs\|the agent-facing page]] ~~instead~~.''		''Public Recorder inputs: a help set for the people who put things into The Principia Machina - authors of a new UWC, operators, and the declaring authority. It explains; the specification governs. Start at [[The Principia Machina/Inputs\|the index]]; for a guided walk from a blank file to a declared UWC, follow [[The Principia Machina/Tutorial\|the tutorial]]. Its counterpart for agents is [[The Principia Machina/Agent/Inputs\|the agent-facing page]].''

	{{:The Principia Machina/Diagrams/03 Digest gate and recovery}}		{{:The Principia Machina/Diagrams/03 Digest gate and recovery}}

BFP Rauch: 1 revision imported

2026-09-30T13:34:15Z

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; S171-D216)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; S171-D216)

← Older revision		Revision as of 13:34, 30 September 2026
Line 9:		Line 9:
	What the declaring authority enters, and why no one else can. This page is for the declaring authority and the operator.		What the declaring authority enters, and why no one else can. This page is for the declaring authority and the operator.

	''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6; revision 7, proposed as TPS 0.4.0, is on the TPS pages from batch B2, and a passage marked "revision 7, proposed" states it), which carries the declarations in 5.6 and the sections each row names, the module declarations of D178.1 among them; [[The Principia Machina/TPC-PY\|TPC-PY 0.1.0]] (declared on 2026-09-28, tree digest a00161c1b321fd66abc591209007d46a7fa6290097835060e50f381426259043, conformed TPS 0.3.0; tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''		''Explains: TPS 0.4.0 (declared final on 2026-09-30 at revision 7, and in force; it follows TPS 0.3.0, declared final on 2026-09-28 at revision 6; revision 8, proposed as TPS 0.5.0, is on the TPS pages from batch B3, and a passage marked "revision 8, proposed" states it), which carries the declarations in 5.6 and the sections each row names, the module declarations of D178.1 among them; [[The Principia Machina/TPC-PY\|TPC-PY 0.1.0]] (declared on 2026-09-28, tree digest a00161c1b321fd66abc591209007d46a7fa6290097835060e50f381426259043, conformed TPS 0.3.0; tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''

	== What a declaration is ==		== What a declaration is ==
Line 15:		Line 15:

	== What exists today ==		== What exists today ==
	The DECLARATIONS page does not exist yet. It is created at TPX's first landing by the first declaration, which declares TPS itself: TPX computes the specification's digest D(TPS) over the text of its pages' preformatted blocks, and the version with that digest is the genesis line ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14 CR9]]~~; revision 7, proposed~~). Until then there is no chain, which is correct, not a gap. A declaration made before then that a version of TPS is final - TPS 0.1.0 at revision 4 on 2026-09-22, TPS 0.1.1 on 2026-09-26, ~~and~~ TPS 0.3.0 at revision 6 on 2026-09-28 - is recorded in the foundations record and creates no chain page. So is every declaration outside D(IS) made by the pointer form before then, such as a module declaration ([[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]). The line syntax of each declaration is owed with the candidate certificate's specification (C-09, C-19).		The DECLARATIONS page does not exist yet. It is created at TPX's first landing by the first declaration, which declares TPS itself: TPX computes the specification's digest D(TPS) over the text of its pages' preformatted blocks, and the version with that digest is the genesis line ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14 CR9]]). Until then there is no chain, which is correct, not a gap. A declaration made before then that a version of TPS is final - TPS 0.1.0 at revision 4 on 2026-09-22, TPS 0.1.1 on 2026-09-26, TPS 0.3.0 at revision 6 on 2026-09-28, and TPS 0.4.0 at revision 7 on 2026-09-30 - is recorded in the foundations record and creates no chain page. So is every declaration outside D(IS) made by the pointer form before then, such as a module declaration ([[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]). The line syntax of each declaration is owed with the candidate certificate's specification (C-09, C-19).

	== The declarations ==		== The declarations ==
Line 21:		Line 21:
	! Declaration !! What the machine prepares !! What the declaration does !! Governing		! Declaration !! What the machine prepares !! What the declaration does !! Governing
	\|-		\|-
	\| The TPS version (genesis), and each later TPS version \|\| TPX computes D(TPS) and D(IS) on the declaration form and fixes them on the line \|\| the first opens the chain; each lapses the certificates made under the last D(IS) \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]		\| The TPS version (genesis), and each later TPS version \|\| TPX computes D(TPS) and D(IS) on the declaration form and fixes them on the line. At H-DECL's declaration of a TPS version TPX also computes the ordered list [title, h] of the pages kept for D(TPS), the very list D(TPS) digests (revision 8, proposed; 5.14 CR9). TPX publishes the list beside D(TPS) and D(IS) where it publishes D(IS) (5.11.16); the genesis line and every TPS declaration line keep the version and D(TPS) only (5.6.2). \|\| the first opens the chain; each lapses the certificates made under the last D(IS) \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]
	\|-		\|-
	\| A UWC's certification: state CERTIFIED, the access policy, the H-OWN binding \|\| TPX's candidate certificate in staging, with the four digests, the UUID and the prefix \|\| brings the UWC into existence; TPX then writes the TFK pages and initializes the register \|\| [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]]		\| A UWC's certification: state CERTIFIED, the access policy, the H-OWN binding \|\| TPX's candidate certificate in staging, with the four digests, the UUID and the prefix \|\| brings the UWC into existence; TPX then writes the TFK pages and initializes the register \|\| [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]]

BFP Rauch: 1 revision imported

2026-09-30T02:11:11Z

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-3)

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 9:		Line 9:
	What the declaring authority enters, and why no one else can. This page is for the declaring authority and the operator.		What the declaring authority enters, and why no one else can. This page is for the declaring authority and the operator.

	''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6), which carries the declarations in 5.6 and the sections each row names, the module declarations of D178.1 among them; [[The Principia Machina/TPC-PY\|TPC-PY 0.1.0]] (declared on 2026-09-28, tree digest a00161c1b321fd66abc591209007d46a7fa6290097835060e50f381426259043, conformed TPS 0.3.0; tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''		''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6; revision 7, proposed as TPS 0.4.0, is on the TPS pages from batch B2, and a passage marked "revision 7, proposed" states it), which carries the declarations in 5.6 and the sections each row names, the module declarations of D178.1 among them; [[The Principia Machina/TPC-PY\|TPC-PY 0.1.0]] (declared on 2026-09-28, tree digest a00161c1b321fd66abc591209007d46a7fa6290097835060e50f381426259043, conformed TPS 0.3.0; tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''

	== What a declaration is ==		== What a declaration is ==
Line 15:		Line 15:

	== What exists today ==		== What exists today ==
	The DECLARATIONS page does not exist yet. It is created at TPX's first landing by the first declaration, which declares TPS itself: TPX computes the specification's digest, and that digest is the genesis line. Until then there is no chain, which is correct, not a gap. A declaration made before then that a version of TPS is final - TPS 0.1.0 at revision 4 on 2026-09-22, TPS 0.1.1 on 2026-09-26, and TPS 0.3.0 at revision 6 on 2026-09-28 - is recorded in the foundations record and creates no chain page. So is every declaration outside D(IS) made by the pointer form before then, such as a module declaration ([[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]). The line syntax of each declaration is owed with the candidate certificate's specification (C-09, C-19).		The DECLARATIONS page does not exist yet. It is created at TPX's first landing by the first declaration, which declares TPS itself: TPX computes the specification's digest D(TPS) over the text of its pages' preformatted blocks, and the version with that digest is the genesis line ([[The Principia Machina/TPS/5.14 AI certification\|TPS 5.14 CR9]]; revision 7, proposed). Until then there is no chain, which is correct, not a gap. A declaration made before then that a version of TPS is final - TPS 0.1.0 at revision 4 on 2026-09-22, TPS 0.1.1 on 2026-09-26, and TPS 0.3.0 at revision 6 on 2026-09-28 - is recorded in the foundations record and creates no chain page. So is every declaration outside D(IS) made by the pointer form before then, such as a module declaration ([[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]). The line syntax of each declaration is owed with the candidate certificate's specification (C-09, C-19).

	== The declarations ==		== The declarations ==
Line 21:		Line 21:
	! Declaration !! What the machine prepares !! What the declaration does !! Governing		! Declaration !! What the machine prepares !! What the declaration does !! Governing
	\|-		\|-
	\| The TPS version (genesis) \|\| TPX computes the ~~digest of~~ the ~~published TPS~~ \|\| opens the chain \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]		\| The TPS version (genesis), and each later TPS version \|\| TPX computes D(TPS) and D(IS) on the declaration form and fixes them on the line \|\| the first opens the chain; each lapses the certificates made under the last D(IS) \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]
	\|-		\|-
	\| A UWC's certification: state CERTIFIED, the access policy, the H-OWN binding \|\| TPX's candidate certificate in staging, with the four digests, the UUID and the prefix \|\| brings the UWC into existence; TPX then writes the TFK pages and initializes the register \|\| [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]]		\| A UWC's certification: state CERTIFIED, the access policy, the H-OWN binding \|\| TPX's candidate certificate in staging, with the four digests, the UUID and the prefix \|\| brings the UWC into existence; TPX then writes the TFK pages and initializes the register \|\| [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]]

DeltaS Zero: Post-TPC-PY page batch (S70): S61 FIXUP; SWEEP

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): S61 FIXUP; SWEEP

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

BFP Rauch: 1 revision imported

2026-09-29T02:10:49Z

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 9:		Line 9:
	What the declaring authority enters, and why no one else can. This page is for the declaring authority and the operator.		What the declaring authority enters, and why no one else can. This page is for the declaring authority and the operator.

	''Explains: ~~TPS revision 6 (proposed as~~ TPS 0.3.0 ~~until the declaring authority declares it~~), which carries the declarations in 5.6 and the sections each row names, the module declarations of D178.1 among them; TPC-PY ~~as built at increment 10~~ (tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0~~; no TPC-PY version is declared yet~~) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''		''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6), which carries the declarations in 5.6 and the sections each row names, the module declarations of D178.1 among them; [[The Principia Machina/TPC-PY\|TPC-PY 0.1.0]] (declared on 2026-09-28, tree digest a00161c1b321fd66abc591209007d46a7fa6290097835060e50f381426259043, conformed TPS 0.3.0; tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''

	== What a declaration is ==		== What a declaration is ==
Line 15:		Line 15:

	== What exists today ==		== What exists today ==
	The DECLARATIONS page does not exist yet. It is created at TPX's first landing by the first declaration, which declares TPS itself: TPX computes the specification's digest, and that digest is the genesis line. Until then there is no chain, which is correct, not a gap. A declaration made before then that a version of TPS is final - TPS 0.1.0 at revision 4 on 2026-09-22, TPS 0.1.1 on 2026-09-26, and TPS 0.3.0 at revision 6 ~~when the declaring authority declares it~~ - is recorded in the foundations record and creates no chain page. So is every declaration outside D(IS) made by the pointer form before then, such as a module declaration ([[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]). The line syntax of each declaration is owed with the candidate certificate's specification (C-09, C-19).		The DECLARATIONS page does not exist yet. It is created at TPX's first landing by the first declaration, which declares TPS itself: TPX computes the specification's digest, and that digest is the genesis line. Until then there is no chain, which is correct, not a gap. A declaration made before then that a version of TPS is final - TPS 0.1.0 at revision 4 on 2026-09-22, TPS 0.1.1 on 2026-09-26, and TPS 0.3.0 at revision 6 on 2026-09-28 - is recorded in the foundations record and creates no chain page. So is every declaration outside D(IS) made by the pointer form before then, such as a module declaration ([[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]). The line syntax of each declaration is owed with the candidate certificate's specification (C-09, C-19).

	== The declarations ==		== The declarations ==

BFP Rauch: 1 revision imported

2026-09-28T03:56:36Z

1 revision imported

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

DeltaS Zero: Second help pass (HELP-PASS-2): environment modules and the structure check (D176.1, D178.1); stale status lines (M SC14)

2026-09-28T03:55:00Z

Second help pass (HELP-PASS-2): environment modules and the structure check (D176.1, D178.1); stale status lines (M SC14)

← Older revision		Revision as of 03:55, 28 September 2026
Line 9:		Line 9:
	What the declaring authority enters, and why no one else can. This page is for the declaring authority and the operator.		What the declaring authority enters, and why no one else can. This page is for the declaring authority and the operator.

	''Explains: TPS 0.1.0~~, revision 4 (declared final 2026-09-22); the zone schemas~~ the declaring authority ~~selected on 2026-09-22 (records D92.1~~, ~~D98~~.~~1, D99.1, D100.1,~~ and ~~for units D103.1~~, ~~D104.1, D105~~.1; ~~schema~~ 0.3.0), ~~whose text enters TPS at revision 5, and the kernel tests and isomorphism checks selected the same day (D106~~.1~~, D107~~.1, ~~D108.1; tpm_kernel_tests~~ 0.2.0), ~~whose text follows at the next TPS revision; TPC-PY as built 2026-09-22 (tpc_zone~~ 0.3.0, ~~tpc_units~~ 0.1.0~~, tpc_tests~~ 0.1.0; no TPC-PY version is declared yet) with check_draft 0.3.0. Where this page and the specification differ, the specification governs.''		''Explains: TPS revision 6 (proposed as TPS 0.3.0 until the declaring authority declares it), which carries the declarations in 5.6 and the sections each row names, the module declarations of D178.1 among them; TPC-PY as built at increment 10 (tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0; no TPC-PY version is declared yet) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''

	== What a declaration is ==		== What a declaration is ==
Line 15:		Line 15:

	== What exists today ==		== What exists today ==
	The DECLARATIONS page does not exist yet. It is created at TPX's first landing by the first declaration, which declares TPS itself: TPX computes the specification's digest, and that digest is the genesis line. Until then there is no chain, which is correct, not a gap. A declaration made before then that a version of TPS is final - ~~such as the declaration of~~ TPS 0.1.0 at revision 4 on 2026-09-22 - is recorded in the foundations record and creates no chain page ([[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]). The line syntax of each declaration is owed with the candidate certificate's specification (C-09, C-19).		The DECLARATIONS page does not exist yet. It is created at TPX's first landing by the first declaration, which declares TPS itself: TPX computes the specification's digest, and that digest is the genesis line. Until then there is no chain, which is correct, not a gap. A declaration made before then that a version of TPS is final - TPS 0.1.0 at revision 4 on 2026-09-22, TPS 0.1.1 on 2026-09-26, and TPS 0.3.0 at revision 6 when the declaring authority declares it - is recorded in the foundations record and creates no chain page. So is every declaration outside D(IS) made by the pointer form before then, such as a module declaration ([[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]]). The line syntax of each declaration is owed with the candidate certificate's specification (C-09, C-19).

	== The declarations ==		== The declarations ==
Line 38:		Line 38:
	\|-		\|-
	\| A TPC-PY version \|\| TPX indexes the source pages with version and digest \|\| makes that version the published advisory calculator \|\| [[The Principia Machina/TPS/5.11 The index of record\|TPS 5.11]]		\| A TPC-PY version \|\| TPX indexes the source pages with version and digest \|\| makes that version the published advisory calculator \|\| [[The Principia Machina/TPS/5.11 The index of record\|TPS 5.11]]
			\|-
			\| MODULE ADD, outside D(IS) \|\| TPX previews the new environment module on its test bindings and checks it with every offered module it does not exclude \|\| offers a new module ID at its first version \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6.16]]
			\|-
			\| MODULE VERSION, outside D(IS) \|\| the same checks on the new version \|\| offers the new version; the ID's previous offered version becomes SUPERSEDED, kept published \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6.16]]
			\|-
			\| MODULE RETIRE, outside D(IS) \|\| none \|\| takes the ID's offered version out of the offer; drafts that chose it keep it \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6.16]]
			\|-
			\| MODULE WITHDRAW, outside D(IS) \|\| none; the reason is required \|\| marks a defective version WITHDRAWN, final; a draft carrying it reaches the gate with one question for you \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6.16]]
			\|-
			\| MODULE REINSTATE, outside D(IS) \|\| none \|\| offers a SUPERSEDED or RETIRED version again; never a WITHDRAWN one \|\| [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6.16]]
	\|-		\|-
	\| A DOMAIN restriction or successor under SR7 \|\| the finding against the TFK's domain \|\| restricts the domain, or starts a successor \|\| [[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]]		\| A DOMAIN restriction or successor under SR7 \|\| the finding against the TFK's domain \|\| restricts the domain, or starts a successor \|\| [[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]]
Line 46:		Line 56:

	== Before you declare a UWC ==		== Before you declare a UWC ==
	The checker, and TPX when it is built, run the parts of the kernel tests and isomorphism checks a machine can read: T1, T2's joins, T3 over the constraints, T5, IC1 to IC3, IC4's dimensions and what the entries bear, and CODOMAIN. You perform the rest by inspection, and each inspection is recorded as debt: whether each assumption states one claim, T3 over the laws and assumptions, T4, T6's closure, IC4's signature and expressibility, IC5, equivalence under the transformations, and whether each statement names only what its REFS list. A passing run of the checker lists them. [[The Principia Machina/Tutorial/7 Inspect, submit and declare\|Tutorial step 7]] works them on the example.		The checker, and TPX when it is built, run the parts of the kernel tests and isomorphism checks a machine can read: T1, T2's joins, T3 over the constraints, T5, IC1 to IC3, IC4's dimensions and what the entries bear, and CODOMAIN. You perform the rest by inspection, and each inspection is recorded as debt: whether each assumption states one claim, T3 over the laws and assumptions, T4, T6's closure, IC4's signature and expressibility, IC5, equivalence under the transformations, and whether each statement names only what its REFS list. A passing run of the checker lists them. With STRUCTURE_CHECK ON, the structure check also lists its findings, each with a question you answer before declaring; the label it gives goes on the certificate's STRUCTURE line ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.20]]). For a module version you declare, you inspect once whether each assumption it writes states one claim ([[The Principia Machina/Guide/10 Managing the module catalogue\|guide 10]]). [[The Principia Machina/Tutorial/7 Inspect, submit and declare\|Tutorial step 7]] works them on the example.

	== Non-goals ==		== Non-goals ==