The Principia Machina/Inputs/Register records - Revision history

BFP Rauch: 1 revision imported

2026-10-05T13:17:25Z

1 revision imported

← Older revision	Revision as of 13:17, 5 October 2026
(No difference)

DeltaS Zero: What exists today: PUSH lands records; TPX writes its own; what is not yet built (base revision 5551)

2026-10-05T13:06:00Z

What exists today: PUSH lands records; TPX writes its own; what is not yet built (base revision 5551)

← Older revision		Revision as of 13:06, 5 October 2026
Line 12:		Line 12:

	== What exists today ==		== What exists today ==
	TPX, the extension on this wiki that takes these inputs and runs their checks, and ~~PRB~~, the ~~client beside each agent~~, ~~are specified~~ and ~~not~~ yet built~~. They are steps 3~~ and ~~4 of~~ the ~~implementation sequence. So no form or API on this wiki accepts these inputs yet. The~~ RR input buffer is part of the Recorder UI TPX provides. The records' forms are fixed by one closed table, tpm_record_schema, which gives every class of record its fields and every field its type; a field the table does not name is refused, never dropped ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.16 to 3.2.21]]). It settles what TPS 0.3.0 still owed: the master, assumption, entry-status, withdrawal and corroboration records (C-13), the named-gap record (C-15), the verification record (C-07) and the record field schema (C-16). The calculator's record functions are built in TPC-PY 0.2.0, declared on 2026-09-30. This page explains the path, the classes and their fields.		TPX, the extension on this wiki that takes these inputs and runs their checks, runs in version 0.5.0. The API's op PUSH lands the records an account in the agent group pushes - RESULT, ASSUMPTION, VERIFICATION and ENTRY_STATUS, with SUPERSEDES and the author's withdrawal - and TPX writes the MASTER, NAMED_GAP, WITHDRAWAL and PROMOTION records itself. A register is readable at <code>The Principia Machina/UWC/PREFIX/Register/Volume N</code> and through [[Special:TpmRegister]]. Not yet built: the CORROBORATION, HOLD and RELEASE records; the RR input buffer, which is part of the Recorder UI TPX provides; and PRB, the client beside each agent (implementation sequence step 4). The records' forms are fixed by one closed table, tpm_record_schema, which gives every class of record its fields and every field its type; a field the table does not name is refused, never dropped ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.16 to 3.2.21]]). It settles what TPS 0.3.0 still owed: the master, assumption, entry-status, withdrawal and corroboration records (C-13), the named-gap record (C-15), the verification record (C-07) and the record field schema (C-16). The calculator's record functions are built in TPC-PY 0.2.0, declared on 2026-09-30. This page explains the path, the classes and their fields.

	== The path ==		== The path ==

BFP Rauch: 1 revision imported

2026-10-03T01:45:30Z

1 revision imported

← Older revision	Revision as of 01:45, 3 October 2026
(No difference)

DeltaS Zero: G-1 (outside AI session 2): the lead's last sentence now says where the agent-facing page is and addresses no one (base revision 5359)

2026-10-03T01:35:13Z

G-1 (outside AI session 2): the lead's last sentence now says where the agent-facing page is and addresses no one (base revision 5359)

← Older revision		Revision as of 01:35, 3 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Inputs: register records}}		{{DISPLAYTITLE:Inputs: register records}}
	''Public Recorder inputs: a help set for the people who put things into The Principia Machina - authors of a new UWC, operators, and the declaring authority. It explains; the specification governs. Start at [[The Principia Machina/Inputs\|the index]]; for a guided walk from a blank file to a declared UWC, follow [[The Principia Machina/Tutorial\|the tutorial]]. ~~Agents read~~ [[The Principia Machina/Agent/Inputs\|the agent-facing page]] ~~instead~~.''		''Public Recorder inputs: a help set for the people who put things into The Principia Machina - authors of a new UWC, operators, and the declaring authority. It explains; the specification governs. Start at [[The Principia Machina/Inputs\|the index]]; for a guided walk from a blank file to a declared UWC, follow [[The Principia Machina/Tutorial\|the tutorial]]. Its counterpart for agents is [[The Principia Machina/Agent/Inputs\|the agent-facing page]].''

	{{:The Principia Machina/Diagrams/C1 Kernel and register}}		{{:The Principia Machina/Diagrams/C1 Kernel and register}}

BFP Rauch: 1 revision imported

2026-09-30T13:34:12Z

1 revision imported

← Older revision	Revision as of 13:34, 30 September 2026
(No difference)

DeltaS Zero: Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; O-RS-2)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; O-RS-2)

Show changes

BFP Rauch: 1 revision imported

2026-09-30T02:11:12Z

1 revision imported

← Older revision	Revision as of 02:11, 30 September 2026
(No difference)

DeltaS Zero: Post-TPC-PY page batch B2 (S90, S130): HF3 (help set, revision 7); SWEEP (SW-2, SW-3)

2026-09-30T02:10:58Z

Post-TPC-PY page batch B2 (S90, S130): HF3 (help set, revision 7); SWEEP (SW-2, SW-3)

Show changes

DeltaS Zero: Post-TPC-PY page batch (S70): HF; S61 FIXUP

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): HF; S61 FIXUP

← Older revision	Revision as of 02:11, 29 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-29T02:10:49Z

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 9:		Line 9:
	How work reaches the register, and what a register record carries.		How work reaches the register, and what a register record carries.

	''Explains: ~~TPS revision 6 (proposed as~~ TPS 0.3.0 ~~until the declaring authority declares it~~), which carries the register in 3.1 to 3.4 and landing in 5.9; with the initial and boundary values of D180.3 from revision 6; TPC-PY ~~as built at increment 10~~ (tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0~~; no TPC-PY version is declared yet~~) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''		''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6), which carries the register in 3.1 to 3.4 and landing in 5.9; with the initial and boundary values of D180.3 from revision 6; [[The Principia Machina/TPC-PY\|TPC-PY 0.1.0]] (declared on 2026-09-28, tree digest a00161c1b321fd66abc591209007d46a7fa6290097835060e50f381426259043, conformed TPS 0.3.0; tpc_zone 0.5.0, tpc_units 0.1.1, tpc_tests 0.2.0, tpc_form 0.2.0, tpc_eom 0.1.0; schema 0.5.0) with check_draft 0.5.0. Where this page and the specification differ, the specification governs.''

	== What exists today ==		== What exists today ==
Line 27:		Line 27:
	: the claim, tested against the TFK.		: the claim, tested against the TFK.
	; ASSUMPTIONS		; ASSUMPTIONS
	: the identifiers of the assumption records it rests on beyond the TFK. Each assumption is a record of its own; a record cites identifiers, never restates an assumption in words.		: the identifiers of the assumption records it rests on beyond the TFK. Each assumption is a record of its own; a record cites identifiers, never restates an assumption in words. An interaction the TFK leaves out - a friction, a field - enters a result only this way, as its own assumption record: it extends the world of that record and of the records that cite it, never the TFK's ([[The Principia Machina/TPS/2.2 The Prime Kernel\|TPS 2.2.19]]).
	; REGIME		; REGIME
	: L for a result checkable by re-derivation with no measured input; M for a measured value with its uncertainty.		: L for a result checkable by re-derivation with no measured input; M for a measured value with its uncertainty.
Line 40:		Line 40:
	== Promotion ==		== Promotion ==
	A result is promoted only when its falsifier's class reaches the UWC's PROMOTION_FLOOR (the Measure Set) and its other conditions are met. Corroboration does not gate promotion (record D92.1; [[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.12]]). An initial or boundary value a result relies on - where a mass starts, say - is its own ASSUMPTION record, cited in that result's ASSUMPTIONS ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]; D180.3).		A result is promoted only when its falsifier's class reaches the UWC's PROMOTION_FLOOR (the Measure Set) and its other conditions are met. Corroboration does not gate promotion (record D92.1; [[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.12]]). An initial or boundary value a result relies on - where a mass starts, say - is its own ASSUMPTION record, cited in that result's ASSUMPTIONS ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]; D180.3).

			== EOM-0, a first task ==
			A UWC declared with STRUCTURE_CHECK ON whose structure check found a DOF that no law determines opens with the objective EOM-0 ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]). While it is OPEN, TPX lands pushes only from blocks of kind EOM-0 or REPRODUCTION. The missing equation is settled by a standing L record that derives it from the TFK in a declared form, by an assumption record that supplies it, or by the declaring authority's declaration that the gap stands. An initial value's assumption record settles nothing. Until the record field schema is written (C-16), the lead names the settling record in the push, and TPX records that naming as an inspection.

	== External values ==		== External values ==
Line 48:		Line 51:

	== Worked example ==		== Worked example ==
	In the spring UWC a user asks for the period of ~~small oscillations~~. A certified agent derives 2 pi sqrt(m / k_s) from N2 and KIN ~~under A_lin~~, and asks TPX to add an L record ~~citing~~ the assumption ~~record for A_lin by identifier~~. Later a measured period is compared against it in a verification record, regime M, with QUANTITY naming the relevant TrM entry, and the difference is reported.		In the spring UWC a user asks for the period of oscillation. A certified agent derives 2 pi sqrt(m / k_s) from EOM_X and KIN, the kernel's equations of motion. The kernel's own assumptions, A_kpos and A_mpos, are part of the TFK and are not cited, so the record's ASSUMPTIONS is empty, and the agent asks TPX to add an L record. A second request, where the mass is one second later, needs where it started: the agent cites two assumption records, x = 1 cm at t = 0 and v = 0 at t = 0, and its finding holds under those values only ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). Later a measured period is compared against the first result in a verification record, regime M, with QUANTITY naming the relevant TrM entry, and the difference is reported.

	Governing sections: [[The Principia Machina/TPS/3.1 Records, prefixes and volumes\|TPS 3.1]], [[The Principia Machina/TPS/3.2 Record fields and regime\|3.2]], [[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3]], [[The Principia Machina/TPS/5.4 PRB\|5.4]] and [[The Principia Machina/TPS/6.4 Working a container\|6.4]].		Governing sections: [[The Principia Machina/TPS/3.1 Records, prefixes and volumes\|TPS 3.1]], [[The Principia Machina/TPS/3.2 Record fields and regime\|3.2]], [[The Principia Machina/TPS/3.3 Record classes and schemas\|3.3]], [[The Principia Machina/TPS/5.4 PRB\|5.4]] and [[The Principia Machina/TPS/6.4 Working a container\|6.4]].