https://invarians.org/index.php?action=history&feed=atom&title=The_Principia_Machina%2FTPC-PY%2Fvectors%2Fstrike_corpus.json
The Principia Machina/TPC-PY/vectors/strike corpus.json - Revision history
2026-10-21T16:03:11Z
Revision history for this page on the wiki
MediaWiki 1.46.2
https://invarians.org/index.php?title=The_Principia_Machina/TPC-PY/vectors/strike_corpus.json&diff=4295&oldid=prev
BFP Rauch: 1 revision imported
2026-09-28T04:53:29Z
<p>1 revision imported</p>
<table style="background-color: #fff; color: #202122;" data-mw-interface="">
<tr class="diff-title" lang="en">
<td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 04:53, 28 September 2026</td>
</tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div>
</td></tr></table>
BFP Rauch
https://invarians.org/index.php?title=The_Principia_Machina/TPC-PY/vectors/strike_corpus.json&diff=4294&oldid=prev
BFP Rauch: TPC-PY source vectors/strike_corpus.json (0.1.0), SHA-256 28ff14face54f14e; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)
2026-09-27T15:43:18Z
<p>TPC-PY source vectors/strike_corpus.json (0.1.0), SHA-256 28ff14face54f14e; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)</p>
<p><b>New page</b></p><div>{<br />
"meta": {<br />
"name": "tpc_strike_corpus",<br />
"version": "0.1.0",<br />
"conforms_tps": "0.1.0 revision 4",<br />
"module": "tpc_strike 0.1.0",<br />
"canon": "bool -> true/false; int -> base-10; float -> printf %.12g; list -> [e,...]",<br />
"note": "Cross-residence oracle. Every residence (TPC-PY, TPC-PHP) MUST reproduce every 'expect' exactly. Expected values are hand-derived from PMP-TPM STRIKE RULE / TPS 4.4, not generated by the module."<br />
},<br />
"cases": [<br />
{"id": "a_of_r/C/no-tfk", "fn": "a_of_r",<br />
"input": {"rid": "C", "records": {"A": {"assumptions": ["a1"], "cites": [], "steps": 2}, "B": {"assumptions": ["a2"], "cites": ["A"], "steps": 3}, "C": {"assumptions": ["a1", "a3"], "cites": ["A", "B"], "steps": 1}}, "tfk_assumptions": []},<br />
"expect": "3"},<br />
<br />
{"id": "a_of_r/C/tfk-a1", "fn": "a_of_r",<br />
"input": {"rid": "C", "records": {"A": {"assumptions": ["a1"], "cites": [], "steps": 2}, "B": {"assumptions": ["a2"], "cites": ["A"], "steps": 3}, "C": {"assumptions": ["a1", "a3"], "cites": ["A", "B"], "steps": 1}}, "tfk_assumptions": ["a1"]},<br />
"expect": "2"},<br />
<br />
{"id": "d_of_r/C/no-tfk", "fn": "d_of_r",<br />
"input": {"rid": "C", "records": {"A": {"assumptions": ["a1"], "cites": [], "steps": 2}, "B": {"assumptions": ["a2"], "cites": ["A"], "steps": 3}, "C": {"assumptions": ["a1", "a3"], "cites": ["A", "B"], "steps": 1}}, "tfk_assumptions": []},<br />
"expect": "[3,1]"},<br />
<br />
{"id": "d_of_r/B/tfk-a1", "fn": "d_of_r",<br />
"input": {"rid": "B", "records": {"A": {"assumptions": ["a1"], "cites": [], "steps": 2}, "B": {"assumptions": ["a2"], "cites": ["A"], "steps": 3}, "C": {"assumptions": ["a1", "a3"], "cites": ["A", "B"], "steps": 1}}, "tfk_assumptions": ["a1"]},<br />
"expect": "[1,3]"},<br />
<br />
{"id": "sr8/two-equal-u/reduced-2", "fn": "sr8_scale_factor",<br />
"input": {"measurements": [{"x": 10.0, "u": 1.0}, {"x": 12.0, "u": 1.0}]},<br />
"expect": "1.41421356237"},<br />
<br />
{"id": "sr8/two/consistent-S1", "fn": "sr8_scale_factor",<br />
"input": {"measurements": [{"x": 10.0, "u": 2.0}, {"x": 10.5, "u": 2.0}]},<br />
"expect": "1"},<br />
<br />
{"id": "sr8/three/reduced-4", "fn": "sr8_scale_factor",<br />
"input": {"measurements": [{"x": 10.0, "u": 1.0}, {"x": 14.0, "u": 1.0}, {"x": 12.0, "u": 1.0}]},<br />
"expect": "2"},<br />
<br />
{"id": "mm/contradicts", "fn": "mm_contradicts",<br />
"input": {"x1": 10.0, "u1": 1.0, "x2": 14.0, "u2": 1.0, "k": 2.0, "S": 1.0},<br />
"expect": "true"},<br />
<br />
{"id": "mm/within", "fn": "mm_contradicts",<br />
"input": {"x1": 10.0, "u1": 1.0, "x2": 12.0, "u2": 1.0, "k": 2.0, "S": 1.0},<br />
"expect": "false"},<br />
<br />
{"id": "mm/scaling-removes-it", "fn": "mm_contradicts",<br />
"input": {"x1": 10.0, "u1": 1.0, "x2": 14.0, "u2": 1.0, "k": 2.0, "S": 2.0},<br />
"expect": "false"},<br />
<br />
{"id": "lm/contradicts", "fn": "lm_contradicts",<br />
"input": {"x_l": 10.0, "x_m": 13.0, "u_m": 1.0, "k": 2.0, "S": 1.0},<br />
"expect": "true"},<br />
<br />
{"id": "lm/within", "fn": "lm_contradicts",<br />
"input": {"x_l": 10.0, "x_m": 11.5, "u_m": 1.0, "k": 2.0, "S": 1.0},<br />
"expect": "false"},<br />
<br />
{"id": "sr5/r1-closer", "fn": "sr5_order",<br />
"input": {"d1": [1, 2], "d2": [2, 1]}, "expect": "r1"},<br />
<br />
{"id": "sr5/r2-closer", "fn": "sr5_order",<br />
"input": {"d1": [2, 3], "d2": [2, 1]}, "expect": "r2"},<br />
<br />
{"id": "sr5/equal-audit", "fn": "sr5_order",<br />
"input": {"d1": [2, 3], "d2": [2, 3]}, "expect": "AUDIT"},<br />
<br />
{"id": "sr6/nind-overlap", "fn": "sr6_independence_count",<br />
"input": {"sets": [["a1", "a2"], ["a3"], ["a2", "a4"]]}, "expect": "2"},<br />
<br />
{"id": "sr6/nind-all-disjoint", "fn": "sr6_independence_count",<br />
"input": {"sets": [["a1"], ["a2"], ["a3"]]}, "expect": "3"},<br />
<br />
{"id": "sr6/nind-same-model-dropped", "fn": "sr6_independence_count",<br />
"input": {"sets": [["a1"], ["a2"], ["a3"]], "same_model": [false, true, false]}, "expect": "2"},<br />
<br />
{"id": "sr6/audit-reaches-Nx", "fn": "sr6_audit_opens",<br />
"input": {"n_ind": 2, "n_x": 2}, "expect": "true"},<br />
<br />
{"id": "sr6/audit-below-Nx", "fn": "sr6_audit_opens",<br />
"input": {"n_ind": 2, "n_x": 3}, "expect": "false"}<br />
]<br />
}<br />
</div>
BFP Rauch