The Principia Machina/TPS/8.2 Decision bases and excluded alternatives

Instruction artifact: TPS 0.1.0, page 8.2 Decision bases and excluded alternatives. 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 8.2. 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 8.2  DECISION BASES AND EXCLUDED ALTERNATIVES
purpose: for each decision the basis and the alternatives excluded,
         with the measure that excluded them
governs: 8.2 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator

BASIS 8.2.0  Every decision below was ranked on the measures of 1.4;
       "soundness" and "completeness" name the defect kind that decided
       the exclusion, and "R2" and "R3" name the measure. The full text
       of each item is in the record's section 3. [I-010]
BASIS D1  RECORD IDENTIFIER AND LAYER NAME, resolved D1.1. Per-container
       identifier space; RR-1..RR-855 import unchanged; a cross-container
       citation carries the prefix by construction. [B-01]
BASIS D2  MAP TYPE IN THE TRANSLATION MANIFOLD, D2.1. Isomorphism only;
       the restriction is priced in the TPK, not the entry. Excluded: a
       RESTRICTION object relating two containers, by the sealing of
       containers. [B-02]
BASIS D3  THE WORD "DOMAIN", D3.1. DOMAIN keeps the guide's meaning.
       Basis: both BFP historical errors were domain elisions at
       promotion (guide C5), so the field and its anchor to that failure
       history are kept. [B-03]
BASIS D4  TWO RANKING RULES. Settled by the ranking rule; amended by
       D15: machinery ranked by the measures of 1.4, physics by each
       container's TMS. [I-010]
BASIS D5  TPK IMMUTABILITY WITH COPY-FORWARD, D5.2 and reopen. Fixed by
       constraint: the TPK is immutable. Excluded: copy with tags intact
       and citable at once (soundness); inherited records keeping
       predecessor identifiers (soundness; one identifier, two records;
       collides with D1); digest verified at CAC only (soundness; writes
       accepted against a modified TPK between audits). [B-04]
BASIS D6  TFK SCOPE AND DIGEST STRUCTURE, D6.1, amended D15. Basis of
       the third zone: a yardstick-only successor stays distinguishable
       from a physics-changed one; placing the TMS inside the TPK would
       have omitted that case (completeness). [B-05] [B-13]
BASIS D7  THE TERM FOR THE IMMUTABLE FOUNDATION, D7.1, amended D17.
       STATIC rejected (collides with statics). FIXED rejected (collides
       with "held fixed", with "fixed field", and with ordinary use).
       "Immutable unit" retired by D17 in favor of TFK. [B-06]
BASIS D8  ESCALATION REACHABILITY, D8.2 plus constraint. A local
       working instance; a session works locally and pushes when the
       wiki is reachable; page identity by title plus content hash,
       applied without pause. [B-07]
BASIS D9  MANIFEST CONSTRUCTION, D9.1, amended D21, D32. Excluded: a
       hand-transcribed digest is not a digest. [B-08]
BASIS D10 REFRESH TRIGGER, D10.1 and .2, amended D19, D32. The daily
       push withdrawn; landing on demand through TPX. [I-052] [I-120]
BASIS D11 INDEX SCOPE, D11.1 plus addition. One index, all classes; a
       library page per container and a central hub with one entry point
       per audience. [B-09]
BASIS D12 RETIRED CONTAINERS, D12.1. The index grows monotonically.
       [B-10]
BASIS D13 LANDING, D13.2, reopened twice, D13.1 twice, amended D18. The
       block ID as fencing token; expiry definitional; recommission with
       a back-pointer; the corroboration record. [B-11]
BASIS D14 WORKSPACE MUTEX, D14.1, amended D18, D19, D32. Excluded: lock
       plus timeout without fencing; a stalled lead's late push
       overwrites a successor's work (soundness). Amended: a client-side
       check is no longer a check anywhere in TPM. [B-12]
BASIS D15 STRIKE CRITERIA: SITE AND STRUCTURE, D15.1 plus A1-A3, S6 by
       S6.1. Reopened on the constraint that the strike rule be generic
       across TPM, mathematically precise, grounded in Popper, and
       researched against the literature. Excluded: an overridable
       default TMS template (a container could relax (i); soundness);
       closing on the round-1 proposal alone (foreclosed by the generic
       constraint). [B-13]
BASIS D16 STRIKE RULE CONTENT, D16.1, after a research round (8.3 group
       H). Basis by source: SR1-SR2 Popper sect. 3, 6; SR3 GUM; SR4
       parameter counting (Popper sect. 38, 43; Akaike; Schwarz; Forster
       and Sober), depth admitted only under a declared convention (Cook
       and Reckhow), Kolmogorov complexity excluded as uncomputable (Li
       and Vitanyi); SR5 Duhem-Quine underdetermination resolved by
       distance; SR6 Popper sect. 22 reproducibility, Laplace-Hume
       proportionality through a container raising N_x; SR7 the
       declaration that mathematics and logic are the gold standard; SR8
       PDG and CODATA practice against the record of underestimated
       uncertainties (Henrion and Fischhoff; Youden; Feynman), Lyons as
       why k is declared per container. Structural result: distance and
       contradiction count are incommensurable, and every established
       parsimony measure is a count or a code length, never a weighted
       blend. The golden ratio as a candidate weight has no principled
       basis in the literature (REFUTED, S47) and survives only as a
       declarable convention. Excluded: derivation depth as the primary
       measure (soundness); automatic reversal on reaching N_x in the L
       regime (soundness); Kolmogorov or MDL distance now (uncomputable,
       or requires an undeclared formal language; MDL admissible later
       as a local yardstick under A1); a scalar weight of distance
       against count, golden ratio included. [B-14]
BASIS D17 NAMES FOR THE THREE ZONES AND THE FULL KERNEL, D17.1
       augmented. TPK for MTX; TMS for MEASURE SET; TFK for "immutable
       unit". Withdrawn: The Formalism Kernel; The Verification Tensor
       (collides with a physics term of art); Result Grading Unit
       (would imply ownership of the GRADE field); The Conceptual Kernel
       (would give "conceptual" a second meaning). [B-15]
BASIS D18 COLLABORATION PAGE FORM, D18.1. Basis: silence-expiry lands
       nothing wrong, and a heartbeat adds no safety, only a channel that
       can mislead (S17, S18). Two defects found and fixed: expiry made
       definitional; the acquisition window bounds a dead queue head.
       Excluded: petitioner heartbeat (no safety gain); WORKLOAD and ETA
       copied into the assignment row (two copies of ETA; completeness);
       expiry by marking only (soundness). [B-16]
BASIS D19 STALENESS RULE, D19.1, amended D23, D32. Basis: staleness
       attaches only while a lock is held; "always stale" would leave no
       realizable CURRENT state (completeness); release-after-push closes
       the case of unpushed work; the badge written last lets a reader
       detect a torn read (soundness); the three states map onto the
       three citation levels exactly. Excluded: a minimal badge of holder
       and last push (a mid-push read accepted as current; soundness);
       HOLDER SILENT folded into STALE (completeness). [B-17]
BASIS D20 CHECK-CLASS MATRIX, D20.1, amended D32. A third class for
       platform-enforced checks was not selected: the enforcement column
       carries the distinction. [B-18]
BASIS D21 PERMISSIONS TABLE, D21.1, amended D26, D32. Resolves the
       two-owner defect of the round-1 chain page: the chain is two
       pages. Excluded: one chain page, agent-appendable, carrying
       declarations (unsound without a verified edit filter); a
       human-only chain page fed by hand-copied build lines; agents
       drafting help pages directly to the live sets. [B-19]
BASIS D22 AI CERTIFICATION, D22.1, after a research round (8.3 group
       I). At the time 27 of 32 checks rested on the agent; with TPX,
       seven still do, plus the untrusted-input rules. No standard
       certifies a deployed agent's behavior; every evaluator disclaims
       guarantees; tests saturate and leak; behavior drifts behind a
       model name; injection is unsolved at the model level. Excluded:
       certification as a guarantee or as the sole gate (soundness);
       public benchmarks as the suite; certification bound to a model
       alias; no certification (completeness). [B-20]
BASIS D23 INSTRUCTION SET DIGEST, D23.1; amended by D37.1. Warrant:
       version currency and honest drift only; the digest is
       self-reported and the artifacts are public. Excluded: reading a
       match as evidence of self-constraint (soundness); a digest
       computed by hand; a challenge-response proof of possession;
       PMP-TPM and its named skills only, presented at petition only
       (completeness). [B-21]
BASIS D24 VALIDATION OF PMP-TPM 0.1.0. OPERATIONAL; outcome carried
       VERIFY; an implementation matter, not a TPS item. [B-22]
BASIS D25 NEW-CONTAINER PAGE, D25.1. Full CAC gate, declaration before
       initialization. Excluded: initialization before declaration in a
       PENDING state (a container never declared holds a UUID and prefix
       with no expiry or retirement path; completeness); a TMS-only gate
       with TPK and TrM checked later (soundness); a hand-assigned UUID
       or prefix. [B-23]
BASIS D26 TFK AUTHORING SURFACE BEFORE INSTANTIATION, D26.1. Excluded:
       reuse of the staging subpage class (keyed by container, and none
       exists yet; completeness); H-DECL hand-transcribing
       agent-proposed TFK content (worst R2). [B-23]
BASIS D27 TBD 1 CLOSURE, D27.1. The register's creation after the UUID
       leaves the collision nothing to stand on. Excluded: keeping TBD 1
       open (one further round; R3). [B-23]
BASIS D28 UUID GENERATION RESOURCE, D28.1. GlobalIdGenerator v4 under
       RFC 9562. Excluded: version 1 (embeds node identity; privacy);
       version 7 (index locality unused by page titles; pins the
       runtime); the host runtime's generator (tied on all three, not
       selected because the back end is in-wiki); the deprecated
       UIDGenerator. [B-23]
BASIS D29 FORM MECHANISM FOR THE NEW-CONTAINER PAGE, D29.1; extended by
       D32. Refusing a failed component before save is possible only
       inside MediaWiki. Excluded: Page Forms with an external back end
       invoking the CAC after save (refusal post-save; a second
       field-check vocabulary; completeness; a third-party dependency);
       no form layer (worst R2); plain wikitext TFK pages parsed
       heuristically (soundness). [B-23] [B-24]
BASIS D30, D31 WITHDRAWN. The upload decoder and its name; the numbers
       are reserved and not reused; replaced by the local-AI path
       (5.5.7). [B-25]
BASIS D32 PLACEMENT OF DETERMINISTIC RESPONSIBILITY, D32.1. Limits
       recorded: PHP work lives inside a web request; no daemons and no
       cross-page transactions; deferred updates hide failure and are
       barred from critical writes; external binaries run only under
       the shell framework's limits or Shellbox. Excluded: the lock in a
       TPX table (lock transitions leave page history unless separately
       logged; completeness); the earlier split with fencing, manifest,
       badge and canaries in external scripts (a client-side fencing
       check lets the wiki accept a stale push from a non-compliant
       client; soundness under CR2). [B-26]
BASIS D33 NAMES OF THE THREE PARTS, D33.1. Excluded: the extension as a
       sixth layer (the five-layer count recurs; completeness). [B-26]
BASIS 8.2.1  The collaboration mechanics were first stated as user
       requirements (a mutex; the holder as LEAD; coworker takeover on
       release; return of the mutex when idle before maintenance; a
       24-hour bound); D14, D18 and D19 fixed the mechanics, and D32
       withdrew the daily push. [B-34]
BASIS 8.2.2  The strike criteria were first stated as requirements:
       grounded in Popper; an immutable object cannot be contradicted by
       the container's own research objects; between inconsistent
       objects the advantage goes to the one closest to the immutables,
       by steps of computation or by added assumptions; an extraordinary
       case is needed for a more distant object to prevail; the
       weighting to be objective and researched; mathematical precision
       and logical consistency the gold standard, error bars for
       measured results. D15 and D16 fixed the rule. [B-37]