The Principia Machina/TPS/2.4 The Measure Set - Revision history

BFP Rauch: 1 revision imported

2026-10-07T13:23:24Z

1 revision imported

← Older revision	Revision as of 13:23, 7 October 2026
(No difference)

BFP Rauch: Status line: TPS 0.5.0 declared final 2026-10-03 (it said proposed); the lead only, outside the preformatted block; D(TPS) unchanged (tpm_status 0.1.3)

2026-10-07T13:22:32Z

Status line: TPS 0.5.0 declared final 2026-10-03 (it said proposed); the lead only, outside the preformatted block; D(TPS) unchanged (tpm_status 0.1.3)

← Older revision		Revision as of 13:22, 7 October 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.5.0)}}		{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28, and TPS 0.4.0, revision 7, on 2026-09-30. This page is revision 8 of the tree, ~~proposed~~ as ~~version~~ 0.5.0 ~~until~~ H-DECL ~~declares it~~; revision 7 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.5.0 ~~(proposed)~~, verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28, and TPS 0.4.0, revision 7, on 2026-09-30. This page is revision 8 of the tree, declared final as TPS 0.5.0 by H-DECL on 2026-10-03 (naming TPS_0.5.0.txt by its file digest and its D(TPS)); revision 7 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.5.0, verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>

BFP Rauch: 1 revision imported

2026-09-30T13:34:07Z

1 revision imported

← Older revision	Revision as of 13:34, 30 September 2026
(No difference)

BFP Rauch: Post-TPC-PY page batch B3 (S154, S159): TPS revision 8 (proposed TPS 0.5.0)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): TPS revision 8 (proposed TPS 0.5.0)

← Older revision		Revision as of 13:34, 30 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.4.0)}}		{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, ~~and~~ TPS 0.3.0, revision 6, on 2026-09-28. This page is revision 7 of the tree, proposed as version 0.4.0 until H-DECL declares it; revision 6 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.4.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28, and TPS 0.4.0, revision 7, on 2026-09-30. This page is revision 8 of the tree, proposed as version 0.5.0 until H-DECL declares it; revision 7 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.5.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>
Line 8:		Line 8:
	per container and tested at CAC; the TMS schema and the		per container and tested at CAC; the TMS schema and the
	yardstick grammar		yardstick grammar
	governs: 2.4 \| version: 0.4.0 (proposed) \| class: instruction artifact		governs: 2.4 \| version: 0.5.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

BFP Rauch: 1 revision imported

2026-09-30T02:10:59Z

1 revision imported

← Older revision	Revision as of 02:10, 30 September 2026
(No difference)

BFP Rauch: Post-TPC-PY page batch B2 (S90, S130): TPS revision 7 (proposed TPS 0.4.0)

2026-09-30T02:10:58Z

Post-TPC-PY page batch B2 (S90, S130): TPS revision 7 (proposed TPS 0.4.0)

← Older revision		Revision as of 02:10, 30 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.3.0)}}		{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.4.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26. This page is revision 6 of the tree, ~~declared final~~ as ~~TPS~~ 0.3.0 by H-DECL ~~on 2026-09-28~~; revision 5, proposed as 0.2.0, stays undeclared ~~and is carried whole~~.'' The text below is this section of the TPS artifact at 0.3.0, verbatim~~, its header line still reading "proposed" as the text stood when it was declared~~; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, and TPS 0.3.0, revision 6, on 2026-09-28. This page is revision 7 of the tree, proposed as version 0.4.0 until H-DECL declares it; revision 6 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.4.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>
Line 8:		Line 8:
	per container and tested at CAC; the TMS schema and the		per container and tested at CAC; the TMS schema and the
	yardstick grammar		yardstick grammar
	governs: 2.4 \| version: 0.3.0 (proposed) \| class: instruction artifact		governs: 2.4 \| version: 0.4.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

Line 61:		Line 61:
	atom := A \| S \| FIELD:<ident>		atom := A \| S \| FIELD:<ident>
	SR1 is 0 for a record passing SR1 and 1 for one failing it; A is		SR1 is 0 for a record passing SR1 and 1 for one failing it; A is
	a(r); S is s(r); FIELD names a ~~numeric~~ record ~~field~~, ~~resolved~~		a(r); S is s(r); FIELD names a field of a closed field table
	~~against the record field schema~~ by lookup, never by reflection		holding FIELD:U_C alone, total, an L record's U_C read as 0,
	~~(C-16)~~. NEG negates; NEG prefixes are counted, not parsed		resolved by lookup, never by reflection; any other FIELD name is
	recursively, an even count cancelling, so no depth of nesting		refused. NEG negates; NEG prefixes are counted, not parsed
	~~can~~ exhaust a residence. WSUM is a weighted sum whose weights are		recursively, an even count cancelling, so no depth of nesting can
	~~TMS~~ CONSTANTS by name, each atom appearing at most once. A KEY is		exhaust a residence. WSUM is a weighted sum whose weights are TMS
			CONSTANTS by name, each atom appearing at most once. A KEY is
	compared lexicographically, lower is closer. No yardstick is		compared lexicographically, lower is closer. No yardstick is
	code: TPX executes nothing a page carries. [D100.1]		code: TPX executes nothing a page carries. [D100.1] [D195.3]
	2.4.9 KEY RULES, checked at zone entry: KEY is not empty and begins		2.4.9 KEY RULES, checked at zone entry: KEY is not empty and begins
	with SR1, and SR1 appears nowhere else, so SR9 C1 holds by		with SR1, and SR1 appears nowhere else, so SR9 C1 holds by
Line 79:		Line 80:
	assumption count; the yardstick evaluator's run on the synthetic		assumption count; the yardstick evaluator's run on the synthetic
	suite is the second line (4.5.3). [D100.1]		suite is the second line (4.5.3). [D100.1]
	2.4.10 Resolution is not declarable: a yardstick orders records, and		2.4.10 Resolution is not declarable: a yardstick orders records, and the
	~~the~~ framework's SR5 and SR7 resolve contradictions, so SR9 C4		framework's SR5 and SR7 resolve contradictions, so SR9 C4 holds
	~~holds~~ by construction. C3 holds for SR1, A and S and ~~waits on~~		by construction. C3 holds for SR1, A and S, and for FIELD over
	~~C-16 for FIELD terms~~. [D100.1]		the closed field table (2.4.8). [D100.1] [D195.3]
	</pre>		</pre>

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

BFP Rauch: 1 revision imported

2026-09-29T02:10:06Z

1 revision imported

← Older revision	Revision as of 02:10, 29 September 2026
(No difference)

BFP Rauch: Post-TPC-PY page batch (S70): REV6-PATCH

2026-09-29T02:09:00Z

Post-TPC-PY page batch (S70): REV6-PATCH

← Older revision		Revision as of 02:09, 29 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.3.0)}}		{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26. This page is revision 6 of the tree, ~~proposed~~ as ~~version~~ 0.3.0 ~~until~~ H-DECL ~~declares it~~; revision 5, proposed as 0.2.0, stays undeclared and is carried whole.'' The text below is this section of the TPS artifact at 0.3.0 ~~(proposed)~~, verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26. This page is revision 6 of the tree, declared final as TPS 0.3.0 by H-DECL on 2026-09-28; revision 5, proposed as 0.2.0, stays undeclared and is carried whole.'' The text below is this section of the TPS artifact at 0.3.0, verbatim, its header line still reading "proposed" as the text stood when it was declared; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>

BFP Rauch: 1 revision imported

2026-09-28T03:41:43Z

1 revision imported

← Older revision	Revision as of 03:41, 28 September 2026
(No difference)

BFP Rauch: TPS 0.3.0 (proposed) revision 6: D176.1-D191.1 of the EOM round under tpm_tps_thread_request 0.1.11, revision 5 carried whole

2026-09-28T03:39:00Z

TPS 0.3.0 (proposed) revision 6: D176.1-D191.1 of the EOM round under tpm_tps_thread_request 0.1.11, revision 5 carried whole

← Older revision		Revision as of 03:39, 28 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.2.0)}}		{{DISPLAYTITLE:2.4 The Measure Set (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1 changed only the status lines. This page is revision 5 of the tree, proposed as version 0.2.0 until H-DECL declares it.'' The text below is this section of the TPS artifact at 0.2.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 2.4 The Measure Set. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26. This page is revision 6 of the tree, proposed as version 0.3.0 until H-DECL declares it; revision 5, proposed as 0.2.0, stays undeclared and is carried whole.'' The text below is this section of the TPS artifact at 0.3.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>
Line 8:		Line 8:
	per container and tested at CAC; the TMS schema and the		per container and tested at CAC; the TMS schema and the
	yardstick grammar		yardstick grammar
	governs: 2.4 \| version: 0.2.0 (proposed) \| class: instruction artifact		governs: 2.4 \| version: 0.3.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

Line 23:		Line 23:
	test T3 (2.2.3); k (SR3); N_x (SR6); PROMOTION_FLOOR, F2 where		test T3 (2.2.3); k (SR3); N_x (SR6); PROMOTION_FLOOR, F2 where
	the UWC does not say otherwise (3.2.12); IC2_POLICY, GAP or		the UWC does not say otherwise (3.2.12); IC2_POLICY, GAP or
	REJECT, GAP when absent (2.3.6); any local yardsticks. [I-080]		REJECT, GAP when absent (2.3.6); STRUCTURE_CHECK, ON or OFF, ON
	[~~D92~~.1] [~~D98~~.1]		when absent (2.2.20); any local yardsticks. [I-080] [D92.1]
			[D98.1] [D176.1]
	2.4.6 Every TMS instantiates the skeleton's parameters and may not		2.4.6 Every TMS instantiates the skeleton's parameters and may not
	relax (i) or (ii) (see 4.3). [I-066]		relax (i) or (ii) (see 4.3). [I-066]
Line 36:		Line 37:
	IC2_POLICY optional; GAP or REJECT; GAP when absent		IC2_POLICY optional; GAP or REJECT; GAP when absent
	PROMOTION_FLOOR optional; F1, F2 or F3; F2 when absent		PROMOTION_FLOOR optional; F1, F2 or F3; F2 when absent
	An absent IC2_POLICY serializes as GAP ~~and~~ an absent		STRUCTURE_CHECK optional; ON or OFF; ON when absent: the
	PROMOTION_FLOOR as F2, so declaring the default and saying		structure switch of 2.2.20
	nothing give one digest. K must be a positive finite double		An absent IC2_POLICY serializes as GAP, an absent
			PROMOTION_FLOOR as F2 and an absent STRUCTURE_CHECK as ON, so
			declaring the default and saying nothing give one digest.
			STRUCTURE_CHECK is written by the author in the draft, declared
			by H-DECL with the TFK and fixed for the life of the UWC; a
			successor by COPY-FORWARD is pre-filled with the source's value
			(5.5.6). K must be a positive finite double
	because SR3 computes with it: 1e-400 and 1e400 are refused rather		because SR3 computes with it: 1e-400 and 1e400 are refused rather
	than silently becoming 0 and infinity. CONSTANTS: entries {NAME,		than silently becoming 0 and infinity. CONSTANTS: entries {NAME,
Line 47:		Line 54:
	the KEY inside its declared DOMAIN and only there (SR9 C2),		the KEY inside its declared DOMAIN and only there (SR9 C2),
	DOMAINs within one yardstick distinct after NFC. [D92.1] [D98.1]		DOMAINs within one yardstick distinct after NFC. [D92.1] [D98.1]
	[D100.1]		[D100.1] [D176.1]
	2.4.8 THE TERM GRAMMAR of a local yardstick, closed:		2.4.8 THE TERM GRAMMAR of a local yardstick, closed:
	term := SR1 \| A \| S \| FIELD:<ident> \| NEG:<term>		term := SR1 \| A \| S \| FIELD:<ident> \| NEG:<term>