The Principia Machina/Tutorial/4 Write the Measure Set - Revision history

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

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): 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:
	Write the third zone, the last gate: the parameters, the named constants, and a yardstick.		Write the third zone, the last gate: the parameters, the named constants, and a yardstick.

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

	== Step 4.1: the parameters ==		== Step 4.1: the parameters ==

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:
	Write the third zone, the last gate: the parameters, the named constants, and a yardstick.		Write the third zone, the last gate: the parameters, the named constants, and a yardstick.

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

	== Step 4.1: the parameters ==		== Step 4.1: the parameters ==
Line 22:		Line 22:
	* '''N_X''': how many independent contradictions of a standing record open an audit on it. A whole number, no quotes.		* '''N_X''': how many independent contradictions of a standing record open an audit on it. A whole number, no quotes.
	* '''S_MAX''': the depth T3 is bounded by. A whole number, no quotes. What the machine runs of T3 today stops at depth 1; the rest of the search to S_MAX is the declaring authority's inspection ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2]]).		* '''S_MAX''': the depth T3 is bounded by. A whole number, no quotes. What the machine runs of T3 today stops at depth 1; the rest of the search to S_MAX is the declaring authority's inspection ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2]]).
	The example leaves out IC2_POLICY and ~~PROMOTION_FLOOR~~, so their defaults apply: an untied degree of freedom (DOF) is a named gap, ~~and~~ a result needs falsifier class F2 to be promoted. Writing the defaults out gives the same digest. The accepted ranges are on [[The Principia Machina/Inputs/Measure Set\|Inputs: the Measure Set]].		The example leaves out IC2_POLICY, PROMOTION_FLOOR and STRUCTURE_CHECK, so their defaults apply: an untied degree of freedom (DOF) is a named gap, a result needs falsifier class F2 to be promoted, and the structure check runs at the final pass. Writing the defaults out gives the same digest. The accepted ranges are on [[The Principia Machina/Inputs/Measure Set\|Inputs: the Measure Set]].

	== Step 4.2: the constants ==		== Step 4.2: the constants ==
Line 50:		Line 50:

	== Step 4.4: check ==		== Step 4.4: check ==
	Add <code>"TMS": { ... }</code> and run the checker. With all three zones present it now runs every check, runs the yardstick on the synthetic record suite, runs the final pass - T3 over the constraints and over the laws whose every name has a value, and ~~IC2_POLICY~~ - and prints the digests; the output is on the next page.		Add <code>"TMS": { ... }</code> and run the checker. With all three zones present it now runs every check, runs the yardstick on the synthetic record suite, runs the final pass - T3 over the constraints and over the laws whose every name has a value, IC2_POLICY and the structure check - and prints the EOM map, the label and the digests; the output is on the next page.

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

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

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

← Older revision		Revision as of 00:13, 27 September 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Tutorial 4: Write the Measure Set}}		{{DISPLAYTITLE:Tutorial 4: Write the Measure Set}}
	''Tutorial: create a new UWC. One small example - a mass on a ~~linear~~ spring, moving ~~only~~ along x - is taken from a blank file to a declared UWC in eight steps. Each step says what runs today and what is specified but not yet built. It explains; the specification governs. Field-by-field reference: [[The Principia Machina/Inputs\|Public Recorder inputs]].''		''Tutorial: create a new UWC. One small example - a mass on a spring, moving along one line, with nothing else in its world - is taken from a blank file to a declared UWC in eight steps. Each step says what runs today and what is specified but not yet built. It explains; the specification governs. Field-by-field reference: [[The Principia Machina/Inputs\|Public Recorder inputs]].''

	== Purpose ==		== Purpose ==
	Write the third zone, the last gate: the parameters, the named constants, and a yardstick.		Write the third zone, the last gate: the parameters, the named constants, and a yardstick.

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

	== Step 4.1: the parameters ==		== Step 4.1: the parameters ==
	<pre>		<pre>
	"PARAMETERS": {		"PARAMETERS": {
	"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",		"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
	"K": "2",		"K": "2",
	"N_X": 2,		"N_X": 2,
	"S_MAX": 10		"S_MAX": 10
	}		}
	</pre>		</pre>

Line 21:		Line 21:
	* '''K''': the multiplier in the test of whether two measured values contradict. A string.		* '''K''': the multiplier in the test of whether two measured values contradict. A string.
	* '''N_X''': how many independent contradictions of a standing record open an audit on it. A whole number, no quotes.		* '''N_X''': how many independent contradictions of a standing record open an audit on it. A whole number, no quotes.
	* '''S_MAX''': ~~how deep~~ T3 ~~searches the kernel for a contradiction~~. A whole number, no quotes.		* '''S_MAX''': the depth T3 is bounded by. A whole number, no quotes. What the machine runs of T3 today stops at depth 1; the rest of the search to S_MAX is the declaring authority's inspection ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2]]).
	The example leaves out IC2_POLICY and PROMOTION_FLOOR, so their defaults apply: an untied DOF is a named gap, and a result needs falsifier class F2 to be promoted. Writing the defaults out gives the same digest. The accepted ranges are on [[The Principia Machina/Inputs/Measure Set\|Inputs: the Measure Set]].		The example leaves out IC2_POLICY and PROMOTION_FLOOR, so their defaults apply: an untied degree of freedom (DOF) is a named gap, and a result needs falsifier class F2 to be promoted. Writing the defaults out gives the same digest. The accepted ranges are on [[The Principia Machina/Inputs/Measure Set\|Inputs: the Measure Set]].

	== Step 4.2: the constants ==		== Step 4.2: the constants ==
Line 28:		Line 28:
	<pre>		<pre>
	"CONSTANTS": [		"CONSTANTS": [
	{"NAME": "w_a", "VALUE": "1"},		{"NAME": "w_a", "VALUE": "1"},
	{"NAME": "w_s", "VALUE": "0.5"}		{"NAME": "w_s", "VALUE": "0.5"}
	]		]
	</pre>		</pre>

			These constants belong to the Measure Set, not to the physics: they weigh records against each other and never enter a law.

	== Step 4.3: a yardstick ==		== Step 4.3: a yardstick ==
Line 37:		Line 39:
	<pre>		<pre>
	"YARDSTICKS": [		"YARDSTICKS": [
	{		{
	"NAME": "combined_distance",		"NAME": "combined_distance",
	"KEY": ["SR1", "WSUM:w_aA;w_sS", "S"],		"KEY": ["SR1", "WSUM:w_aA;w_sS", "S"],
	"LIMITING": []		"LIMITING": []
	}		}
	]		]
	</pre>		</pre>

Line 48:		Line 50:

	== Step 4.4: check ==		== Step 4.4: check ==
	Add <code>"TMS": { ... }</code> and run the checker. With all three zones present it now runs every check, runs the yardstick on the synthetic record suite, runs the final pass, and prints the digests; the output is on the next page.		Add <code>"TMS": { ... }</code> and run the checker. With all three zones present it now runs every check, runs the yardstick on the synthetic record suite, runs the final pass - T3 over the constraints and over the laws whose every name has a value, and IC2_POLICY - and prints the digests; the output is on the next page.

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

BFP Rauch: 1 revision imported

2026-09-23T01:18:34Z

1 revision imported

← Older revision	Revision as of 01:18, 23 September 2026
(No difference)

BFP Rauch: tutorial: 4 Write the Measure Set

2026-09-23T01:06:19Z

tutorial: 4 Write the Measure Set

New page

{{TPM map}}
{{DISPLAYTITLE:Tutorial 4: Write the Measure Set}}
''Tutorial: create a new UWC. One small example - a mass on a linear spring, moving only along x - is taken from a blank file to a declared UWC in eight steps. Each step says what runs today and what is specified but not yet built. It explains; the specification governs. Field-by-field reference: [[The Principia Machina/Inputs|Public Recorder inputs]].''

== Purpose ==
Write the third zone, the last gate: the parameters, the named constants, and a yardstick.

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

== Step 4.1: the parameters ==
<pre>
"PARAMETERS": {
"STEP_CONVENTION": "one application of an inference rule or algebraic identity is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
}
</pre>

* '''STEP_CONVENTION''': what counts as one derivation step. Say it plainly; every step count in this UWC is read under it.
* '''K''': the multiplier in the test of whether two measured values contradict. A string.
* '''N_X''': how many independent contradictions of a standing record open an audit on it. A whole number, no quotes.
* '''S_MAX''': how deep T3 searches the kernel for a contradiction. A whole number, no quotes.
The example leaves out IC2_POLICY and PROMOTION_FLOOR, so their defaults apply: an untied DOF is a named gap, and a result needs falsifier class F2 to be promoted. Writing the defaults out gives the same digest. The accepted ranges are on [[The Principia Machina/Inputs/Measure Set|Inputs: the Measure Set]].

== Step 4.2: the constants ==
A yardstick uses no literal numbers, so its weights are named here:
<pre>
"CONSTANTS": [
{"NAME": "w_a", "VALUE": "1"},
{"NAME": "w_s", "VALUE": "0.5"}
]
</pre>

== Step 4.3: a yardstick ==
A yardstick is optional. This one orders records first by whether they contradict the TFK, then by (assumptions + 0.5 x steps), then by steps:
<pre>
"YARDSTICKS": [
{
"NAME": "combined_distance",
"KEY": ["SR1", "WSUM:w_a*A;w_s*S", "S"],
"LIMITING": []
}
]
</pre>

It meets the key rules: it begins with SR1, its weights are named constants, and one more assumption never makes a record closer. See [[The Principia Machina/Inputs/Yardsticks|Inputs: yardsticks]].

== Step 4.4: check ==
Add <code>"TMS": { ... }</code> and run the checker. With all three zones present it now runs every check, runs the yardstick on the synthetic record suite, runs the final pass, and prints the digests; the output is on the next page.

== Non-goals ==
The values here are illustrative. Choose yours under the strike rule ([[The Principia Machina/TPS/4.4 The strike rule|TPS 4.4]]). The project-wide parameters in [[The Principia Machina/TPS/7.2 Declared parameters|TPS 7.2]] are not part of any Measure Set.

== Worked example ==
The step is its own example.

Governing sections: [[The Principia Machina/TPS/2.4 The Measure Set|TPS 2.4]], [[The Principia Machina/TPS/4.4 The strike rule|4.4]] and [[The Principia Machina/TPS/4.5 TMS compliance|4.5]].

----
Previous: [[The Principia Machina/Tutorial/3 Write the Translation Manifold|3 Write the Translation Manifold]]. Next: [[The Principia Machina/Tutorial/5 Check the draft|5 Check the draft]].

[[Category:The Principia Machina]]