The Principia Machina/Tutorial/1 Before you start - Revision history

BFP Rauch: 1 revision imported

2026-10-02T03:33:20Z

1 revision imported

← Older revision		Revision as of 03:33, 2 October 2026
(No difference)

DeltaS Zero: Your account on this wiki: register at Special:CreateAccount behind the CAPTCHA, confirm the address, a person approves (D233.1)

2026-10-02T03:32:17Z

Your account on this wiki: register at Special:CreateAccount behind the CAPTCHA, confirm the address, a person approves (D233.1)

← Older revision		Revision as of 03:32, 2 October 2026
Line 4:		Line 4:

	== Purpose ==		== Purpose ==
	Know what you are about to make, ~~ask for~~ your account on this wiki, set up the checker, and make the decisions that come before any physics.		Know what you are about to make, get your account on this wiki, set up the checker, and make the decisions that come before any physics.

	''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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, and [[The Principia Machina/TPC-PY\|TPC-PY 0.2.0]] (declared on 2026-09-30; tree digest 2998ac4c24dff83bd047a691081b7d27bb25c9d26512bffe519f5c2b6ba127e2, conformed TPS 0.4.0; tpc_zone 0.5.1, tpc_units 0.1.2, tpc_tests 0.2.1, tpc_form 0.2.1, tpc_eom 0.2.0; schema 0.5.0) with check_draft 0.6.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; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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, and [[The Principia Machina/TPC-PY\|TPC-PY 0.2.0]] (declared on 2026-09-30; tree digest 2998ac4c24dff83bd047a691081b7d27bb25c9d26512bffe519f5c2b6ba127e2, conformed TPS 0.4.0; tpc_zone 0.5.1, tpc_units 0.1.2, tpc_tests 0.2.1, tpc_form 0.2.1, tpc_eom 0.2.0; schema 0.5.0) with check_draft 0.6.0. Where this page and the specification differ, the specification governs.''
Line 20:		Line 20:

	== Your account on this wiki ==		== Your account on this wiki ==
	Reading needs no account. Writing does: the new-container form at [[The Principia Machina/Tutorial/7 Inspect, submit and declare\|step 7]], a question on a discussion page, a proposal of a module. ~~On this wiki you cannot create an~~ account yourself~~, and~~ a ~~new account cannot~~ write ~~until an administrator lets it. The administrator does both by hand~~, so ~~ask~~ now. Steps 1 to 6 need no account, and you can work through them while you wait.		Reading needs no account. Writing does: the new-container form at [[The Principia Machina/Tutorial/7 Inspect, submit and declare\|step 7]], a question on a discussion page, a proposal of a module. You register your account yourself; a person then approves it before it can write, so register now. Steps 1 to 6 need no account, and you can work through them while you wait.
	# '''~~Ask for an account~~.''' ~~Write to the project's address, Invarians_Admin@proton~~.~~me. Give the~~ user name ~~you want~~ and ~~one~~ sentence on what you mean to do here~~. The administrator, the account Invarians Admin~~, ~~creates your account.~~		# '''Register.''' Open [[Special:CreateAccount]]. Choose a user name and a password, give your e-mail address, say in a sentence or two what you mean to do here, and tick the box that checks you are a person.
	~~# '''Sign in~~ and ~~change your password.''' Sign in with~~ the ~~password you were given. The wiki asks~~ you ~~to choose~~ a ~~new one at once; if it does not, change it at [[Special:ChangePassword]]~~.		# '''Confirm your e-mail address.''' Open the link in the message the wiki sends you. If no message comes within an hour, write to the project's address, Invarians_Admin@proton.me.
	# '''Confirm your e-mail address''' ~~at [[Special:Preferences]]: add it there if it is missing, then use~~ the link the wiki sends you. If no message comes within an hour, write to the project's address.		# '''Wait for approval.''' Once your address is confirmed, the administrator is told and reads what you wrote. When your account is approved it joins the group ''approved'', which lets a person edit on this wiki, and an e-mail tells you. Until then, an edit page tells you that you do not have permission. If your account is not approved, an e-mail gives the reason.
	# '''Wait for ~~write access~~.''' ~~The~~ administrator ~~adds~~ your account to the group ''approved'', which lets a person edit on this wiki. Until then, an edit page tells you that you do not have permission.		# '''Keep your address confirmed.''' Every account that edits needs a confirmed e-mail address. If you change yours at [[Special:Preferences]], confirm the new one before you edit again ([[The Principia Machina/TPS/5.2 The platform\|TPS 5.2.7]]; D233.1 of 2026-10-01, which the specification's next revision carries).
	Once TPX runs, its forms may do parts of this ([[The Principia Machina/Sponsor guide/Your first agent\|Your first agent]]); this section will then say which.		Once TPX runs, its forms may do parts of this ([[The Principia Machina/Sponsor guide/Your first agent\|Your first agent]]); this section will then say which.

BFP Rauch: 1 revision imported

2026-09-30T13:34:16Z

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 6:		Line 6:
	Know what you are about to make, ask for your account on this wiki, set up the checker, and make the decisions that come before any physics.		Know what you are about to make, ask for your account on this wiki, set up the checker, and make the decisions that come before any physics.

	''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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, and [[The Principia Machina/TPC-PY\|TPC-PY 0.2.0]] (~~proposed, not~~ declared~~; its pages~~ on ~~this wiki since batch B2~~; tree digest 2998ac4c24dff83bd047a691081b7d27bb25c9d26512bffe519f5c2b6ba127e2, conformed TPS 0.4.0; tpc_zone 0.5.1, tpc_units 0.1.2, tpc_tests 0.2.1, tpc_form 0.2.1, tpc_eom 0.2.0; schema 0.5.0) with check_draft 0.6.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; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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, and [[The Principia Machina/TPC-PY\|TPC-PY 0.2.0]] (declared on 2026-09-30; tree digest 2998ac4c24dff83bd047a691081b7d27bb25c9d26512bffe519f5c2b6ba127e2, conformed TPS 0.4.0; tpc_zone 0.5.1, tpc_units 0.1.2, tpc_tests 0.2.1, tpc_form 0.2.1, tpc_eom 0.2.0; schema 0.5.0) with check_draft 0.6.0. Where this page and the specification differ, the specification governs.''

	== A kernel assumes nothing it does not state ==		== A kernel assumes nothing it does not state ==
Line 39:		Line 39:
	</pre>		</pre>

	The checker of ~~the next~~ TPC-PY ~~(increment 12~~, ~~proposed)~~ also needs <code>tpc_record.py</code>, <code>tpc_module.py</code> and <code>tpc_identity.py</code> beside these: <code>tpc_record.py</code> builds the field table a yardstick with a FIELD term reads, and the other two read a draft's modules used against a catalogue you name with <code>--catalogue</code> ([[The Principia Machina/Inputs/Environment modules\|environment modules]]). Without any one of them it stops at once. With them, on the examples of this tutorial it prints what the ~~declared~~ checker prints, but for the version line at the end.		The checker of TPC-PY 0.2.0, declared on 2026-09-30, also needs <code>tpc_record.py</code>, <code>tpc_module.py</code> and <code>tpc_identity.py</code> beside these: <code>tpc_record.py</code> builds the field table a yardstick with a FIELD term reads, and the other two read a draft's modules used against a catalogue you name with <code>--catalogue</code> ([[The Principia Machina/Inputs/Environment modules\|environment modules]]). Without any one of them it stops at once. With them, on the examples of this tutorial it prints what the checker of TPC-PY 0.1.0 prints, but for the version line at the end.

	Verify TPC-PY's digest against its index entry before you run it. An agent does not fetch it at all: PRB, the program beside the agent, verifies the digest and places the copy on its own host or in the agent's environment, and the agent runs only what PRB placed ([[The Principia Machina/Inputs/The calculator\|the calculator]]).		Verify TPC-PY's digest against its index entry before you run it. An agent does not fetch it at all: PRB, the program beside the agent, verifies the digest and places the copy on its own host or in the agent's environment, and the agent runs only what PRB placed ([[The Principia Machina/Inputs/The calculator\|the calculator]]).

BFP Rauch: 1 revision imported

2026-09-30T02:11:13Z

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-1, SW-2)

2026-09-30T02:10:58Z

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

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

	== Purpose ==		== Purpose ==
	Know what you are about to make, set up the checker, and make the decisions that come before any physics.		Know what you are about to make, ask for your account on this wiki, set up the checker, and make the decisions that come before any physics.

	''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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, and [[The Principia Machina/TPC-PY\|TPC-PY 0.2.0]] (proposed, not declared; its pages on this wiki since batch B2; tree digest 2998ac4c24dff83bd047a691081b7d27bb25c9d26512bffe519f5c2b6ba127e2, conformed TPS 0.4.0; tpc_zone 0.5.1, tpc_units 0.1.2, tpc_tests 0.2.1, tpc_form 0.2.1, tpc_eom 0.2.0; schema 0.5.0) with check_draft 0.6.0. Where this page and the specification differ, the specification governs.''

	== A kernel assumes nothing it does not state ==		== A kernel assumes nothing it does not state ==
Line 18:		Line 18:
	* '''A UWC is sealed.''' Its register is built on its own TFK only. Results are never combined across UWCs.		* '''A UWC is sealed.''' Its register is built on its own TFK only. Results are never combined across UWCs.
	([[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|TPS 2.1]] and [[The Principia Machina/TPS/1.3 System of record and containers\|1.3]].)		([[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|TPS 2.1]] and [[The Principia Machina/TPS/1.3 System of record and containers\|1.3]].)

			== Your account on this wiki ==
			Reading needs no account. Writing does: the new-container form at [[The Principia Machina/Tutorial/7 Inspect, submit and declare\|step 7]], a question on a discussion page, a proposal of a module. On this wiki you cannot create an account yourself, and a new account cannot write until an administrator lets it. The administrator does both by hand, so ask now. Steps 1 to 6 need no account, and you can work through them while you wait.
			# '''Ask for an account.''' Write to the project's address, Invarians_Admin@proton.me. Give the user name you want and one sentence on what you mean to do here. The administrator, the account Invarians Admin, creates your account.
			# '''Sign in and change your password.''' Sign in with the password you were given. The wiki asks you to choose a new one at once; if it does not, change it at [[Special:ChangePassword]].
			# '''Confirm your e-mail address''' at [[Special:Preferences]]: add it there if it is missing, then use the link the wiki sends you. If no message comes within an hour, write to the project's address.
			# '''Wait for write access.''' The administrator adds your account to the group ''approved'', which lets a person edit on this wiki. Until then, an edit page tells you that you do not have permission.
			Once TPX runs, its forms may do parts of this ([[The Principia Machina/Sponsor guide/Your first agent\|Your first agent]]); this section will then say which.

	== Set up the checker ==		== Set up the checker ==
	You need Python 3 and a text editor that saves UTF-8. The checker uses Python's standard library only; nothing to install. The outputs on these pages were produced with Python 3.12.3 on Linux; Python 3.8.20, 3.10.20, 3.11.15 and 3.13.13 print them identically. The checker is written for Python 3.8 and later; its test vectors pass under each of these versions and, on 2026-09-28, under Python 3.14.7 on Windows (Unicode 16.0.0), where the checker also ran the spring draft to exit status 0; the outputs shown here were not compared line by line with that Windows run. If you use a version or a system not named here, compare your output with these pages line by line.		You need Python 3 and a text editor that saves UTF-8. The checker uses Python's standard library only; nothing to install. The outputs on these pages were produced with Python 3.12.3 on Linux; Python 3.8.20, 3.10.20, 3.11.15 and 3.13.13 print them identically. The checker is written for Python 3.8 and later; its test vectors pass under each of these versions and, on 2026-09-28, under Python 3.14.7 on Windows (Unicode 16.0.0), where the checker also ran the spring draft to exit status 0; the outputs shown here were not compared line by line with that Windows run. If you use a version or a system not named here, compare your output with these pages line by line.

	You also need TPC-PY and <code>check_draft.py</code>. TPC-PY is the advisory copy of the calculator TPX carries; for an author it is a convenience, not a requirement, because TPX runs the same checks at the form ([[The Principia Machina/Walk through/The calculator and its copy\|the calculator and its copy]]). It is published on this wiki as source pages once the declaring authority declares ~~its version~~ ([[The Principia Machina/TPS/5.11 The index of record\|TPS 5.11]])~~; that publication has not happened yet, so for now ask the operator for the files~~. The checker needs these, kept together:		You also need TPC-PY and <code>check_draft.py</code>. TPC-PY is the advisory copy of the calculator TPX carries; for an author it is a convenience, not a requirement, because TPX runs the same checks at the form ([[The Principia Machina/Walk through/The calculator and its copy\|the calculator and its copy]]). It is published on this wiki as source pages under [[The Principia Machina/TPC-PY\|the TPC-PY page]], which lists each version with its tree digest; a version counts only once the declaring authority declares it ([[The Principia Machina/TPS/5.11 The index of record\|TPS 5.11]]). The checker needs these, kept together:
	<pre>		<pre>
	tpc/		tpc/
Line 31:		Line 39:
	</pre>		</pre>

	~~Once~~ TPC-PY ~~is published~~, ~~verify its~~ digest against its index entry before you run it. An agent does not fetch it at all: PRB, the program beside the agent, verifies the digest and places the copy on its own host or in the agent's environment, and the agent runs only what PRB placed ([[The Principia Machina/Inputs/The calculator\|the calculator]]).		The checker of the next TPC-PY (increment 12, proposed) also needs <code>tpc_record.py</code>, <code>tpc_module.py</code> and <code>tpc_identity.py</code> beside these: <code>tpc_record.py</code> builds the field table a yardstick with a FIELD term reads, and the other two read a draft's modules used against a catalogue you name with <code>--catalogue</code> ([[The Principia Machina/Inputs/Environment modules\|environment modules]]). Without any one of them it stops at once. With them, on the examples of this tutorial it prints what the declared checker prints, but for the version line at the end.

			Verify TPC-PY's digest against its index entry before you run it. An agent does not fetch it at all: PRB, the program beside the agent, verifies the digest and places the copy on its own host or in the agent's environment, and the agent runs only what PRB placed ([[The Principia Machina/Inputs/The calculator\|the calculator]]).

			The TPC-PY page lists one page per file. The small program verify_tpc_py.py fetches them all into a folder and checks each file; it is published as the page [[The Principia Machina/TPC-PY tools/verify_tpc_py.py]]. To use it, open a terminal in an empty working folder and run three commands: the first downloads the program, the second prints its SHA-256, and the third fetches and checks the files. On Windows, in PowerShell:
			<pre>
			curl.exe -o verify_tpc_py.py "https://invarians.org/index.php?title=The_Principia_Machina/TPC-PY_tools/verify_tpc_py.py&action=raw"
			certutil -hashfile verify_tpc_py.py SHA256
			py -3 verify_tpc_py.py --fetch https://invarians.org/index.php C:\TPM\tpc --expect-tree TREE-DIGEST
			</pre>
			On Linux or macOS (on macOS, use <code>shasum -a 256</code> if <code>sha256sum</code> is missing):
			<pre>
			curl -o verify_tpc_py.py "https://invarians.org/index.php?title=The_Principia_Machina/TPC-PY_tools/verify_tpc_py.py&action=raw"
			sha256sum verify_tpc_py.py
			python3 verify_tpc_py.py --fetch https://invarians.org/index.php ~/tpm/tpc --expect-tree TREE-DIGEST
			</pre>
			The SHA-256 the second command prints must equal the one the TPC-PY page gives for verify_tpc_py.py; if it differs, do not run the program. In the third command, write in place of TREE-DIGEST the tree digest of the newest declared version, as the TPC-PY page lists it. The folder you name there (C:\TPM\tpc or ~/tpm/tpc) must not exist yet: the program creates it, laid out as the <code>tpc/</code> folder above. The last line it prints must read <code>RESULT: ALL MATCH</code>. If the TPC-PY page says that its newest version is proposed and not yet declared, the check fails until that version is declared. Then run the checker from that folder, as below.

	Check the set-up by running the finished example. In a terminal, from the <code>tpc</code> folder:		Check the set-up by running the finished example. In a terminal, from the <code>tpc</code> folder:
Line 39:		Line 63:
	</pre>		</pre>

	The last line should read <code>Advisory result (TPC-PY: 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). TPX decides at the gate.</code>, and the digest lines should match those on [[The Principia Machina/Tutorial/5 Check the draft\|step 5]]. If they do, your set-up is right.		The last line should read <code>Advisory result (TPC-PY: tpc_zone 0.5.1, tpc_units 0.1.2, tpc_tests 0.2.1, tpc_form 0.2.1, tpc_eom 0.2.0; schema 0.5.0). TPX decides at the gate.</code>, and the digest lines should match those on [[The Principia Machina/Tutorial/5 Check the draft\|step 5]]. If they do, your set-up is right.

	== Decisions before the physics ==		== Decisions before the physics ==

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

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 6:		Line 6:
	Know what you are about to make, set up the checker, and make the decisions that come before any physics.		Know what you are about to make, set up the checker, and make the decisions that come before any physics.

	''Explains: ~~TPS revision 6 (proposed as~~ TPS 0.3.0 ~~until the declaring authority declares it~~; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); 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; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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.''

	== A kernel assumes nothing it does not state ==		== A kernel assumes nothing it does not state ==
Line 20:		Line 20:

	== Set up the checker ==		== Set up the checker ==
	You need Python 3 and a text editor that saves UTF-8. The checker uses Python's standard library only; nothing to install. The outputs on these pages were produced with Python 3.12.3 on Linux; Python 3.8.20, 3.10.20, 3.11.15 and 3.13.13 print them identically. The checker is written for Python 3.8 and later; its test vectors pass under each of these versions, ~~and no run~~ on Windows ~~is recorded on these pages~~. If you use a version or a system not named here, compare your output with these pages line by line.		You need Python 3 and a text editor that saves UTF-8. The checker uses Python's standard library only; nothing to install. The outputs on these pages were produced with Python 3.12.3 on Linux; Python 3.8.20, 3.10.20, 3.11.15 and 3.13.13 print them identically. The checker is written for Python 3.8 and later; its test vectors pass under each of these versions and, on 2026-09-28, under Python 3.14.7 on Windows (Unicode 16.0.0), where the checker also ran the spring draft to exit status 0; the outputs shown here were not compared line by line with that Windows run. If you use a version or a system not named here, compare your output with these pages line by line.

	You also need TPC-PY and <code>check_draft.py</code>. TPC-PY is the advisory copy of the calculator TPX carries; for an author it is a convenience, not a requirement, because TPX runs the same checks at the form ([[The Principia Machina/Walk through/The calculator and its copy\|the calculator and its copy]]). It is published on this wiki as source pages once the declaring authority declares its version ([[The Principia Machina/TPS/5.11 The index of record\|TPS 5.11]]); that publication has not happened yet, so for now ask the operator for the files. The checker needs these, kept together:		You also need TPC-PY and <code>check_draft.py</code>. TPC-PY is the advisory copy of the calculator TPX carries; for an author it is a convenience, not a requirement, because TPX runs the same checks at the form ([[The Principia Machina/Walk through/The calculator and its copy\|the calculator and its copy]]). It is published on this wiki as source pages once the declaring authority declares its version ([[The Principia Machina/TPS/5.11 The index of record\|TPS 5.11]]); that publication has not happened yet, so for now ask the operator for the files. The checker needs these, kept together:

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): agent D's draft: its PENDING lines closed and D176.1-D190.1 applied; every quoted output re-printed from the increment-10 tree (S10)

2026-09-28T03:55:00Z

Second help pass (HELP-PASS-2): agent D's draft: its PENDING lines closed and D176.1-D190.1 applied; every quoted output re-printed from the increment-10 tree (S10)

← Older revision		Revision as of 03:55, 28 September 2026
Line 6:		Line 6:
	Know what you are about to make, set up the checker, and make the decisions that come before any physics.		Know what you are about to make, set up the checker, and make the decisions that come before any physics.

	''Explains: TPS 0.2.0 ~~(proposed; revision 5 of~~ the ~~tree, imported 2026-09-26, not yet declared~~; TPS 0.1.~~0 was~~ declared final on 2026-09-22), whose sections 2.2 to 2.5 ~~now~~ carry the zone schemas ~~at schema 0.4.0~~ with the optional declared form (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1 and ~~D132~~.1); TPC-PY as built at increment 9 (tpc_zone 0.4.0, tpc_units 0.1.0, tpc_tests 0.2.0, tpc_form 0.1.0; no TPC-PY version is declared yet) with check_draft 0.4.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; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); 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.''

	== A kernel assumes nothing it does not state ==		== A kernel assumes nothing it does not state ==
	The Full Kernel is a closed world. Only what the Prime Kernel declares exists in the UWC: no gravity, no electric or magnetic force, no friction and no air resistance unless the kernel declares them, and no equation of motion except those its laws state. A result may use only the TFK and the assumptions it declares itself ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2 and SR3), and no check reports a force you left out. The full statement is on the [[The Principia Machina/Tutorial\|tutorial's first page]].		The Full Kernel is a closed world. Only what the Prime Kernel declares exists in the UWC: no gravity, no electric or magnetic force, no friction and no air resistance unless the kernel declares them, and no equation of motion except those its laws state. A result may use only the TFK and the assumptions it declares itself ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2 and SR3), and no check reports a force you left out. The full statement is on the [[The Principia Machina/Tutorial\|tutorial's first page]].

	~~PENDING D176-D18x:~~ the ~~TPS section that states this~~ closed-world ~~rule, if one is added; this paragraph will then name it~~.		The full statement is [[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.19]], the closed-world clause.

	== What a UWC is ==		== What a UWC is ==
Line 20:		Line 20:

	== Set up the checker ==		== Set up the checker ==
	You need Python 3 and a text editor that saves UTF-8. The checker uses Python's standard library only; nothing to install. The outputs on these pages were produced with Python 3.10, 3.11~~, 3~~.12 and 3.13 ~~on Linux,~~ identically. The checker is written for Python 3.8 and later, ~~but at this build~~ no run ~~on Python 3.8 or~~ on Windows ~~has been~~ recorded ~~yet; if~~ you use ~~either~~, compare your output with these pages line by line.		You need Python 3 and a text editor that saves UTF-8. The checker uses Python's standard library only; nothing to install. The outputs on these pages were produced with Python 3.12.3 on Linux; Python 3.8.20, 3.10.20, 3.11.15 and 3.13.13 print them identically. The checker is written for Python 3.8 and later; its test vectors pass under each of these versions, and no run on Windows is recorded on these pages. If you use a version or a system not named here, compare your output with these pages line by line.

	You also need TPC-PY and <code>check_draft.py</code>. TPC-PY is the advisory copy of the calculator TPX carries; for an author it is a convenience, not a requirement, because TPX runs the same checks at the form ([[The Principia Machina/Walk through/The calculator and its copy\|the calculator and its copy]]). It is published on this wiki as source pages once the declaring authority declares its version ([[The Principia Machina/TPS/5.11 The index of record\|TPS 5.11]]); that publication has not happened yet, so for now ask the operator for the files. The checker needs these, kept together:		You also need TPC-PY and <code>check_draft.py</code>. TPC-PY is the advisory copy of the calculator TPX carries; for an author it is a convenience, not a requirement, because TPX runs the same checks at the form ([[The Principia Machina/Walk through/The calculator and its copy\|the calculator and its copy]]). It is published on this wiki as source pages once the declaring authority declares its version ([[The Principia Machina/TPS/5.11 The index of record\|TPS 5.11]]); that publication has not happened yet, so for now ask the operator for the files. The checker needs these, kept together:
Line 26:		Line 26:
	tpc/		tpc/
	check_draft.py		check_draft.py
	~~tpc_zone~~.py ~~tpc_units~~.py ~~tpc_tests~~.py ~~tpc_form~~.py		tpc_digest.py tpc_eom.py tpc_form.py tpc_sr9.py tpc_strike.py tpc_tests.py tpc_units.py tpc_yardstick.py tpc_zone.py
	~~tpc_yardstick~~.py ~~tpc_sr9~~.py ~~tpc_strike~~.py ~~tpc_digest~~.py
	vectors/sr9_corpus.json the synthetic record suite		vectors/sr9_corpus.json the synthetic record suite
	examples/spring_draft.json the finished example, and the others below		examples/spring_draft.json the finished example, and the others below
	</pre>		</pre>

	Once TPC-PY is published, verify its digest against its index entry before you run it~~; that is~~ the ~~rule for every~~ agent ~~too~~.		Once TPC-PY is published, verify its digest against its index entry before you run it. An agent does not fetch it at all: PRB, the program beside the agent, verifies the digest and places the copy on its own host or in the agent's environment, and the agent runs only what PRB placed ([[The Principia Machina/Inputs/The calculator\|the calculator]]).

	Check the set-up by running the finished example. In a terminal, from the <code>tpc</code> folder:		Check the set-up by running the finished example. In a terminal, from the <code>tpc</code> folder:
Line 40:		Line 39:
	</pre>		</pre>

	The last line should read <code>Advisory result (TPC-PY: tpc_zone 0.4.0, tpc_units 0.1.0, tpc_tests 0.2.0, tpc_form 0.1.0; schema 0.4.0). TPX decides at the gate.</code>, and the digest lines should match those on [[The Principia Machina/Tutorial/5 Check the draft\|step 5]]. If they do, your set-up is right.		The last line should read <code>Advisory result (TPC-PY: 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). TPX decides at the gate.</code>, and the digest lines should match those on [[The Principia Machina/Tutorial/5 Check the draft\|step 5]]. If they do, your set-up is right.

	== Decisions before the physics ==		== Decisions before the physics ==