8.2 Decision bases and excluded alternatives (TPS 0.1.0)
Instruction artifact, machine-optimized text: TPS 0.1.0, section 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, 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 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]
BASIS D39.1 TrM SKELETON. The TMS had a skeleton, per-container
parameters and compliance tests; the TrM had none of the three.
STRUCTURE-PRESERVING has no meaning until the structure is
named; an isomorphism needs two declared objects and only the
DOF inventory was declared; INJECTIVE needs sameness on the
target side. Excluded: a contract held outside D(TrM), since
meaning could then change without moving D(TFK); a per-entry
EXCLUSIONS field, which contradicts D2.1. Not selected: leaving
the question to the guide, which leaves the H-DECL gates judging
against an undeclared criterion; a per-entry contract, which
gives structure spanning entries no site.
BASIS D40.1 "ONE QUANTITY". SR8 scaled "standing M records of one
quantity" and SR3 subtracted one value from another, with
nothing saying when two records are of one quantity or share a
unit and convention. That identity can come only from the TrM.
Not selected: routing it to the register piece with no rule now;
sameness judged by inspection at each test, which supplies no
criterion.
BASIS D41.2 STRIKE RULE HARDENING. SR4 counted distinct ASSUMPTIONS
with no identity rule: bundling lowered a(r), and one assumption
in two wordings made two contradictions look independent and
corrupted the SR5 locus. SR6 bounds the damage because reaching
N_x opens an audit and never strikes. Not selected: the full
fix, a closure-based s(r) with an SR9 test for rank invariance
under split, merge, cite-versus-inline and relabel; the corpus
alone. Excluded: identical ranking under every semantically
equivalent representation, not attainable by a computable count,
on the basis that excluded Kolmogorov and MDL distance at D16.
BASIS D42.1 with D44.1 CORROBORATION INDEPENDENCE. "Independent second
agent" meant only a second account, and the only corroboration
path was accidental: a refused result for the same work block,
with the applicant judging its own match. Not selected: the
attested vector as display only; an eight-dimension vector
filled by the agent, five of whose fields nothing can verify.
BASIS D43.1 with D47.1 TPC AND BUILD ORDER. A second implementation in
another language catches what PHP-common behavior hides, such as
serialization defaults and float-to-string conversion, and
serialization drift is the named failure of hash chains; PRB
owed agent-side digests anyway. "Calculator" because "core" sits
on kernel in meaning and MediaWiki core is standing usage, and
because a reference implementation conventionally wins a
disagreement while this one has no authority. Excluded: TPX
invoking Python on the host, which contradicts the placement
rule and depends on shell execution a shared host may not grant;
a distributed binary, which has no verifiable correspondence to
its source. Not selected: PHP alone; a narrow non-PHP
cross-check; an unpublished oracle; the strict sequence that
freezes TPS and builds TPX last, whose recovery steps have no
substrate before TPX exists.
BASIS D46.1 This revision lands in the same page tree because the
genesis line is not yet landed; once it is, the next change is a
new version (see 0.1.3, 5.11.2).