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_module_corpus.py (0.2.0), SHA-256 f3023791a9f78b0f; conformed TPS 0.4.0; PROPOSED, not declared (TPC-PY 0.2.0)

2026-09-30T02:10:58Z

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

← Older revision		Revision as of 02:10, 30 September 2026
Line 6:		Line 6:
	tpm_module_spec 0.2.0 before either residence was changed to it. The		tpm_module_spec 0.2.0 before either residence was changed to it. The
	generator never imports or runs tpc_module. It writes the corpus in the		generator never imports or runs tpc_module. It writes the corpus in the
	RUN_CASE form of lint_corpus: {"corpus": "module", "version": "0.2.0",		RUN_CASE form of lint_corpus: {"corpus": "module", "version": "0.2.1",
	"cases": [{"name", "fn", "args", "expected", "hand_checked"}]}, "expected"		"cases": [{"name", "fn", "args", "expected", "hand_checked"}]}, "expected"
	being the rendered result (tpm_module_spec 2.3, 6.4 RENDER).		being the rendered result (tpm_module_spec 2.3, 6.4 RENDER).
Line 33:		Line 33:
	Every physical value in the fixtures is a FIXTURE, not a declaration		Every physical value in the fixtures is a FIXTURE, not a declaration
	(tpm_module_spec section 8): the ISO 2533:1975 values are VERIFY-HIGH (S6).		(tpm_module_spec section 8): the ISO 2533:1975 values are VERIFY-HIGH (S6).
			0.2.1 (increment 11, 2026-09-28): X64-X67, the base TPK read as the JSON
			is written (C-MS-5); the corpus is written with LF line ends on every
			platform (S65). No earlier case moves.
	"""		"""
	import copy		import copy
Line 50:		Line 53:
	import tpc_eom as E # noqa: E402 existing: eom_map (assert only)		import tpc_eom as E # noqa: E402 existing: eom_map (assert only)

	CORPUS_VERSION = "0.2.0"		CORPUS_VERSION = "0.2.1"
	CASES = []		CASES = []

Line 1,656:		Line 1,659:
	[C_SUMP, dict(C_SHARE, VALUES={"k_q": {"VALUE": "2", "UNIT": "kg m-1"}})], [X_SUMP, X_SHARE],		[C_SUMP, dict(C_SHARE, VALUES={"k_q": {"VALUE": "2", "UNIT": "kg m-1"}})], [X_SUMP, X_SHARE],
	REF("EXPAND: TEST-SHARE 1.0.0 and TEST-SUMP 1.0.0 both emit k_q, differently"))		REF("EXPAND: TEST-SHARE 1.0.0 and TEST-SUMP 1.0.0 both emit k_q, differently"))

			# 0.2.1 (C-MS-5, increment 11): the base TPK reaches T1 as the JSON reads, {} apart from []
			# (tpm_module_spec C-MS-5: TPC-PHP's bridge into the zone functions now keeps the distinction)
			_X_DOF = {"NAME": "x", "DIMENSION": "L1"}
			assert t1_first({"DOF": {}}) == "TPK kind DOF is not a list"
			X("X64 a base TPK kind that is a JSON {} is not a list (C-MS-5)", {"TPK": {"DOF": {}}}, [], [],
			REF("BASE: the TPK fails T1: TPK kind DOF is not a list"))
			X("X65 a base TPK kind keyed 0 is not a list (C-MS-5)", {"TPK": {"DOF": {"0": _X_DOF}}}, [], [],
			REF("BASE: the TPK fails T1: TPK kind DOF is not a list"))
			X("X66 an empty PARAMETERS object in the base is valid, D_VARIABLES ONE (C-MS-5)",
			{"TPK": {"PARAMETERS": {}, "DOF": [_X_DOF]}}, [], [],
			XR({"DOF": [_X_DOF]}, [], [], []))
			X("X67 an entry that is a JSON [] is not an object (C-MS-5)", {"TPK": {"DOF": [[]]}}, [], [],
			REF("BASE: the TPK fails T1: TPK kind DOF: entry is not an object"))

	# ============================================================== catalogue lines		# ============================================================== catalogue lines
Line 2,382:		Line 2,399:
	"docstring); no tpc_module exists"),		"docstring); no tpc_module exists"),
	"cases": CASES}		"cases": CASES}
	with open(os.path.join(HERE, "vectors", "module_corpus.json"), "w", encoding="utf-8") as f:		with open(os.path.join(HERE, "vectors", "module_corpus.json"), "w", encoding="utf-8", newline="\n") as f:
	json.dump(out, f, indent=1, sort_keys=True, ensure_ascii=True)		json.dump(out, f, indent=1, sort_keys=True, ensure_ascii=True)
	f.write("\n")		f.write("\n")

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_module_corpus.py (0.2.0), SHA-256 1031a1d314abf755; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

2026-09-27T15:43:18Z

TPC-PY source gen_module_corpus.py (0.2.0), SHA-256 1031a1d314abf755; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

Show changes

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

BFP Rauch: 1 revision imported

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

BFP Rauch: 1 revision imported

BFP Rauch: TPC-PY source gen_module_corpus.py (0.2.0), SHA-256 1031a1d314abf755; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)