The Principia Machina/TPS/5.3 TPX

Instruction artifact: TPS 0.1.0, page 5.3 TPX. Part of TPS 0.1.0 and the TPM hub. Human-only edit (TPS 5.13). Version 0.1.0, proposed; declaration pending. Governing section: this page, TPS 5.3. The text below is this page's unit of the TPS 0.1.0 artifact, verbatim; the whole artifact and its file digest are on The Principia Machina/TPS 0.1.0.

TPS 5.3  TPX
purpose: the extension's obligations: Special:NewContainer, the content
         model, save hooks, API modules, digests, UUID via
         GlobalIdGenerator, instantiation, fencing, manifest and badge,
         D(IS), canaries, jobs, sentinel pages
governs: 5.3 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator

5.3.1  TPX is the TPM UI extension: a PHP MediaWiki extension holding
       every deterministic responsibility MediaWiki can host (see 1.1,
       5.1.3). [I-046] [I-050]
5.3.2  TPX refuses a failed component before save, by validation
       callback or save hook; a check that may outlast a web request
       runs as a job with a status PRB polls; no critical write is a
       deferred update. [I-051]
5.3.3  UUID RESOURCE. TPX writes no UUID generator; it obtains version-4
       UUIDs from MediaWiki core's GlobalIdGenerator (D28) and asserts
       the UUID absent from the index at instantiation. [I-053]
5.3.4  The new-container page is a Special:NewContainer page on core
       HTMLForm whose validation callbacks invoke the CAC so a failed
       component is refused before save; DRAFT CONTAINER and TFK pages
       are under a JSON content model with a content class validating
       structure on save. [B-24]
5.3.5  TPX carries: the change-request redirect (see 5.5.6); save hooks
       for structural validation of draft and TFK pages, append-only on
       the DECLARATIONS and BUILD CHAIN pages, and lock-page queue order
       and expiry (see 5.7); API modules for PRB: landing with
       grant-number, D(IS) and declared-TPS-version checks and the NEEDS
       RECERTIFICATION mark, job status, staging and return writes;
       execution of every MECHANICAL row of 4.2; every digest; the UUID;
       instantiation; the manifest and badge rebuilt at every landing
       with the badge last, LAST PUSH being server time at completion;
       D(IS) computed and published; canary planting at the declared
       rate; the canary pass rate on the control panel; long checks as
       jobs; the sentinel page on any failed assertion; the three help
       sets and their build assertions, the references build, the hub
       entry points and the check-class matrix display (see 5.15); the
       synthetic certification container and the suite pages (see
       5.14). [C-19] [F2]
       OWED: the specification of each item above at the level an
       implementer needs (page names, content schema, hook and module
       contracts, job forms); kind: absence; C-19. TPS specifies TPX; it
       carries no PHP.
5.3.6  Every check publishes its class; TPX displays the check-class
       matrix (see 4.2.7). [B-18]