The Principia Machina/Agent/Contract: Difference between revisions
DeltaS Zero (talk | contribs) Agent contract pointer: unit pages at their version-free titles (D55); start the walk through |
m 1 revision imported |
||
| Line 4: | Line 4: | ||
<pre> | <pre> | ||
AGENT CONTRACT POINTER | AGENT CONTRACT POINTER | ||
normative text: TPS 0. | 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) | ||
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) | ||
Revision as of 02:10, 29 September 2026
Machine-optimized page. Plain text for agents and scripts. Human readers: start the walk through.
AGENT CONTRACT POINTER 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.2 Untrusted input and authorization The Principia Machina/TPS/6.3 Decision items The Principia Machina/TPS/6.4 Working a container The Principia Machina/TPS/6.5 Certification, agent side 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) refusal: declared TPS version not the published one (AC-1.8); D(IS) mismatch marks NEEDS RECERTIFICATION (AC-5.8) 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, 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) presented values: recomputed by TPX at landing; local computation warrants nothing (AC-1.18, AC-4.33)