The Principia Machina/Tutorial/5 Check the draft - Revision history

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:
	Run the full check, read every line of its output, and understand what the four digests are and are not.		Run the full check, read every line of its output, and understand what the four digests are and are not.

	''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.''

	== The finished draft ==		== The finished draft ==

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

2026-09-30T02:10:58Z

Post-TPC-PY page batch B2 (S90, S130): SWEEP (SW-1, SW-2)

← Older revision		Revision as of 02:10, 30 September 2026
Line 6:		Line 6:
	Run the full check, read every line of its output, and understand what the four digests are and are not.		Run the full check, read every line of its output, and understand what the four digests are and are not.

	''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.''

	== The finished draft ==		== The finished draft ==
Line 215:		Line 215:
	- every STATEMENT, PROPOSITION, PREDICATE and IMAGE names only what its REFS or OVER list, and agrees with its declared form where one exists		- every STATEMENT, PROPOSITION, PREDICATE and IMAGE names only what its REFS or OVER list, and agrees with its declared form where one exists

	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.		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.
	</pre>		</pre>

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

2026-09-29T02:11:00Z

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

← 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:
	Run the full check, read every line of its output, and understand what the four digests are and are not.		Run the full check, read every line of its output, and understand what the four digests are and are not.

	''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.''

	== The finished draft ==		== The finished draft ==
Line 220:		Line 220:
	== Reading the output ==		== Reading the output ==
	; <code>TPK PASS</code>, <code>TrM PASS</code>, <code>TMS PASS</code>		; <code>TPK PASS</code>, <code>TrM PASS</code>, <code>TMS PASS</code>
	: Each zone passed its ~~structure~~ checks: T1 for the kernel (the declared forms parsed, and their names match REFS), and the schema checks for the manifold and the Measure Set, including the yardstick key rules.		: Each zone passed its structural checks: T1 for the kernel (the declared forms parsed, and their names match REFS), and the schema checks for the manifold and the Measure Set, including the yardstick key rules.
	; <code>T2 PASS</code>, <code>T5 PASS</code>		; <code>T2 PASS</code>, <code>T5 PASS</code>
	: The two kernel tests that run on every kernel as it is entered: no assumption is joined into two claims, and no degree of freedom (DOF) or constraint is idle.		: The two kernel tests that run on every kernel as it is entered: no assumption is joined into two claims, and no degree of freedom (DOF) or constraint is idle.

BFP Rauch: 1 revision imported

2026-09-28T03:56:37Z

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:
	Run the full check, read every line of its output, and understand what the four digests are and are not.		Run the full check, read every line of its output, and understand what the four digests are and are not.

	''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.''

	== The finished draft ==		== The finished draft ==
Line 35:		Line 35:
	"STATEMENT": "m dv/dt = -k_s x",		"STATEMENT": "m dv/dt = -k_s x",
	"REFS": ["m", "v", "k_s", "x", "t"],		"REFS": ["m", "v", "k_s", "x", "t"],
			"ROLE": "EOM(v)",
	"EQUATION": "m * D(v, t) = -k_s * x"		"EQUATION": "m * D(v, t) = -k_s * x"
	},		},
Line 41:		Line 42:
	"STATEMENT": "dx/dt = v",		"STATEMENT": "dx/dt = v",
	"REFS": ["x", "v", "t"],		"REFS": ["x", "v", "t"],
			"ROLE": "EOM(x)",
	"EQUATION": "D(x, t) = v"		"EQUATION": "D(x, t) = v"
	},		},
Line 47:		Line 49:
	"STATEMENT": "m d2z/dt2 = 0",		"STATEMENT": "m d2z/dt2 = 0",
	"REFS": ["m", "z", "t"],		"REFS": ["m", "z", "t"],
			"ROLE": "CONSTRAINT",
	"EQUATION": "m * D(z, t, 2) = 0"		"EQUATION": "m * D(z, t, 2) = 0"
	}		}
Line 188:		Line 191:
	YARDSTICK combined_distance: C1 pass, C2 pass, C4 pass		YARDSTICK combined_distance: C1 pass, C2 pass, C4 pass
	FINAL T3 (constraints and laws) and IC2 PASS		FINAL T3 (constraints and laws) and IC2 PASS
			STRUCTURE map (shown whatever STRUCTURE_CHECK says): analysis RUN; D variable t
			t: INDEPENDENT
			v: DETERMINED (LAW EOM_X)
			x: DETERMINED (LAW KIN)
			z: FIXED
			index 0, initial values 2 (the determined part; information)
			closed: EOM_Z (ZERO)
			STRUCTURE findings: none
			STRUCTURE structurally regular

	D(TPK) ~~eb4420c230d0f6535a94330873a6a169158a904ef3155ed9efe3741de51d5b2e~~		D(TPK) ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088
	D(TrM) ~~093c67c0ffebf425dd11b40287966d72f9218735d436864e92b16175566a8d2d~~		D(TrM) f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9
	D(TMS) ~~4d872a9763445da95db9298c1ebaed56cf7ba744b126770c0da42b027d3e7b15~~		D(TMS) 7a962e2297d6798801fa2593be9cd92995cc3a5f9c817cc8a19335c625784128
	D(TFK) ~~77da6e1a8e38a13ee914ecb7cb3a2396070ad2080f0a009a9de57a7d01bd6ca4~~		D(TFK) 46db0af2a3f5fd6e86447bd1764cd5b934cf0f0be3c9f91d16fd47aa435afe5b

	Inspections still owed to the declaring authority before declaring:		Inspections still owed to the declaring authority before declaring:
Line 203:		Line 215:
	- every STATEMENT, PROPOSITION, PREDICATE and IMAGE names only what its REFS or OVER list, and agrees with its declared form where one exists		- every STATEMENT, PROPOSITION, PREDICATE and IMAGE names only what its REFS or OVER list, and agrees with its declared form where one exists

	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.		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.
	</pre>		</pre>

Line 219:		Line 231:
	; <code>FINAL T3 (constraints and laws) and IC2 PASS</code>		; <code>FINAL T3 (constraints and laws) and IC2 PASS</code>
	: The final pass, which needs all three zones: no DOF is both removed and fixed, or fixed twice; no two laws give one left side two different right sides; no law whose every name has a value is false; and no untied DOF is left for IC2_POLICY to settle. In this draft no law has a value for every name - m, k_s, x and v have none - so the last test finds nothing to evaluate. Step 6 shows a law that it does evaluate.		: The final pass, which needs all three zones: no DOF is both removed and fixed, or fixed twice; no two laws give one left side two different right sides; no law whose every name has a value is false; and no untied DOF is left for IC2_POLICY to settle. In this draft no law has a value for every name - m, k_s, x and v have none - so the last test finds nothing to evaluate. Step 6 shows a law that it does evaluate.
			; The <code>STRUCTURE</code> lines
			: The structure check's result: the EOM map, which gives for each DOF its label and the law that gives it; the findings, each with its question for the declaring authority; and the label the final pass would give, here ''structurally regular''. With <code>STRUCTURE_CHECK</code> set to <code>OFF</code> the label would read ''Structure not Validated at Inception'', reason CHECK OFF ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.20]]).
	; The four <code>D(...)</code> lines		; The four <code>D(...)</code> lines
	: The digests of the three zones and of the whole TFK. See below.		: The digests of the three zones and of the whole TFK. See below.
Line 227:		Line 241:
	The exit status is 0: all three zones are present and every check passes.		The exit status is 0: all three zones are present and every check passes.

	Note what the output does not say. Nothing in it tells you the kernel lacks gravity, friction or air resistance~~, or~~ that ~~its equations of motion are complete: those are~~ your ~~choices~~, made at step 1 and written at step 2. A pass means the draft is well-formed; it does not mean the physics you meant is the physics you wrote.		Note what the output does not say. Nothing in it tells you the kernel lacks gravity, friction or air resistance: that is your choice, made at step 1 and written at step 2. The structure check tells you whether each DOF has one equation of motion, not whether the equations are the right physics. A pass means the draft is well-formed; it does not mean the physics you meant is the physics you wrote.

	== What the digests are ==		== What the digests are ==

DeltaS Zero: Help batch (D185.1 (d)): the tutorial and inputs redraft of 2026-09-26 with its PENDING lines (items D176-D181 open); abbreviations expanded at first use (the user's directive, 2026-09-26)

2026-09-27T01:00:30Z

Help batch (D185.1 (d)): the tutorial and inputs redraft of 2026-09-26 with its PENDING lines (items D176-D181 open); abbreviations expanded at first use (the user's directive, 2026-09-26)

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

BFP Rauch: 1 revision imported

2026-09-27T00:13:39Z

1 revision imported

Show changes