BFP Rauch: 1 revision imported

2026-09-30T02:11:02Z

1 revision imported

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

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

2026-09-30T02:10:58Z

TPC-PY source gen_form_corpus.py (-), SHA-256 f79d0ed977daf8e9; conformed TPS 0.4.0; PROPOSED, not declared (TPC-PY 0.2.0)

@@ Line 8: / Line 8: @@
 is in the zone corpus, V8 in the tests corpus, V9 a differential check, V10
 the help set); the generator refuses to write the corpus if the module
-disagrees with any of them.
+disagrees with any of them. 0.5.1 (C-MS-5, increment 11): the decode/ cases
 Run: cd tpc && python3 gen_form_corpus.py (Windows: py gen_form_corpus.py)."""
 import copy, json, os, sys
@@ Line 1,068: / Line 1,070: @@
 # ---- self-check against the module, then write -------------------------------------
 def dispatch(fn, i):
      if fn == "form_tree": return F.form_tree(i["text"], i["mode"])
@@ Line 1,100: / Line 1,163: @@
 corpus = {
    "meta": {
-     "name": "tpc_form_corpus", "version": "0.5.0",
+     "name": "tpc_form_corpus", "version": "0.5.1",
      "status": "increment 8 phase E, every slot of tpm_increment_8_phase_F 0.1.0 at Option 1 (2026-09-24); VERIFIED (both residences)",
      "conforms_tps": "0.1.0 revision 4 (kernel tests T3, T4, T6 of TPS 2.2.3 and guide 3.6 over the D108.1 declared form; IC4 (a) of TPS 2.3.14 and guide 4.6, syntactic), with the bounds of D186.1 as drafted for TPS revision 6, 2.2.13 (proposed), and D177.1 as taken 2026-09-26 (TPS revision 6 text pending)",
-     "module": "tpc_form 0.2.0, proposed, an unreleased working label carrying D186.1, S14, D177.1 and S32 (tpc_zone 0.5.0 proposed, schema 0.5.0; tpc_units 0.1.1; tpc_strike 0.2.0 proposed)",
+     "module": "tpc_form 0.2.1, proposed with TPC-PY 0.2.0, carrying D186.1, S14, D177.1, S32 and C-MS-5 (tpc_zone 0.5.1, schema 0.5.0; tpc_units 0.1.1; tpc_strike 0.2.1)",
      "note": ("Every expectation is hand-derived. The spring fixture is the zone corpus's toy with a DOF t, an entry "
               "E_t, and the forms of S1, S3 and S8; a test fixture, not physics under research. Evaluated values are "
@@ Line 1,120: / Line 1,183: @@
               "t4/derivative-variable-not-T1), each noting its former answer; every fixture LAW carries a ROLE. "
               "0.5.0 (S32, 2026-09-26): form_tree, the public parse tree the checks walk, as parsed, with parse_form's "
-              "refusals; and S33: a LAW restating the motion of a FIXed DOF carries ROLE CONSTRAINT (no answer moves).")
+              "refusals; and S33: a LAW restating the motion of a FIXed DOF carries ROLE CONSTRAINT (no answer moves). "
    },
    "cases": cases
+}
-open(os.path.join(os.path.dirname(os.path.abspath(__file__)), "vectors", "form_corpus.json"), "w", encoding="utf-8").write(
+open(os.path.join(os.path.dirname(os.path.abspath(__file__)), "vectors", "form_corpus.json"), "w", encoding="utf-8", newline="\n").write(
      json.dumps(corpus, indent=1, ensure_ascii=True) + "\n")
 print("wrote", len(cases), "form 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_form_corpus.py (-), SHA-256 8debfe348cb4a5a3; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

2026-09-27T15:43:18Z

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

Show changes

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

BFP Rauch: 1 revision imported

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

BFP Rauch: 1 revision imported

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