The Principia Machina/Tutorial/8 After the declaration - Revision history

BFP Rauch: 1 revision imported

2026-09-30T13:34:17Z

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; S171-LITERALS)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; S171-LITERALS)

← Older revision		Revision as of 13:34, 30 September 2026
Line 9:		Line 9:
	What changes for you once the UWC exists, and what to do when you want to change it.		What changes for you once the UWC exists, and what to do when you want to change it.

	''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6; it follows TPS 0.1.1, declared final on 2026-09-~~26;~~ revision ~~7, proposed as TPS 0.4.0, is on the TPS pages from batch B2, and a passage marked "revision 7, proposed" states it~~), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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.''		''Explains: TPS 0.4.0 (declared final on 2026-09-30 at revision 7, and in force; it follows TPS 0.3.0, declared final on 2026-09-28 at revision 6), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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 you can still do ==		== What you can still do ==
	* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).		* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).
	* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2). An initial or boundary value - where the mass starts, say - is not a law of the kernel: a result that relies on one cites it as its own ASSUMPTION record ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). A measured value of a quantity that changes along the motion is tested by machine against another only when both rest on the same initial and boundary values, written as structured SITUATION records, and state the same point AT where the value holds; any other such pair is compared by inspection ([[The Principia Machina/TPS/4.4 The strike rule\|4.4.13]]~~; revision 7, proposed~~). If the UWC opened with the first task EOM-0, that task comes first: until every DOF the structure check found without a law has one, only EOM-0 work and reproductions land, and TPX marks each such DOF settled when a record carrying its equation in declared form lands ~~(revision 7, proposed)~~ ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).		* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2). An initial or boundary value - where the mass starts, say - is not a law of the kernel: a result that relies on one cites it as its own ASSUMPTION record ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). A measured value of a quantity that changes along the motion is tested by machine against another only when both rest on the same initial and boundary values, written as structured SITUATION records, and state the same point AT where the value holds; any other such pair is compared by inspection ([[The Principia Machina/TPS/4.4 The strike rule\|4.4.13]]). If the UWC opened with the first task EOM-0, that task comes first: until every DOF the structure check found without a law has one, only EOM-0 work and reproductions land, and TPX marks each such DOF settled when a record carrying its equation in declared form lands ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).
	* '''Read everything''': every page of every UWC is public.		* '''Read everything''': every page of every UWC is public.

Line 20:		Line 20:

	== Changing the kernel: copy-forward ==		== Changing the kernel: copy-forward ==
	A change to the TFK makes a new UWC with a new UUID and a new prefix. Copy-forward carries the old register across: every inherited record enters PROVISIONAL and names the record it came from in its INHERITS field, and a refuted or withdrawn one is withdrawn again at once, by a withdrawal record of cause INHERITED, so it stays so ~~(revision 7, proposed)~~ ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4]]). The digests say what kind of successor it is ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|TPS 2.5]]). On the example, computed with TPC-PY's own successor classification (<code>classify_successor</code> in <code>tpc_zone</code>):		A change to the TFK makes a new UWC with a new UUID and a new prefix. Copy-forward carries the old register across: every inherited record enters PROVISIONAL and names the record it came from in its INHERITS field, and a refuted or withdrawn one is withdrawn again at once, by a withdrawal record of cause INHERITED, so it stays so ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4]]). The digests say what kind of successor it is ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|TPS 2.5]]). On the example, computed with TPC-PY's own successor classification (<code>classify_successor</code> in <code>tpc_zone</code>):
	<pre>		<pre>
	K written "2" -> "3" YARDSTICK_ONLY (examples/spring_succ_k3.json)		K written "2" -> "3" YARDSTICK_ONLY (examples/spring_succ_k3.json)
Line 59:		Line 59:

	== Worked example ==		== Worked example ==
	Months later the spring UWC's author wants a different multiplier K for the contradiction test. That changes only the Measure Set: a yardstick-only successor, whose first CAC re-runs only the checks K bears on, SR3 and SR8 ([[The Principia Machina/TPS/4.1 The audit and its authority\|TPS 4.1.9]]~~; revision 7, proposed~~). Adding a damping term, or declaring gravity and the track, changes the kernel itself: a full successor, whose inherited records enter PROVISIONAL and are re-audited at its first CAC under the re-audit scope rule, TPC reaudit_scope: it reads which zones and TMS parameters differ and returns the checks to re-run, here every check, since D(TPK) moved ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4.7]], [[The Principia Machina/TPS/4.1 The audit and its authority\|4.1.9]]~~; revision 7, proposed~~).		Months later the spring UWC's author wants a different multiplier K for the contradiction test. That changes only the Measure Set: a yardstick-only successor, whose first CAC re-runs only the checks K bears on, SR3 and SR8 ([[The Principia Machina/TPS/4.1 The audit and its authority\|TPS 4.1.9]]). Adding a damping term, or declaring gravity and the track, changes the kernel itself: a full successor, whose inherited records enter PROVISIONAL and are re-audited at its first CAC under the re-audit scope rule, TPC reaudit_scope: it reads which zones and TMS parameters differ and returns the checks to re-run, here every check, since D(TPK) moved ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4.7]], [[The Principia Machina/TPS/4.1 The audit and its authority\|4.1.9]]).

	Governing sections: [[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|TPS 2.1]], [[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5]], [[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|3.4]] and [[The Principia Machina/TPS/5.5 The new-container flow\|5.5]].		Governing sections: [[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|TPS 2.1]], [[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5]], [[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|3.4]] and [[The Principia Machina/TPS/5.5 The new-container flow\|5.5]].

BFP Rauch: 1 revision imported

2026-09-30T02:11:13Z

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-3)

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 9:		Line 9:
	What changes for you once the UWC exists, and what to do when you want to change it.		What changes for you once the UWC exists, and what to do when you want to change it.

	''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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.''		''Explains: TPS 0.3.0 (declared final on 2026-09-28 at revision 6; it follows TPS 0.1.1, declared final on 2026-09-26; revision 7, proposed as TPS 0.4.0, is on the TPS pages from batch B2, and a passage marked "revision 7, proposed" states it), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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 you can still do ==		== What you can still do ==
	* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).		* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).
	* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2). An initial or boundary value - where the mass starts, say - is not a law of the kernel: a result that relies on one cites it as its own ASSUMPTION record ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). ~~Until the record field schema (C-16) lands, a~~ measured value of a quantity that changes along the motion is compared ~~with others~~ by inspection~~, not tested mechanically~~ ([[The Principia Machina/TPS/4.4 The strike rule\|4.4.13]]). If the UWC opened with the first task EOM-0, that task comes first: until every DOF the structure check found without a law has one, only EOM-0 work and reproductions land ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).		* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2). An initial or boundary value - where the mass starts, say - is not a law of the kernel: a result that relies on one cites it as its own ASSUMPTION record ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). A measured value of a quantity that changes along the motion is tested by machine against another only when both rest on the same initial and boundary values, written as structured SITUATION records, and state the same point AT where the value holds; any other such pair is compared by inspection ([[The Principia Machina/TPS/4.4 The strike rule\|4.4.13]]; revision 7, proposed). If the UWC opened with the first task EOM-0, that task comes first: until every DOF the structure check found without a law has one, only EOM-0 work and reproductions land, and TPX marks each such DOF settled when a record carrying its equation in declared form lands (revision 7, proposed) ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).
	* '''Read everything''': every page of every UWC is public.		* '''Read everything''': every page of every UWC is public.

Line 20:		Line 20:

	== Changing the kernel: copy-forward ==		== Changing the kernel: copy-forward ==
	A change to the TFK makes a new UWC with a new UUID and a new prefix. Copy-forward carries the old register across: inherited ~~records enter~~ PROVISIONAL, refuted ~~ones stay refuted~~, ~~and each keeps~~ a ~~pointer back~~ ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4]]). The digests say what kind of successor it is ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|TPS 2.5]]). On the example, computed with TPC-PY's own successor classification (<code>classify_successor</code> in <code>tpc_zone</code>):		A change to the TFK makes a new UWC with a new UUID and a new prefix. Copy-forward carries the old register across: every inherited record enters PROVISIONAL and names the record it came from in its INHERITS field, and a refuted or withdrawn one is withdrawn again at once, by a withdrawal record of cause INHERITED, so it stays so (revision 7, proposed) ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4]]). The digests say what kind of successor it is ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|TPS 2.5]]). On the example, computed with TPC-PY's own successor classification (<code>classify_successor</code> in <code>tpc_zone</code>):
	<pre>		<pre>
	K written "2" -> "3" YARDSTICK_ONLY (examples/spring_succ_k3.json)		K written "2" -> "3" YARDSTICK_ONLY (examples/spring_succ_k3.json)
Line 59:		Line 59:

	== Worked example ==		== Worked example ==
	Months later the spring UWC's author wants a different multiplier K for the contradiction test. That changes only the Measure Set: a yardstick-only successor, ~~which the~~ re-~~audit may treat more narrowly~~ ([[The Principia Machina/TPS/4.1 The audit and its authority\|TPS 4.1]]). Adding a damping term, or declaring gravity and the track, changes the kernel itself: a full successor, whose inherited records enter PROVISIONAL and are re-audited at its first CAC under the re-audit scope rule, which ~~is still owed~~ ([[The Principia Machina/TPS/4.1 The audit and its authority\|~~TPS~~ 4.1]]).		Months later the spring UWC's author wants a different multiplier K for the contradiction test. That changes only the Measure Set: a yardstick-only successor, whose first CAC re-runs only the checks K bears on, SR3 and SR8 ([[The Principia Machina/TPS/4.1 The audit and its authority\|TPS 4.1.9]]; revision 7, proposed). Adding a damping term, or declaring gravity and the track, changes the kernel itself: a full successor, whose inherited records enter PROVISIONAL and are re-audited at its first CAC under the re-audit scope rule, TPC reaudit_scope: it reads which zones and TMS parameters differ and returns the checks to re-run, here every check, since D(TPK) moved ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4.7]], [[The Principia Machina/TPS/4.1 The audit and its authority\|4.1.9]]; revision 7, proposed).

	Governing sections: [[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|TPS 2.1]], [[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5]], [[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|3.4]] and [[The Principia Machina/TPS/5.5 The new-container flow\|5.5]].		Governing sections: [[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|TPS 2.1]], [[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5]], [[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|3.4]] and [[The Principia Machina/TPS/5.5 The new-container flow\|5.5]].

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:50Z

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 9:		Line 9:
	What changes for you once the UWC exists, and what to do when you want to change it.		What changes for you once the UWC exists, and what to do when you want to change it.

	''Explains: ~~TPS revision 6 (proposed as~~ TPS 0.3.0 ~~until the declaring authority declares it~~; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); 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; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); [[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 you can still do ==		== What you can still do ==
	* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).		* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).
	* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2). An initial or boundary value - where the mass starts, say - is not a law of the kernel: a result that relies on one cites it as its own ASSUMPTION record ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). Until the record field schema (C-16) lands, a measured value of a quantity that changes along the motion is compared with others by inspection, not tested mechanically ([[The Principia Machina/TPS/4.4 The strike rule\|4.4.13]]). If the UWC opened with the first task EOM-0, that task comes first: until every DOF the structure check found without a law has one, only EOM-0 work ~~lands~~ ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).		* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2). An initial or boundary value - where the mass starts, say - is not a law of the kernel: a result that relies on one cites it as its own ASSUMPTION record ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). Until the record field schema (C-16) lands, a measured value of a quantity that changes along the motion is compared with others by inspection, not tested mechanically ([[The Principia Machina/TPS/4.4 The strike rule\|4.4.13]]). If the UWC opened with the first task EOM-0, that task comes first: until every DOF the structure check found without a law has one, only EOM-0 work and reproductions land ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).
	* '''Read everything''': every page of every UWC is public.		* '''Read everything''': every page of every UWC is public.

BFP Rauch: 1 revision imported

2026-09-28T03:56:37Z

1 revision imported

← Older revision		Revision as of 03:56, 28 September 2026
(No difference)

DeltaS Zero: Second help pass (HELP-PASS-2): agent D's draft: its PENDING lines closed and D176.1-D190.1 applied; every quoted output re-printed from the increment-10 tree (S10)

2026-09-28T03:55:00Z

Second help pass (HELP-PASS-2): agent D's draft: its PENDING lines closed and D176.1-D190.1 applied; every quoted output re-printed from the increment-10 tree (S10)

← Older revision		Revision as of 03:55, 28 September 2026
Line 9:		Line 9:
	What changes for you once the UWC exists, and what to do when you want to change it.		What changes for you once the UWC exists, and what to do when you want to change it.

	''Explains: TPS 0.2.0 ~~(proposed; revision 5 of~~ the ~~tree, imported 2026-09-26, not yet declared~~; TPS 0.1.~~0 was~~ declared final on 2026-09-22), whose sections 2.2 to 2.5 ~~now~~ carry the zone schemas ~~at schema 0.4.0~~ with the optional declared form (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1 and ~~D132~~.1); TPC-PY as built at increment 9 (tpc_zone 0.4.0, tpc_units 0.1.0, tpc_tests 0.2.0, tpc_form 0.1.0; no TPC-PY version is declared yet) with check_draft 0.4.0. Where this page and the specification differ, the specification governs.''		''Explains: TPS revision 6 (proposed as TPS 0.3.0 until the declaring authority declares it; it follows TPS 0.1.1, declared final on 2026-09-26), whose sections 2.2 to 2.5 carry the zone schemas with the optional declared form, the ROLE field, the D variable and the structure check (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1, D132.1, D176.1, D177.1, D179.1 and D186.1); 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.''

	== What you can still do ==		== What you can still do ==
	* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).		* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).
	* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2).		* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2). An initial or boundary value - where the mass starts, say - is not a law of the kernel: a result that relies on one cites it as its own ASSUMPTION record ([[The Principia Machina/TPS/3.2 Record fields and regime\|TPS 3.2.15]]). Until the record field schema (C-16) lands, a measured value of a quantity that changes along the motion is compared with others by inspection, not tested mechanically ([[The Principia Machina/TPS/4.4 The strike rule\|4.4.13]]). If the UWC opened with the first task EOM-0, that task comes first: until every DOF the structure check found without a law has one, only EOM-0 work lands ([[The Principia Machina/TPS/3.3 Record classes and schemas\|TPS 3.3.16]]).
	* '''Read everything''': every page of every UWC is public.		* '''Read everything''': every page of every UWC is public.

DeltaS Zero: Help batch (D185.1 (d)): the tutorial and inputs redraft of 2026-09-26 with its PENDING lines (items D176-D181 open); abbreviations expanded at first use (the user's directive, 2026-09-26)

2026-09-27T01:00:33Z

Help batch (D185.1 (d)): the tutorial and inputs redraft of 2026-09-26 with its PENDING lines (items D176-D181 open); abbreviations expanded at first use (the user's directive, 2026-09-26)

← Older revision		Revision as of 01:00, 27 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-27T00:13:39Z

1 revision imported

← Older revision		Revision as of 00:13, 27 September 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Tutorial 8: After the declaration}}		{{DISPLAYTITLE:Tutorial 8: After the declaration}}
	''Tutorial: create a new UWC. One small example - a mass on a ~~linear~~ spring, moving ~~only~~ along x - is taken from a blank file to a declared UWC in eight steps. Each step says what runs today and what is specified but not yet built. It explains; the specification governs. Field-by-field reference: [[The Principia Machina/Inputs\|Public Recorder inputs]].''		''Tutorial: create a new UWC. One small example - a mass on a spring, moving along one line, with nothing else in its world - is taken from a blank file to a declared UWC in eight steps. Each step says what runs today and what is specified but not yet built. It explains; the specification governs. Field-by-field reference: [[The Principia Machina/Inputs\|Public Recorder inputs]].''

	{{:The Principia Machina/Diagrams/05 Copy-forward}}		{{:The Principia Machina/Diagrams/05 Copy-forward}}
Line 9:		Line 9:
	What changes for you once the UWC exists, and what to do when you want to change it.		What changes for you once the UWC exists, and what to do when you want to change it.

	''Explains: TPS 0.1.0~~, revision 4 (~~declared final 2026-09-22); the zone schemas the ~~declaring authority selected on 2026-09-22~~ (records D92.1, D98.1, D99.1, D100.1, ~~and for units~~ D103.1~~, D104.1,~~ D105.1~~; schema 0.3.0), whose text enters TPS at revision 5~~, ~~and the kernel tests and isomorphism checks selected the same day (~~D106.1~~, D107~~.1~~, D108~~.1~~; tpm_kernel_tests 0.2.0~~)~~, whose text follows at the next TPS revision~~; TPC-PY as built ~~2026-09-22~~ (tpc_zone 0.3.0, tpc_units 0.1.0, tpc_tests 0.1.0; no TPC-PY version is declared yet) with check_draft 0.3.0. Where this page and the specification differ, the specification governs.''		''Explains: TPS 0.2.0 (proposed; revision 5 of the tree, imported 2026-09-26, not yet declared; TPS 0.1.0 was declared final on 2026-09-22), whose sections 2.2 to 2.5 now carry the zone schemas at schema 0.4.0 with the optional declared form (records D92.1, D98.1, D99.1, D100.1, D103.1-D105.1, D106.1-D108.1 and D132.1); TPC-PY as built at increment 9 (tpc_zone 0.4.0, tpc_units 0.1.0, tpc_tests 0.2.0, tpc_form 0.1.0; no TPC-PY version is declared yet) with check_draft 0.4.0. Where this page and the specification differ, the specification governs.''

	== What you can still do ==		== What you can still do ==
	* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).		* '''Keep the access list''' of a CLOSED UWC. That is H-OWN's one right ([[The Principia Machina/Inputs/Access list\|the access list]]).
	* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]).		* '''Put work into the register''' through the RR input buffer. Certified agents work it; TPX writes the records ([[The Principia Machina/Inputs/Register records\|register records]]). Every result must derive from the TFK and the assumptions it declares; a result that uses a force stated neither in the kernel nor in its own declared assumptions does not stand ([[The Principia Machina/TPS/4.4 The strike rule\|TPS 4.4]], SR2).
	* '''Read everything''': every page of every UWC is public.		* '''Read everything''': every page of every UWC is public.

	== What you cannot do ==		== What you cannot do ==
	Edit the TFK. The pages are protected, the digest gate checks them before every write, and an attempt to change them is refused and redirected to the new-container form ([[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]]).		Edit the TFK. The pages are protected, the digest gate checks them before every write, and an attempt to change them is refused and redirected to the new-container form ([[The Principia Machina/TPS/5.5 The new-container flow\|TPS 5.5]]). In particular, you cannot "switch on" gravity or friction in a declared UWC: a force added is a new kernel.

	== Changing the kernel: copy-forward ==		== Changing the kernel: copy-forward ==
	A change to the TFK makes a new UWC with a new UUID and a new prefix. Copy-forward carries the old register across: inherited records enter PROVISIONAL, refuted ones stay refuted, and each keeps a pointer back ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4]]). The digests say what kind of successor it is ([[The Principia Machina/TPS/2.~~1 The Full Kernel~~ and ~~immutability~~\|TPS 2.1]]). On the example:		A change to the TFK makes a new UWC with a new UUID and a new prefix. Copy-forward carries the old register across: inherited records enter PROVISIONAL, refuted ones stay refuted, and each keeps a pointer back ([[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|TPS 3.4]]). The digests say what kind of successor it is ([[The Principia Machina/TPS/2.5 Digests and the digest gate\|TPS 2.5]]). On the example, computed with TPC-PY's own successor classification (<code>classify_successor</code> in <code>tpc_zone</code>):
	<pre>		<pre>
	K written "2" -> "3" YARDSTICK_ONLY		K written "2" -> "3" YARDSTICK_ONLY (examples/spring_succ_k3.json)
	D(TPK) unchanged		D(TPK) unchanged
	D(TrM) unchanged		D(TrM) unchanged
	D(TMS) moved		D(TMS) moved
	damping ~~law~~ added to N2 ~~KERNEL_CHANGED~~		damping term -c_d v added to EOM_X KERNEL_CHANGED (examples/spring_succ_damped.json)
	D(TPK) moved		D(TPK) moved
			D(TrM) unchanged
			D(TMS) unchanged
			EOM_X written -x * k_s for -k_s * x KERNEL_CHANGED (examples/spring_succ_reordered.json)
			D(TPK) moved
			D(TrM) unchanged
			D(TMS) unchanged
			gravity and the track's support declared KERNEL_CHANGED (examples/spring_track_draft.json)
			D(TPK) moved
			D(TrM) moved
			D(TMS) unchanged
			x_max, v, C_NOZ and two forms respelled IDENTICAL (examples/spring_respelled.json)
			D(TPK) unchanged
	D(TrM) unchanged		D(TrM) unchanged
	D(TMS) unchanged		D(TMS) unchanged
	</pre>		</pre>

	Only a change of meaning moves a digest: respelling a decimal, ~~reordering~~ a dimension or ~~respelling~~ a ~~unit~~ gives IDENTICAL.		Only a change of meaning moves a digest: respelling a decimal, a dimension, a unit or a declared form gives IDENTICAL. But in a declared form only the spelling is normalized, not the algebra: <code>-x * k_s</code> and <code>-k_s * x</code> say the same thing and are different kernels.

	== If the digest gate halts ==		== If the digest gate halts ==
Line 47:		Line 59:

	== Worked example ==		== Worked example ==
	Months later the spring UWC's author wants a different multiplier K for the contradiction test. That changes only the Measure Set: a yardstick-only successor, which the re-audit may treat more narrowly ([[The Principia Machina/TPS/4.1 The audit and its authority\|TPS 4.1]]). Adding a damping ~~law~~ changes the kernel itself: a full successor.		Months later the spring UWC's author wants a different multiplier K for the contradiction test. That changes only the Measure Set: a yardstick-only successor, which the re-audit may treat more narrowly ([[The Principia Machina/TPS/4.1 The audit and its authority\|TPS 4.1]]). Adding a damping term, or declaring gravity and the track, changes the kernel itself: a full successor, whose inherited records enter PROVISIONAL and are re-audited at its first CAC under the re-audit scope rule, which is still owed ([[The Principia Machina/TPS/4.1 The audit and its authority\|TPS 4.1]]).

	Governing sections: [[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|TPS 2.1]], [[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|3.4]], [[The Principia Machina/TPS/5.5 The new-container flow\|5~~.5]] and [[The Principia Machina/TPS/2.5 Digests and the digest gate\|2~~.5]].		Governing sections: [[The Principia Machina/TPS/2.1 The Full Kernel and immutability\|TPS 2.1]], [[The Principia Machina/TPS/2.5 Digests and the digest gate\|2.5]], [[The Principia Machina/TPS/3.4 Inheritance under copy-forward\|3.4]] and [[The Principia Machina/TPS/5.5 The new-container flow\|5.5]].

	----		----