BFP Rauch: 1 revision imported

2026-09-30T02:11:04Z

1 revision imported

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

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

2026-09-30T02:10:58Z

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

@@ Line 91: / Line 91: @@
 structurally regular by construction whenever the analysis runs.
-eom_register_test adds the standing records (STATUS a status word other
+eom_register_test adds the standing records (STATUS one of PROVISIONAL,
-than STRUCK, HELD, REFUTED, VOID) that declare a ROLE entering the matching
+ESTABLISHED, REFUTED, WITHDRAWN and HELD, the first two standing; any other
 and an EQUATION, as laws named by their IDs ("<prefix>-<n>"), and returns
 the map and findings of the whole, the IDs used (by prefix, then n
@@ Line 114: / Line 116: @@
 import tpc_form as F
-TPC_EOM_VERSION = "0.1.0"      # proposed; unreleased working label (D176.1, D177.1)
+TPC_EOM_VERSION = "0.2.0"      # increment 12 (S95: one MINOR bump over the declared 0.1.0): the closed status set and settlement_check (tpm_record_functions 0.2.0 section 12); 0.1.1 C-MS-5; 0.1.0 D176.1, D177.1
 ENTER = ("EOM", "CONSTRAINT", "CONSTITUTIVE", "DEFINITION")
-NONSTANDING = ("STRUCK", "HELD", "REFUTED", "VOID")
+STATUS_WORDS = ("PROVISIONAL", "ESTABLISHED", "REFUTED", "WITHDRAWN", "HELD")
 REGULAR = "structurally regular"
 NOT_VALIDATED = "Structure not Validated at Inception"
@@ Line 125: / Line 128: @@
 _ROLE = re.compile(r"^(?:EOM\(([A-Za-z_][A-Za-z0-9_]*)\)|CONSTRAINT|CONSTITUTIVE|INVARIANT|DEFINITION)\Z")
 _RID = re.compile(r"^[A-Za-z_][A-Za-z0-9_]*-[1-9][0-9]*\Z")
 class _Refused(Exception):
@@ Line 321: / Line 322: @@
          seen.add(rid)
          st = _field_str(tag, r, "STATUS")
-         if _STATUS.match(st) is None:
+         if st not in STATUS_WORDS:
              raise _Refused(tag + ": STATUS " + st + " is not a status word")
          kind, q, tree = None, None, None
@@ Line 1,004: / Line 1,005: @@
      """["OK", R, findings, ["USED", ids], ["SETTLED", unknowns], ["OPEN",
      unknowns]] or ["REFUSED", reason]. records: [{"ID", "STATUS", "ROLE"?,
-     "EQUATION"?}], the provisional shape C-16 will carry (fixtures only);
+     "EQUATION"?}], the EOM view of tpm_record_schema 0.3.0, 10.4 (STATUS
-    the TFK is read first, then every record whole."""
+    the status word W); the TFK is read first, then every record whole."""
      try:
          K = _read(tfk)
@@ Line 1,017: / Line 1,018: @@
      used = sorted((l["name"] for l in entering), key=_id_key)
      return ["OK", R, fnd, ["USED", used], ["SETTLED", settled], ["OPEN", still]]

BFP Rauch: 1 revision imported

2026-09-28T04:37:36Z

1 revision imported

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

BFP Rauch: TPC-PY source tpc_eom.py (0.1.0), SHA-256 215e78b3ddcdb0c4; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

2026-09-27T15:43:18Z

TPC-PY source tpc_eom.py (0.1.0), SHA-256 215e78b3ddcdb0c4; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

Show changes

The Principia Machina/TPC-PY/tpc eom.py - Revision history

BFP Rauch: 1 revision imported

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

BFP Rauch: 1 revision imported

BFP Rauch: TPC-PY source tpc_eom.py (0.1.0), SHA-256 215e78b3ddcdb0c4; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)