The Principia Machina/Inputs/Measure Set - Revision history

BFP Rauch: 1 revision imported

2026-10-03T01:45:29Z

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

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

← Older revision		Revision as of 01:35, 3 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Inputs: the Measure Set (TMS)}}		{{DISPLAYTITLE:Inputs: the Measure Set (TMS)}}
	''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-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:
	What you write in the third zone: the parameters the strike rule and the kernel tests need, the named constants, and any yardsticks.		What you write in the third zone: the parameters the strike rule and the kernel tests need, the named constants, and any yardsticks.

	''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;~~ 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 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.4.0 (declared final on 2026-09-30 at revision 7, and in force; it follows TPS 0.3.0, declared final on 2026-09-28 at revision 6), 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.''

	== What the Measure Set is ==		== What the Measure Set is ==
Line 46:		Line 46:
	The project's declared parameters - the acquisition window, the canary schedule and the rest - apply across all of TPM and are not per UWC. They are in [[The Principia Machina/TPS/7.2 Declared parameters\|TPS 7.2]] and are changed only by revising the specification.		The project's declared parameters - the acquisition window, the canary schedule and the rest - apply across all of TPM and are not per UWC. They are in [[The Principia Machina/TPS/7.2 Declared parameters\|TPS 7.2]] and are changed only by revising the specification.

	Nor are a trajectory's initial or boundary values. The TFK carries none, and a law that states a DOF's value at one instant (x = x0) is a modelling error. Each initial or boundary value a result relies on is its own ASSUMPTION record in the register, cited by that result ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). Your k then applies to two measured values of a quantity that changes along the motion only when both rest on the same initial and boundary values and hold at the same point: TPX computes each record's CONDITIONS and runs SR3 and SR8 over equal CONDITIONS by machine where the values are fully stated, and lists every other pair for inspection ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4.13]]~~; revision 7, proposed~~).		Nor are a trajectory's initial or boundary values. The TFK carries none, and a law that states a DOF's value at one instant (x = x0) is a modelling error. Each initial or boundary value a result relies on is its own ASSUMPTION record in the register, cited by that result ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). Your k then applies to two measured values of a quantity that changes along the motion only when both rest on the same initial and boundary values and hold at the same point: TPX computes each record's CONDITIONS and runs SR3 and SR8 over equal CONDITIONS by machine where the values are fully stated, and lists every other pair for inspection ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4.13]]).

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

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

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 6:		Line 6:
	What you write in the third zone: the parameters the strike rule and the kernel tests need, the named constants, and any yardsticks.		What you write in the third zone: the parameters the strike rule and the kernel tests need, the named constants, and any yardsticks.

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

	== What the Measure Set is ==		== What the Measure Set is ==
Line 46:		Line 46:
	The project's declared parameters - the acquisition window, the canary schedule and the rest - apply across all of TPM and are not per UWC. They are in [[The Principia Machina/TPS/7.2 Declared parameters\|TPS 7.2]] and are changed only by revising the specification.		The project's declared parameters - the acquisition window, the canary schedule and the rest - apply across all of TPM and are not per UWC. They are in [[The Principia Machina/TPS/7.2 Declared parameters\|TPS 7.2]] and are changed only by revising the specification.

	Nor are a trajectory's initial or boundary values. The TFK carries none, and a law that states a DOF's value at one instant (x = x0) is a modelling error. Each initial or boundary value a result relies on is its own ASSUMPTION record in the register, cited by that result ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). ~~Until the record field schema (C-16) lands,~~ measured values of a ~~DOF~~ that ~~no FIX constraint targets~~ are ~~compared by inspection~~, ~~not tested mechanically under SR3~~ and ~~SR8~~ ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4.13]]).		Nor are a trajectory's initial or boundary values. The TFK carries none, and a law that states a DOF's value at one instant (x = x0) is a modelling error. Each initial or boundary value a result relies on is its own ASSUMPTION record in the register, cited by that result ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). Your k then applies to two measured values of a quantity that changes along the motion only when both rest on the same initial and boundary values and hold at the same point: TPX computes each record's CONDITIONS and runs SR3 and SR8 over equal CONDITIONS by machine where the values are fully stated, and lists every other pair for inspection ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4.13]]; revision 7, proposed).

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

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

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 6:		Line 6:
	What you write in the third zone: the parameters the strike rule and the kernel tests need, the named constants, and any yardsticks.		What you write in the third zone: the parameters the strike rule and the kernel tests need, the named constants, and any yardsticks.

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

	== What the Measure Set is ==		== What the Measure Set is ==
Line 41:		Line 41:

	== The checks ==		== The checks ==
	The ~~structure~~ check runs now: fields present and of the right form, numbers inside their ranges, names unique, and every yardstick's key rules. Each yardstick then runs through the SR9 harness on the synthetic record suite. Then, with all three zones in hand, the final pass: T3 over the kernel's constraints and over the laws whose every name has a value, which needs S_MAX, and IC2_POLICY applied to any untied DOF the isomorphism checks held, and, with STRUCTURE_CHECK ON, the structure check. T3 over the assumptions, and over the laws beyond that, stays an inspection ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2]]).		The structural check runs now: fields present and of the right form, numbers inside their ranges, names unique, and every yardstick's key rules. Each yardstick then runs through the SR9 harness on the synthetic record suite. Then, with all three zones in hand, the final pass: T3 over the kernel's constraints and over the laws whose every name has a value, which needs S_MAX, and IC2_POLICY applied to any untied DOF the isomorphism checks held, and, with STRUCTURE_CHECK ON, the structure check. T3 over the assumptions, and over the laws beyond that, stays an inspection ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2]]).

	== Not in the Measure Set ==		== Not in the Measure Set ==

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:
	What you write in the third zone: the parameters the strike rule and the kernel tests need, the named constants, and any yardsticks.		What you write in the third zone: the parameters the strike rule and the kernel tests need, the named constants, and any yardsticks.

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

	== What the Measure Set is ==		== What the Measure Set is ==
Line 29:		Line 29:
	\|-		\|-
	\| PROMOTION_FLOOR \|\| no \|\| <code>F1</code>, <code>F2</code> or <code>F3</code> \|\| the falsifier class a result must reach to be promoted. F2 when left out (record D92.1). Corroboration does not gate promotion.		\| PROMOTION_FLOOR \|\| no \|\| <code>F1</code>, <code>F2</code> or <code>F3</code> \|\| the falsifier class a result must reach to be promoted. F2 when left out (record D92.1). Corroboration does not gate promotion.
			\|-
			\| STRUCTURE_CHECK \|\| no \|\| <code>ON</code> or <code>OFF</code> \|\| whether the structure check of the equations of motion runs at the final pass. ON when left out. OFF gives the label ''Structure not Validated at Inception'', reason CHECK OFF, and runs no check at the gate ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.20]]).
	\|}		\|}
	The accepted range of each number is in [[The Principia Machina/TPS/2.4 The Measure Set\|TPS 2.4]], and the lower bounds follow the strike rule ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]]); a value outside it is refused with a message that names it. Leaving out IC2_POLICY or ~~PROMOTION_FLOOR~~ and writing its default give the same digest.		The accepted range of each number is in [[The Principia Machina/TPS/2.4 The Measure Set\|TPS 2.4]], and the lower bounds follow the strike rule ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]]); a value outside it is refused with a message that names it. Leaving out IC2_POLICY, PROMOTION_FLOOR or STRUCTURE_CHECK and writing its default give the same digest.

	=== CONSTANTS ===		=== CONSTANTS ===
Line 39:		Line 41:

	== The checks ==		== The checks ==
	The structure check runs now: fields present and of the right form, numbers inside their ranges, names unique, and every yardstick's key rules. Each yardstick then runs through the SR9 harness on the synthetic record suite. Then, with all three zones in hand, the final pass: T3 over the kernel's constraints and over the laws whose every name has a value, which needs S_MAX, and IC2_POLICY applied to any untied DOF the isomorphism checks held. T3 over the assumptions, and over the laws beyond that, stays an inspection ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2]]).		The structure check runs now: fields present and of the right form, numbers inside their ranges, names unique, and every yardstick's key rules. Each yardstick then runs through the SR9 harness on the synthetic record suite. Then, with all three zones in hand, the final pass: T3 over the kernel's constraints and over the laws whose every name has a value, which needs S_MAX, and IC2_POLICY applied to any untied DOF the isomorphism checks held, and, with STRUCTURE_CHECK ON, the structure check. T3 over the assumptions, and over the laws beyond that, stays an inspection ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2]]).

	== Not in the Measure Set ==		== Not in the Measure Set ==
	The project's declared parameters - the acquisition window, the canary schedule and the rest - apply across all of TPM and are not per UWC. They are in [[The Principia Machina/TPS/7.2 Declared parameters\|TPS 7.2]] and are changed only by revising the specification.		The project's declared parameters - the acquisition window, the canary schedule and the rest - apply across all of TPM and are not per UWC. They are in [[The Principia Machina/TPS/7.2 Declared parameters\|TPS 7.2]] and are changed only by revising the specification.

			Nor are a trajectory's initial or boundary values. The TFK carries none, and a law that states a DOF's value at one instant (x = x0) is a modelling error. Each initial or boundary value a result relies on is its own ASSUMPTION record in the register, cited by that result ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). Until the record field schema (C-16) lands, measured values of a DOF that no FIX constraint targets are compared by inspection, not tested mechanically under SR3 and SR8 ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4.13]]).

	== Non-goals ==		== Non-goals ==
Line 72:		Line 76:
	</pre>		</pre>

	The values here are the example's, chosen to be small; choose yours under [[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]]. The Measure Set says nothing about IC2_POLICY or ~~PROMOTION_FLOOR~~, so an untied DOF would be a named gap and results need falsifier class F2 to be promoted. To see the policy work, add to the kernel a second coordinate across the axis, y, with its own equation of motion, <code>EOM_Y: m d2y/dt2 = 0</code>, and give it no manifold entry (<code>examples/spring_ic2_gap.json</code>). The checker says:		The values here are the example's, chosen to be small; choose yours under [[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]]. The Measure Set says nothing about IC2_POLICY, PROMOTION_FLOOR or STRUCTURE_CHECK, so the structure check runs, an untied DOF would be a named gap and results need falsifier class F2 to be promoted. To see the policy work, add to the kernel a second coordinate across the axis, y, with its own equation of motion, <code>EOM_Y: m d2y/dt2 = 0</code> with <code>"ROLE": "EOM(y)"</code>, and give it no manifold entry (<code>examples/spring_ic2_gap.json</code>). The checker says:
	<pre>		<pre>
	IC1-IC4 PASS with 1 untied DOF, held for the final pass		IC1-IC4 PASS with 1 untied DOF, held for the final pass