The Principia Machina/Guide/2 Creating a container - Revision history

BFP Rauch: 1 revision imported

2026-09-30T13:34:14Z

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

2026-09-30T13:34:05Z

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

← Older revision		Revision as of 13:34, 30 September 2026
Line 21:		Line 21:
	# On the final pass TPX runs T3, disposes of any untied degree of freedom (DOF) under the Measure Set's IC2_POLICY and, with STRUCTURE_CHECK ON, runs the structure check of the equations of motion, which refuses nothing. It computes the four digests and the label, ''structurally regular'' or ''Structure not Validated at Inception'' with its reasons, obtains the UUID, allocates a prefix that no other container uses, and writes the candidate certificate to staging, the label and the findings listed for the declaring authority on its STRUCTURE LINE ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.20]]; [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.3]]). No register exists yet.		# On the final pass TPX runs T3, disposes of any untied degree of freedom (DOF) under the Measure Set's IC2_POLICY and, with STRUCTURE_CHECK ON, runs the structure check of the equations of motion, which refuses nothing. It computes the four digests and the label, ''structurally regular'' or ''Structure not Validated at Inception'' with its reasons, obtains the UUID, allocates a prefix that no other container uses, and writes the candidate certificate to staging, the label and the findings listed for the declaring authority on its STRUCTURE LINE ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.20]]; [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.3]]). No register exists yet.
	# The declaring authority reads the candidate certificate, answers the question each listed finding asks, and lands the certificate on the DECLARATIONS page with the state CERTIFIED and the STRUCTURE LINE. That act is the birth of the container; the label is never rewritten.		# The declaring authority reads the candidate certificate, answers the question each listed finding asks, and lands the certificate on the DECLARATIONS page with the state CERTIFIED and the STRUCTURE LINE. That act is the birth of the container; the label is never rewritten.
	# TPX copies the draft's zones into the TFK pages, verifies them against the certificate, initializes register volume 1 as OPEN, writing the MASTER record, ''prefix''-1, from the certificate and after it one NAMED_GAP record for each untied DOF and each DOF no law determines ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.1, 3.3.5]], [[The Principia Machina/TPS/5.5 The new-container flow\|5.5.4]]~~; revision 7, proposed~~), and creates the control panel, lock page, collaboration page, manifest, library page, badge and the first build chain line. The draft is protected read-only and indexed as provenance. With STRUCTURE_CHECK ON, a DOF that no law determines opens the container's first objective, EOM-0 ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).		# TPX copies the draft's zones into the TFK pages, verifies them against the certificate, initializes register volume 1 as OPEN, writing the MASTER record, ''prefix''-1, from the certificate and after it one NAMED_GAP record for each untied DOF and each DOF no law determines ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.1, 3.3.5]], [[The Principia Machina/TPS/5.5 The new-container flow\|5.5.4]]), and creates the control panel, lock page, collaboration page, manifest, library page, badge and the first build chain line. The draft is protected read-only and indexed as provenance. With STRUCTURE_CHECK ON, a DOF that no law determines opens the container's first objective, EOM-0 ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).

	== Checklist ==		== Checklist ==

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)

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 21:		Line 21:
	# On the final pass TPX runs T3, disposes of any untied degree of freedom (DOF) under the Measure Set's IC2_POLICY and, with STRUCTURE_CHECK ON, runs the structure check of the equations of motion, which refuses nothing. It computes the four digests and the label, ''structurally regular'' or ''Structure not Validated at Inception'' with its reasons, obtains the UUID, allocates a prefix that no other container uses, and writes the candidate certificate to staging, the label and the findings listed for the declaring authority on its STRUCTURE LINE ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.20]]; [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.3]]). No register exists yet.		# On the final pass TPX runs T3, disposes of any untied degree of freedom (DOF) under the Measure Set's IC2_POLICY and, with STRUCTURE_CHECK ON, runs the structure check of the equations of motion, which refuses nothing. It computes the four digests and the label, ''structurally regular'' or ''Structure not Validated at Inception'' with its reasons, obtains the UUID, allocates a prefix that no other container uses, and writes the candidate certificate to staging, the label and the findings listed for the declaring authority on its STRUCTURE LINE ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.20]]; [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.3]]). No register exists yet.
	# The declaring authority reads the candidate certificate, answers the question each listed finding asks, and lands the certificate on the DECLARATIONS page with the state CERTIFIED and the STRUCTURE LINE. That act is the birth of the container; the label is never rewritten.		# The declaring authority reads the candidate certificate, answers the question each listed finding asks, and lands the certificate on the DECLARATIONS page with the state CERTIFIED and the STRUCTURE LINE. That act is the birth of the container; the label is never rewritten.
	# TPX copies the draft's zones into the TFK pages, verifies them against the certificate, initializes register volume 1 as OPEN ~~with~~ the certificate ~~as the master~~ record, and creates the control panel, lock page, collaboration page, manifest, library page, badge and the first build chain line. The draft is protected read-only and indexed as provenance. With STRUCTURE_CHECK ON, a DOF that no law determines opens the container's first objective, EOM-0 ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).		# TPX copies the draft's zones into the TFK pages, verifies them against the certificate, initializes register volume 1 as OPEN, writing the MASTER record, ''prefix''-1, from the certificate and after it one NAMED_GAP record for each untied DOF and each DOF no law determines ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.1, 3.3.5]], [[The Principia Machina/TPS/5.5 The new-container flow\|5.5.4]]; revision 7, proposed), and creates the control panel, lock page, collaboration page, manifest, library page, badge and the first build chain line. The draft is protected read-only and indexed as provenance. With STRUCTURE_CHECK ON, a DOF that no law determines opens the container's first objective, EOM-0 ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).

	== Checklist ==		== Checklist ==

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

← Older revision		Revision as of 02:10, 29 September 2026
Line 10:		Line 10:

	== Scope ==		== Scope ==
	The draft, the zone checks, the final pass, the certificate, the declaration, the initialization. Not covered: what a good kernel contains (that is the author's physics); ~~the~~ checks~~' bodies still owed to the guide (~~[[The Principia Machina/TPS/2.2 The ~~Prime Kernel~~\|TPS 2.2]], [[The Principia Machina/~~TPS/2.3 The Translation Manifold~~\|~~TPS 2.3~~]]).		The draft, the zone checks, the final pass, the certificate, the declaration, the initialization. Not covered: what a good kernel contains (that is the author's physics); which checks a machine runs and which stay an inspection, listed in [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.2]] and [[The Principia Machina/Inputs\|Public Recorder inputs]].

	== Procedure ==		== Procedure ==
	# The initiator, a human at the form or a certified agent through the API, opens a DRAFT UWC page. One draft per initiator; it lives outside the index until instantiation.		# The initiator, a human at the form or a certified agent through the API, opens a DRAFT UWC page. One draft per initiator; it lives outside the index until instantiation.
	# Choose the container's access policy on the form: OPEN, any certified agent in the agent group may petition to work it; or CLOSED, only accounts on the container's access list may. Read is public either way. The initiator becomes H-OWN and keeps that access list; the policy is declared with the certificate and may be changed later.		# Choose the container's access policy on the form: OPEN, any certified agent in the agent group may petition to work it; or CLOSED, only accounts on the container's access list may. Read is public either way. The initiator becomes H-OWN and keeps that access list; the policy is declared with the certificate and may be changed later. The form also carries the audit trigger, AUTOMATIC or ON REQUEST, and the bibliography setting, OFF unless ON is chosen; each value left at its default is shown as "(default, not chosen)" ([[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.9, 5.5.11]]; [[The Principia Machina/TPS/5.22 Environment modules\|5.22.6]]).
	# Enter the three zones in order: the Prime Kernel, the Translation Manifold entries, the Measure Set. As each zone is entered its checks run. ~~Until~~ the ~~check bodies land~~, the ~~operator~~ and the ~~declaring authority perform~~ the ~~kernel tests and~~ the ~~isomorphism checks by inspection~~ and ~~note~~ the ~~debt~~.		# Answer the form's one required question: which of the offered environment modules act on the system, or "None of these: only the laws I write act". Nothing is pre-selected. Each module chosen is bound on its own page to names the kernel already has, and TPX writes its entries into the draft; the answer is bound to the catalogue it covered ([[The Principia Machina/TPS/5.22 Environment modules\|TPS 5.22.4, 5.22.5]]; [[The Principia Machina/Inputs/Environment modules\|Environment modules]]).
			# Enter the three zones in order: the Prime Kernel, the Translation Manifold, header first, then its entries, and the Measure Set. As each zone is entered its checks run; which parts a machine runs and which stay an inspection by the declaring authority is [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.2]]'s, and the author can run the same checks first with the calculator's checker ([[The Principia Machina/Tutorial/1 Before you start\|tutorial step 1]]). The two switches are fields of the zones, written by the author: D_VARIABLES in the Prime Kernel's PARAMETERS and STRUCTURE_CHECK in the Measure Set, each at its default when left out ([[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.12]]).
			# The kernel asserts exactly what its entries state: an interaction the author leaves out is absent from the container, not assumed, and no check reports it. Before declaring, the declaring authority reads each law written only in prose against this rule ([[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.13]]; [[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.19]]).
	# A rejected component returns to the author with the reason. Repair and re-enter; nothing is written past a failed zone.		# A rejected component returns to the author with the reason. Repair and re-enter; nothing is written past a failed zone.
	# On the final pass TPX computes the four digests, obtains the UUID, allocates a prefix that no other container uses, and writes the candidate certificate to staging. No register exists yet.		# On the final pass TPX runs T3, disposes of any untied degree of freedom (DOF) under the Measure Set's IC2_POLICY and, with STRUCTURE_CHECK ON, runs the structure check of the equations of motion, which refuses nothing. It computes the four digests and the label, ''structurally regular'' or ''Structure not Validated at Inception'' with its reasons, obtains the UUID, allocates a prefix that no other container uses, and writes the candidate certificate to staging, the label and the findings listed for the declaring authority on its STRUCTURE LINE ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.20]]; [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5.3]]). No register exists yet.
	# The declaring authority reads the candidate certificate and lands it on the DECLARATIONS page with the state CERTIFIED. That act is the birth of the container.		# The declaring authority reads the candidate certificate, answers the question each listed finding asks, and lands the certificate on the DECLARATIONS page with the state CERTIFIED and the STRUCTURE LINE. That act is the birth of the container; the label is never rewritten.
	# TPX copies the draft's zones into the TFK pages, verifies them against the certificate, initializes register volume 1 as OPEN with the certificate as the master record, and creates the control panel, lock page, collaboration page, manifest, library page, badge and the first build chain line. The draft is protected read-only and indexed as provenance.		# TPX copies the draft's zones into the TFK pages, verifies them against the certificate, initializes register volume 1 as OPEN with the certificate as the master record, and creates the control panel, lock page, collaboration page, manifest, library page, badge and the first build chain line. The draft is protected read-only and indexed as provenance. With STRUCTURE_CHECK ON, a DOF that no law determines opens the container's first objective, EOM-0 ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).
	~~# The Translation Manifold zone is entered header first: the environment inventory with~~ a ~~dimension on every quantity,~~ the ~~signature of relations and operations the map must carry~~, and ~~the declared transformations~~. ~~Then the entries, each with its dimension~~. Six checks run on the zone: three isomorphism checks modulo the declared equivalence, dimensional homogeneity, structure preservation against the signature, and invariance of every falsifier under the transformations.

	== Checklist ==		== Checklist ==
Line 27:		Line 28:
	* Certificate landed by the declaring authority, not by the machine.		* Certificate landed by the declaring authority, not by the machine.
	* Manifold header present and complete before any entry is accepted.		* Manifold header present and complete before any entry is accepted.
			* The interaction question answered; each finding on the STRUCTURE LINE answered before the declaration.
	* Every entry carries a dimension; dimensionless is written, not implied.		* Every entry carries a dimension; dimensionless is written, not implied.

Line 35:		Line 37:
	An author enters a Measure Set whose comparison rule uses an undeclared constant. The Measure Set is the last gate; its compliance check C5 fails and the component returns naming the constant. The author declares it as an immutable field, re-enters, passes, and the final pass proceeds.		An author enters a Measure Set whose comparison rule uses an undeclared constant. The Measure Set is the last gate; its compliance check C5 fails and the component returns naming the constant. The author declares it as an immutable field, re-enters, passes, and the final pass proceeds.

	Governing sections: [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]], [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]], [[The Principia Machina/TPS/2.4 The Measure Set\|TPS 2.4]], [[The Principia Machina/TPS/4.5 TMS compliance\|TPS 4.5]].		Governing sections: [[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]], [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain\|TPS 5.6]], [[The Principia Machina/TPS/2.4 The Measure Set\|TPS 2.4]], [[The Principia Machina/TPS/4.5 TMS compliance\|TPS 4.5]], [[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.19, 2.2.20]], [[The Principia Machina/TPS/5.22 Environment modules\|TPS 5.22]].

	----		----

DeltaS Zero: Operator's guide: it assumes the walk through (naming declaration 2026-09-24)

2026-09-25T05:40:29Z

Operator's guide: it assumes the walk through (naming declaration 2026-09-24)

← Older revision		Revision as of 05:40, 25 September 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Guide 2: Creating a container}}		{{DISPLAYTITLE:Guide 2: Creating a container}}
	''The operator's guide. It assumes [[The Principia Machina/Hub/General reader\|the walk]]; a newcomer should read that first. Each page opens with its diagram, states its purpose and scope, gives the procedure, names what it does not cover, works one example, and links the sections of the specification that govern it. Where this guide and the specification differ, the specification governs.''		''The operator's guide. It assumes [[The Principia Machina/Hub/General reader\|the walk through]]; a newcomer should read that first. Each page opens with its diagram, states its purpose and scope, gives the procedure, names what it does not cover, works one example, and links the sections of the specification that govern it. Where this guide and the specification differ, the specification governs.''

	{{:The Principia Machina/Diagrams/C3 Lifecycle pipeline}}		{{:The Principia Machina/Diagrams/C3 Lifecycle pipeline}}
Line 41:		Line 41:

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

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:59Z

1 revision imported

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

BFP Rauch: Help layer: guide_2

2026-09-22T05:25:03Z

Help layer: guide_2

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