The Principia Machina/Inputs/Text and numbers - Revision history

BFP Rauch: 1 revision imported

2026-10-03T01:45:30Z

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

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

← Older revision		Revision as of 01:35, 3 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Inputs: text, numbers and dimensions}}		{{DISPLAYTITLE:Inputs: text, numbers and dimensions}}
	''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:
	The rules that apply to every field of every zone: what text is accepted, how numbers, dimensions and units are written, and what is normalized before a digest is taken.		The rules that apply to every field of every zone: what text is accepted, how numbers, dimensions and units are written, and what is normalized before a digest is taken.

	''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; the unit rules of records D103.1, D104.1 and D105.1, now TPS 3.2.11 and 4.4.11. 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; the unit rules of records D103.1, D104.1 and D105.1, now TPS 3.2.11 and 4.4.11. Where this page and the specification differ, the specification governs.''

	== The file ==		== The file ==
Line 28:		Line 28:

	== Numbers ==		== Numbers ==
	VALUE, UNCERTAINTY and K are decimals written as strings: an optional minus sign, digits, an optional fraction, and an optional exponent - <code>"0.05"</code>, <code>"6.674e-11"</code>, <code>"1500"</code>. A comma, a space or a missing digit before the point (<code>"0,05"</code>, <code>".5"</code>) is refused. Before the digest each decimal is written in one canonical form, so <code>"0.050"</code>, <code>"0.05"</code> and <code>"5e-2"</code> are one value and one digest. Trailing zeros carry no precision here; UNCERTAINTY does. On a register record one decimal is the exception: a measured result's U_C keeps its written precision in the record's digest, trailing zeros included, because TPX checks its uncertainty budget at U_C's last written digit, so <code>"0.0010"</code> and <code>"0.001"</code> give two digests there ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.5 and 3.2.20]]~~; revision 7, proposed~~; see [[The Principia Machina/Inputs/Register records\|Register records]]). Only string arithmetic is used: no floating-point rounding enters a digest.		VALUE, UNCERTAINTY and K are decimals written as strings: an optional minus sign, digits, an optional fraction, and an optional exponent - <code>"0.05"</code>, <code>"6.674e-11"</code>, <code>"1500"</code>. A comma, a space or a missing digit before the point (<code>"0,05"</code>, <code>".5"</code>) is refused. Before the digest each decimal is written in one canonical form, so <code>"0.050"</code>, <code>"0.05"</code> and <code>"5e-2"</code> are one value and one digest. Trailing zeros carry no precision here; UNCERTAINTY does. On a register record one decimal is the exception: a measured result's U_C keeps its written precision in the record's digest, trailing zeros included, because TPX checks its uncertainty budget at U_C's last written digit, so <code>"0.0010"</code> and <code>"0.001"</code> give two digests there ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.5 and 3.2.20]]; see [[The Principia Machina/Inputs/Register records\|Register records]]). Only string arithmetic is used: no floating-point rounding enters a digest.

	== Dimensions ==		== Dimensions ==

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:
	The rules that apply to every field of every zone: what text is accepted, how numbers, dimensions and units are written, and what is normalized before a digest is taken.		The rules that apply to every field of every zone: what text is accepted, how numbers, dimensions and units are written, and what is normalized before a digest is taken.

	''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; the unit rules of records D103.1, D104.1 and D105.1, now TPS 3.2.11 and 4.4.11. 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; the unit rules of records D103.1, D104.1 and D105.1, now TPS 3.2.11 and 4.4.11. Where this page and the specification differ, the specification governs.''

	== The file ==		== The file ==
Line 28:		Line 28:

	== Numbers ==		== Numbers ==
	VALUE, UNCERTAINTY and K are decimals written as strings: an optional minus sign, digits, an optional fraction, and an optional exponent - <code>"0.05"</code>, <code>"6.674e-11"</code>, <code>"1500"</code>. A comma, a space or a missing digit before the point (<code>"0,05"</code>, <code>".5"</code>) is refused. Before the digest each decimal is written in one canonical form, so <code>"0.050"</code>, <code>"0.05"</code> and <code>"5e-2"</code> are one value and one digest. Trailing zeros carry no precision here; UNCERTAINTY does. Only string arithmetic is used: no floating-point rounding enters a digest.		VALUE, UNCERTAINTY and K are decimals written as strings: an optional minus sign, digits, an optional fraction, and an optional exponent - <code>"0.05"</code>, <code>"6.674e-11"</code>, <code>"1500"</code>. A comma, a space or a missing digit before the point (<code>"0,05"</code>, <code>".5"</code>) is refused. Before the digest each decimal is written in one canonical form, so <code>"0.050"</code>, <code>"0.05"</code> and <code>"5e-2"</code> are one value and one digest. Trailing zeros carry no precision here; UNCERTAINTY does. On a register record one decimal is the exception: a measured result's U_C keeps its written precision in the record's digest, trailing zeros included, because TPX checks its uncertainty budget at U_C's last written digit, so <code>"0.0010"</code> and <code>"0.001"</code> give two digests there ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.5 and 3.2.20]]; revision 7, proposed; see [[The Principia Machina/Inputs/Register records\|Register records]]). Only string arithmetic is used: no floating-point rounding enters a digest.

	== Dimensions ==		== Dimensions ==

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:
	The rules that apply to every field of every zone: what text is accepted, how numbers, dimensions and units are written, and what is normalized before a digest is taken.		The rules that apply to every field of every zone: what text is accepted, how numbers, dimensions and units are written, and what is normalized before a digest is taken.

	''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; the unit rules of records D103.1, D104.1 and D105.1, now TPS 3.2.11 and 4.4.11. 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; the unit rules of records D103.1, D104.1 and D105.1, now TPS 3.2.11 and 4.4.11. Where this page and the specification differ, the specification governs.''

	== The file ==		== The file ==

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:
	The rules that apply to every field of every zone: what text is accepted, how numbers, dimensions and units are written, and what is normalized before a digest is taken.		The rules that apply to every field of every zone: what text is accepted, how numbers, dimensions and units are written, and what is normalized before a digest is taken.

	''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; the unit rules of records D103.1, D104.1 and D105.1, now TPS 3.2.11 and 4.4.11. 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; the unit rules of records D103.1, D104.1 and D105.1, now TPS 3.2.11 and 4.4.11. Where this page and the specification differ, the specification governs.''

	== The file ==		== The file ==
Line 89:		Line 89:
	The finished spring draft with x_max written as <code>"5e-2"</code> instead of <code>"0.05"</code>, v's dimension written as <code>"T-1 L1"</code> instead of <code>"L1 T-1"</code>, C_NOZ's unit written <code>"m1"</code> instead of <code>"m"</code>, EOM_X's equation written without spaces, <code>"mD(v,t)=-k_sx"</code>, and KIN's written <code>"D(x, t, 1) = v"</code> (<code>examples/spring_respelled.json</code>) gives exactly the original digests:		The finished spring draft with x_max written as <code>"5e-2"</code> instead of <code>"0.05"</code>, v's dimension written as <code>"T-1 L1"</code> instead of <code>"L1 T-1"</code>, C_NOZ's unit written <code>"m1"</code> instead of <code>"m"</code>, EOM_X's equation written without spaces, <code>"mD(v,t)=-k_sx"</code>, and KIN's written <code>"D(x, t, 1) = v"</code> (<code>examples/spring_respelled.json</code>) gives exactly the original digests:
	<pre>		<pre>
	D(TPK) ~~eb4420c230d0f6535a94330873a6a169158a904ef3155ed9efe3741de51d5b2e~~		D(TPK) ad9d20d633d374edf7f7a2ddfefa6e886e67132a6e8a7cd42edd0237d3927088
	D(TrM) ~~093c67c0ffebf425dd11b40287966d72f9218735d436864e92b16175566a8d2d~~		D(TrM) f767f3635d0cbc54473b6f889c20a94d8d37f95d627d2c856516bac9c7d37de9
	D(TMS) ~~4d872a9763445da95db9298c1ebaed56cf7ba744b126770c0da42b027d3e7b15~~		D(TMS) 7a962e2297d6798801fa2593be9cd92995cc3a5f9c817cc8a19335c625784128
	D(TFK) ~~77da6e1a8e38a13ee914ecb7cb3a2396070ad2080f0a009a9de57a7d01bd6ca4~~		D(TFK) 46db0af2a3f5fd6e86447bd1764cd5b934cf0f0be3c9f91d16fd47aa435afe5b
	</pre>		</pre>