The Principia Machina/Diagrams/04 CAC check flow - Revision history

BFP Rauch: 1 revision imported

2026-09-30T13:34:13Z

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; REDRAWS-14)

2026-09-30T13:34:05Z

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

← Older revision		Revision as of 13:34, 30 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: static, TPS 4.2 check list, 4.1.3		* GENERATED FROM: static, TPS 4.2 check list, 4.1.3
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the final pass, with T3, IC2's disposition and the structure check with its label, 4.2 rows 66 and 70); checked against revision 7, ~~proposed,~~ on 2026-09-29: also not drawn: every record checked against the record table, row 77; a contradiction's WITHDRAWAL with its cascade, 3.3.3; superseded by TPX at its first build		* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the final pass, with T3, IC2's disposition and the structure check with its label, 4.2 rows 66 and 70); checked against revision 7 on 2026-09-29, declared final as TPS 0.4.0 on 2026-09-30: also not drawn: every record checked against the record table, row 77; a contradiction's WITHDRAWAL with its cascade, 3.3.3; checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: no change bears on it; superseded by TPX at its first build
	* SOURCE SHA-256: <code>5c85e0992f4d7e16b255b0e6c8b764367c1457c79229169bfc757e82e92075f4</code>		* SOURCE SHA-256: <code>5c85e0992f4d7e16b255b0e6c8b764367c1457c79229169bfc757e82e92075f4</code>

Line 65:		Line 65:

	== Text equivalent ==		== Text equivalent ==
	At certification the congruence and completeness audit (CAC) runs the zone checks, the kernel tests T1-T6 and the isomorphism checks, as each zone is entered (4.2 rows 34, 35, 17, 18), the digests (row 2), prefix uniqueness (row 14), atomicity of assumptions (row 23) and regime assignment (row 19), then checks every record against the register, the master record (4.1.2) and the record table (4.2 row 77, 3.2.21~~; revision 7, proposed~~) and applies SR3 to SR6 of the strike rule (rows 20, 21, 22, 24). At the final pass, not drawn, T3 runs over the constraints and over laws to the ground fragment, IC2_POLICY disposes of any untied degree of freedom (DOF), and, with STRUCTURE_CHECK ON, the structure check lists its findings for the declaring authority and gives the label the certificate carries on its STRUCTURE LINE; it refuses nothing (2.2.17, 2.2.20, 5.5.2, 5.5.3; rows 66, 70). All passing yields the candidate certificate (5.5.3); a contradiction yields a WITHDRAWAL record, which writes the status REFUTED into the struck record and withdraws, in the same act, the records whose citations or assumptions reach it (4.6.1, 3.3.3, 3.3.14~~; revision 7, proposed~~); equal distance, a reached threshold N_x of the Measure Set or a gold-standard case opens an audit block ending in a decision item (4.1.5). A rejected component returns to its author (5.5.2).		At certification the congruence and completeness audit (CAC) runs the zone checks, the kernel tests T1-T6 and the isomorphism checks, as each zone is entered (4.2 rows 34, 35, 17, 18), the digests (row 2), prefix uniqueness (row 14), atomicity of assumptions (row 23) and regime assignment (row 19), then checks every record against the register, the master record (4.1.2) and the record table (4.2 row 77, 3.2.21) and applies SR3 to SR6 of the strike rule (rows 20, 21, 22, 24). At the final pass, not drawn, T3 runs over the constraints and over laws to the ground fragment, IC2_POLICY disposes of any untied degree of freedom (DOF), and, with STRUCTURE_CHECK ON, the structure check lists its findings for the declaring authority and gives the label the certificate carries on its STRUCTURE LINE; it refuses nothing (2.2.17, 2.2.20, 5.5.2, 5.5.3; rows 66, 70). All passing yields the candidate certificate (5.5.3); a contradiction yields a WITHDRAWAL record, which writes the status REFUTED into the struck record and withdraws, in the same act, the records whose citations or assumptions reach it (4.6.1, 3.3.3, 3.3.14); equal distance, a reached threshold N_x of the Measure Set or a gold-standard case opens an audit block ending in a decision item (4.1.5). A rejected component returns to its author (5.5.2).

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

BFP Rauch: 1 revision imported

2026-09-30T02:11:09Z

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)

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: static, TPS 4.2 check list, 4.1.3		* GENERATED FROM: static, TPS 4.2 check list, 4.1.3
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the final pass, with T3, IC2's disposition and the structure check with its label, 4.2 rows 66 and 70); superseded by TPX at its first build		* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the final pass, with T3, IC2's disposition and the structure check with its label, 4.2 rows 66 and 70); checked against revision 7, proposed, on 2026-09-29: also not drawn: every record checked against the record table, row 77; a contradiction's WITHDRAWAL with its cascade, 3.3.3; superseded by TPX at its first build
	* SOURCE SHA-256: <code>5c85e0992f4d7e16b255b0e6c8b764367c1457c79229169bfc757e82e92075f4</code>		* SOURCE SHA-256: <code>5c85e0992f4d7e16b255b0e6c8b764367c1457c79229169bfc757e82e92075f4</code>

Line 65:		Line 65:

	== Text equivalent ==		== Text equivalent ==
	At certification the congruence and completeness audit (CAC) runs the zone checks, the kernel tests T1-T6 and the isomorphism checks, as each zone is entered (4.2 rows 34, 35, 17, 18), the digests (row 2), prefix uniqueness (row 14), atomicity of assumptions (row 23) and regime assignment (row 19), then checks every record against the register ~~and~~ the master record (4.1.2) and applies SR3 to SR6 of the strike rule (rows 20, 21, 22, 24). At the final pass, not drawn, T3 runs over the constraints and over laws to the ground fragment, IC2_POLICY disposes of any untied degree of freedom (DOF), and, with STRUCTURE_CHECK ON, the structure check lists its findings for the declaring authority and gives the label the certificate carries on its STRUCTURE LINE; it refuses nothing (2.2.17, 2.2.20, 5.5.2, 5.5.3; rows 66, 70). All passing yields the candidate certificate (5.5.3); a contradiction yields a ~~withdrawal~~ record (4.6.1); equal distance, a reached threshold N_x of the Measure Set or a gold-standard case opens an audit block ending in a decision item (4.1.5). A rejected component returns to its author (5.5.2).		At certification the congruence and completeness audit (CAC) runs the zone checks, the kernel tests T1-T6 and the isomorphism checks, as each zone is entered (4.2 rows 34, 35, 17, 18), the digests (row 2), prefix uniqueness (row 14), atomicity of assumptions (row 23) and regime assignment (row 19), then checks every record against the register, the master record (4.1.2) and the record table (4.2 row 77, 3.2.21; revision 7, proposed) and applies SR3 to SR6 of the strike rule (rows 20, 21, 22, 24). At the final pass, not drawn, T3 runs over the constraints and over laws to the ground fragment, IC2_POLICY disposes of any untied degree of freedom (DOF), and, with STRUCTURE_CHECK ON, the structure check lists its findings for the declaring authority and gives the label the certificate carries on its STRUCTURE LINE; it refuses nothing (2.2.17, 2.2.20, 5.5.2, 5.5.3; rows 66, 70). All passing yields the candidate certificate (5.5.3); a contradiction yields a WITHDRAWAL record, which writes the status REFUTED into the struck record and withdraws, in the same act, the records whose citations or assumptions reach it (4.6.1, 3.3.3, 3.3.14; revision 7, proposed); equal distance, a reached threshold N_x of the Measure Set or a gold-standard case opens an audit block ending in a decision item (4.1.5). A rejected component returns to its author (5.5.2).

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

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

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): HF

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

BFP Rauch: 1 revision imported

2026-09-29T02:10:48Z

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: static, TPS 4.2 check list, 4.1.3		* GENERATED FROM: static, TPS 4.2 check list, 4.1.3
	* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build		* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the final pass, with T3, IC2's disposition and the structure check with its label, 4.2 rows 66 and 70); superseded by TPX at its first build
	* SOURCE SHA-256: <code>5c85e0992f4d7e16b255b0e6c8b764367c1457c79229169bfc757e82e92075f4</code>		* SOURCE SHA-256: <code>5c85e0992f4d7e16b255b0e6c8b764367c1457c79229169bfc757e82e92075f4</code>

Line 65:		Line 65:

	== Text equivalent ==		== Text equivalent ==
	At certification the CAC runs the zone checks (4.2 rows 34, 35, 17, 18), the digests (row 2), prefix uniqueness (row 14), atomicity of assumptions (row 23) and regime assignment (row 19), then checks every record against the register and the master record (4.1.2) and applies SR3 to SR6 (rows 20, 21, 22, 24). All passing yields the candidate certificate (5.5.3); a contradiction yields a withdrawal record (4.6.1); equal distance, a reached N_x or a gold-standard case opens an audit block ending in a decision item (4.1.5). A rejected component returns to its author (5.5.2).		At certification the congruence and completeness audit (CAC) runs the zone checks, the kernel tests T1-T6 and the isomorphism checks, as each zone is entered (4.2 rows 34, 35, 17, 18), the digests (row 2), prefix uniqueness (row 14), atomicity of assumptions (row 23) and regime assignment (row 19), then checks every record against the register and the master record (4.1.2) and applies SR3 to SR6 of the strike rule (rows 20, 21, 22, 24). At the final pass, not drawn, T3 runs over the constraints and over laws to the ground fragment, IC2_POLICY disposes of any untied degree of freedom (DOF), and, with STRUCTURE_CHECK ON, the structure check lists its findings for the declaring authority and gives the label the certificate carries on its STRUCTURE LINE; it refuses nothing (2.2.17, 2.2.20, 5.5.2, 5.5.3; rows 66, 70). All passing yields the candidate certificate (5.5.3); a contradiction yields a withdrawal record (4.6.1); equal distance, a reached threshold N_x of the Measure Set or a gold-standard case opens an audit block ending in a decision item (4.1.5). A rejected component returns to its author (5.5.2).

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

DeltaS Zero: Structural diagram 4 of 13 (the hub lists thirteen; diagram 13 added 2026-09-22)

2026-09-25T05:40:23Z

Structural diagram 4 of 13 (the hub lists thirteen; diagram 13 added 2026-09-22)

← Older revision		Revision as of 05:40, 25 September 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Diagram 04 CAC check flow}}		{{DISPLAYTITLE:Diagram 04 CAC check flow}}
	''Structural diagram 4 of 12.'' Part of [[The Principia Machina/Hub\|the TPM hub]].		''Structural diagram 4 of 13.'' Part of [[The Principia Machina/Hub\|the TPM hub]].
	* KIND: process		* KIND: process
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
Line 68:		Line 68:

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

BFP Rauch: 1 revision imported

2026-09-22T06:09:44Z

1 revision imported

← Older revision	Revision as of 06:09, 22 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-22T05:33:58Z

1 revision imported

← Older revision	Revision as of 05:33, 22 September 2026
(No difference)

BFP Rauch: Human-facing page: 04 CAC check flow

2026-09-22T05:25:03Z

Human-facing page: 04 CAC check flow

← Older revision	Revision as of 05:25, 22 September 2026
(No difference)