The Principia Machina/Agent/Contract - 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; 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 4:		Line 4:
	<pre>		<pre>
	AGENT CONTRACT POINTER		AGENT CONTRACT POINTER
	normative text: TPS 0.3.0 part 6 (declared final 2026-09-28, revision 6),		normative text: TPS 0.4.0 part 6 (declared final 2026-09-30, revision 7),
	pages 6.1 to 6.5		pages 6.1 to 6.5
	The Principia Machina/TPS/6.1 Scope and conformance		The Principia Machina/TPS/6.1 Scope and conformance
Line 18:		Line 18:
	ASSUMPTIONS: identifiers of ASSUMPTION RECORDs only, never free text (AC-4.31)		ASSUMPTIONS: identifiers of ASSUMPTION RECORDs only, never free text (AC-4.31)
	citations: only records that stand; initial and boundary values as SITUATION records		citations: only records that stand; initial and boundary values as SITUATION records
	(AC-4.31~~; revision 7, proposed~~)		(AC-4.31)
	records: the record table's form; no field TPX writes; record_check at the stage PUSH		records: the record table's form; no field TPX writes; record_check at the stage PUSH
	with TPC-PY as PRB placed it (AC-4.52~~; revision 7, proposed~~)		with TPC-PY as PRB placed it (AC-4.52)
	withdrawal: your own record only, WITHDRAWN only; never request REFUTED		withdrawal: your own record only, WITHDRAWN only; never request REFUTED
	(AC-4.35~~; revision 7, proposed~~)		(AC-4.35)
	verification: pushed after its TARGET; DIFFERENCE from executed TPC-PY; no agreement		verification: pushed after its TARGET; DIFFERENCE from executed TPC-PY; no agreement
	stated (AC-4.25~~; revision 7, proposed~~)		stated (AC-4.25)
	presented values: recomputed by TPX at landing; local computation warrants nothing (AC-1.18, AC-4.33)		presented values: recomputed by TPX at landing; local computation warrants nothing (AC-1.18, AC-4.33)
	</pre>		</pre>

	[[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 17:		Line 17:
	every M record, and an L derived value entering an L-M test: QUANTITY, the TrM entry the value belongs to, and UNIT (AC-4.32)		every M record, and an L derived value entering an L-M test: QUANTITY, the TrM entry the value belongs to, and UNIT (AC-4.32)
	ASSUMPTIONS: identifiers of ASSUMPTION RECORDs only, never free text (AC-4.31)		ASSUMPTIONS: identifiers of ASSUMPTION RECORDs only, never free text (AC-4.31)
			citations: only records that stand; initial and boundary values as SITUATION records
			(AC-4.31; revision 7, proposed)
			records: the record table's form; no field TPX writes; record_check at the stage PUSH
			with TPC-PY as PRB placed it (AC-4.52; revision 7, proposed)
			withdrawal: your own record only, WITHDRAWN only; never request REFUTED
			(AC-4.35; revision 7, proposed)
			verification: pushed after its TARGET; DIFFERENCE from executed TPC-PY; no agreement
			stated (AC-4.25; revision 7, proposed)
	presented values: recomputed by TPX at landing; local computation warrants nothing (AC-1.18, AC-4.33)		presented values: recomputed by TPX at landing; local computation warrants nothing (AC-1.18, AC-4.33)
	</pre>		</pre>

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

DeltaS Zero: Post-TPC-PY page batch (S70): AGENT-INDEX-VER

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): AGENT-INDEX-VER

← 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 4:		Line 4:
	<pre>		<pre>
	AGENT CONTRACT POINTER		AGENT CONTRACT POINTER
	normative text: TPS 0.1.0 part 6, pages 6.1 to 6.5		normative text: TPS 0.3.0 part 6 (declared final 2026-09-28, revision 6),
			pages 6.1 to 6.5
	The Principia Machina/TPS/6.1 Scope and conformance		The Principia Machina/TPS/6.1 Scope and conformance
	The Principia Machina/TPS/6.2 Untrusted input and authorization		The Principia Machina/TPS/6.2 Untrusted input and authorization
Line 13:		Line 14:
	presented: CAPABILITY field at petition (AC-1.6); argument of every push (AC-1.7)		presented: CAPABILITY field at petition (AC-1.6); argument of every push (AC-1.7)
	refusal: declared TPS version not the published one (AC-1.8); D(IS) mismatch marks NEEDS RECERTIFICATION (AC-5.8)		refusal: declared TPS version not the published one (AC-1.8); D(IS) mismatch marks NEEDS RECERTIFICATION (AC-5.8)
	~~before running~~ the ~~published~~ calculator: ~~verify~~ its digest against the index entry (AC-2.29)		the calculator: run TPC-PY only as PRB placed it, its digest verified by PRB against the index entry H-DECL declared (AC-2.29)
	every M record: QUANTITY, the TrM entry the value belongs to, and UNIT (AC-4.32)		every M record, and an L derived value entering an L-M test: QUANTITY, the TrM entry the value belongs to, and UNIT (AC-4.32)
	ASSUMPTIONS: identifiers of ASSUMPTION RECORDs only, never free text (AC-4.31)		ASSUMPTIONS: identifiers of ASSUMPTION RECORDs only, never free text (AC-4.31)
	presented values: recomputed by TPX at landing; local computation warrants nothing (AC-1.18, AC-4.33)		presented values: recomputed by TPX at landing; local computation warrants nothing (AC-1.18, AC-4.33)

DeltaS Zero: Agent contract pointer: unit pages at their version-free titles (D55); start the walk through

2026-09-25T05:40:27Z

Agent contract pointer: unit pages at their version-free titles (D55); start the walk through

← Older revision		Revision as of 05:40, 25 September 2026
Line 1:		Line 1:
	__NOINDEX__		__NOINDEX__
	''Machine-optimized page. Plain text for agents and scripts. Human readers: [[The Principia Machina/Hub/General reader\|start the walk]].''		''Machine-optimized page. Plain text for agents and scripts. Human readers: [[The Principia Machina/Hub/General reader\|start the walk through]].''

	<pre>		<pre>
	AGENT CONTRACT POINTER		AGENT CONTRACT POINTER
	normative text: TPS 0.1.0 part 6, pages 6.1 to 6.5		normative text: TPS 0.1.0 part 6, pages 6.1 to 6.5
	The Principia Machina/TPS ~~0.1.0~~/6.1 Scope and conformance		The Principia Machina/TPS/6.1 Scope and conformance
	The Principia Machina/TPS ~~0.1.0~~/6.2 Untrusted input and authorization		The Principia Machina/TPS/6.2 Untrusted input and authorization
	The Principia Machina/TPS ~~0.1.0~~/6.3 Decision items		The Principia Machina/TPS/6.3 Decision items
	The Principia Machina/TPS ~~0.1.0~~/6.4 Working a container		The Principia Machina/TPS/6.4 Working a container
	The Principia Machina/TPS ~~0.1.0~~/6.5 Certification, agent side		The Principia Machina/TPS/6.5 Certification, agent side
	conformance declaration (AC-1.5): TPS version conformed to; implementation name; implementation version; implementation digest		conformance declaration (AC-1.5): TPS version conformed to; implementation name; implementation version; implementation digest
	presented: CAPABILITY field at petition (AC-1.6); argument of every push (AC-1.7)		presented: CAPABILITY field at petition (AC-1.6); argument of every push (AC-1.7)
Line 20:		Line 20:

	[[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: Help layer: agent_Contract

2026-09-22T05:25:03Z

Help layer: agent_Contract

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