The Principia Machina/TPS/1.1 Vocabulary

Instruction artifact, machine-optimized text: TPS 0.1.0, section 1.1 Vocabulary. 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 1.1  VOCABULARY
purpose: every defined name; roles, cells and enforcement codes; the
         state names; the running-text names TPS uses before their
         section
governs: 1.1 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator, agent

1.1.A  DEFINED NAMES
TPS         The Principia Machina Specification: this artifact. Its
            digest and version is the genesis line of the DECLARATIONS
            page. [I-048] [F2]
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]
TrM         The Translation Manifold, layer 2. Its identification fields
            (DOF, DOMAIN, the identification, FALSIFIER, BEARS) are the
            second zone of the TFK. Every entry is an isomorphism; a
            restriction is a CONSTRAINT entry in the TPK (D2). [I-021]
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). States OPEN and FROZEN are inherited vocabulary and are
            kept. [I-026]
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 (D3). [I-030]
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 container), and it is allocated
            by CAC at certification, not by the container's mark. Every
            other record is checked at CAC against the register and
            against the master record. [I-032]
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. A certified agent presents the D(IS) of the TPS
            version it was instantiated with; a match warrants version
            currency only. [I-034] [F2]
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. [I-036]
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; an
            agent 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, inherited records
            PROVISIONAL with REFUTED kept REFUTED, back-pointers per
            record (D5). Offered on a change request against the TFK or
            on a digest-gate failure. [I-040]
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).
            [I-046]
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. [D40.1]
ASSUMPTION RECORD
            Register record class holding one declared assumption. Named
            departures: no FINDING, no REGIME. [D41.2]
INDEPENDENCE
            Corroboration-record field filled by TPX: account; model
            snapshot and vendor; implementation name and digest; block
            origin. [D42.1]
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. [D43.1]
TPC-PY      The published, advisory residence; PRB's computation.
            Non-normative. [D43.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); AI-LEAD the mutex
            holder's account; AI-CO a coworker account; ANY any reader.
            [I-086]
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 an agent'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 (5.6). [I-063] [I-106]
Volume:     OPEN, FROZEN (3.1). [I-026]
Wiki copy:  CURRENT, STALE, HOLDER SILENT (5.10). [I-039]
Petition:   WAITING, ASSIGNED, WITHDRAWN, NEEDS RECERTIFICATION (5.8).
            [I-082]
Work block: COMMISSIONED, OWNED BY <wiki account>, LANDED, ETA, EXPIRED;
            a reproduction block closes as CORROBORATED (5.9). [B-11]
Inherited record tag: PROVISIONAL, REFUTED (3.4). [I-040] [B-04]
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 RATE (7.2). [I-132]
            [I-133] [I-134]

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
            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 record stating an assumption or a DOF that a result depends
            on and that the TFK does not settle (3.3). [I-074] [I-124]
corroboration record
            A record naming a landed record it reproduces, the
            reproducing account, the inherited tag and the reported
            difference (3.3, 5.9). [B-11]
verification record
            A regime-M record comparing a result with an external value,
            reporting the difference (3.3). [I-125]
canary, probe, suite
            A probe planted unannounced in live pages; a planted
            instruction that a compliant agent refuses; the set of probes
            and the supervised trial that admit an agent (5.14). [I-110]
            [I-112]
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]
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-draft, the source of
            the layer map and of the kernel tests; not reachable at 0.1.0
            (1.2, 2.2). [I-016] [C-01]
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]