BFP Rauch: 1 revision imported

2026-09-30T02:11:05Z

1 revision imported

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

BFP Rauch: TPC-PY source vectors/module_corpus.json (0.2.1), page 3 of 3, SHA-256 b46f3c7f4280bae8; conformed TPS 0.4.0; PROPOSED, not declared (TPC-PY 0.2.0)

2026-09-30T02:10:58Z

TPC-PY source vectors/module_corpus.json (0.2.1), page 3 of 3, SHA-256 b46f3c7f4280bae8; conformed TPS 0.4.0; PROPOSED, not declared (TPC-PY 0.2.0)

← Older revision		Revision as of 02:10, 30 September 2026
Line 1:		Line 1:
			"{\"ID\": \"MATH\", \"VERSION\": \"1.0.0\", \"TITLE\": \"The mathematical constant pi, as the CONSTANT pi_c\", \"SOURCE\": \"pi to 16 significant digits, 3.141592653589793, the nearest IEEE 754 binary64 value\", \"PREREQUISITES\": [], \"PARAMETERS\": [{\"NAME\": \"pi_c\", \"DIMENSION\": \"1\", \"SUPPLY\": \"DECLARED\", \"VALUE\": \"3.141592653589793\", \"UNIT\": \"1\", \"OVERRIDABLE\": \"NO\", \"LABEL\": \"pi, to 16 significant digits\"}], \"SUMS\": [], \"TERMS\": [], \"ASSUMPTIONS\": [], \"BOUNDARIES\": [], \"NOT_CHOSEN\": \"No mathematical constant: pi exists only if you declare it.\", \"NOT_INCLUDED\": [\"pi_c is pi rounded to 16 significant digits; no other mathematical constant is declared.\"], \"EXCLUDES\": [], \"INTERACTS_WITH\": [], \"TEST_BINDINGS\": [{\"NAME\": \"PROJECTILE_2D\", \"TPK\": {\"DOF\": [{\"NAME\": \"t\", \"DIMENSION\": \"T1\"}, {\"NAME\": \"x\", \"DIMENSION\": \"L1\"}, {\"NAME\": \"z\", \"DIMENSION\": \"L1\"}, {\"NAME\": \"v_x\", \"DIMENSION\": \"L1 T-1\"}, {\"NAME\": \"v_z\", \"DIMENSION\": \"L1 T-1\"}], \"CONSTANT\": [{\"NAME\": \"m\", \"DIMENSION\": \"M1\"}], \"LAW\": [{\"NAME\": \"KIN_X\", \"STATEMENT\": \"dx/dt = v_x\", \"REFS\": [\"t\", \"v_x\", \"x\"], \"ROLE\": \"EOM(x)\", \"EQUATION\": \"D(x,t)=v_x\"}, {\"NAME\": \"KIN_Z\", \"STATEMENT\": \"dz/dt = v_z\", \"REFS\": [\"t\", \"v_z\", \"z\"], \"ROLE\": \"EOM(z)\", \"EQUATION\": \"D(z,t)=v_z\"}, {\"NAME\": \"EOM_X\", \"STATEMENT\": \"m dv_x/dt = 0\", \"REFS\": [\"m\", \"t\", \"v_x\"], \"ROLE\": \"EOM(v_x)\", \"EQUATION\": \"mD(v_x,t)=0\"}, {\"NAME\": \"EOM_Z\", \"STATEMENT\": \"m dv_z/dt = 0\", \"REFS\": [\"m\", \"t\", \"v_z\"], \"ROLE\": \"EOM(v_z)\", \"EQUATION\": \"mD(v_z,t)=0\"}], \"ASSUMPTION\": [{\"NAME\": \"point_mass\", \"PROPOSITION\": \"the body is treated as a point mass\", \"REFS\": [\"m\"]}]}, \"BIND\": {}, \"VALUES\": {}, \"ANSWERS\": {}}]}"
			]
			},
			"expected": "[\"REFUSED\",\"ANSWER ROUND 1: missing field CHOSEN\"]",
			"fn": "interview_check",
			"hand_checked": true,
			"name": "I54 a round without CHOSEN"
			},
			{
			"args": {
			"answer": [
	{		{
	"AT": 4,		"AT": 4,
Line 9,051:		Line 9,062:
	"note": "vectors first: every expectation a literal of the generator; digests and D(TPK) computed by existing TPC-PY functions over literal data (see the generator's docstring); no tpc_module exists",		"note": "vectors first: every expectation a literal of the generator; digests and D(TPK) computed by existing TPC-PY functions over literal data (see the generator's docstring); no tpc_module exists",
	"spec": "tpm_module_spec 0.2.0",		"spec": "tpm_module_spec 0.2.0",
	"version": "0.2.0"		"version": "0.2.1"
	}		}

BFP Rauch: 1 revision imported

2026-09-28T04:40:15Z

1 revision imported

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

BFP Rauch: TPC-PY source vectors/module_corpus.json (0.2.0), page 3 of 3, SHA-256 381c135752b8d8e6; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

2026-09-27T15:43:18Z

TPC-PY source vectors/module_corpus.json (0.2.0), page 3 of 3, SHA-256 381c135752b8d8e6; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

Show changes

The Principia Machina/TPC-PY/vectors/module corpus.json/3 - Revision history

BFP Rauch: 1 revision imported

BFP Rauch: TPC-PY source vectors/module_corpus.json (0.2.1), page 3 of 3, SHA-256 b46f3c7f4280bae8; conformed TPS 0.4.0; PROPOSED, not declared (TPC-PY 0.2.0)

BFP Rauch: 1 revision imported

BFP Rauch: TPC-PY source vectors/module_corpus.json (0.2.0), page 3 of 3, SHA-256 381c135752b8d8e6; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)