3.2 Record fields and regime (TPS 0.2.0)

Instruction artifact, machine-optimized text: TPS, section 3.2 Record fields and regime. Part of TPS and the TPM hub. 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 changed only the status lines. This page is revision 5 of the tree, proposed as version 0.2.0 until H-DECL declares it. The text below is this section of the TPS artifact at 0.2.0 (proposed), verbatim; the whole artifact and its file digest are on The Principia Machina/TPS. Human readers: the contents page is the map.

TPS 3.2  RECORD FIELDS AND REGIME
purpose: the field schema ASSUMPTIONS, REGIME, DERIVATION, VALUE with u_c
         and Type B list, owed; regime L or M assigned at allocation;
         the status field and HELD; the unit grammar and KIND; the
         promotion floor; LITERATURE
governs: 3.2 | version: 0.2.0 (proposed) | class: instruction artifact
audience: operator, agent

3.2.1  Record fields the strike rule needs: ASSUMPTIONS, REGIME,
       DERIVATION, and for M records VALUE with u_c and its Type B list.
       [B-14] [C-16]
       OWED: the record field schema, the field set with its types and
       constraints; kind: absence; C-16.
3.2.2  A record carries a FINDING, tested against the TFK by the strike
       rule (see 4.4), and a tag, inherited or assigned as 3.4 and 5.9
       state. [I-068] [B-04] [B-11]
3.2.3  DOMAIN is required on every promoting record (see 2.3.3). [I-030]
       OWED: the promotion mechanism, what a promoting record is and what
       promotion does to a TrM entry, beyond the floor 3.2.12 fixes;
       kind: absence; C-31.
3.2.4  REGIME. Each record is assigned one regime at allocation. L: the
       FINDING is verifiable by re-derivation from the TFK plus
       ASSUMPTIONS with no empirical input. M: the FINDING carries a
       value with a combined standard uncertainty u_c per GUM (JCGM
       100:2008, see 8.3). A record comparing an L result with an
       external value is M, of the verification class. [I-070] [I-035]
3.2.5  Every M record states u_c with its Type B components enumerated
       (see 4.4, SR8). [I-075]
3.2.6  Regime assignment is INSPECTION at allocation, MECHANICAL when
       derivations are formal. A record lacking the fields a(r) and s(r)
       are computed from is refused on write (see 4.2, rows 19 and 22).
       [B-18]
3.2.7  ASSUMPTIONS cites ASSUMPTION RECORD identifiers only; an
       assumption is never restated in free text (see 3.3.7). [D41.2]
3.2.8  An M record states QUANTITY and UNIT with its VALUE, u_c and
       Type B list. QUANTITY is the TrM entry the value belongs to.
       [D40.1]
3.2.9  An L record whose derived value enters an L-M test states
       QUANTITY and UNIT for that value; otherwise the test is refused
       (see 4.4, SR3). UNIT is written in the unit grammar of 3.2.11;
       on write TPX parses it and checks its dimension against the
       QUANTITY entry's DIMENSION, refusing a record whose UNIT does not
       parse or does not match (4.2, row 55). [D40.1] [D103.1]
       OWED: on write, QUANTITY resolves to an entry of the UWC's TrM;
       the unit functions the check calls are built in TPC with vectors
       in both residences (D103.1), the check itself being TPX's at
       build step 3; kind: computation; C-32.
3.2.10 STATUS. Every register record carries a status field, written
       by TPX and never by a CA-GTP (5.4.7). Its values are the grade
       set the record field schema fixes (C-16) plus HELD. HELD is
       written by TPX into every record it holds after a failed canary
       (5.14 CR6), so a reader of that record alone sees it; the prior
       status is kept in the HOLD record and restored on release
       (3.3.11-3.3.13). A HELD record does not stand under SR2 (4.4.9).
       A withdrawal also sets the struck record's own status (3.3.14).
       [D111.1]
3.2.11 UNIT GRAMMAR (D103.1). UNIT is "1" or space-separated tokens,
       each [prefix]symbol[exponent], in the DIMENSION field's shape
       ("kg m s-2"), over a closed catalogue: m g s A K mol cd; rad sr;
       Hz N Pa J W C V F Ohm S Wb T H lm lx Bq Gy Sv kat; min h d au deg
       arcmin arcsec ha L t eV. Refused with reasons: degC (an offset),
       Da (a measured value), Np, B and dB (logarithmic). The 24 SI
       prefixes, micro written u; no prefix on min, h, d, ha, au, deg or
       arcmin. The canonical spelling is what every preimage carries
       (2.5.11). The scale to coherent SI is computed in one fixed order
       of double operations, so both residences agree byte for byte.
       No imperial, CGS or natural unit and no UCUM interchange (7.1).
       UNIT is checked for its dimension, not its size: a value meant in
       m and written in km passes. KIND, what a dimension cannot see, is
       stated at 4.4.11. The text is tpm_units 0.2.0; the functions and
       their vectors are in both residences (5.1.5). [D103.1] [D105.1]
3.2.12 PROMOTION (D92.1). A result is promoted only when its
       falsifier's class, the FALSIFIER_CLASS of the TrM entry it bears
       on (2.3.11), reaches the UWC's PROMOTION_FLOOR, a TMS parameter
       declared at instantiation and tested at CAC under SR9 C5, F2
       where the UWC does not say otherwise (2.4.5). Corroboration does
       not gate promotion; CR7 and SR6's independence count are
       unchanged. A UWC that declares F1 weakens only itself. A HELD
       record is not promoted while held (4.4.9). [D92.1] [D111.1]
3.2.13 STATUS IN THE RECORD (D140.1; D111.1 kept whole). TPX writes a record's
       status (HELD, its release restoring the prior status, STRUCK) into the
       record's own text, a FROZEN volume included, and nothing else there, so
       a raw-wikitext reader sees the status too. A status write rewrites that
       volume's path in the MANIFEST TREE (5.11.11). [D140.1] [D111.1]
3.2.14 LITERATURE (D171.1 (g)). The record field schema (3.2.1, C-16)
       carries LITERATURE: the BIB IDs of the BIBLIOGRAPHY ENTRIES the
       record relies on (5.21.10); a verification-class M record (3.2.4,
       3.3.6) names there the entry its external value comes from. On
       write TPX refuses a member that is not a landed entry of the same
       UWC, so entries land before the records that cite them (5.4.14);
       a superseded entry stays citable. Under a BIBLIOGRAPHY SETTING OFF
       the record has no LITERATURE field. A LITERATURE member is not a
       citation of a record: it enters no ASSUMPTIONS closure, no d(r)
       and no held closure (4.4.12). [D171.1]