The Principia Machina/Inputs/Refusal messages - 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 5449)

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

← Older revision		Revision as of 01:35, 3 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Inputs: refusal messages}}		{{DISPLAYTITLE:Inputs: refusal messages}}
	''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:
	Every message the draft checks can return, what it means, and how to fix it.		Every message the draft checks can return, what it means, and how to fix it.

	''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, 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; the messages as 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) and check_draft 0.5.0 print them; TPX will print the same problems. 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, 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; the messages as 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) and check_draft 0.5.0 print them; TPX will print the same problems. Where this page and the specification differ, the specification governs.''

	== How to read a message ==		== How to read a message ==
Line 342:		Line 342:
	\| <code>YARDSTICK:''N'': duplicate limiting DOMAIN ''D''</code> \|\| two limiting cases share a domain \|\| merge them, or make the domains distinct		\| <code>YARDSTICK:''N'': duplicate limiting DOMAIN ''D''</code> \|\| two limiting cases share a domain \|\| merge them, or make the domains distinct
	\|-		\|-
	\| <code>YARDSTICK ''N'': REFUSED, FIELD terms await the record field schema (C-16)</code> \|\| the checker of ~~the declared~~ TPC-PY cannot run a FIELD term; ~~the next~~ TPC-PY retires this message ~~(increment 12, proposed)~~ \|\| do not use FIELD terms until the checker runs them		\| <code>YARDSTICK ''N'': REFUSED, FIELD terms await the record field schema (C-16)</code> \|\| the checker of TPC-PY 0.1.0 cannot run a FIELD term; TPC-PY 0.2.0, declared on 2026-09-30, retires this message \|\| do not use FIELD terms until the checker runs them
	\|-		\|-
	\| <code>YARDSTICK ''N'': REFUSED, FIELD ''name'' is not in the field table</code> \|\| ~~the next~~ TPC-PY ~~(increment 12~~, ~~proposed)~~: the field table holds U_C alone (TPS 2.4.8~~, revision 7, proposed~~) \|\| write <code>FIELD:U_C</code>, or drop the term		\| <code>YARDSTICK ''N'': REFUSED, FIELD ''name'' is not in the field table</code> \|\| TPC-PY 0.2.0, declared on 2026-09-30: the field table holds U_C alone (TPS 2.4.8) \|\| write <code>FIELD:U_C</code>, or drop the term
	\|-		\|-
	\| <code>YARDSTICK ''N'': REFUSED, weight ''c'' is not a finite double</code> \|\| a weight is too large to compute with \|\| use a weight of ordinary size		\| <code>YARDSTICK ''N'': REFUSED, weight ''c'' is not a finite double</code> \|\| a weight is too large to compute with \|\| use a weight of ordinary size

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-1, SW-2, SW-3)

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 6:		Line 6:
	Every message the draft checks can return, what it means, and how to fix it.		Every message the draft checks can return, what it means, and how to fix it.

	''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 messages as 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) and check_draft 0.5.0 print them; TPX will print the same problems. 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, 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; the messages as 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) and check_draft 0.5.0 print them; TPX will print the same problems. Where this page and the specification differ, the specification governs.''

	== How to read a message ==		== How to read a message ==
Line 342:		Line 342:
	\| <code>YARDSTICK:''N'': duplicate limiting DOMAIN ''D''</code> \|\| two limiting cases share a domain \|\| merge them, or make the domains distinct		\| <code>YARDSTICK:''N'': duplicate limiting DOMAIN ''D''</code> \|\| two limiting cases share a domain \|\| merge them, or make the domains distinct
	\|-		\|-
	\| <code>YARDSTICK ''N'': REFUSED, FIELD terms await the record field schema (C-16)</code> \|\| the ~~evaluator~~ cannot run a FIELD term ~~yet~~ \|\| do not use FIELD terms until C-~~16 lands~~		\| <code>YARDSTICK ''N'': REFUSED, FIELD terms await the record field schema (C-16)</code> \|\| the checker of the declared TPC-PY cannot run a FIELD term; the next TPC-PY retires this message (increment 12, proposed) \|\| do not use FIELD terms until the checker runs them
			\|-
			\| <code>YARDSTICK ''N'': REFUSED, FIELD ''name'' is not in the field table</code> \|\| the next TPC-PY (increment 12, proposed): the field table holds U_C alone (TPS 2.4.8, revision 7, proposed) \|\| write <code>FIELD:U_C</code>, or drop the term
	\|-		\|-
	\| <code>YARDSTICK ''N'': REFUSED, weight ''c'' is not a finite double</code> \|\| a weight is too large to compute with \|\| use a weight of ordinary size		\| <code>YARDSTICK ''N'': REFUSED, weight ''c'' is not a finite double</code> \|\| a weight is too large to compute with \|\| use a weight of ordinary size
Line 367:		Line 369:
	When every check passes, the final pass included, the checker prints the structure check's lines, the four digests and the inspections still owed to the declaring authority, then:		When every check passes, the final pass included, the checker prints the structure check's lines, the four digests and the inspections still owed to the declaring authority, then:
	<pre>		<pre>
	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>

Line 392:		Line 394:
	FINAL not run: a zone is missing		FINAL not run: a zone is missing

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

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 6:		Line 6:
	Every message the draft checks can return, what it means, and how to fix it.		Every message the draft checks can return, what it means, and how to fix it.

	''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 messages as 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) and check_draft 0.5.0 print them; TPX will print the same problems. 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 messages as 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) and check_draft 0.5.0 print them; TPX will print the same problems. Where this page and the specification differ, the specification governs.''

	== How to read a message ==		== How to read a message ==
Line 259:		Line 259:

	== The isomorphism checks ==		== The isomorphism checks ==
	They run as the manifold is entered, once it and the kernel pass their ~~structure~~ checks. Every line but the untied-DOF line refuses the manifold.		They run as the manifold is entered, once it and the kernel pass their structural checks. Every line but the untied-DOF line refuses the manifold.
	{\| class="wikitable"		{\| class="wikitable"
	! Message !! Meaning !! Fix		! Message !! Meaning !! Fix

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)

Show changes