The Principia Machina/TPS/7.1 Non-goals

Instruction artifact, machine-optimized text: TPS 0.1.0, section 7.1 Non-goals. Part of TPS 0.1.0 and the TPM hub. Human-only edit (TPS 5.13). Version 0.1.0, proposed, revision 3; declaration pending. The text below is this section of the TPS 0.1.0 artifact, verbatim; the whole artifact and its file digest are on The Principia Machina/TPS 0.1.0. Human readers: the contents page is the map.

TPS 7.1  NON-GOALS
purpose: the nine non-goals
governs: 7.1 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator, agent

7.1.1  Cross-container reduction is out of scope. A certified container
       is not validated against a more complete model (see 1.3.2).
       [I-123] [I-015]
7.1.2  Completeness certified by CAC is relative to the declared TPK's
       DOF inventory. CAC cannot detect a degree of freedom the TPK
       failed to yield. SURJECTIVE is the completeness test; an untied
       DOF is a named gap, never silently omitted. [I-124]
7.1.3  Internal consistency is not veracity. Veracity lives outside the
       run: derivation under benchmark quarantine, then post-termination
       comparison against external sources, landing as a regime-M
       verification record whose external value is a benchmark, never an
       output. A comparison reports the difference, never the agreement.
       [I-125]
7.1.4  Holding the mutex across a day of work is coarse locking by
       design. An unreachable wiki means single-AI work only. [I-126]
7.1.5  The chain is a simple hash chain on two pages; verification from
       genesis is linear in their length. [I-127]
7.1.6  A certification pass is a filter, not a guarantee. A matching
       D(IS) warrants version currency only. [I-128]
7.1.7  The strike rule's a(r) is gameable by bundling assumptions;
       atomicity is an INSPECTION check (see 4.6.3). [I-129] [I-079]
7.1.8  The Public Recorder digests no documents (see 5.5.7). [I-130]
7.1.9  MediaWiki gives no daemon and no cross-page transaction; TPM
       builds on sequences with a commit marker, not on atomicity (see
       5.1.4). [I-131] [I-055]
7.1.10 Blindness is not attestable. Whether a reproducer saw the
       landed result before reproducing it cannot be shown: the
       platform logs no reads. INDEPENDENCE records what can be shown
       and no more. [D42.1]
7.1.11 A compiled build of TPC-PY is never of record, and TPC-PY
       decides nothing (see 5.1.7, 5.1.9). [D43.1]