The Principia Machina/Walk through/4 When findings disagree - 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 29:		Line 29:
	Two limits of the closeness score are named rather than hidden. One: whether an assumption is really one assumption is still a judgment, now made once, when the assumption gets its number, rather than at every comparison. Two: the step count is measured over a finding's own derivation, so redrawing the boundary between two findings can move it.		Two limits of the closeness score are named rather than hidden. One: whether an assumption is really one assumption is still a judgment, now made once, when the assumption gets its number, rather than at every comparison. Two: the step count is measured over a finding's own derivation, so redrawing the boundary between two findings can move it.

	A third limit is about motion. A measured value of something that moves, a position at some moment, depends on where the motion started. So a finding now carries, in a form the machine can read, the starting values it assumed and the moment its value holds, and the machine tests two such values against each other only when both rest on the same starting values and hold at the same moment. Where a starting value is written only in words, two such values are still compared by a person; and a value that happens not to change, where the kernel does not fix it, still needs its moment stated before the machine will compare it (a value the kernel fixes is compared without one), a limit the specification names ([[The Principia Machina/TPS/4.4 The strike rule\|section 4.4.13]]~~; revision 7, proposed~~).		A third limit is about motion. A measured value of something that moves, a position at some moment, depends on where the motion started. So a finding now carries, in a form the machine can read, the starting values it assumed and the moment its value holds, and the machine tests two such values against each other only when both rest on the same starting values and hold at the same moment. Where a starting value is written only in words, two such values are still compared by a person; and a value that happens not to change, where the kernel does not fix it, still needs its moment stated before the machine will compare it (a value the kernel fixes is compared without one), a limit the specification names ([[The Principia Machina/TPS/4.4 The strike rule\|section 4.4.13]]).

	A comparison with a value from outside the container is kept apart from all of this: it is checked only against the finding it compares, never counted as one more voice in a disagreement, and a logical finding it contradicts is not struck but gets a gap on the record ([[The Principia Machina/TPS/3.3 Record classes and schemas\|section 3.3.6]]~~; revision 7, proposed~~).		A comparison with a value from outside the container is kept apart from all of this: it is checked only against the finding it compares, never counted as one more voice in a disagreement, and a logical finding it contradicts is not struck but gets a gap on the record ([[The Principia Machina/TPS/3.3 Record classes and schemas\|section 3.3.6]]).

	----		----

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)

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 29:		Line 29:
	Two limits of the closeness score are named rather than hidden. One: whether an assumption is really one assumption is still a judgment, now made once, when the assumption gets its number, rather than at every comparison. Two: the step count is measured over a finding's own derivation, so redrawing the boundary between two findings can move it.		Two limits of the closeness score are named rather than hidden. One: whether an assumption is really one assumption is still a judgment, now made once, when the assumption gets its number, rather than at every comparison. Two: the step count is measured over a finding's own derivation, so redrawing the boundary between two findings can move it.

	A third limit is ~~temporary~~. A measured value of something that moves, a position at some moment, depends on where the motion started, ~~and until records carry their starting conditions~~ in a ~~field~~ the machine can read, two such values are compared by a person, not by the machine ([[The Principia Machina/TPS/4.4 The strike rule\|section 4.4.13]]).		A third limit is about motion. A measured value of something that moves, a position at some moment, depends on where the motion started. So a finding now carries, in a form the machine can read, the starting values it assumed and the moment its value holds, and the machine tests two such values against each other only when both rest on the same starting values and hold at the same moment. Where a starting value is written only in words, two such values are still compared by a person; and a value that happens not to change, where the kernel does not fix it, still needs its moment stated before the machine will compare it (a value the kernel fixes is compared without one), a limit the specification names ([[The Principia Machina/TPS/4.4 The strike rule\|section 4.4.13]]; revision 7, proposed).

			A comparison with a value from outside the container is kept apart from all of this: it is checked only against the finding it compares, never counted as one more voice in a disagreement, and a logical finding it contradicts is not struck but gets a gap on the record ([[The Principia Machina/TPS/3.3 Record classes and schemas\|section 3.3.6]]; revision 7, proposed).

	----		----

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

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 25:		Line 25:
	All of this is an audit, run by the machine at the container's birth and at every later pass. The audit can strike, and it can open a review, but it never decides a review: every review ends as a question put to a person, with the options laid out. The rules behind this page: [[The Principia Machina/TPS/4.1 The audit and its authority\|section 4.1]] on the audit, [[The Principia Machina/TPS/4.3 The strike skeleton\|section 4.3]] and [[The Principia Machina/TPS/4.4 The strike rule\|section 4.4]] on the strike rule itself.		All of this is an audit, run by the machine at the container's birth and at every later pass. The audit can strike, and it can open a review, but it never decides a review: every review ends as a question put to a person, with the options laid out. The rules behind this page: [[The Principia Machina/TPS/4.1 The audit and its authority\|section 4.1]] on the audit, [[The Principia Machina/TPS/4.3 The strike skeleton\|section 4.3]] and [[The Principia Machina/TPS/4.4 The strike rule\|section 4.4]] on the strike rule itself.

	One thing had to be settled before any of this could be mechanical: when are two numbers about the same thing? The answer is the dictionary. Two measured findings are compared only if they name the same entry in it, and the machine converts both to the ~~entry's dimension~~ first~~, using the re-representations the kernel declared~~. 2.54 and 1.00 are not a disagreement if one is centimeters and the other ~~inches~~; they are not even comparable if one is a length and the other a time. A difference of convention that the kernel never declared does not get guessed at either: it opens a review.		One thing had to be settled before any of this could be mechanical: when are two numbers about the same thing? The answer is the dictionary. Two measured findings are compared only if they name the same entry in it, and the machine converts both to the same SI units first ([[The Principia Machina/TPS/4.4 The strike rule\|section 4.4.4]]). 2.54 and 25.4 are not a disagreement if one is centimeters and the other millimeters; they are not even comparable if one is a length and the other a time. A difference of convention that the kernel never declared does not get guessed at either: it opens a review.

	Two limits of the closeness score are named rather than hidden. One: whether an assumption is really one assumption is still a judgment, now made once, when the assumption gets its number, rather than at every comparison. Two: the step count is measured over a finding's own derivation, so redrawing the boundary between two findings can move it.		Two limits of the closeness score are named rather than hidden. One: whether an assumption is really one assumption is still a judgment, now made once, when the assumption gets its number, rather than at every comparison. Two: the step count is measured over a finding's own derivation, so redrawing the boundary between two findings can move it.

			A third limit is temporary. A measured value of something that moves, a position at some moment, depends on where the motion started, and until records carry their starting conditions in a field the machine can read, two such values are compared by a person, not by the machine ([[The Principia Machina/TPS/4.4 The strike rule\|section 4.4.13]]).

	----		----

DeltaS Zero: Walk through, page 4 of 8 (naming declaration 2026-09-24) Moved to the walk-through title 2026-09-25 (P3.2); links retargeted.

2026-09-25T05:44:10Z

Walk through, page 4 of 8 (naming declaration 2026-09-24) Moved to the walk-through title 2026-09-25 (P3.2); links retargeted.

← Older revision		Revision as of 05:44, 25 September 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:When findings disagree}}		{{DISPLAYTITLE:When findings disagree}}
	''The walk, page 4 of 8. Written for the general reader; nothing here is a rule, and every rule it mentions is linked to the page of the specification that states it.''		''The walk through, page 4 of 8. Written for the general reader; nothing here is a rule, and every rule it mentions is linked to the page of the specification that states it.''

	== When findings disagree ==		== When findings disagree ==
Line 30:		Line 30:

	----		----
	Previous: [[The Principia Machina/Walk/3 The register: every finding, in order\|The register: every finding, in order]]. Next: [[The Principia Machina/Walk/5 Pages you can trust\|Pages you can trust]].		Previous: [[The Principia Machina/Walk through/3 The register: every finding, in order\|The register: every finding, in order]]. Next: [[The Principia Machina/Walk through/5 Pages you can trust\|Pages you can trust]].

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

DeltaS Zero: DeltaS Zero moved page The Principia Machina/Walk/4 When findings disagree to The Principia Machina/Walk through/4 When findings disagree: Walk-through naming declaration of 2026-09-24 (close plan 4.1; pause P3.2): the general-reader set is "the walk through"; redirect left, history carried

2026-09-25T05:26:52Z

DeltaS Zero moved page The Principia Machina/Walk/4 When findings disagree to The Principia Machina/Walk through/4 When findings disagree: Walk-through naming declaration of 2026-09-24 (close plan 4.1; pause P3.2): the general-reader set is "the walk through"; redirect left, history carried

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

BFP Rauch: 1 revision imported

2026-09-22T06:09:45Z

1 revision imported

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

BFP Rauch: 1 revision imported

2026-09-22T05:33:59Z

1 revision imported

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