The Principia Machina/Guide/4 Running work under the lock - Revision history

BFP Rauch: 1 revision imported

2026-09-30T13:34:15Z

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 19:		Line 19:
	# Operator intervention on one lock, the only one: a lock whose holder has vanished past expiry may be cleared by the operator, with an audit line on the lock page saying why. The specification calls that state HOLDER SILENT; readers treat the copy with the caution [[The Principia Machina/TPS/5.10 The badge and staleness\|TPS 5.10]] states until a push and release restore it.		# Operator intervention on one lock, the only one: a lock whose holder has vanished past expiry may be cleared by the operator, with an audit line on the lock page saying why. The specification calls that state HOLDER SILENT; readers treat the copy with the caution [[The Principia Machina/TPS/5.10 The badge and staleness\|TPS 5.10]] states until a push and release restore it.
	# The operator's fleet switch, AGENT STOP, refuses heartbeats and stops the lock clocks of every container; when it lifts, TPX extends every held lock and the queue head's acquisition window by the stop's length ([[The Principia Machina/TPS/5.7 The lock\|TPS 5.7.10]]).		# The operator's fleet switch, AGENT STOP, refuses heartbeats and stops the lock clocks of every container; when it lifts, TPX extends every held lock and the queue head's acquisition window by the stop's length ([[The Principia Machina/TPS/5.7 The lock\|TPS 5.7.10]]).
	# While a container's first objective EOM-0 is OPEN, TPX lands pushes only from blocks of kind EOM-0 or REPRODUCTION: commission the EOM-0 work first. TPX settles each missing equation itself, inside the push, when a standing record whose declared form carries the right ROLE lands; the lead names a settling record in the push only when that record carries no declared form, and the naming is recorded as the lead's inspection ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]~~; revision 7, proposed~~).		# While a container's first objective EOM-0 is OPEN, TPX lands pushes only from blocks of kind EOM-0 or REPRODUCTION: commission the EOM-0 work first. TPX settles each missing equation itself, inside the push, when a standing record whose declared form carries the right ROLE lands; the lead names a settling record in the push only when that record carries no declared form, and the naming is recorded as the lead's inspection ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).
	# To have a finding checked by a second worker, commission a reproduction block: name the record to be derived again, and the machine supplies the kernel and that record's assumptions. The result goes to staging and is stamped with the server time and content hash before anyone judges the match.		# To have a finding checked by a second worker, commission a reproduction block: name the record to be derived again, and the machine supplies the kernel and that record's assumptions. The result goes to staging and is stamped with the server time and content hash before anyone judges the match.

BFP Rauch: 1 revision imported

2026-09-30T02:11:11Z

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 19:		Line 19:
	# Operator intervention on one lock, the only one: a lock whose holder has vanished past expiry may be cleared by the operator, with an audit line on the lock page saying why. The specification calls that state HOLDER SILENT; readers treat the copy with the caution [[The Principia Machina/TPS/5.10 The badge and staleness\|TPS 5.10]] states until a push and release restore it.		# Operator intervention on one lock, the only one: a lock whose holder has vanished past expiry may be cleared by the operator, with an audit line on the lock page saying why. The specification calls that state HOLDER SILENT; readers treat the copy with the caution [[The Principia Machina/TPS/5.10 The badge and staleness\|TPS 5.10]] states until a push and release restore it.
	# The operator's fleet switch, AGENT STOP, refuses heartbeats and stops the lock clocks of every container; when it lifts, TPX extends every held lock and the queue head's acquisition window by the stop's length ([[The Principia Machina/TPS/5.7 The lock\|TPS 5.7.10]]).		# The operator's fleet switch, AGENT STOP, refuses heartbeats and stops the lock clocks of every container; when it lifts, TPX extends every held lock and the queue head's acquisition window by the stop's length ([[The Principia Machina/TPS/5.7 The lock\|TPS 5.7.10]]).
	# While a container's first objective EOM-0 is OPEN, TPX lands pushes only from blocks of kind EOM-0 or REPRODUCTION: commission the EOM-0 work first. ~~Until~~ the record ~~field schema exists (C-16),~~ the lead names in ~~each such~~ push the ~~record that settles each missing equation~~ ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).		# While a container's first objective EOM-0 is OPEN, TPX lands pushes only from blocks of kind EOM-0 or REPRODUCTION: commission the EOM-0 work first. TPX settles each missing equation itself, inside the push, when a standing record whose declared form carries the right ROLE lands; the lead names a settling record in the push only when that record carries no declared form, and the naming is recorded as the lead's inspection ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]; revision 7, proposed).
	# To have a finding checked by a second worker, commission a reproduction block: name the record to be derived again, and the machine supplies the kernel and that record's assumptions. The result goes to staging and is stamped with the server time and content hash before anyone judges the match.		# To have a finding checked by a second worker, commission a reproduction block: name the record to be derived again, and the machine supplies the kernel and that record's assumptions. The result goes to staging and is stamped with the server time and content hash before anyone judges the match.

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

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 10:		Line 10:

	== Scope ==		== Scope ==
	The lock page, grants, heartbeat, the petition queue, leased identifier ranges, ~~and~~ the operator's one intervention. Not covered: what the agents derive.		The lock page, grants, heartbeat, the petition queue, leased identifier ranges, EOM-0, the operator's one intervention on a lock and its fleet switch. Not covered: what the agents derive.

	== Procedure ==		== Procedure ==
	# The lead acquires by editing the lock page against its base revision, writing holder, grant (previous plus one), grant time and expiry. A failed edit means someone else holds it.		# The lead acquires by editing the lock page against its base revision, writing holder, grant (previous plus one), grant time and expiry. A failed edit means someone else holds it.
	# The lead extends by ~~heartbeat edits and~~ never past 24 hours from the grant; the ~~exact bound is~~ in [[The Principia Machina/TPS/7.2 Declared parameters\|TPS 7.2]].		# The lead extends by heartbeats, never past 24 hours from the grant and only while it has pushed or returned within the NO-PROGRESS LIMIT; past that the lock ends at its expiry ([[The Principia Machina/TPS/5.7 The lock\|TPS 5.7.3, 5.7.8]]; the bounds in [[The Principia Machina/TPS/7.2 Declared parameters\|TPS 7.2]]). Heartbeats are kept in TPX's table; the lock page shows the expiry at acquisition, at release and at each expiry step (5.7.9).
	# Coworkers petition on the collaboration page; the queue is the revision order of their edits. The lead assigns blocks and leases identifier ranges; only the lead allocates identifiers.		# Coworkers petition on the collaboration page; the queue is the revision order of their edits. The lead assigns blocks and leases identifier ranges, each a whole number of register volumes, the identifiers left unused written VOID ([[The Principia Machina/TPS/5.7 The lock\|TPS 5.7.11]]); only the lead allocates identifiers.
	# Release is valid only after a push. On release the queue head acquires; if the head is silent past the acquisition window, the next waiter may.		# Release is valid only after a push. On release the queue head acquires; if the head is silent past the acquisition window, the next waiter may.
	# Operator intervention, the only one: a lock whose holder has vanished past expiry may be cleared by the operator, with an audit line on the lock page saying why. The specification calls that state HOLDER SILENT; readers treat the copy with the caution [[The Principia Machina/TPS/5.10 The badge and staleness\|TPS 5.10]] states until a push and release restore it.		# Operator intervention on one lock, the only one: a lock whose holder has vanished past expiry may be cleared by the operator, with an audit line on the lock page saying why. The specification calls that state HOLDER SILENT; readers treat the copy with the caution [[The Principia Machina/TPS/5.10 The badge and staleness\|TPS 5.10]] states until a push and release restore it.
			# The operator's fleet switch, AGENT STOP, refuses heartbeats and stops the lock clocks of every container; when it lifts, TPX extends every held lock and the queue head's acquisition window by the stop's length ([[The Principia Machina/TPS/5.7 The lock\|TPS 5.7.10]]).
			# While a container's first objective EOM-0 is OPEN, TPX lands pushes only from blocks of kind EOM-0 or REPRODUCTION: commission the EOM-0 work first. Until the record field schema exists (C-16), the lead names in each such push the record that settles each missing equation ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).
	# To have a finding checked by a second worker, commission a reproduction block: name the record to be derived again, and the machine supplies the kernel and that record's assumptions. The result goes to staging and is stamped with the server time and content hash before anyone judges the match.		# To have a finding checked by a second worker, commission a reproduction block: name the record to be derived again, and the machine supplies the kernel and that record's assumptions. The result goes to staging and is stamped with the server time and content hash before anyone judges the match.

Line 23:		Line 25:
	* One lock page per container; no nested locks.		* One lock page per container; no nested locks.
	* Every clear by the operator carries an audit line.		* Every clear by the operator carries an audit line.
	* ~~Leased ranges reclaimed on landing~~.		* Leases in whole volumes; the unused identifiers of a closed lease written VOID.
			* No push but EOM-0 or REPRODUCTION work while EOM-0 is OPEN.
	* Reproduction blocks commissioned deliberately, not left to arise from refused pushes.		* Reproduction blocks commissioned deliberately, not left to arise from refused pushes.

Line 32:		Line 35:
	The lead's session dies at hour 20 without a release. At hour 24 the lock expires; the badge shows HOLDER SILENT. The queue head acquires within the window and continues. When the dead session's client later tries to push, its grant number is below the current grant and the landing API refuses it; nothing it held reaches the register.		The lead's session dies at hour 20 without a release. At hour 24 the lock expires; the badge shows HOLDER SILENT. The queue head acquires within the window and continues. When the dead session's client later tries to push, its grant number is below the current grant and the landing API refuses it; nothing it held reaches the register.

	Governing sections: [[The Principia Machina/TPS/5.7 The lock\|TPS 5.7]], [[The Principia Machina/TPS/5.8 The collaboration page\|TPS 5.8]], [[The Principia Machina/TPS/5.10 The badge and staleness\|TPS 5.10]].		Governing sections: [[The Principia Machina/TPS/5.7 The lock\|TPS 5.7]], [[The Principia Machina/TPS/5.8 The collaboration page\|TPS 5.8]], [[The Principia Machina/TPS/5.10 The badge and staleness\|TPS 5.10]], [[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]].

	----		----

DeltaS Zero: Operator's guide: it assumes the walk through (naming declaration 2026-09-24)

2026-09-25T05:42:44Z

Operator's guide: it assumes the walk through (naming declaration 2026-09-24)

← Older revision		Revision as of 05:42, 25 September 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Guide 4: Running work under the lock}}		{{DISPLAYTITLE:Guide 4: Running work under the lock}}
	''The operator's guide. It assumes [[The Principia Machina/Hub/General reader\|the walk]]; a newcomer should read that first. Each page opens with its diagram, states its purpose and scope, gives the procedure, names what it does not cover, works one example, and links the sections of the specification that govern it. Where this guide and the specification differ, the specification governs.''		''The operator's guide. It assumes [[The Principia Machina/Hub/General reader\|the walk through]]; a newcomer should read that first. Each page opens with its diagram, states its purpose and scope, gives the procedure, names what it does not cover, works one example, and links the sections of the specification that govern it. Where this guide and the specification differ, the specification governs.''

	{{:The Principia Machina/Diagrams/09 Lock and petition queue}}		{{:The Principia Machina/Diagrams/09 Lock and petition queue}}
Line 38:		Line 38:

	[[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:59Z

1 revision imported

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

BFP Rauch: Help layer: guide_4

2026-09-22T05:25:03Z

Help layer: guide_4

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