The Principia Machina/Diagrams/09 Lock and petition queue - Revision history

BFP Rauch: 1 revision imported

2026-09-30T13:34:14Z

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); base VERIFY-BASE (the runner's state check)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; REDRAWS-14); base VERIFY-BASE (the runner's state check)

← Older revision		Revision as of 13:34, 30 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: per-UWC lock page state; TPS 5.7, 5.8.5		* GENERATED FROM: per-UWC lock page state; TPS 5.7, 5.8.5
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the heartbeat is drawn as a lock-page edit; not drawn: the NO-PROGRESS rule, the expiry steps and AGENT STOP, 5.7.8-5.7.10); 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: owed a redraw (the heartbeat is drawn as a lock-page edit; not drawn: the NO-PROGRESS rule, the expiry steps and AGENT STOP, 5.7.8-5.7.10); checked against TPS 0.4.0 (revision 7, declared final 2026-09-30) and revision 8, proposed as TPS 0.5.0, on 2026-09-30: no change bears on it; superseded by TPX at its first build
	* SOURCE SHA-256: <code>81ec061ed163dedd97c5edebe4f77e6bb309b7ca557883142929c68c7f206877</code>		* SOURCE SHA-256: <code>81ec061ed163dedd97c5edebe4f77e6bb309b7ca557883142929c68c7f206877</code>

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 lock page state; TPS 5.7, 5.8.5		* GENERATED FROM: per-UWC lock page state; TPS 5.7, 5.8.5
	* 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: owed a redraw (the heartbeat is drawn as a lock-page edit; not drawn: the NO-PROGRESS rule, the expiry steps and AGENT STOP, 5.7.8-5.7.10); superseded by TPX at its first build
	* SOURCE SHA-256: <code>81ec061ed163dedd97c5edebe4f77e6bb309b7ca557883142929c68c7f206877</code>		* SOURCE SHA-256: <code>81ec061ed163dedd97c5edebe4f77e6bb309b7ca557883142929c68c7f206877</code>

Line 49:		Line 49:

	== Text equivalent ==		== Text equivalent ==
	The lead acquires the lock by a base-revision edit writing holder, grant, grant time and expiry (5.7.2), extends it by ~~heartbeat~~ never past 24 hours (5.7.3), pushes with the grant number under the fencing check with the badge written last (5.9.8, 5.10.1), and releases only after that push (5.7.5). The queue head acquires within the ACQUISITION WINDOW, else the next waiter may (5.7.4, 5.8.5); the save hook refuses any out-of-order or pre-expiry acquisition (5.7.1).		The lead acquires the lock by a base-revision edit writing holder, grant, grant time and expiry (5.7.2), extends it by heartbeats never past 24 hours and only while it has pushed or returned within the NO-PROGRESS LIMIT (5.7.3, 5.7.8), pushes with the grant number under the fencing check with the badge written last (5.9.8, 5.10.1), and releases only after that push (5.7.5). Heartbeats are kept in the table of TPX, the controller, not written to the lock page as the drawing shows; the lock page and the badge record the expiry at acquisition, at release and at each EXPIRY STEP (5.7.9), and the operator's AGENT STOP stops the lock clocks (5.7.10). The queue head acquires within the ACQUISITION WINDOW, else the next waiter may (5.7.4, 5.8.5); the save hook refuses any out-of-order or pre-expiry acquisition (5.7.1).

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

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

2026-09-25T05:40:25Z

Structural diagram 9 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 09 Lock and petition queue}}		{{DISPLAYTITLE:Diagram 09 Lock and petition queue}}
	''Structural diagram 9 of 12.'' Part of [[The Principia Machina/Hub\|the TPM hub]].		''Structural diagram 9 of 13.'' Part of [[The Principia Machina/Hub\|the TPM hub]].
	* KIND: process		* KIND: process
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
Line 52:		Line 52:

	[[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: 09 Lock and petition queue

2026-09-22T05:25:03Z

Human-facing page: 09 Lock and petition queue

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

BFP Rauch: Human-facing page: 09 Lock and petition queue

2026-09-22T05:25:03Z

Human-facing page: 09 Lock and petition queue

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

BFP Rauch: 1 revision imported

2026-09-18T04:35:40Z

1 revision imported

← Older revision		Revision as of 04:35, 18 September 2026
(No difference)