The Principia Machina/Diagrams/10 Landing and post-refusal - Revision history

BFP Rauch: 1 revision imported

2026-09-30T13:34:13Z

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; REDRAWS-14)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; REDRAWS-14)

← Older revision		Revision as of 13:34, 30 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: per-UWC control panel; TPS 5.9.5, 5.9.7		* GENERATED FROM: per-UWC control panel; TPS 5.9.5, 5.9.7
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: still true for what it draws, the block-ID check and the post-refusal procedure; checked against revision 7, proposed, on 2026-09-29: still true for what it draws; superseded by TPX at its first build		* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: still true for what it draws, the block-ID check and the post-refusal procedure; checked against revision 7 on 2026-09-29, declared final as TPS 0.4.0 on 2026-09-30: still true for what it draws; checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: still true for what it draws; superseded by TPX at its first build
	* SOURCE SHA-256: <code>4ba1cb62448ae88e28cad1150e36f3e222af76ef9e4ebd2af9c82309d304f65c</code>		* SOURCE SHA-256: <code>4ba1cb62448ae88e28cad1150e36f3e222af76ef9e4ebd2af9c82309d304f65c</code>

Line 65:		Line 65:

	== Text equivalent ==		== Text equivalent ==
	A push carries the block ID, the grant and the conformance declaration; TPX, the controller, checks the block ID is valid and not EXPIRED (4.2 row 10). On refusal the applicant reads the control panel and applies to the lead (5.9.7 step 1): neither reassigned nor landed, a new block ID lands it; reassigned, the applicant queues and re-enters; landed, TPX compares the two by machine, an L pair by its EQUATION, else its VALUE with UNIT, else its STATEMENT's canonical text (5.9.7~~; revision 7, proposed~~); a match lands as a corroboration record, GRADE PROVISIONAL, with its target's status word as TARGET_STATUS (5.9.6), and a mismatch is a NON-CORROBORATION, logged and pending, an audit opening under the container's AUDIT TRIGGER and ending in a decision item (4.1.6). The other refusals at push, such as a mismatched instruction set digest D(IS) or a push outside EOM-0 while that objective is OPEN, are not drawn (5.14 CR9, 3.3.16).		A push carries the block ID, the grant and the conformance declaration; TPX, the controller, checks the block ID is valid and not EXPIRED (4.2 row 10). On refusal the applicant reads the control panel and applies to the lead (5.9.7 step 1): neither reassigned nor landed, a new block ID lands it; reassigned, the applicant queues and re-enters; landed, TPX compares the two by machine, an L pair by its EQUATION, else its VALUE with UNIT, else its STATEMENT's canonical text (5.9.7); a match lands as a corroboration record, GRADE PROVISIONAL, with its target's status word as TARGET_STATUS (5.9.6), and a mismatch is a NON-CORROBORATION, logged and pending, an audit opening under the container's AUDIT TRIGGER and ending in a decision item (4.1.6). The other refusals at push, such as a mismatched instruction set digest D(IS) or a push outside EOM-0 while that objective is OPEN, are not drawn (5.14 CR9, 3.3.16).

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

BFP Rauch: 1 revision imported

2026-09-30T02:11:09Z

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)

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: per-UWC control panel; TPS 5.9.5, 5.9.7		* GENERATED FROM: per-UWC control panel; TPS 5.9.5, 5.9.7
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: still true for what it draws, the block-ID check and the post-refusal procedure; superseded by TPX at its first build		* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: still true for what it draws, the block-ID check and the post-refusal procedure; checked against revision 7, proposed, on 2026-09-29: still true for what it draws; superseded by TPX at its first build
	* SOURCE SHA-256: <code>4ba1cb62448ae88e28cad1150e36f3e222af76ef9e4ebd2af9c82309d304f65c</code>		* SOURCE SHA-256: <code>4ba1cb62448ae88e28cad1150e36f3e222af76ef9e4ebd2af9c82309d304f65c</code>

Line 65:		Line 65:

	== Text equivalent ==		== Text equivalent ==
	A push carries the block ID, the grant and the conformance declaration; TPX, the controller, checks the block ID is valid and not EXPIRED (4.2 row 10). On refusal the applicant reads the control panel and applies to the lead (5.9.7 step 1): neither reassigned nor landed, a new block ID lands it; reassigned, the applicant queues and re-enters; landed, a ~~matching result~~ lands as a corroboration record (5.9.6) and a mismatch ~~opens~~ an audit ending in a decision item. The other refusals at push, such as a mismatched instruction set digest D(IS) or a push outside EOM-0 while that objective is OPEN, are not drawn (5.14 CR9, 3.3.16).		A push carries the block ID, the grant and the conformance declaration; TPX, the controller, checks the block ID is valid and not EXPIRED (4.2 row 10). On refusal the applicant reads the control panel and applies to the lead (5.9.7 step 1): neither reassigned nor landed, a new block ID lands it; reassigned, the applicant queues and re-enters; landed, TPX compares the two by machine, an L pair by its EQUATION, else its VALUE with UNIT, else its STATEMENT's canonical text (5.9.7; revision 7, proposed); a match lands as a corroboration record, GRADE PROVISIONAL, with its target's status word as TARGET_STATUS (5.9.6), and a mismatch is a NON-CORROBORATION, logged and pending, an audit opening under the container's AUDIT TRIGGER and ending in a decision item (4.1.6). The other refusals at push, such as a mismatched instruction set digest D(IS) or a push outside EOM-0 while that objective is OPEN, are not drawn (5.14 CR9, 3.3.16).

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

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

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): HF

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

BFP Rauch: 1 revision imported

2026-09-29T02:10:48Z

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: per-UWC control panel; TPS 5.9.5, 5.9.7		* GENERATED FROM: per-UWC control panel; TPS 5.9.5, 5.9.7
	* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build		* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: still true for what it draws, the block-ID check and the post-refusal procedure; superseded by TPX at its first build
	* SOURCE SHA-256: <code>4ba1cb62448ae88e28cad1150e36f3e222af76ef9e4ebd2af9c82309d304f65c</code>		* SOURCE SHA-256: <code>4ba1cb62448ae88e28cad1150e36f3e222af76ef9e4ebd2af9c82309d304f65c</code>

Line 65:		Line 65:

	== Text equivalent ==		== Text equivalent ==
	A push carries the block ID, the grant and the conformance declaration; TPX checks the block ID is valid and not EXPIRED (4.2 row 10). On refusal the applicant reads the control panel and applies to the lead (5.9.7 step 1): neither reassigned nor landed, a new block ID lands it; reassigned, the applicant queues and re-enters; landed, a matching result lands as a corroboration record (5.9.6) and a mismatch opens an audit ending in a decision item.		A push carries the block ID, the grant and the conformance declaration; TPX, the controller, checks the block ID is valid and not EXPIRED (4.2 row 10). On refusal the applicant reads the control panel and applies to the lead (5.9.7 step 1): neither reassigned nor landed, a new block ID lands it; reassigned, the applicant queues and re-enters; landed, a matching result lands as a corroboration record (5.9.6) and a mismatch opens an audit ending in a decision item. The other refusals at push, such as a mismatched instruction set digest D(IS) or a push outside EOM-0 while that objective is OPEN, are not drawn (5.14 CR9, 3.3.16).

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

DeltaS Zero: Structural diagram 10 of 13 (the hub lists thirteen; diagram 13 added 2026-09-22)

2026-09-25T05:40:26Z

Structural diagram 10 of 13 (the hub lists thirteen; diagram 13 added 2026-09-22)

← Older revision		Revision as of 05:40, 25 September 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Diagram 10 Landing and post-refusal}}		{{DISPLAYTITLE:Diagram 10 Landing and post-refusal}}
	''Structural diagram 10 of 12.'' Part of [[The Principia Machina/Hub\|the TPM hub]].		''Structural diagram 10 of 13.'' Part of [[The Principia Machina/Hub\|the TPM hub]].
	* KIND: process		* KIND: process
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
Line 68:		Line 68:

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

BFP Rauch: 1 revision imported

2026-09-22T06:09:44Z

1 revision imported

← Older revision		Revision as of 06:09, 22 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-22T05:33:58Z

1 revision imported

← Older revision		Revision as of 05:33, 22 September 2026
(No difference)

BFP Rauch: Human-facing page: 10 Landing and post-refusal

2026-09-22T05:25:03Z

Human-facing page: 10 Landing and post-refusal

← Older revision		Revision as of 05:25, 22 September 2026
(No difference)