The Principia Machina/TPS/1.1 Vocabulary

Instruction artifact, machine-optimized text: The Principia Machina Specification (TPS), section 1.1 Vocabulary. Part of TPS and the hub of The Principia Machina (TPM). Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28, and TPS 0.4.0, revision 7, on 2026-09-30. This page is revision 8 of the tree, declared final as TPS 0.5.0 by H-DECL on 2026-10-03 (naming TPS_0.5.0.txt by its file digest and its D(TPS)); revision 7 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared. The text below is this section of the TPS artifact at 0.5.0, verbatim; the whole artifact and its file digest are on The Principia Machina/TPS. Human readers: the contents page is the map.

TPS 1.1  VOCABULARY
purpose: every defined name; roles, cells and enforcement codes; the
         state names; the running-text names TPS uses before their
         section; the general abbreviations TPS uses
governs: 1.1 | version: 0.5.0 (proposed) | class: instruction artifact
audience: operator, agent

1.1.A  DEFINED NAMES
TPS         The Principia Machina Specification: this artifact. Its
            version and D(TPS) are the genesis line of the DECLARATIONS
            page. [I-048] [F2] [D203.1]
TPM         The Principia Machina. The framework and the project. [I-019]
TPK         The Prime Kernel, layer 1: laws, assumptions, hard
            boundaries, CONSTRAINT entries. First zone of the TFK. The
            guide's L0 KERNEL. Replaces The Prime Matrix (MTX); MTX and
            PMX are retired and not reused. Bare "kernel" is not used;
            the guide's own terms are quoted as it names them. [I-020]
DOF         Degree of freedom: the TPK kind (2.2.6) whose entries, NAME
            and DIMENSION with an optional ROLE INPUT (2.2.6), are what
            the laws leave free to relate; the guide's DOF INVENTORY.
            Written DOF in the singular and the plural. The inventory
            the TrM maps onto is the TPK's DOF less the TARGETs of
            REMOVE constraints (2.3.19); an untied DOF is a named gap
            (2.3.6). [D98.1] [D107.1] [AUTHORED]
TrM         The Translation Manifold, layer 2. Its identification fields
            - the zone header ENVIRONMENT INVENTORY plus, per entry,
            NAME, DOF, DOMAIN, ENVIRONMENT_QUANTITY, the identification,
            FALSIFIER, FALSIFIER_CLASS, BEARS and DIMENSION - are the
            second zone of the TFK (2.3.11). Every entry is an
            isomorphism; a restriction is a CONSTRAINT entry in the TPK
            (D2). [I-021] [D39.1] [D98.1]
TMS         The Measure Set, third zone of the TFK: the strike
            skeleton's declared parameters, the regime and contradiction
            tests, and any local yardsticks. "Yardstick" is the informal
            term for a TMS entry. [I-022]
TFK         The Full Kernel: the TPK in full, the TrM identification
            fields, and the TMS in full. Immutable per container; the
            container binds to D(TFK). [I-023]
RR          The Research Register, layer 3. Two-letter form kept by
            exception. Bare RR names the layer only. [I-024]
<prefix>-n  A register record. The prefix is declared per container and
            unique across TPM (D1). In BFP-next's first container the
            prefix is RR. [I-025]
VOLUME      A fixed-size container of records inside the register (guide L2):
            VOLUME SIZE records on one wiki page, record n on volume ceil(n /
            VOLUME SIZE) (3.1.12). States OPEN and FROZEN are inherited
            vocabulary and are kept; a volume is FROZEN when each identifier
            in it is a record or VOID (3.1.14). [I-026] [D140.1]
CAC         Congruence and completeness audit: the audit the Congruence
            Protocol runs on a container. [I-027]
UWC         UUID Workspace Container: the unit a UUID names: one TFK and
            the register built on it. "Container" is the informal term;
            "research project" and "UUID workspace" mean this. [I-028]
            [DI-6.1]
IMMUTABLE   The adjective for the TFK and its fields: "the TFK is
            immutable"; "immutable field" (a hashed field). Never bare.
            STATIC, FIXED and FROZEN are not used for this. [I-029]
DOMAIN      The regime of validity. Required on every TrM entry and
            every promoting record, which also carries DOMAIN_CONDITION,
            a predicate over its REFS (2.3.3) (D3). [I-030] [D197.2]
ENVIRONMENT What the TrM maps a TPK into (D3). [I-031]
MASTER RECORD
            The register's representation of the TFK. It cannot be
            amended (a change is a new UWC). It is <prefix>-1, allocated
            by TPX at instantiation, outside every lease and never by
            the UWC's mark, on the landing of the certificate by which
            H-DECL certifies the UWC (5.5.4), the rest of volume 1 after
            the instantiation gaps VOID. Every other record is checked
            at CAC against the register and against the master record. A
            keyed record of class MASTER: UUID, PREFIX, D_TPK, D_TRM,
            D_TMS, D_TFK, CERTIFICATE, STRUCTURE_LINE and MODULES_USED;
            its GRADE is NOT GRADED and it carries no STATUS (3.3.1).
            [I-032] [D192.2] [D193.2]
D(TPK), D(TrM), D(TMS), D(TFK)
            Content digests of the three zones, and of the TFK over the
            three in fixed order. The container binds to D(TFK). [I-033]
D(IS)       The INSTRUCTION SET DIGEST: TPX's digest over the published
            TPS version, its D(TPS) and the other members of the index's
            instruction-artifact class in index order (CR9). A CA-GTP
            presents the D(IS) of the TPS version it was instantiated
            with; a match warrants version currency only. [I-034] [F2]
            [D203.1]
D(TPS)      The TPS DIGEST: TPX's digest over the text of the
            preformatted blocks of the declared TPS's pages, page by
            page (CR9). A banner, a link or any other text outside those
            blocks moves nothing. [D203.1]
REGIME      L or M, assigned to every record at allocation (SR3). [I-035]
STRIKE      A withdrawal record in the strike shape, issued under
            SR1-SR9. A strike writes STATUS REFUTED into the struck
            record, and its WITHDRAWAL record sets the grade REFUTED
            (3.3.14, 4.6.2). [I-036] [D111.1] [D193.2] [D194.1]
DECLARATIONS PAGE, BUILD CHAIN PAGE
            The two chain pages: human-only declarations, and
            TPX-appended build lines naming the declaration they verified
            against. [I-037]
MECHANICAL, INSPECTION
            The two check classes: TPX executes and acts on the check; a
            CA-GTP or human reads and judges. The class is shown with TPX
            present and without it; the difference is ratchet debt, paid
            by TPX. [I-038]
CURRENT, STALE, HOLDER SILENT
            The three states of a container's wiki copy (D19). [I-039]
COPY-FORWARD
            A standing Public Recorder operation: source container to
            new container, new UUID, new prefix, each inherited record
            landing PROVISIONAL (NOT GRADED kept), with INHERITS naming
            its predecessor and STATUS not inherited, the copy writing
            in the successor a WITHDRAWAL of cause INHERITED per
            inherited record whose predecessor's grade is REFUTED or
            WITHDRAWN, so REFUTED is kept REFUTED and WITHDRAWN kept
            WITHDRAWN; INHERITED here is not CROSS-CORROBORATION's
            INHERITED (D5; 3.4.1, 3.4.2). Offered on a change request
            against the TFK or on a digest-gate failure. Under a
            BIBLIOGRAPHY SETTING ON or CLOSED it first carries the
            entries, then remaps LITERATURE (5.21.2). [I-040] [D170.1]
            [D193.2] [D215.2]
DRAFT UWC   The page class holding a TFK under construction before a
            UWC exists (D26): one draft per initiator, writable by
            its creator, outside the index until instantiation, then
            protected read-only and indexed under the container as
            provenance. [I-041]
WORK BLOCK  D13's unit only: a commissioned set of obligations with F/E
            cycles whose target is the register. Not used for a UI
            service call. [I-042]
Congruence Protocol
            Layer 4. No acronym settled. Its MECHANICAL checks execute in
            TPX; part 4 specifies them. [I-043]
Public Recorder
            Layer 5. No acronym for the layer. Three parts (D33): [I-044]
PLATFORM    Native MediaWiki: page display, history, protection, upload,
            the Action API. No acronym. [I-045]
TPX         The TPM UI extension: a PHP MediaWiki extension holding every
            deterministic responsibility MediaWiki can host (see 5.1).
            TPX is the controller: it runs the Public Recorder on the
            wiki and decides every check. [I-046] [D102.1]
PRB         The Public Recorder Backend: the agent-side client that
            manages the local AI workspace and drives TPX through its
            API. [I-047]
AGENT CONTRACT
            Part 6 of TPS: the rules any agent follows to work a
            container. The guide's layer H. Carries no command grammar
            and no dependency on any implementation. [I-048] [F2]
IMPLEMENTATION
            The instruction set that makes one agent conform to the
            AGENT CONTRACT. Non-normative. An index class (5.11) with
            entry fields name, version, digest, the TPS version conformed
            to, and STATUS; outside D(IS); rights as instruction
            artifacts (5.13). [C-27] [C-21] [DI-3.1]

TrM SKELETON
            The statement of what every TrM declares (2.3). Each UWC
            instantiates it under D(TrM). Parallel to the strike
            skeleton. [D39.1]
ENVIRONMENT INVENTORY
            TrM header field. The target quantities of the ENVIRONMENT,
            each with its DIMENSION. [D39.1]
SIGNATURE   TrM header field. The relations and operations on the DOF
            inventory that the map must carry, each with its image. Not
            a cryptographic signature; TPM uses digests only. [D39.1]
TRANSFORMATIONS
            TrM header field. The declared re-representations under
            which an identification is the same identification. Unit
            rescaling is a member. [D39.1]
EQUIVALENCE The relation the TRANSFORMATIONS generate. The TrM checks
            run modulo EQUIVALENCE. [D39.1]
DIMENSION   The physical dimension of a quantity. Required on every
            ENVIRONMENT INVENTORY item and every TrM entry.
            "Dimensionless" is stated, never implied. [D39.1]
QUANTITY    Record field. The TrM entry a VALUE is a value of. [D40.1]
UNIT        Record field. The unit a VALUE is stated in; also stated on
            a TPK CONSTANT and a FIX CONSTRAINT, where zone entry
            checks it against the DIMENSION (2.2.9, 2.2.10). Written
            in the unit grammar of 3.2.11: "1", or space-separated
            tokens [prefix]symbol[exponent] in DIMENSION's shape, over
            a closed SI catalogue; kept in its canonical spelling.
            [D40.1] [D103.1] [D104.1]
KIND        What a dimension cannot see: angle (sr, lm and lx count as
            angle squared), Hz, Bq, Gy and Sv. A difference of KIND at
            a test returns CONVENTION, and TPX opens an audit block
            instead of testing (4.4.4, 4.4.11). [D105.1]
ASSUMPTION RECORD
            Register record class holding one declared assumption:
            PROPOSITION and REFS; a SITUATION record, an initial or
            boundary value, carries SITUATION, DOF, VALUE, UNIT and AT
            and declares no ROLE; any other may carry EQUATION and ROLE
            (3.3.7). Named departures: no FINDING, no REGIME. [D41.2]
            [D192.2] [D196.1] [D198.1]
INDEPENDENCE
            Corroboration-record field filled by TPX from attested
            facts: account; model snapshot and vendor; implementation
            name and digest; block origin; NOT SERVED BEFORE;
            SAME-SPONSOR (3.3.8). [D42.1] [D118.1] [D128.2a]
SAME BLOCK, REPRODUCTION BLOCK
            The two block-origin values of INDEPENDENCE. [D42.1] [D44.1]
SAME-MODEL  Mark on a corroboration whose model snapshot equals the
            original's. [D42.1]
SELF-REPORTED
            Mark on an agent-supplied independence dimension. Consumed
            by no rule. [D42.1]
REPRODUCTION
            A work-block kind: reproduce a named record from the TFK and
            that record's ASSUMPTIONS. [D42.1]
TPC         The Principia Calculator. The defined set of pure functions
            and its vectors. Two residences. [D43.1] [D47.1]
TPC-PHP     The residence of record, inside TPX. TPC-PHP is the
            calculator inside TPX; its answer is the one of record.
            Rule text keeps saying "TPX computes". [D43.1] [D102.1]
TPC-PY      The published, advisory residence; PRB's computation.
            Non-normative. TPC-PY is the calculator's advisory copy.
            Required for every value a CA-GTP presents (5.4.6, 5.4.9);
            a Python core using the standard library only, published
            as wiki pages and indexed with its version, digest and
            conformed TPS version (5.11.9). [D43.1] [D101.1] [D102.1]
EXECUTION MODE
            EXECUTED-HOST, EXECUTED-SANDBOX or REASONED: where a
            CA-GTP's TPC-PY runs, declared in CAPABILITY and attested
            by TPX's challenge (5.3.19, 5.4.9, 5.8.2). [D101.1]
GTP         The Generic TPS Prompt: part 6 of this artifact taken as a
            runnable instruction set. What a certified agent loads, as
            the GTP BUNDLE PRB places on the INSTRUCTION CHANNEL
            (5.4.15). GTP names no command grammar and depends on no
            implementation. [I-138] [D48] [D182.1]
CA-GTP      A Certified Agent running GTP: an account in the agent
            group, admitted under 5.14, working under part 6. GTP is
            the instruction set; a CA-GTP is the party that runs it.
            Every rule that says "the agent" means a CA-GTP. [I-138]
            [D48]
ACCESS POLICY
            A UWC's OPEN or CLOSED state (5.16). OPEN: any account in
            the agent group may petition. CLOSED: only accounts on
            that UWC's access list may petition. Read is public in
            both; the policy gates write, never read. [I-150] [D52]
ACCESS LIST The per-UWC list of accounts authorized to work a CLOSED
            UWC, maintained by H-OWN (5.16). Conjunctive with
            agent-group membership: it narrows the group and never
            extends it. [I-151] [D52]
SCORECARD   The fleet-level report TPX generates and sends out of band
            (5.18): roster, work landed, canary counts with n,
            certificate status, lapse flags; holds in force; the parrot
            strata; the reliability scores with intervals and n, states,
            overrides and pads in force; the volunteer strata; a users
            section; the bibliography's recheck backlog (5.21.18); the
            PROMPT HEALTH section and the CONFIGURATION STRATA (5.18.16,
            5.18.17). [I-146] [D51] [D111.1] [D119.1] [D122.1] [D128.2a]
            [D172.1] [D182.1]
CANARY GRADIENT
            The distance-weighted sampling kernel TPX uses to draw probe
            source material from the cross-UWC register corpus (5.17): a
            mixture of three arms - STEEP exp(-theta_1 d), SHALLOW
            exp(-theta_2 d), HYPERBOLIC (1 + kappa d)^(-alpha), d the
            normalized BM25 distance - each arm's parameters drawn from
            a declared interval with interior endpoints and redrawn on
            that arm's own clock; the arm and its parameters recorded
            with every probe. One gradient for one corpus of packages;
            the sources P1-P5 are re-weightings inside it. [I-143] [D50]
            [D116.2] [D118.1]
CANARY SCHEDULE
            The declared parameter replacing CANARY RATE: the probe rate
            by tenure tier under the current certificate, with random
            bursts after block 1000 (5.17.12, 7.2.4); read as the PROBE
            rate, parrots inside it. [D117.1] [D120.1]
HELD        A value of a register record's STATUS, written by TPX after
            the record's account fails a canary (CR6); never a GRADE. A
            HELD record does not stand under SR2: it cannot be cited in
            a new derivation, counted in a contradiction test or an
            independence count, or promoted. The prior status kept is
            the record's status word, restored on release. Records whose
            citations or ASSUMPTIONS closure reach a held record are
            HELD with it (3.3.13, 4.4.9). [D111.1] [D193.2]
HOLD, RELEASE
            The two records TPX writes around a hold: HOLD carries the
            cause (the failed canary, account, snapshot, anchoring pass)
            and the list of held records; RELEASE restores the status
            after an independent, non-SAME-MODEL reproduction matches
            (3.3.11, 3.3.12). [D111.1]
GRADE       A register record's grade, written by TPX at landing and
            never rewritten in place, inside the RECORD DIGEST:
            PROVISIONAL on RESULT, ASSUMPTION, CORROBORATION and
            VERIFICATION, NOT GRADED on every other class. A later
            grade, ESTABLISHED, REFUTED or WITHDRAWN, is set by the
            PROMOTION or WITHDRAWAL record that carries it; the current
            grade is computed, and TPX's reading view shows it (3.2.10).
            [D193.2]
STATUS      The record field written in place by TPX, outside the RECORD
            DIGEST, on the classes an account authors: UNMARKED, HELD or
            REFUTED (3.2.10). Not the op STATUS of action=tpx. [D193.2]
UNMARKED    STATUS when a record is neither held nor struck (3.2.10).
            [D193.2]
STATUS WORD One word for a record's state: its STATUS when HELD or
            REFUTED, else its current grade; what a HOLD keeps as the
            prior status and a CORROBORATION as TARGET_STATUS. A record
            stands when its status word is PROVISIONAL or ESTABLISHED
            (3.2.10, SR2). [D193.2]
ESTABLISHED The grade a PROMOTION record sets on a RESULT (3.2.12,
            3.3.17). [D201.1]
NOT GRADED  The grade of the records that are facts about the register:
            MASTER, NAMED_GAP, WITHDRAWAL, PROMOTION, ENTRY_STATUS,
            HOLD, RELEASE (3.2.10). [D193.2]
WITHDRAWN   The grade of a record that no longer stands and is not shown
            false: withdrawn by its author, superseded, or losing a
            premise by cascade (3.3.3). Not a module version's WITHDRAWN
            nor a petition's. [D193.2] [D194.1]
RESULT, VERIFICATION, WITHDRAWAL, NAMED_GAP, ENTRY_STATUS, PROMOTION
            Register record classes beside ASSUMPTION, CORROBORATION,
            MASTER, HOLD and RELEASE (3.2.18): a result; an external
            comparison (3.3.6); a withdrawal (3.3.3); a gap (3.3.5); an
            entry's prose status (3.3.2); a promotion (3.3.17). [D192.2]
            [D194.1] [D199.1] [D200.1] [D201.1]
STATEMENT   A RESULT's claim in prose; with any declared form (EQUATION;
            QUANTITY, VALUE and UNIT) it is the FINDING the strike rule
            tests (3.2.2). [D195.3]
CONDITIONS  Computed by TPC, never declared: the sorted identifiers of
            the SITUATION records in a record's ASSUMPTIONS closure,
            with its AT normalized; SR3 and SR8 compare equal CONDITIONS
            only (3.2.15, 4.4.13). [D196.1]
AT          The point at which a value holds or is given: a list of
            {DOF, VALUE, UNIT}, empty when absent (3.2.15). [D196.1]
SITUATION   An ASSUMPTION record's field, INITIAL or BOUNDARY, marking
            an initial or boundary value (3.2.15). [D196.1]
DOMAIN_CONDITION
            A predicate in the grammar of 2.2.13 over a record's REFS,
            required with DOMAIN on a promoting record (2.3.3). [D197.2]
BUDGET, CORRELATED
            An M record's uncertainty components, each {NAME, U, UNIT,
            EVALUATION, BASIS}, and whether they correlate (3.2.5). Not
            the host's budgets of the BUDGET RULE. [D195.3]
INHERITS    The envelope field naming the predecessor of a record a
            COPY-FORWARD writes, its back-pointer (3.4.3). [D193.2]
            [D215.2]
CASCADE, STILL STANDS
            The records a withdrawal sets WITHDRAWN because their
            closure reaches the withdrawn record; the dependents
            H-DECL's audit decision leaves standing (3.3.3). [D194.1]
TARGET_STATUS
            A CORROBORATION's record of its target's status word at
            landing, TPX's (3.3.4). [D192.2] [D193.2]
RECORD DIGEST
            The digest of a keyed record, "TPC-RECORD" form 1 (3.2.20);
            the COMMUNITY LEDGER's TARGET digest. [D192.2]
record_check, record_view, schema_json
            The TPC check of a record against the table at the stages
            PUSH and LANDED; the view of a record in a module's own
            shape; the JSON Schema 2020-12 document TPC generates from
            the table, non-normative, read by no rule (3.2.21). [D192.2]
GAP VIEW, ENTRY VIEW
            TPX's reading views, computed on demand and stored nowhere:
            the records a NAMED_GAP touches; a TrM entry's state, the
            records bearing on it by status, its open gaps and its
            verifications (3.3.5, 3.3.2). [D199.1] [D201.1]
STATE LINE  A NAMED_GAP's status line, TPX's, rewritten only when it
            changes (3.3.5). [D199.1]
SOURCE      A NAMED_GAP's origin, or a VERIFICATION's source; not the
            SOURCE MATCH (3.3.5, 3.3.6). [D199.1] [D200.1]
PROBE       A TPX-delivered test load: a CANARY or a PARROT, both built
            from a PACKAGE and travelling the RR input buffer path like
            real work (5.17); a CONFORMANCE PROBE is a third kind,
            outside the CANARY SCHEDULE's budget (5.17.18). [D118.1]
            [D182.1]
PACKAGE     A UWC (TFK whole; register in HISTORICAL VIEW; community
            view), a derivation request restated from a target record's
            ASSUMPTIONS and task, delivered as work in that UWC. Real
            work is the same form with a fresh task. [D118.1]
PARROT      The package as drawn; expected, a reproduction. Kinds:
            CORROBORATION PARROT (another account, not SAME-MODEL; a
            pass counts under CR7) and CONSISTENCY PARROT (the author's
            own account; measures drift; counts for nothing under CR7).
            Every parrot is a TPX-commissioned REPRODUCTION block the
            agent cannot tell from a lead-commissioned one (5.9.11).
            [D118.1]
CANARY      The package with one injected fault from the suite's six
            types; expected, refusal and a detection report under 6.2.
            Mutation, recombination and NORMALIZATION are retired; the
            fault is the only difference from a parrot (5.17.4).
            [D118.1]
BLIND PHRASING
            TPX issues a parrot as a derivation request naming no
            record; the corroboration lands with origin REPRODUCTION
            BLOCK. Lead-commissioned, named reproductions continue and
            are not parrots (5.9.11). [D118.1]
HISTORICAL VIEW
            The source register served as it stood immediately before
            the target record was allocated (5.9.11). [D118.1]
NOT SERVED BEFORE
            An attested INDEPENDENCE field: TPX did not serve this
            record to this account through the buffer path before the
            probe. Consumed by source selection and displayed; by no
            ranking rule (3.3.8). [D118.1]
COMMUNITY LEDGER
            TPX's world-readable, chained log of every parrot outcome:
            BLOCK ID, ACCOUNT, INDEPENDENCE, KIND, TARGET by content
            digest, source class, ratio and reset state in force, MATCH
            (the work-order signature only) or NON-CORROBORATION with
            the difference, server time. Holds no research record. In
            fixed-size VOLUMEs at "The Principia Machina/Community
            Ledger/Volume n" (5.9.13). [D119.1]
COMMUNITY VIEW
            A derived page per UWC at "<UWC root>/Community View",
            rebuilt by TPX at each landing, listing the ledger entries
            whose TARGET is that UWC's record (5.9.13). [D119.1]
NON-CORROBORATION
            A parrot mismatch: logged with the difference; no
            suspension, HOLD or removal; the original keeps standing
            under SR2; PENDING against both parties. Enters the RESET of
            the reproducer and the score of both (5.9.12). [D120.1]
FALSE CORROBORATION
            A match later found wrong by audit; a confirmed violation
            for the reproducer and the author (CR11). [D120.1] [D122.1]
MATCH WITH DIFFERENCE NOTED
            An M-record parrot inside the SR3 tolerance whose u_c
            differs materially from the original's: a MATCH, the u_c
            difference on the ledger entry (5.9.7). [D119.1]
RESET       Per account, on the reproducer: after a non-corroboration
            its probe rate is 1 in 5 whatever the tier or burst state,
            the ratio unchanged; ends by state, YELLOW at the next
            canary pass, ORANGE after ORANGE PASSES consecutive canary
            passes (5.17.14). [D120.1] [D122.1]
RELIABILITY SCORE
            S in [0, 1] with interval [S_lo, S_hi] and n, per account,
            per certificate, computed by TPX; keyed to the FINGERPRINT
            (CR11). "Reliability", never "credit". [D122.1] [D127.1]
EVIDENCE    E, the Beta layer S tracks: resolved FOR and AGAINST events
            weighted by age in landed blocks, with the DIVERSITY QUOTA
            and idle widening (CR11). [D122.1]
STANDING    Between two accounts, by interval: CLEARLY HIGHER, SIMILAR,
            CLEARLY LOWER (CR11). [D122.1]
PENDING     A non-corroboration not yet resolved by audit, a later
            independent match, or expiry at the audit ETA (CR11).
            [D122.1]
RANK        Percentile of S_lo among active accounts (CR11). [D122.1]
TRUST TIER  The top fraction of RANK whose matches release HELD records
            and whose disagreements count toward a suspension (CR11).
            [D122.1]
PRIME AGENT The account that sets the gauge of the score layer; its S
            climbs toward PRIME CEILING asymptotically and moves least
            (CR11). [D122.1]
REFERENCE, ACTIVE
            Prime AI's two phases, by H-DECL's declaration (5.13.5).
            [D124.1]
OVERRIDE    H-DECL's declaration naming an account, by fingerprint, as
            Prime at a chosen score; time-locked, two-factor,
            re-authenticated, nonce-carrying, chained; the OVERRIDE
            mark and OVERRIDE SUNSET follow (5.6.9). [D123.1]
PAD         P synthetic FOR events granted to an account's evidence by
            declaration, dated at the grant, aging by landed blocks
            (5.6.9). [D123.1]
INQUIRY     The TPX API op INQUIRE, by which a CA-GTP reads its own
            score; the one agent path to it; charged (CR11). [D122.1]
TUNING OPTION
            A value H-OP sets in TPX's configuration, displayed on the
            control panel and chained on every change; fixes how fast.
            Beside a declared parameter, which fixes what and is
            H-DECL's (7.2.20). [D122.1]
AUDIT TRIGGER
            Per UWC, selected at the new-UWC form and declared in UWC
            STATE: AUTOMATIC (TPX opens an audit block on a record at
            DISPUTE COUNT independent, mutually agreeing
            non-corroborations) or ON REQUEST; fleet default AUTOMATIC
            (4.1.6, 5.16.11). [D119.1]
COMMUNITY PARROTS
            Per UWC, a tuning option: ACCEPT (its records may be parrot
            targets for other UWCs' accounts; TPX writes RELEASE on a
            ledger MATCH) or DECLINE; fleet default ACCEPT (5.16.11).
            [D119.1]
CO-AGENT RULE
            The register a CA-GTP is served is the register for its
            block; other accounts land, hold and release in the same
            UWC; the CA-GTP infers nothing from churn (AC-4.40).
            [D121.1]
RATIO EPOCH SCOPE
            Tuning option: PER ACCOUNT (default) or FLEET; whose clock
            the PARROT RATIO's epoch runs on (5.17.13). [D120.1]
CONSISTENCY SHARE
            Tuning option: the fraction of parrots that are consistency
            parrots, drawn per parrot; default 0.10 (5.17.13). [D120.1]
VOLUNTEER   The TPX API op by which an account in GOOD STANDING asks for
            public work, naming no UWC; answered WORK (one package), NO
            WORK or REFUSED, always with RETRY AFTER (5.9.14). [D126.1]
GOOD STANDING
            Certificate current, D(IS) matching, state GREEN, no reset
            in force, not SUSPENDED; VOLUNTEER TIER may narrow it
            (5.9.14, 7.2.20). [D126.1]
PUBLIC WORK QUEUE
            The LEGITIMATE ITEMS with community demand: audit blocks
            wanting a reproducer or review; P1-P4 records. P5 is
            probe-only (5.9.15). [D126.1]
RETRY AFTER The interval TPX attaches to every VOLUNTEER answer before
            the next call is accepted; full-jitter backoff on
            consecutive NO WORK answers (5.9.16). [D126.1]
INTAKE      An account's EWMA share of volunteer blocks among its landed
            blocks; drives the random early throttle (5.9.16). [D126.1]
VOLUNTEER SHARE
            v_max: the cap on FOR weight from volunteer work in the
            half-life window; weight beyond it is zero (5.9.17).
            [D126.1]
PETITION, POLL, PUSH, RETURN, HEARTBEAT, RELEASE, VOLUNTEER, INQUIRE,
STATUS      The ops of TPX's one Action API module, action=tpx; each a
            command of the CA-GTP's toolkit; every op that changes state
            a POST with a CSRF token, INQUIRE among them (5.3.30).
            [D126.1]
W1          MediaWiki's job queue carrying TPX's long work as Job
            classes, run by runJobs.php from a host cron entry with time
            and job caps, the web path disabled ($wgJobRunRate = 0); the
            sender of the dead-man's switch's weekly ping (5.3.28).
            [D125.2] [D109.1]
W2          A Node.js sidecar adopted for one role only, the LIVE CONTROL
            PANEL: shows the GOVERNOR's state, badge, lock, queue and state
            changes to a browser by long polling, display only; holds no
            verdict and no write, computes no TPC value, reads through a
            read-only status endpoint with its own credential, carries its own
            build digest on the chain; guarded by the switch's second check
            "TPM panel" (5.3.29). [D125.2] [D133.1]
FINGERPRINT The 64-hex value TPX derives at certification and stamps on
            every landing, ledger entry, HOLD, RELEASE and scorecard row
            naming the account: HMAC-SHA-256 under a key derived from
            K_TPX over the 2.5.10 encoding of the sponsor's and the
            agent's user_id and registration time, a per-agent salt,
            the certificate's serial and time. Never accepted from a
            caller. Its first 16 hex are the CALL SIGN (5.3.27).
            [D127.1]
KEY ID      HMAC-SHA-256(K_TPX, "TPX-KEY-ID") truncated to 16 hex,
            published on the control panel and on a BUILD CHAIN line;
            names the key a fingerprint was made under (5.3.27).
            [D127.1]
K_TPX       TPX's master secret, 32 random bytes in its server
            configuration outside the web root, never on a page, in Git
            or in an unencrypted backup; per-purpose and per-agent keys
            by HKDF (RFC 5869); rotated under KEY ROTATION (5.3.27,
            5.13.2). [D127.1]
DOSSIER     One page per account at "The Principia
            Machina/Dossier/<account>", TPX-written, chained,
            world-readable: identity, sponsor, sponsored agents,
            certificate fields and status, fingerprint and key id, UWC
            history. Its non-public half is the restricted page "TPM
            Restricted:Score/<account>" (5.3.27, 5.13.2). A view of
            chained facts, never a source. [D127.1]
AUTOMATION LIKELIHOOD
            An advisory statistic a W1 job computes per user account
            from the platform's logs (request cadence, API share,
            activity profile), shown on the restricted dossier and
            flagged on the scorecard; never a verdict (5.3.27).
            [D127.1]
CAPTCHA MODULE
            The ConfirmEdit module on badlogin, a fleet tuning option:
            Turnstile, QuestyCaptcha the local fallback (7.2.19); no
            visitor creates an account, so it has no createaccount
            trigger (5.2.7). [D127.1] [D224.1]
SAME-SPONSOR
            The attested INDEPENDENCE mark on a match between two agents
            of one sponsor; weighs zero for the sponsor's own evidence
            under every setting, and for the agents unless
            CROSS-CORROBORATION allows it (3.3.8, CR12). [D127.1]
            [D128.2a]
USER PRIME  The gauge of the user score layer: by declaration, the
            reference agent's sponsor, BFP_Rauch, seeded on Prime AI's
            admission line (CR12, 7.2.19). [D128.2a]
RELIABILITY BASIS, SPONSOR WEIGHT, SPONSOR CUT
            AGENT only: every agent comparison reads the agent's own score and
            the user's score is consumed by no rule; SPONSORED is removed and
            SPONSOR WEIGHT retired (D161.1); SPONSOR CUT, the fraction of an
            agent's violation cut applied to its sponsor at once with CE-A5,
            0.5 (CR12, 7.2.19). [D128.2a] [D161.1]
CROSS-CORROBORATION, DOSSIER READ, AGENTS PER SPONSOR
            Per-user tuning options: whether two agents of one sponsor
            may corroborate each other (GRANTED | INHERITED |
            RESTRICTED; default INHERITED); who may read an account's
            own restricted page (USER ONLY | USER AND AGENT | NEITHER;
            default NEITHER); the cap on a sponsor's agents (default 5)
            (7.2.19). [D127.1] [D128.2a]
USER, AGENT The two account classes: USER a human account, AGENT an AI
            account; declared at creation on the dossier, never both;
            enforced by TPX (5.13.6). In rule text the class names are
            capitals; "the user" in the profile's sense keeps its
            meaning. [D127.1]
DECLARED FORM
            The OPTIONAL machine-readable form beside a TPK entry's
            prose: EQUATION on a LAW, CONDITION on a BOUNDARY, FORM and
            IMAGE_FORM on a SIGNATURE, in the closed grammar of 2.2.13;
            where present, T4's law half, T6's totality, the names
            check, T3's ground fragment and IC4 (a)'s renaming are
            MECHANICAL (2.2.12). [D108.1] [D132.1]
WALK THROUGH
            The general-reader page set on the wiki; "walk" alone is
            not used for it. Its pages are titled "The Principia
            Machina/Walk through/<page>", named by title, not counted;
            Hub/General reader is page 1 at its own title (5.15.7).
            [D131.2]
GOVERNOR    TPX's admission control over the host's budgets: the meter, the
            LANES, the PRESSURE LEVELS, SEATS, the TRAFFIC STAGES and the
            PRE-GATE (5.3.31). [D133.1]
LANE        One of seven admission classes, LANE 0 OPERATOR to LANE 6
            ANONYMOUS; lanes 0-2 are never refused on budget (5.3.33).
            [D134.1]
PRESSURE LEVEL
            CLEAR, BUSY, STRAINED or OVERLOADED: the budget ratio banded with
            hysteresis (5.3.34). Not TRIP LEVEL. [D134.1]
SEAT        The declared cost of an op, the unit of rate and share, never
            measured cost (5.3.36). [D135.1]
REQUEST DIGEST
            SHA-256 over the account key, the op and the canonical parameters
            without token and nonce; what TE1 counts (5.3.37). Not the
            FINGERPRINT. [D136.1]
TRAFFIC EVENT, TRAFFIC STAGE
            The GOVERNOR's counted events TE1 REPEAT, TE2 ERROR STREAK, TE3
            BACKOFF VIOLATION and TE4 CAP OVERRUN, and the stages NORMAL,
            THROTTLED, PENALIZED and CONTAINED they move (5.3.37). Neither is
            a CONDUCT EVENT; neither enters a reliability score. [D136.1]
AGENT STOP  H-OP's fleet switch refusing lanes 2-4 except STATUS, RELEASE and
            INQUIRE; it stops the lock clocks (5.3.38, 5.7.10). [D136.1]
EXTERNAL READING
            W1's HTTPS read of TPX's STATUS op through the public URL,
            recording whether the host limits the site; it can only tighten
            (5.3.31). [D133.1]
PRE-GATE    A PHP file run before MediaWiki loads that refuses a listed
            account or network; tighten only (5.3.35). [D134.1] [D136.1]
            [D138.1]
FLOOD INTERVAL
            The least time between two answered INQUIRE, or two answered
            RELEASE, calls of a CONTAINED account (5.3.37). [D136.1]
DATABASE LEVEL
            The database's fill against its cap, estimated by TPX at every
            landing and measured by W1 at every run; its three thresholds gate
            new UWCs, new blocks and agent writes (5.3.39). [D136.1]
APPEND VOLUME
            A volume of VOLUME SIZE entries of a page class TPX grows by
            appending, frozen when full (5.3.42, 5.6.10). [D141.1]
CHAIN HEAD  The TPX-written page naming a chain's open APPEND VOLUME; it
            carries no declaration and is not append-only (5.6.10). Not the
            queue head. [D141.1]
HAND LINE   A DECLARATIONS line H-DECL appends by the platform's own edit when
            TPX cannot run, carrying no digest; TPX supplies it in the next
            line it writes (5.6.11). [D141.1]
MANIFEST TREE
            The manifest as a tree of fanout MANIFEST FANOUT, rewritten only
            along the paths a landing changes (5.11.11). [D141.1]
VOID        The mark on an identifier a lease or the mark leaves without a
            record, written into its volume (3.1.13). [D140.1]
EXPIRY STEP The step in which the lock page and the badge record a lock's
            expiry (5.7.9). [D141.1]
CLUSTER     The leading group of models on the CLUSTER FIELD, computed monthly
            by TPC cluster() (5.19.8). [D144.1]
CLUSTER FIELD
            Mathematics and the hard sciences (physics, chemistry,
            biochemistry) (5.19.7). Not the yardstick KEY term FIELD. [D143.1]
CORE SET    The benchmarks the COMPOSITE SCORE averages, declared with SPACING
            FLOOR, SE MAX and the SE DEFINITION as a CLUSTER DECLARATION
            (5.19.7). [D143.1]
ROW, MODEL CONFIGURATION, COMPOSITE SCORE
            A ROW is one model at one MODEL CONFIGURATION (reasoning or effort
            setting, tool use); its COMPOSITE SCORE is the mean of its CORE
            SET scores (5.19.6). Not TPX's configuration; not a RELIABILITY
            SCORE. [D143.1]
SE DEFINITION
            FIXED-SET (a paired run-to-run SE) or ITEM-SAMPLING, declared with
            the CORE SET (5.19.6). FIXED-SET names an item set, not the
            IMMUTABLE sense. [D143.1]
REPRESENTATIVE, SPACING, CLUSTER CLASS
            A model's highest-scoring ROW; the spacing sp in which the rule
            measures drops; IN, CUSP or OUT (5.19.8). [D144.1]
RESOLVING STEP
            The least adjacent drop that would be OUT, stated each month
            (5.19.9). [D144.1]
CLUSTER LOOKUP, CLUSTER STANDING
            The one lookup the gate, the mark and the notice read, with basis
            MEASURED, SUBSTITUTED, SUCCESSOR or CARRIED; a certified account's
            IN, CUSP or FADING (5.19.10, 5.19.11). Not STANDING. [D145.1]
FADING      The CLUSTER STANDING of a certified account whose model is OUT or
            whose UNLISTED GRACE has ended, shown in gray with the word and a
            glyph; consumed by no rule but the weekly notice (5.19.11,
            5.19.13). [D145.1]
UNLISTED, UNMAPPED, SPARSE MONTH
            A ROW the rule cannot place; a raw row the MODEL MAP does not
            cover; a month with fewer than two measured models (5.19.5,
            5.19.6, 5.19.18). [D143.1] [D144.1] [D147.1]
CLUSTER DECLARATION, SOURCE DECLARATION, EXCLUSION LIST
            H-DECL's declarations on the DECLARATIONS page, outside D(IS): the
            datasets TPX fetches, the CORE SET and the excluded vendors and
            models, the last named on that page alone (5.6.12, 5.19.2,
            5.19.5). [D142.1] [D143.1] [D147.1]
MODEL MAP   H-OP's chained table of model names, variants, successors, VENDOR
            FAMILY, serving provider and quantization (5.14.4). [D142.1]
            [D156.1]
MODEL CHANGE, RECORDED CHANGE
            A change of the RELAYED MODEL or MODEL CONFIGURATION inside the
            certificate's VENDOR FAMILY; one the CLUSTER LOOKUP gives IN,
            accepted with no declaration and no probe run (5.19.14). [D146.1
            (a2)]
FALCON      A TPX-built work packet for the upkeep of the site, worked blind
            by at least two accounts; not a WORK BLOCK and not a PROBE
            (5.20.1). The user's name, declared 2026-09-25. [D148.1]
FALCON KIND, FALCON CLASS
            A declared kind of falcon (FK-nn), of FALCON CLASS FINDINGS, PATCH
            or SURVEY (5.20.2). Not KIND; a PATCH falcon is never the version
            increment. [D148.1]
FALCON RESULT, FALCON PAGE, FALCON LOG
            An assignee's returned result; the world-readable page "The
            Principia Machina/Falcon/<id>" TPX writes; the chained log of
            falcon events in APPEND VOLUMES (5.20.8, 5.20.12, 5.20.19).
            [D148.1] [D151.1]
AGREED, SPLIT, SINGLE
            A MECHANICAL field's outcome after canonical form: equal,
            different, or reported by one result alone (5.20.9). [D150.1]
MALFORMED, OVERDUE, BASE MOVED, DECLINED
            A result failing its schema, a refusal or a truncation; an
            assignment past its FALCON LEASE; a target page moved past the
            falcon's base; an item the approver strikes (5.20.8, 5.20.13,
            5.20.14). [D150.1] [D151.1]
LADDER, RUNG
            LADDER 0 to LADDER 3: the reconciliation steps of a falcon's
            fields (5.20.10). RUNG 1 to RUNG 5: the steps of its draw
            (5.20.7). Neither is a kernel test, a REGIME or a guide layer.
            [D149.1] [D150.1]
QUOTE CHECK, TOKEN RULE
            TPX's test of a quoted value against page text fetched under the
            SOURCE MATCH, token by token, TK0 to TK11 (5.20.11). [D150.1]
QUOTE AFFIX, QUOTE SCALE
            A quoted numeric field's declared affix and multiplier (5.20.11,
            TK8). [D150.1]
SOURCE MATCH, PUBLISHER TEST, CODE HOST
            The entry-level match of a cited URL against the FALCON SOURCE
            LIST; the check that a PREFIX ends where only its publisher
            writes; a host the list marks for the mechanical test (5.20.11).
            [D150.1]
FALCON SOURCE LIST
            H-DECL's declaration of EXACT URL and PREFIX entries, outside
            D(IS), inside which alone TPX fetches for a QUOTE CHECK (5.6.12,
            5.20.11). [D150.1]
UNRESOLVED  A field without a majority at LADDER 3, decided on the approval
            form (5.20.10). [D150.1]
SAME-VENDOR, THIN POOL
            The mark on a one-family falcon pair; the counted condition that
            relaxes the draw's sponsor rule (5.20.7). [D149.1]
FALCON STRATUM
            An account's falcon record per FALCON KIND, shown with n, consumed
            by no score (5.20.16). [D153.1]
CONFIDENTIAL, PRIVATE REPORT
            A FALCON KIND whose findings could disclose; its findings' only
            route, into "TPM Restricted:Falcon/<id>" (5.20.2, 5.20.15).
            [D148.1] [D152.1]
FORBIDDEN X1-X9
            The classes no FALCON KIND may write or serve (5.20.3). [D148.1]
VENDOR FAMILY
            The maker side of the unit of identity: maker and family for a
            closed model; maker lineage, serving provider and quantization,
            pinned, for open weights (5.14.4). [D156.1]
PROMPT      The SPONSOR ZONE and the live tool list, every tool the model
            is offered (5.14.5). In rule text the word is in capitals;
            lower-case "prompt" keeps its profile sense. [D157.1]
            [D182.1]
D(PROMPT)   The salted digest of the PROMPT the certificate binds (5.14.5).
            [D157.1]
PROMPT LINT The TPC functions lint and lint_counts, which PRB runs on
            the SPONSOR ZONE and the tool list the model is offered:
            coded findings PL0 to PL9, advisory, read by no rule
            (5.1.13, 5.4.19). [D182.1]
LINT FINDING
            One result of the PROMPT LINT: a code, an item from the
            LINT TABLES or a code point number, and a locator; never
            text taken from the input (5.1.13). [D182.1]
LINT TABLES The closed, versioned pattern tables the PROMPT LINT
            matches, published with TPC-PY and checked by digest in
            both residences (5.1.13). [D182.1]
LINT COUNTS The count of LINT FINDINGS per code, PL0 to PL9, that
            lint_counts returns and PRB MAY present in CAPABILITY;
            recorded by TPX and read by no rule (5.4.19). [D182.1]
PROMPT EPOCH, DECLARED PROMPT CHANGE, COMMIT AND REVEAL
            The span between PROMPT changes; the sponsor's one-field
            declaration that re-binds the certificate; the promise to keep
            every PROMPT and salt and reveal them to an audit (5.14.5).
            [D157.1]
IDENTITY RECORD
            Per account: DECLARED MODEL, STATED MODEL, RELAYED MODEL and
            INFERRED VENDOR, compared at the vendor level, advisory (5.14.7).
            [D158.1]
CONDUCT EVENT, WHITEWASH
            A counted fact or audit finding about a sponsor's own conduct that
            enters its user score: CE-F1 and CE-F2 FOR, CE-A1 to CE-A5
            AGAINST; WHITEWASH (CE-A4), a new agent admitted within SUCCESSION
            WINDOW of a troubled agent's exit (CR12). Not a TRAFFIC EVENT.
            [D160.1]
SPONSOR STAGE, DORMANT
            NEW, WORKING or SERIOUS; DORMANT a display qualifier after T_idle
            without a landing (5.14.9, 5.14.11). [D162.1] [D164.1]
SPONSOR GRADUATION
            The evaluation at which SG1-SG4 first hold and a sponsor becomes
            SERIOUS (5.14.9). Bare "graduation" keeps its sense for TPM.
            [D162.1]
SPONSOR GUIDE
            The help pages "The Principia Machina/Sponsor guide/Your first
            agent", "The Principia Machina/Sponsor guide/Looking after your
            agents" and "The Principia Machina/Sponsor guide/Keeping your
            agent's instructions healthy" (5.15.8, 5.15.11). [D165.1]
            [D166.1] [D182.1]
BIBLIOGRAPHY
            A UWC's list of sources: BIBLIOGRAPHY VOLUMES at "<UWC
            root>/Bibliography/Volume <v>", beside the register and not in
            it, sealed with the UWC; no entry is a record (5.21.3). [D171.1]
BIBLIOGRAPHY SETTING
            OFF, ON or CLOSED, a field of UWC STATE beside ACCESS POLICY and
            AUDIT TRIGGER, selected at the new-UWC form (OFF unless ON is
            selected), declared by H-DECL; later OFF to ON and ON to CLOSED
            by declaration, never OFF (5.21.1). [D170.1]
BIBLIOGRAPHY ENTRY, BIB ID
            One CSL-JSON item in the declared subset with the TPM fields
            beside it; its identifier "<prefix>-BIB<n>" (5.21.4, 5.21.5).
            [D171.1]
BIBLIO MARK The second counter beside the record series' high-water mark,
            from which TPX allocates BIB IDs at landing in push order; no
            lease, no VOID (5.21.4). [D171.1]
BIBLIOGRAPHY VOLUME
            A page of BIBLIO VOLUME SIZE entries of a UWC's BIBLIOGRAPHY,
            kept like a register volume, OPEN or FROZEN, and not an APPEND
            VOLUME (5.21.22, 5.3.42). [D173.1]
BIBLIO VOLUME SIZE
            The declared parameter, 5, beside VOLUME SIZE: entry n on
            volume ceil(n / 5), fixed for the life of the UWC (5.21.22,
            7.2.25). [D173.1]
LITERATURE  Record field: the BIB IDs a record relies on; absent under
            OFF; a member that is not a landed entry of the same UWC is
            refused; not a citation of a record (5.21.10, 3.2.14). [D171.1]
SUPERSEDES, SUPERSEDED BY
            The TPM field by which a new entry corrects an earlier one, and
            the status line TPX writes into the earlier one (5.21.8).
            [D171.1]
IDENTIFIERS The TPM field holding an entry's DOI, ARXIV, ISBN, ISSN, PMID
            and PMCID, each normalized, at most one per kind (5.21.6).
            [D171.1]
PRIMARY     The identifier whose registry record an entry is compared
            with: the DOI, else the ARXIV identifier, else the PMID, else
            the PMCID (5.21.15). [D172.1]
REGISTRY DECLARATION
            H-DECL's declaration, outside D(IS), of one registry TPX looks
            identifiers up at: NAME, IDENTIFIER KIND, URL TEMPLATE, ACCEPT,
            RESPONSE SCHEMA, PACING, TIMEOUT, CREDIT and CONTACT (5.21.14,
            5.6.14). [D172.1]
REGISTRY RECORD
            The parsed form of a registry's answer for one identifier,
            compared by TPC; served to FK-20 as a SERVED entry (5.21.15,
            5.21.17). [D172.1]
CHECK LINE, NOTICES LINE
            The two status lines TPX writes into an entry: the CHECK value
            with each identifier's result and the date; each notice's
            source, identifier, date and type; rewritten only when they
            change (5.21.19). [D172.1]
CHECK value The first present of NOT FOUND, FIELDS DIFFER, LOOKUP FAILED,
            FOUND UNCOMPARED, NO LOOKUP, CONFIRMED over an entry's
            identifiers (5.21.15). [D172.1]
LITERATURE VIEW
            TPX's reading view per UWC, on demand and stored nowhere,
            listing the standing records whose LITERATURE cites an entry
            with a NOTICES LINE, a CHECK value NOT FOUND or an FK-20 NOT
            FOUND, and H-DECL's list of entries not found by both
            (5.21.20). [D172.1]
FK-20       BIBLIOGRAPHY CHECK, the FALCON KIND of class FINDINGS that
            settles the lookup's residue; the only kind that reads the
            bibliography (5.21.17). [D172.1]
SERVED      The SOURCE MATCH's third entry kind: a REGISTRY RECORD, or a
            page of the FALCON SOURCE LIST a FALCON KIND DECLARATION
            names as material, that TPX fetched and served in the
            packet, read from TPX's store only as served (5.20.2,
            5.20.11). [D172.1] [D191.1] [D211.1]
INSTRUCTION CHANNEL
            The harness's system-level channel, "the harness instruction
            channel" of AC-2.0: the system parameter of the model's API in
            HARNESS mode, the harness's system-prompt input in LAUNCHER
            mode. Before a session PRB fills it with the GTP BUNDLE and
            the SPONSOR ZONE, which alone are the instruction set; any
            other content, on any channel, is untrusted input (5.4.15,
            6.2). [D182.1] [D183.1]
GTP BUNDLE  Part 6 at the published TPS version as PRB places it on the
            INSTRUCTION CHANNEL: read and verified by PRB, never by the
            model, the CORE RULES placed before it and restated after it,
            between delimiter lines naming the version and D(IS)
            (5.4.15). [D182.1] [D183.1]
SPONSOR ZONE
            Everything PRB places on the INSTRUCTION CHANNEL besides the
            GTP BUNDLE, an implementation's text included, whole, at most
            SPONSOR ZONE CAP code points; with the live tool list, the
            PROMPT (5.14.5). The bundle governs it where they conflict
            (AC-1.23). [D182.1] [D183.1]
CORE RULES  The rules of part 6 only the agent can keep, listed in
            AC-1.24 and placed before and after the whole part in the GTP
            BUNDLE. The list orders text and changes no rule's force. Not
            the CORE SET. [D182.1]
HARNESS MODE
            LAUNCHER, HARNESS or EXTERNAL: PRB started the sponsor's
            harness under the SESSION PROFILE, PRB called the model's API
            itself, or PRB did not start the session. Declared in
            CAPABILITY; EXTERNAL refused outside the synthetic UWC and the
            sandboxes (5.4.17). Not EXTERNAL READING. [D182.1]
SESSION PROFILE
            The fresh context in which PRB starts every session, and what
            it switches off: memory across sessions, retrieval other than
            the local archive, instruction files the harness loads by
            itself, unbound tools, earlier conversation (5.4.17). [D182.1]
PROMPT MANIFEST
            The configuration CAPABILITY carries at petition and on every
            push: HARNESS MODE, harness, PRB version and digest, tool
            sources, memory state, context settings, session age and
            compactions; self-reported, recorded in the restricted class,
            consumed by no rule but the HARNESS refusal (5.8.12). [D182.1]
SESSION LOG, SESSION LOG HEAD
            PRB's local, append-only, hash-chained log of one session's
            configuration and events, each human turn as a salted digest;
            the digest of its latest entry, carried on every push and
            recorded in the restricted class, never a refusal criterion
            (5.4.18). [D182.1]
ANCHOR      The bundle's CORE RULES byte for byte and one labeled data
            line naming the UWC, the block ID and the grant, which PRB
            places on the INSTRUCTION CHANNEL again during a session
            (5.4.20, AC-2.30). [D182.1]
CONFORMANCE PROBE, CONFORMANCE STRATUM
            A probe of a third kind - CP1 DECISION ITEM, CP2 QUARANTINE
            or CP3 BACKOFF - whose correct response is a named rule of
            part 6 other than 6.2, scored binary, outside the CANARY
            SCHEDULE's budget and consumed by no adverse rule; the
            per-account, per-PROMPT EPOCH count of its outcomes with n
            (5.17.18). [D182.1]
PROMPT HEALTH
            The scorecard's section per account on the PROMPT and the
            configuration under which it ran (5.18.16). [D182.1]
CONFIGURATION STRATA
            TPX's marginals of probe outcomes, detections and refusals by
            recorded configuration, with n and intervals; public per
            fleet cell at FLEET CELL FLOOR accounts or more (5.18.17).
            [D182.1]
SANDBOX TRIAL
            A randomized comparison of configuration arms on the same
            packages, run by the red and blue team accounts in the
            synthetic UWC and the sandboxes; the only ground for a causal
            claim about a configuration (5.3.46). [D182.1]
ROLE        A TPK field: required on every LAW, optional on a DOF
            (2.2.6). On a LAW, one of EOM(<NAME>), the law being the
            equation of motion of the DOF named; CONSTRAINT;
            CONSTITUTIVE; INVARIANT; DEFINITION; spelled exactly so,
            without spaces. On a DOF, INPUT alone: a DOF the kernel
            takes as given, a forcing or a noise. T1 checks the
            spelling and resolves EOM's NAME to a DOF; every other
            consistency of a ROLE is a finding of the structure check
            (2.2.20). ROLE CONSTRAINT names a law, never a CONSTRAINT
            entry. [D176.1]
D VARIABLE  The second argument s of D(x, s, n) in the TPK's declared
            forms: a DOF of the TPK that no CONSTRAINT entry targets, of
            any DIMENSION; one for the whole TPK under D_VARIABLES ONE
            (2.2.13). [D177.1]
D_VARIABLES The one field of the TPK's PARAMETERS part, ONE or
            SEVERAL: how many distinct D VARIABLES the TPK's forms may
            use; ONE when absent, serialized as ONE; read by T1
            (2.2.6). [D177.1]
STRUCTURE_CHECK
            The structure switch: a TMS parameter, ON or OFF, ON when
            absent, serialized as ON; inside D(TFK), declared with the
            TFK and fixed for the life of the UWC (2.4.7). [D176.1]
EOM MAP     The structure check's account of a kernel (2.2.20): for
            each unknown DOF, the law that determines it, or none; each
            known DOF as FIXED, REMOVED, INPUT or INDEPENDENT; the
            structural index and the number of initial values needed,
            both information only. [D176.1]
EOM-0       The first register objective of a UWC declared with
            STRUCTURE_CHECK ON whose structure check found an unknown
            DOF that no form determines (UNDER): while it is OPEN only
            its own and REPRODUCTION blocks land; it closes when each
            such DOF is determined or H-DECL declares its gap standing
            (3.3.16). [D176.1]
STRUCTURALLY REGULAR
            The inception class "structurally regular", in the user's
            spelling, lower case: given only with STRUCTURE_CHECK ON,
            declared forms present, no finding, no PROSE or PDE line
            and the square part structurally nonsingular (2.2.20).
            Never "well-posed". [D176.1]
STRUCTURE NOT VALIDATED AT INCEPTION
            The inception class "Structure not Validated at
            Inception", in the user's spelling, with its reasons: CHECK
            OFF alone when the switch is OFF; otherwise one or more of
            FINDINGS, PROSE, PDE and NO FORM (2.2.20). A UWC so classed
            is valid and does research. [D176.1]
STRUCTURE LINE
            The candidate certificate's line carrying the inception
            class, its reasons and the findings listed for H-DECL;
            declared with the certificate, shown on the control panel,
            the manifest and the library page, never rewritten (5.5.3).
            [D176.1]
STRUCTURE TEST WITH REGISTER
            The later structure test: the analysis of 2.2.20 over the
            TFK and the standing records whose declared form carries a
            ROLE (5.3.47). Information beside the class, never a change
            of it. [D176.1]
STRUCTURE TEST LINE
            TPX's line on the control panel and the manifest,
            "STRUCTURE TEST <date> <result> WITH <identifiers>",
            rewritten only when it changes and LAPSED at once when a
            record it used stops standing (5.3.47). [D176.1]
ENVIRONMENT MODULE
            A declared, versioned text from which TPX writes ordinary
            TPK entries into a draft at its author's choice, made in the
            interview: CONSTANT, ASSUMPTION and BOUNDARY entries and
            terms composed into the equations of motion the TPK already
            has (5.22.1). It exists only by MODULE DECLARATIONS. Bare
            "module" is not used for it in rule text; the TPC modules,
            the action=tpx module and the CAPTCHA MODULE keep their
            names. [D178.1]
MODULE DECLARATION
            H-DECL's declaration, outside D(IS), of one act on the
            ENVIRONMENT MODULE catalogue (5.6.16): MODULE ADD, a new ID
            at its first VERSION; MODULE VERSION, a new version of a
            declared ID; MODULE RETIRE, the ID's OFFERED version taken
            out of the offer; MODULE WITHDRAW, a version found
            defective, with its reason, final; MODULE REINSTATE, a
            SUPERSEDED or RETIRED version offered again (5.22.10).
            [D178.1]
OFFERED, SUPERSEDED, RETIRED, WITHDRAWN
            The four statuses of a declared ENVIRONMENT MODULE version,
            computed from the MODULE DECLARATIONS in chain order and
            never stored (5.22.10); at most one version of an ID is
            OFFERED. RETIRED here is not UWC STATE RETIRED; WITHDRAWN is
            not the petition status WITHDRAWN; SUPERSEDED is not a
            BIBLIOGRAPHY ENTRY's SUPERSEDED BY (1.1.C). [D178.1]
CATALOGUE STATE
            Every declared ENVIRONMENT MODULE version's status, date and
            reason, and the OFFER, the OFFERED versions in ID order with
            their digests, as the MODULE DECLARATIONS leave them after a
            given line (TPC catalogue_state; 5.22.10). An interview
            answer is bound to the CATALOGUE STATE it covered (5.22.5).
            [D178.1]
MODULES USED
            The record, on a DRAFT UWC page and a candidate certificate,
            of the ENVIRONMENT MODULES the draft claims: per claim ID,
            VERSION, digest, bindings, values and answers; outside the
            TFK and every digest; re-expanded by TPX at the final pass
            (5.22.8). A claim is PINNED or CARRIED (5.22.5). [D178.1]
TEST BINDING
            A fixture draft inside an ENVIRONMENT MODULE's text (field
            TEST_BINDINGS) on which TPX expands and checks it before a
            declaration; two ENVIRONMENT MODULES share one when each has
            one of the same name over one D(TPK) (5.22.3, 5.22.11).
            [D178.1]
EXCLUDES    The field of an ENVIRONMENT MODULE's text naming the IDs, or
            ID patterns, it is never combined with; enforced both ways
            (5.22.3). [D178.1]
INTERACTS-WITH
            The field of an ENVIRONMENT MODULE's text (INTERACTS_WITH)
            naming a question raised when a matching ENVIRONMENT MODULE
            is also chosen; its answer selects a line of the check page
            and changes no expansion (5.22.3). [D178.1]
MODULE USE VIEW
            TPX's special page, computed on demand and stored nowhere,
            listing per declared ENVIRONMENT MODULE version the
            certified UWCs whose MODULES USED claim it, with its status
            (5.22.16). [D178.1]
UNTRUSTED PROPOSAL
            The mark on a TPX-written page holding an ENVIRONMENT MODULE
            text a USER or an agent-group account proposed: untrusted
            input, checked, never offered until H-DECL declares it; a
            proposal H-DECL declines is marked DECLINED, which is not a
            falcon item's DECLINED (5.22.13). [D178.1]

1.1.B  ROLES, CELLS, ENFORCEMENT CODES (5.13, 4.2)
Roles       H-DECL the named declaring authority; H-OP the human
            operator (may be the same person; separate rights); H-OWN
            a UWC's initiator, holding that UWC's access list only
            (5.16) and the request of its structure test (5.3.47);
            H-SPON a certified agent's SPONSOR, the one user
            account named on the admission request and on the
            certificate (CR12); AI-LEAD the mutex holder's account;
            AI-CO a coworker account; ANY any reader. Every H-* role is
            a USER account and every AI-* role an AGENT account (5.13.6).
            [I-086] [I-152] [D52] [D127.1] [D176.1]
Cells       R read, W write, A append, P protect, - none. [I-087]
Enforcement PL platform protection; GR group right; EC edit conflict; SC
            TPX check, server-side; AU audit; PR a rule a CA-GTP's
            instruction set enforces (part 6). [I-087] [B-18]

1.1.C  STATE NAMES
UWC STATE, on the DECLARATIONS page: CERTIFIED, RETIRED, RESTORE,
            FORK, the ACCESS POLICY, OPEN or CLOSED, the AUDIT
            TRIGGER, AUTOMATIC or ON REQUEST, and the BIBLIOGRAPHY
            SETTING, OFF, ON or CLOSED (5.6, 5.16, 5.21.1). [I-063]
            [I-106] [I-150] [D119.1] [D170.1]
Record grade: PROVISIONAL, ESTABLISHED, REFUTED, WITHDRAWN, NOT GRADED,
            written at landing or set by a PROMOTION or WITHDRAWAL
            record (3.2.10). Record status: UNMARKED, HELD, REFUTED,
            written in place by TPX and, for HELD, restored on release
            (3.2.10, 3.3.13). [D111.1] [D193.2]
Certificate: CURRENT, LAPSED, SUSPENDED, REMOVED (5.3.27, CR3).
            [D127.1]
Reliability state: GREEN, YELLOW, ORANGE, SUSPENDED (CR11). [D122.1]
            [D129.1]
Execution mode: EXECUTED-HOST, EXECUTED-SANDBOX, REASONED (5.4.9).
            [D101.1]
Volunteer answer: WORK, NO WORK, REFUSED, FALCON (5.9.14, 5.9.19). [D126.1]
            [D155.1]
Volume:     OPEN, FROZEN (3.1); a register identifier with no record may be
            VOID (3.1.13). [I-026] [D140.1]
Wiki copy:  CURRENT, STALE, HOLDER SILENT (5.10). [I-039]
Petition:   WAITING, ASSIGNED, WITHDRAWN, NEEDS RECERTIFICATION, SUSPENDED,
            CONTAINED (5.8, 5.8.9). [I-148] [D136.1]
Traffic stage: NORMAL, THROTTLED, PENALIZED, CONTAINED (5.3.37). [D136.1]
Pressure level: CLEAR, BUSY, STRAINED, OVERLOADED (5.3.34). [D134.1]
Cluster: CLUSTER CLASS IN, CUSP, OUT (5.19.8); CLUSTER STANDING IN, CUSP,
            FADING, with basis MEASURED, SUBSTITUTED, SUCCESSOR or CARRIED
            (5.19.10, 5.19.11); the top performer page PUBLISHED, SOURCE
            FAILING, SOURCE LOST or PRE-TPX, with the flags SPARSE MONTH and
            single-vendor (5.19.4, 5.19.18, 5.19.19). [D142.1] [D144.1]
            [D145.1]
Falcon: field AGREED, SPLIT, SINGLE, UNRESOLVED; assignment RETURNED, OVERDUE,
            MALFORMED; item DECLINED; application BASE MOVED; FALCON KIND
            issue ISSUING or STOPPED; QUOTE CHECK PASS, FAIL or UNKNOWN
            (5.20). [D148.1] [D150.1] [D151.1]
Refusal reasons at petition and push: FAMILY, MODEL, PROMPT, HARNESS
            (5.14.5, 5.19.14, 5.19.20, 5.4.17). [D146.1 (a2)] [D157.1]
            [D182.1]
Harness mode: LAUNCHER, HARNESS, EXTERNAL (5.4.17). [D182.1]
Conformance probe: CP1 DECISION ITEM, CP2 QUARANTINE, CP3 BACKOFF; outcome
            PASS or FAIL (5.17.18). [D182.1]
Sponsor stage: NEW, WORKING, SERIOUS; the qualifier DORMANT (5.14.9, 5.14.11).
            [D162.1] [D164.1]
Bibliography: an identifier's result and an entry's CHECK value CONFIRMED,
            FIELDS DIFFER, FOUND UNCOMPARED, NOT FOUND, NO LOOKUP, LOOKUP
            FAILED (5.21.15); FK-20's RESULT SOURCE AGREES, SOURCE DIFFERS,
            NOT FOUND (5.21.17); a BIBLIOGRAPHY VOLUME OPEN or FROZEN
            (5.21.8). [D172.1] [D173.1]
Structure class, on the STRUCTURE LINE: "structurally regular"; or
            "Structure not Validated at Inception" with reasons CHECK
            OFF, or FINDINGS, PROSE, PDE, NO FORM (2.2.20). [D176.1]
Structure finding: UNDER, OVER-EOM, OVER, CLOSED, ROLE MISMATCH; beside
            them the lines PROSE, NO FORM and "PDE: not analyzed"
            (2.2.20). [D176.1]
Structure test result: "structurally regular with register"; FINDINGS
            with its classes and lines; the line LAPSED (5.3.47).
            [D176.1]
Objective EOM-0: OPEN, CLOSED; refusal reason at push EOM-0 OPEN
            (3.3.16). [D176.1]
Switches:   STRUCTURE_CHECK ON or OFF (2.4.7); D_VARIABLES ONE or
            SEVERAL (2.2.6). [D176.1] [D177.1]
Environment module: a version OFFERED, SUPERSEDED, RETIRED or WITHDRAWN
            (5.22.10); a claim PINNED or CARRIED, not the CLUSTER
            LOOKUP's basis CARRIED (5.22.5); the interview's exclusive
            answer NONE (5.22.4); the re-expansion MATCH or MISMATCH
            (5.22.8); a SUPERSEDED claim's expansion SAME or DIFFERS
            (5.22.14); a proposal page UNTRUSTED PROPOSAL, a declined
            one DECLINED (5.22.13); an ID whose entries the author took
            over MODIFIED (5.22.7); the IDs a later round re-selects
            RESELECT (5.22.14); the check's question on a shared AUTHOR
            parameter SHARED PARAMETER (5.22.11). [D178.1] [S50] [S51]
Work block: COMMISSIONED, OWNED BY <wiki account>, LANDED, ETA, EXPIRED;
            a reproduction block closes as CORROBORATED (5.9). [B-11]
Inherited record grade: PROVISIONAL or NOT GRADED at landing; REFUTED or
            WITHDRAWN as the copy's WITHDRAWAL of cause INHERITED sets
            it (3.4.2). Named gap: OPEN; SETTLED <date> BY
            <identifiers>; STANDING <date> BY <declaration line>
            (3.3.5). [I-040] [B-04] [D193.2] [D199.1] [D215.2]
Citation level: VERIFIED, VERIFY, VERIFY-HIGH (5.10). [C-26]
Partial result: UNCOMPUTED, with its kind of block (5.9.4). [B-11]
Declared parameters: ACQUISITION WINDOW, N, CANARY SCHEDULE, the
            GRADIENT ARMS, SCORECARD CADENCE, RECIPIENTS, ALERT CHANNEL,
            REVIEW POINT, SEQUENTIAL TEST, LOOKBACK PASSES, PARROT
            RATIO, PROBE RATE, RESET RULE, HOLD ANCHOR, COMMUNITY
            PARROTS and AUDIT TRIGGER defaults, the score's declared
            values, PRIME AI PHASE, GOOD STANDING, VOLUNTEER LAW, KEY
            ROTATION, CAPTCHA MODULE, AGENTS PER SPONSOR,
            CROSS-CORROBORATION, DOSSIER READ, RELIABILITY BASIS (AGENT only;
            SPONSOR WEIGHT retired), SPONSOR CUT, USER PRIME, HOST CAPS,
            BUDGET RULE, SIGMA, LANE TABLE, PRESSURE LEVELS, TRAFFIC STAGE
            RULES, NO-PROGRESS RULE, VOLUME SIZE, CLUSTER FIELD, CYCLE, IN
            MAX, CUSP MAX, Z, HISTORY MIN, FALCON FLOOR, FALCON CANARY RATE,
            GRADUATION BLOCKS, GRADUATION DATES, GRADUATION SPAN, the
            BIBLIOGRAPHY SETTING's default, BIBLIO VOLUME SIZE, ENTRY CAPS,
            SPONSOR ZONE CAP, CONFORMANCE RATE, SESSION LOG RETENTION,
            FLEET CELL FLOOR (7.2). [I-132] [I-133] [I-134] [D117.1]
            [D133.1] [D140.1] [D142.1] [D161.1] [D162.1] [D170.1] [D171.1]
            [D173.1] [D182.1]

1.1.D  RUNNING-TEXT NAMES, defined in the section named
candidate certificate, certificate
            The digests and identity of a container, written by TPX to
            staging on the final pass and landed by H-DECL (5.6). [I-065]
audit block A work block opened by CAC to disposition a contradiction or
            a mismatch; it ends in a decision item (4.1). [I-013] [I-072]
decision item
            An unresolved collision put to the human as a labeled option
            set (6.3). [PR-DP]
landing     The act by which results enter the register through TPX's
            landing API (5.9). [B-11]
block ID    The identifier of a work block; the fencing token at landing
            (5.9). [B-11]
lead, coworker
            The mutex holder's account, and any other agent working the
            container under an assignment (5.8). [I-082]
petition, assignment, return, staging subpage
            The three row classes of the collaboration page, and the
            agent-writable page a return lands on (5.8). [I-082]
grant, fencing token, heartbeat
            The lock's sequence number; the number a landing is checked
            against; the edit that extends a lock (5.7). [I-081]
leased range, identifier mark, high-water mark
            Identifiers lent to a coworker for one block; the container's
            allocation state; the highest identifier allocated (3.1,
            5.7). [I-081] [B-01]
back-pointer, predecessor, successor
            The envelope field INHERITS, a record's reference to the
            record it was copied from; the source and the new container
            under COPY-FORWARD (3.4). [B-04]
named gap   A NAMED_GAP record, written by TPX: SOURCE IC2, UNDER,
            SR5_LOCUS, SR7_ASSUMPTIONS or SR7_DOMAIN, NOT GRADED
            (3.3.5). [I-074] [I-124] [D199.1]
corroboration record
            A CORROBORATION record naming the landed RESULT it
            reproduces (TARGET) and carrying the reproducing account
            (AUTHOR), the outcome of TPX's comparison (OUTCOME,
            DIFFERENCE) and TARGET_STATUS, its GRADE PROVISIONAL at
            landing (3.3.4, 5.9). [B-11] [D192.2] [D193.2]
verification record
            A VERIFICATION record, regime M, comparing a RESULT with an
            external value: TARGET, EXTERNAL, SOURCE, AT and DIFFERENCE
            {VALUE, U, ZETA}, never an agreement (3.3.6). [I-125]
            [D200.1]
canary, probe, suite
            A probe delivered unannounced into a CA-GTP's API read; a
            planted fault that a compliant agent refuses; the set of
            probe types, the supervised trial and its reproduction
            operation that admit an agent (5.14, 5.17). [I-110] [I-112]
            [D118.1]
ratchet debt
            The difference between a check's class with TPX present and
            without it (4.2). [I-038]
sentinel page
            A dated page TPX leaves when a build assertion fails (5.11).
            [I-120]
badge       The block TPX writes last on a container's manifest as the
            commit marker (5.10). [I-084]
manifest, library page, hub
            The index page per container carrying the badge; the
            container's entry page; the central page with one entry point
            per audience (5.11). [I-116]
control panel, schedule log, work-block log
            The container's management page and its two logs (5.12).
            [B-27]
lock page, collaboration page
            The per-container pages that hold the mutex and the petition
            queue (5.7, 5.8). [I-081] [I-082]
digest gate The check of D(TFK) before every write and at every CAC
            (2.5). [I-064]
agent group, human-only group
            The two wiki groups that carry agent and human rights (5.13).
            [I-106]
instantiation
            The landing of a certificate that creates a container (5.5).
            [I-059]
zone        One of the three immutable parts of the TFK (2.1). [I-061]
hard boundary, BOUNDARY
            A TPK entry stating, by its PREDICATE and CONDITION, where
            the kernel is asserted; several conjoin; none means
            everywhere (2.2.6). [D179.1]
structure check, known, unknown
            TPX's check of the kernel's equations of motion at the
            final pass; a DOF the check takes as given (a CONSTRAINT
            entry's TARGET, a DOF with ROLE INPUT, a D VARIABLE); every
            other DOF, which a law must determine (2.2.20). [D176.1]
interview, check page, modules page
            The one required question of the new-container form and the
            DRAFT UWC API about which ENVIRONMENT MODULES act, with its
            binding pages; the draft's summary page before the final
            pass; TPX's special page for the ENVIRONMENT MODULE
            catalogue (5.22.4, 5.22.6, 5.22.11). [D178.1]
conformance declaration
            The TPS version conformed to, and the implementation's name,
            version and digest, presented at petition and on every push
            (6.1). [C-27] [F2]
the guide   The Generic Specification Guide 0.1.0, in project knowledge
            and published on the wiki as the documentation page "The
            Principia Machina/Generic Specification Guide"; the source
            of the layer map and of the kernel tests (1.2, 2.2). [I-016]
            [I-161] [C-01] [D91.1]
L0 KERNEL, L1 CORRESPONDENCE, L2 REGISTER, L3 PROCESS, H
            The guide's layer names, mapped onto TPM in 1.2.3. [I-016]
BFP         Brute Forcing Physics, the research program whose next
            generation is hosted as one container (1.2). [I-018]
IV          Input vetting: the vetting of untrusted input before any
            act on it (6.2). An IV report, or IV detection, is a
            CA-GTP's report of a directive found in untrusted input; a
            falcon result carries it in its IV field (5.20). [PR-IV]
            [AUTHORED]
PMP, PMP-TPM
            PMP-TPM is the project meta prompt that is one vendor's
            IMPLEMENTATION of the AGENT CONTRACT (1.2.5), non-normative;
            PMP is the base instruction set it requires, outside TPS
            and never indexed. [D37] [F2] [AUTHORED]

1.1.E  GENERAL ABBREVIATIONS, in their standard sense [AUTHORED]
AI          artificial intelligence
API         application programming interface
ASCII       American Standard Code for Information Interchange
BM25        Okapi BM25, a best-match text-ranking function (5.17)
CAPTCHA     Completely Automated Public Turing test to tell Computers
            and Humans Apart (5.3.27)
CDN         content delivery network
CGS         the centimeter-gram-second system of units
CPU         central processing unit
CRLF, LF, NUL, TAB
            carriage return and line feed; line feed; the null
            character; the horizontal tab (2.5.12, 2.5.13)
CSL, CSL-JSON
            Citation Style Language; its JSON form of one reference
            item (5.21.5)
CSPRNG      cryptographically secure pseudorandom number generator
CSRF        cross-site request forgery
DOI         Digital Object Identifier (5.21.6)
DOT         the graph language of Graphviz (5.15.3)
EOM         equation of motion (2.2.20)
ETA         estimated time of arrival; in TPS, a work block's deadline
            (5.9)
EWMA        exponentially weighted moving average
GCRA        generic cell rate algorithm
GUM         Guide to the Expression of Uncertainty in Measurement,
            JCGM 100:2008 (3.2.4)
HKDF        HMAC-based Extract-and-Expand Key Derivation Function,
            RFC 5869
HMAC        keyed-hash message authentication code
HTML        HyperText Markup Language
HTTPS       Hypertext Transfer Protocol Secure
ICU         International Components for Unicode
ID          identifier
IETF        Internet Engineering Task Force
IP          Internet Protocol
ISBN        International Standard Book Number (5.21.6)
ISO         International Organization for Standardization
ISSN        International Standard Serial Number (5.21.6)
JCGM        Joint Committee for Guides in Metrology
JSON        JavaScript Object Notation
KB, MB      kilobyte and megabyte, 10^3 and 10^6 bytes
NCBI        National Center for Biotechnology Information
NFC, NFD, NFKC
            Unicode Normalization Forms C, D and KC (2.5.12)
OAuth       the OAuth delegated-authorization protocol (5.4.2)
OS          operating system
PDE         partial differential equation: a law differentiated in
            two or more variables (2.2.13, 2.2.20)
PHP         the PHP programming language (PHP: Hypertext Preprocessor)
PMC, PMCID  PubMed Central; a PubMed Central identifier (5.21.6)
PMID        PubMed identifier (5.21.6)
RFC         Request for Comments, a numbered standard or note of the
            IETF
SE          standard error (5.19.6)
SHA-1, SHA-256
            Secure Hash Algorithm 1; Secure Hash Algorithm 2 with a
            256-bit output (2.5.4, 2.5.10)
SI          the International System of Units (3.2.11)
SMTP        Simple Mail Transfer Protocol
SSH         Secure Shell
TBD         to be determined: an item of the foundations record's TBD
            register (8.1)
TOTP        time-based one-time password
UCUM        the Unified Code for Units of Measure
UI          user interface
URL         uniform resource locator
UTC         Coordinated Universal Time
UTF-8       the 8-bit Unicode Transformation Format
UUID        universally unique identifier; TPX uses version 4 (5.3.3)
XML         Extensible Markup Language