BFP Rauch: 1 revision imported

2026-09-30T02:11:03Z

1 revision imported

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

BFP Rauch: TPC-PY source gen_tests_corpus.py (-), SHA-256 2d119c3503986bf5; conformed TPS 0.4.0; PROPOSED, not declared (TPC-PY 0.2.0)

2026-09-30T02:10:58Z

TPC-PY source gen_tests_corpus.py (-), SHA-256 2d119c3503986bf5; conformed TPS 0.4.0; PROPOSED, not declared (TPC-PY 0.2.0)

@@ Line 11: / Line 11: @@
 S33 (2026-09-26): a LAW restating the motion of a FIXed (or REMOVEd) DOF carries ROLE
 CONSTRAINT; s33_roles sets the spring's ROLEs wherever a fixture's constraints change.
 Run: cd tpc && python3 gen_tests_corpus.py (Windows: py gen_tests_corpus.py)."""
 import copy, json, os, sys
@@ Line 455: / Line 457: @@
 f = c(TFK_F); f["TPK"] = dict([("PARAMETERS", {"D_VARIABLES": "ONE"})] + list(f["TPK"].items()))
 add("fp/s050-explicit-one", "final_checks", {"tfk": f}, "[PASS,[],[]]")
@@ Line 479: / Line 532: @@
 corpus = {
    "meta": {
-     "name": "tpc_tests_corpus", "version": "0.3.1",
+     "name": "tpc_tests_corpus", "version": "0.3.2",
      "status": "SELECTED D106.1, D107.1, D108.1 (2026-09-22); increment 8 at Option 1 of every slot (2026-09-24); schema 0.5.0 and the D variable, D176.1 and D177.1 (2026-09-26); VERIFIED (both residences)",
      "conforms_tps": "0.1.0 revision 4 (kernel tests of TPS 2.2.3 and guide 3.6; isomorphism checks of TPS 2.3.7-2.3.14 and guide 4.6)",
-     "module": "tpc_tests 0.2.0 (tpc_zone 0.5.0 proposed, schema 0.5.0; tpc_form 0.2.0 unreleased, with D177.1; tpc_units 0.1.1; tpc_strike 0.2.0 proposed)",
+     "module": "tpc_tests 0.2.1 (tpc_zone 0.5.1, schema 0.5.0; tpc_form 0.2.1, with D177.1; tpc_units 0.1.1; tpc_strike 0.2.1), proposed with TPC-PY 0.2.0",
      "note": ("Every expectation is hand-derived. The toy TFK is the zone corpus's: a mass on a linear "
               "spring with z fixed at 0; the spring with its forms adds a DOF t, an entry E_t and the "
@@ Line 493: / Line 546: @@
               "carries ROLE CONSTRAINT (the toy's and the spring's FREE_Z, corner_fix_t's EOM_Z, N2 and KIN of "
               "the FIX fixture); a variant whose constraints leave z free gives FREE_Z EOM(z). No expectation "
-              "moves.")
+              "moves. 0.3.2 (C-MS-5, increment 11, 2026-09-28): 16 decode/ cases, each a JSON {} where a list is "
    },
    "cases": cases
+}
-open(os.path.join(os.path.dirname(os.path.abspath(__file__)), "vectors", "tests_corpus.json"), "w", encoding="utf-8").write(
+open(os.path.join(os.path.dirname(os.path.abspath(__file__)), "vectors", "tests_corpus.json"), "w", encoding="utf-8", newline="\n").write(
      json.dumps(corpus, indent=1, ensure_ascii=True) + "\n")
 print("wrote", len(cases), "tests cases; all match hand-derived expectations")

BFP Rauch: 1 revision imported

2026-09-28T04:32:53Z

1 revision imported

← Older revision	Revision as of 04:32, 28 September 2026
(No difference)

BFP Rauch: TPC-PY source gen_tests_corpus.py (-), SHA-256 af70be8de996a67f; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

2026-09-27T15:43:18Z

TPC-PY source gen_tests_corpus.py (-), SHA-256 af70be8de996a67f; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

Show changes

The Principia Machina/TPC-PY/gen tests corpus.py - Revision history

BFP Rauch: 1 revision imported

BFP Rauch: TPC-PY source gen_tests_corpus.py (-), SHA-256 2d119c3503986bf5; conformed TPS 0.4.0; PROPOSED, not declared (TPC-PY 0.2.0)

BFP Rauch: 1 revision imported

BFP Rauch: TPC-PY source gen_tests_corpus.py (-), SHA-256 af70be8de996a67f; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)