3.3 Record classes and schemas (TPS 0.1.0)

Instruction artifact, machine-optimized text: TPS 0.1.0, section 3.3 Record classes and schemas. Part of TPS 0.1.0 and the TPM hub. Human-only edit (TPS 5.13). Version 0.1.0, proposed, revision 4; 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. Human readers: the contents page is the map.

TPS 3.3  RECORD CLASSES AND SCHEMAS
purpose: the master record and its two departures; entry-status,
         corroboration, withdrawal, named-gap and verification record
         forms, owed; the GRADE treatment of the master record
governs: 3.3 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator, agent

3.3.1  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]
       OWED: the master record schema; kind: absence; C-13.
       OWED: the "not graded" treatment of the master record's GRADE
       field; kind: absence; C-14.
3.3.2  Entry-status record: the register record that carries an entry's
       mutable fields STATE, SCRUTINY, RIDER, NOTE, CHECKS OWED, RECORDS
       (see 2.1.3). [B-05]
       OWED: the entry-status record schema; kind: absence; C-13.
3.3.3  Withdrawal record: a strike is a withdrawal record in the strike
       shape (see 4.6). [I-078]
       OWED: the withdrawal record form imported from the guide; kind:
       absence; C-13.
3.3.4  Corroboration record: a refused block whose result matches the
       landed one lands as a corroboration record naming the record it
       reproduces, carrying the reproducing agent's account, inheriting
       the landed tag, and stating the reported difference; the block
       closes as CORROBORATED (see 5.9). [B-11]
       OWED: the corroboration record form; kind: absence; C-13.
3.3.5  Named-gap record: an M contradiction of an L record with a(r) > 0
       is recorded against r's ASSUMPTIONS as a named gap (SR7); the
       ASSUMPTIONS of a struck record outside the closer record's closure
       are recorded as the locus (SR5); an untied DOF is a named gap
       (see 2.3.6, 4.4). [I-074] [I-072] [I-124]
       OWED: the named-gap record form; kind: absence; C-15.
3.3.6  Verification record: veracity lives outside the run: derivation
       under benchmark quarantine, then post-termination comparison
       against external sources, landing as a regime-M verification
       record whose external value is a benchmark, never an output. A
       comparison reports the difference, never the agreement (see 7.1).
       [I-125]
       OWED: the verification record class for external verification
       results; kind: absence; C-07.
3.3.7  ASSUMPTION RECORD. One declared assumption, one record.
       Named departures from the record form: no FINDING, no REGIME.
       Its identifier comes from the UWC's prefix as any record's does.
       Atomicity and duplication are inspected once, at the assumption
       record's allocation (see 4.2, row 23). [D41.2]
       OWED: the assumption record schema; kind: absence; C-13.
3.3.8  The corroboration record gains INDEPENDENCE, filled by TPX from
       facts it holds: account; model snapshot and vendor;
       implementation name and digest; block origin, one of SAME BLOCK
       or REPRODUCTION BLOCK. MECHANICAL. [D42.1] [D44.1]
3.3.9  Context, sources, environment and seed MAY be attached to a
       corroboration, marked SELF-REPORTED. No rule consumes them.
       [D42.1]
3.3.10 A corroboration whose model snapshot equals the original's is
       marked SAME-MODEL and is excluded from every corroboration count
       TPX displays and from CR7's redundancy claim (see 5.14).
       [D42.1]