The Principia Machina/Agent/Contract

Machine-optimized page. Plain text for agents and scripts. Human readers: start the walk through.

AGENT CONTRACT POINTER
normative text: TPS 0.4.0 part 6 (declared final 2026-09-30, revision 7),
  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)
  citations: only records that stand; initial and boundary values as SITUATION records
    (AC-4.31)
  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)
  withdrawal: your own record only, WITHDRAWN only; never request REFUTED
    (AC-4.35)
  verification: pushed after its TARGET; DIFFERENCE from executed TPC-PY; no agreement
    stated (AC-4.25)
  presented values: recomputed by TPX at landing; local computation warrants nothing (AC-1.18, AC-4.33)