The Principia Machina/Inputs/The calculator - Revision history

BFP Rauch: 1 revision imported

2026-10-05T13:17:24Z

1 revision imported

← Older revision	Revision as of 13:17, 5 October 2026
(No difference)

DeltaS Zero: What exists today: TPX 0.5.0 with TPC-PHP, recomputation at landing and TPCRUN; TPC-PY 0.3.0 and TPS 0.5.0 declared (base revision 5581)

2026-10-05T13:06:00Z

What exists today: TPX 0.5.0 with TPC-PHP, recomputation at landing and TPCRUN; TPC-PY 0.3.0 and TPS 0.5.0 declared (base revision 5581)

← Older revision		Revision as of 13:06, 5 October 2026
Line 47:		Line 47:

	== What exists today ==		== What exists today ==
	TPX~~'s first part~~ runs today~~: the new-UWC gate's checks~~ with TPC-PHP, the residence of record, at [[Special:TpmCheck]] and through the API's op CHECK, storing nothing ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.6]]). ~~The rest of TPX and~~ PRB ~~are~~ specified and not yet built (implementation sequence ~~steps 3 and~~ 4). TPC-PY runs today, including the challenge function and the version line; TPC-PY 0.2.0, declared on 2026-09-30 (increment 12), adds the register's record functions and the computation of D(TPS) and D(IS) ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.17]]); TPX's issuing of the challenge and its recording of the mode are specified for build step 3, PRB's placing of TPC-PY for step 4. Increment 13, ~~proposed~~ as TPC-PY 0.3.0, adds tps_pages(pages), the ordered list [title, h] of the kept pages that d_tps digests (CR9). PRB uses it on a mismatch: When the D(TPS) PRB computes is not the declared version's, PRB computes the ordered list [title, h] of the pages it read with executed TPC-PY (tps_pages), compares it with the list TPX published beside D(IS) (CR9, 5.11.16) and reports each title whose h differs, is missing or is extra; the session still does not start ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.18]], [[The Principia Machina/TPS/5.4 PRB\|5.4.15]]; ~~revision 8, proposed~~).		TPX 0.5.0 runs today with TPC-PHP, the residence of record. It runs the new-UWC gate's checks at [[Special:TpmCheck]] and through the API's op CHECK, storing nothing ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.6]]); it lands records, recomputing at landing the values a record presents, such as a VERIFICATION's DIFFERENCE, and refusing one that differs; and its read-only op TPCRUN runs one named TPC-PHP function on what a caller sends and stores nothing. PRB is specified and not yet built (implementation sequence step 4). TPC-PY runs today, including the challenge function and the version line; TPC-PY 0.2.0, declared on 2026-09-30 (increment 12), adds the register's record functions and the computation of D(TPS) and D(IS) ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.17]]); TPX's issuing of the challenge and its recording of the mode are specified for build step 3, PRB's placing of TPC-PY for step 4. Increment 13, declared as TPC-PY 0.3.0 on 2026-10-03, adds tps_pages(pages), the ordered list [title, h] of the kept pages that d_tps digests (CR9). PRB uses it on a mismatch: When the D(TPS) PRB computes is not the declared version's, PRB computes the ordered list [title, h] of the pages it read with executed TPC-PY (tps_pages), compares it with the list TPX published beside D(IS) (CR9, 5.11.16) and reports each title whose h differs, is missing or is extra; the session still does not start ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.18]], [[The Principia Machina/TPS/5.4 PRB\|5.4.15]]; TPS 0.5.0).
	To run TPC-PY on your own computer, see [[The Principia Machina/Tutorial/1 Before you start#Set up the checker\|setting up the checker]].		To run TPC-PY on your own computer, see [[The Principia Machina/Tutorial/1 Before you start#Set up the checker\|setting up the checker]].

BFP Rauch: 1 revision imported

2026-10-03T04:23:57Z

1 revision imported

← Older revision	Revision as of 04:23, 3 October 2026
(No difference)

DeltaS Zero: G-7: What exists today names TPX part 1, the live gate, which stores nothing (base revision 5559)

2026-10-03T04:06:00Z

G-7: What exists today names TPX part 1, the live gate, which stores nothing (base revision 5559)

← Older revision		Revision as of 04:06, 3 October 2026
Line 47:		Line 47:

	== What exists today ==		== What exists today ==
	TPX and PRB are specified and not yet built (implementation sequence steps 3 and 4). TPC-PY runs today, including the challenge function and the version line; TPC-PY 0.2.0, declared on 2026-09-30 (increment 12), adds the register's record functions and the computation of D(TPS) and D(IS) ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.17]]); TPX's issuing of the challenge and its recording of the mode are specified for build step 3, PRB's placing of TPC-PY for step 4. Increment 13, proposed as TPC-PY 0.3.0, adds tps_pages(pages), the ordered list [title, h] of the kept pages that d_tps digests (CR9). PRB uses it on a mismatch: When the D(TPS) PRB computes is not the declared version's, PRB computes the ordered list [title, h] of the pages it read with executed TPC-PY (tps_pages), compares it with the list TPX published beside D(IS) (CR9, 5.11.16) and reports each title whose h differs, is missing or is extra; the session still does not start ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.18]], [[The Principia Machina/TPS/5.4 PRB\|5.4.15]]; revision 8, proposed).		TPX's first part runs today: the new-UWC gate's checks with TPC-PHP, the residence of record, at [[Special:TpmCheck]] and through the API's op CHECK, storing nothing ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.6]]). The rest of TPX and PRB are specified and not yet built (implementation sequence steps 3 and 4). TPC-PY runs today, including the challenge function and the version line; TPC-PY 0.2.0, declared on 2026-09-30 (increment 12), adds the register's record functions and the computation of D(TPS) and D(IS) ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.17]]); TPX's issuing of the challenge and its recording of the mode are specified for build step 3, PRB's placing of TPC-PY for step 4. Increment 13, proposed as TPC-PY 0.3.0, adds tps_pages(pages), the ordered list [title, h] of the kept pages that d_tps digests (CR9). PRB uses it on a mismatch: When the D(TPS) PRB computes is not the declared version's, PRB computes the ordered list [title, h] of the pages it read with executed TPC-PY (tps_pages), compares it with the list TPX published beside D(IS) (CR9, 5.11.16) and reports each title whose h differs, is missing or is extra; the session still does not start ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.18]], [[The Principia Machina/TPS/5.4 PRB\|5.4.15]]; revision 8, proposed).
	To run TPC-PY on your own computer, see [[The Principia Machina/Tutorial/1 Before you start#Set up the checker\|setting up the checker]].		To run TPC-PY on your own computer, see [[The Principia Machina/Tutorial/1 Before you start#Set up the checker\|setting up the checker]].

BFP Rauch: 1 revision imported

2026-10-03T01:45:31Z

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

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

← Older revision		Revision as of 01:35, 3 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Inputs: the calculator}}		{{DISPLAYTITLE:Inputs: the calculator}}
	''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]].''

	== Purpose ==		== Purpose ==

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

2026-09-30T13:34:05Z

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

BFP Rauch: 1 revision imported

2026-09-30T02:11:12Z

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

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 6:		Line 6:
	Who computes what in The Principia Machina, when an agent must run TPC-PY, where it may run it, and how TPX tells a running copy from one that is only reasoned out.		Who computes what in The Principia Machina, when an agent must run TPC-PY, where it may run it, and how TPX tells a running copy from one that is only reasoned out.

	''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6), whose sections 5.3, 5.4, 6.2 and 6.4 carry records D101.1 and D102.1 and, from revision 6, D190.1 (PRB places TPC-PY); [[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, tpc_challenge 0.1.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), whose sections 5.3, 5.4, 6.2 and 6.4 carry records D101.1 and D102.1 and, from revision 6, D190.1 (PRB places TPC-PY); [[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, tpc_challenge 0.1.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, tpc_challenge 0.1.0. Where this page and the specification differ, the specification governs.''

	== Who computes what ==		== Who computes what ==
Line 19:		Line 19:
	== When TPC-PY is required, and when not ==		== When TPC-PY is required, and when not ==
	* '''Agents: required for what they present''' (record D101.1). A presented value - a distance d(r), an SR3 or SR8 result, a digest, D(IS) - must match TPX's exactly: decimals to TPC's twelve significant digits, digests bit for bit. TPC-PY matches TPC-PHP byte for byte, both being held to one set of test vectors. A value an agent works out by reasoning misses often enough that each miss becomes a decision item for you, and a digest cannot be worked out by reasoning at all. So the specification's rule stands: PRB's computation is TPC-PY.		* '''Agents: required for what they present''' (record D101.1). A presented value - a distance d(r), an SR3 or SR8 result, a digest, D(IS) - must match TPX's exactly: decimals to TPC's twelve significant digits, digests bit for bit. TPC-PY matches TPC-PHP byte for byte, both being held to one set of test vectors. A value an agent works out by reasoning misses often enough that each miss becomes a decision item for you, and a digest cannot be worked out by reasoning at all. So the specification's rule stands: PRB's computation is TPC-PY.
			* '''Records''' (revision 7, proposed). Before a push, PRB runs the calculator's record_check on each record, at the stage PUSH, as an advisory check; TPX runs it again at landing and its answer counts. A verification record's DIFFERENCE is presented from executed TPC-PY and recomputed by TPX ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.21]], [[The Principia Machina/TPS/5.4 PRB\|5.4.23]]). The record functions are in the next TPC-PY (increment 12, proposed).
	* '''Agents: free to reason for themselves.''' A check the agent keeps to itself, never presented, may be reasoned.		* '''Agents: free to reason for themselves.''' A check the agent keeps to itself, never presented, may be reasoned.
	* '''Authors: optional.''' A person entering a kernel at the form never needs TPC-PY: TPX runs the same checks there ([[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]]). TPC-PY only lets the author see the answer first, as the [[The Principia Machina/Tutorial\|tutorial]] does. Its checker, check_draft, runs the draft checks, the structure check of the equations of motion among them ([[The Principia Machina/Tutorial/1 Before you start\|tutorial step 1]]).		* '''Authors: optional.''' A person entering a kernel at the form never needs TPC-PY: TPX runs the same checks there ([[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]]). TPC-PY only lets the author see the answer first, as the [[The Principia Machina/Tutorial\|tutorial]] does. Its checker, check_draft, runs the draft checks, the structure check of the equations of motion among them ([[The Principia Machina/Tutorial/1 Before you start\|tutorial step 1]]).
Line 46:		Line 47:

	== What exists today ==		== What exists today ==
	TPX and PRB are specified and not yet built (implementation sequence steps 3 and 4). TPC-PY runs today, including the challenge function and the version line; TPX's issuing of the challenge and its recording of the mode are specified for build step 3, PRB's placing of TPC-PY for step 4.		TPX and PRB are specified and not yet built (implementation sequence steps 3 and 4). TPC-PY runs today, including the challenge function and the version line; the next TPC-PY, built and not yet declared (increment 12, proposed), adds the register's record functions and the computation of D(TPS) and D(IS) ([[The Principia Machina/TPS/5.1 The three parts and the placement rule\|TPS 5.1.17]]); TPX's issuing of the challenge and its recording of the mode are specified for build step 3, PRB's placing of TPC-PY for step 4.
			To run TPC-PY on your own computer, see [[The Principia Machina/Tutorial/1 Before you start#Set up the checker\|setting up the checker]].

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