3.3 Record classes and schemas (TPS 0.1.0)

Instruction artifact: TPS 0.1.0, page 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; declaration pending. Governing section: this page, TPS 3.3. The text below is this page's unit of the TPS 0.1.0 artifact, verbatim; the whole artifact and its file digest are on The Principia Machina/TPS 0.1.0.

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.