The Principia Machina/TPC-PY: Difference between revisions

Latest revision as of 13:23, 7 October 2026

TPC-PY is the advisory residence of the Principia Calculator (TPC): a Python core using the standard library only, published as these source pages and indexed with its version, digest and the TPS version it conforms to (TPS 5.11, 5.11.9). TPC-PHP inside TPX is the residence of record; TPC-PY is non-normative.

Status: TPC-PY 0.3.0 was declared by the declaring authority on 2026-10-03, conformed to TPS 0.5.0 (TPS 5.11.9; tree digest 63ef0f2decb5b2c15c19274026b2f9a95160d0f54fee3f58e273088901f564f1), after its Windows check printed ALL PASS. It is the latest declared version; the versions declared before it are listed under Versions.

TPC-PY version: 0.3.0 (declared 2026-10-03)
Conformed TPS version: 0.5.0
Files: 150, 16162731 bytes in all
Tree digest: 63ef0f2decb5b2c15c19274026b2f9a95160d0f54fee3f58e273088901f564f1
Built 2026-09-30T06:00:00Z by build_tpc_py_pages 0.3.0

Checking a download

Each source page holds one file of the tree's tpc/ folder, byte for byte, in the plain-text content model; its title is this page's title, a slash and the file's path. Save each page's raw text (action=raw) under its path, then check every file's SHA-256 against the manifest below (for example sha256sum -c) and the tree digest against the declared one. The script verify_tpc_py.py does both, and can fetch the pages itself. It is published outside this tree and its tree digest, as the page The Principia Machina/TPC-PY tools/verify_tpc_py.py, SHA-256 06d6f21b8d73e04ef8d6dfd9edc0bc2fe70b9cfde983d7e4bbd7d4eb8c3987b5; check that digest before you run it. How to use it: setting up the checker.

The tree digest is SHA-256 over the netstring encoding of TPS 2.5.10 of the field list ["TPC-PY-TREE", "1", path 1, SHA-256 1, path 2, SHA-256 2, ...]: each path relative to tpc/ with "/" separators, the paths in code-point order, each SHA-256 as 64 lowercase hexadecimal characters; digest_fields of tpc_digest computes it.

Versions

Each version this page has named, newest first. The pages of an earlier version are read from each page's history: the revisions before the later version's import. The tree digest identifies a version; a download is checked against it as above.

Version	Status	Tree digest	Conformed TPS version
0.3.0	declared 2026-10-03	`63ef0f2decb5b2c15c19274026b2f9a95160d0f54fee3f58e273088901f564f1`	0.5.0
0.2.0	declared 2026-09-30	`2998ac4c24dff83bd047a691081b7d27bb25c9d26512bffe519f5c2b6ba127e2`	0.4.0
0.1.0	declared 2026-09-28	`a00161c1b321fd66abc591209007d46a7fa6290097835060e50f381426259043`	0.3.0

Files

File	Version	SHA-256	Bytes	Conformed TPS version
check_draft.py	0.6.0	`a142a0dec39aa96fb05341c1ed04802e9d5fae4fb85cb951fe00b91aac33c176`	27106	0.5.0
crosspy.py	0.1.0	`29a46269c301bf2453f68500a7b9befafd892f778fd7e65912c8447b2d42c58c`	1269	0.5.0
diff_beta.php	-	`535f2c7263bdcd56a2481ff8722918bb20cfc582db28b3c1acafd8c52b034e0a`	322	0.5.0
diff_beta.py	0.1.0	`260e80052fd92534349662150a9c996b399bacde8e254c93cad73f9ef9adefef`	2730	0.5.0
diff_biblio.php	-	`7c5e4c7d06e4fc747f85a09f99b80a41309f4fd61ee0853f58d5c916f4d99771`	465	0.5.0
diff_biblio.py	0.1.0	`58976011ebffb18c2ceda1a1e33e449496c5ff7356e345e6c17feeaa70f7b3e1`	27731	0.5.0
diff_cluster.php	-	`bc035a1a1e9e242cb01e4fbf06b2c3250d27a566d85a97cb2540efeb24efaa58`	313	0.5.0
diff_cluster.py	0.3.0	`00d67d36d74f491daa2ca90dcf271c30bc00311c96215457ea8b2e4dcee702c4`	3938	0.5.0
diff_falcon.php	-	`1fe14472465856f79774f8f2363cef5114486eae1792f0410693e7e3d045b0db`	326	0.5.0
diff_falcon.py	0.2.0	`8084d58bfe2fa17bc30a146797055a0e98b13663227b3c2e979a863a55e21a8f`	32284	0.5.0
diff_fingerprint.php	-	`d9c820a0da5e7ab34c65e4ce39fa1abcd7d1dc76eca439b6ac7ebf2782d2edb5`	361	0.5.0
diff_fingerprint.py	0.1.0	`a7bcfbe1a11162f990aa1afeab55461aac8a5ddc27d16e87c1e698ecb9835a29`	3722	0.5.0
diff_hunk.php	-	`a4a5e5cd2ae8dbb062a970137ab25339357c95cae87ce442734e576806bba31b`	347	0.5.0
diff_hunk.py	0.1.0	`0e2ae21ea4ddfd5790f2524a10beac39d093bcd8a7ff023b9f5fbc1612ac4ebd`	2391	0.5.0
diff_identity.php	-	`eac05037641bf6ae3c4226bfdba2e1aa375b37f28a856a2c3760cd13edd125c4`	355	0.5.0
diff_identity.py	0.1.0	`4e12aa6b64e9c321e537c78d7b6def3b5b9987657d222e7172a80f156d08a3c5`	6089	0.5.0
diff_lint.php	-	`cb54acc90ef7beadc7ad8130cdfde7c4181a0ece7f9e2fe8d42d7c36b987f16e`	378	0.5.0
diff_lint.py	0.1.0	`56d54421947ff18864165a9136d13761c3320ae7369f42b2dee0692dce911472`	12817	0.5.0
diff_probe.php	-	`a3acafab46d178bd2d182a9c1997716dbb04f73293c39f68fec2c69631722a86`	491	0.5.0
diff_probe.py	0.1.0	`955adce109baf21e6e92ccf73a83102ef0824931d76b18ae71af6ac50f29d516`	9471	0.5.0
diff_score.php	-	`7324ae841e38780f36835ea5585f7560dbe26e92506fababee4cc33d0776fe1f`	349	0.5.0
diff_score.py	0.1.0	`3a230c7a59820cf49724f10ed7ea331bd81178d9dfeaf85e92691d9a0c1ca52d`	11968	0.5.0
diff_sponsor.php	-	`c29d496acd9ff4c39c284962ac7daf250d172012221fbe06201f6add1fac8d49`	353	0.5.0
diff_sponsor.py	0.1.0	`11c9f3822eafe3a8a59ad8a0422f9907638549655a3fae1a95b915627ea15f33`	5594	0.5.0
diff_volunteer.php	-	`596592aaebadb552132bd5e159e9b3371f5d8c9353397760110f0ff0628fd26e`	357	0.5.0
diff_volunteer.py	0.1.0	`34cb5260e9e0fbe08c51315b2bca52044c7b11a3e3e10239ac3ad8edd5e32a9c`	7317	0.5.0
examples/corner_coulomb.json	-	`d976af6b9eb74597f954a923e3f8c9a4d02ac4b48d4758ba202c16b90a9e121d`	5339	0.5.0
examples/corner_fix_t.json	-	`434867ebfc42322e3d481f91f12a5b9fd431ce70166ccd9c01c37cdbed10c8a4`	4716	0.5.0
examples/corner_no_eom_x.json	-	`a83a0c8baa9818947988c5aa9c28e8b129233cfe4710e2187006704f9c415ed8`	4348	0.5.0
examples/spring_draft.json	-	`322be8149763e90716ec55b834183fea14f1ff417755d1db502abeec577e01c7`	4556	0.5.0
examples/spring_gravity_unbound.json	-	`c41c169372bc65fb07f859b245e8c1508a764862e8c8896fa5f7d1f6e2f4e511`	4691	0.5.0
examples/spring_ic2_gap.json	-	`ca6f5039d47a11b68216345c15afdbc2c10e0fb2adb8e9a13080f3634143c06c`	4776	0.5.0
examples/spring_ic2_reject.json	-	`49d232b17b29192702434f8dad0a5bc190f84a4c8860b03edcb3125638f34125`	4806	0.5.0
examples/spring_mistakes_checks.json	-	`423a945755c0e472c9ab7f1a13204623081809186e6e87d6f4b4c77306d8518b`	4582	0.5.0
examples/spring_mistakes_final.json	-	`1690c04477a24bb02de23de18bfe128048d9d63ccaaaa9a83f18054e8f156269`	4759	0.5.0
examples/spring_mistakes_form_boundary.json	-	`735ff3e857127418e5e7b053af5c43697be2ba381714ec5dd60a1e1715acecc0`	4555	0.5.0
examples/spring_mistakes_form_law.json	-	`f0b134b3fe3f86b63d7d2b834628b028874386d2b6b1fce24f58d760e1776f7f`	4560	0.5.0
examples/spring_mistakes_gravity.json	-	`97d6171677858d8e8a08f0d0ce6ee42ace82738027c18139cca2f72e56787ed3`	4674	0.5.0
examples/spring_mistakes_syntax.json	-	`896a35e09a4678ffef52c5be77a97fc851a819015df94142923bd008fb38ae82`	4555	0.5.0
examples/spring_mistakes_text.json	-	`01eb186d27695818da995d21b45a701348436e1384561385afb3205f12cd6279`	1679	0.5.0
examples/spring_mistakes_tms.json	-	`b082ed8303221ba05c5d2a9c6e68f272cffe535de18b8e8025faf7e90c747543`	4654	0.5.0
examples/spring_mistakes_tpk.json	-	`3a539c01993258af0c87b956b43d1b712b2e11c0d9ac8c33836daeadba8f6667`	1698	0.5.0
examples/spring_mistakes_trm.json	-	`e73d5d0df2f559bd95803f53a8f5f77d5e20ad805ae64923a7e8f73f7e73a8b1`	4076	0.5.0
examples/spring_mistakes_types.json	-	`f07ec353452b6eb6aea17632ba0e8b8913e67a6a0b69f295303b66ccc88b9693`	4556	0.5.0
examples/spring_noform_draft.json	-	`353ba04ec1de5ff10ea499a329e253a27b19405fdef925dd79bbf44cd1eaecbd`	4394	0.5.0
examples/spring_respelled.json	-	`489ab7059d88c051a64431d85789c0b5f0a01d2f080bf2f287a98d9817645280`	4553	0.5.0
examples/spring_step2_noform_tpk.json	-	`8b3fc72f3214e4110f241fd6152bd20aae51098c8c2e05dceb6c43fbcf836331`	1511	0.5.0
examples/spring_step2_tpk.json	-	`767769ab0724cf9282dc87085b9f63d190f8a265c65c1f401d2112e6b0f3d317`	1673	0.5.0
examples/spring_step3_tpk_trm.json	-	`f964e7d99670efaf6c6b03005b13708e6309e7c83e98f12f5c6f3fb159b1919f`	4112	0.5.0
examples/spring_succ_damped.json	-	`dedffd22e276ab66bf9267b1508339c221805c1156e5e2176d753ddcd6b7fd8c`	4627	0.5.0
examples/spring_succ_k3.json	-	`e3966ddf35fdf04694115b72f24430c456edda5b4038f135b9ad67696a31c492`	4556	0.5.0
examples/spring_succ_reordered.json	-	`b3f465a6f34b9876504fac604ffe46cce42e9af538ee5f045b4f93590cf65ba1`	4556	0.5.0
examples/spring_track_draft.json	-	`8115ff88e3adf806b99b7ec37a2c2acb7995e72409e7dfdf2cc8eeeb10919fa6`	5239	0.5.0
gen_beta_corpus.py	0.1.0	`4ab6b7898fac3a418b1e09bb5be3c6ea793ebfa28efbd70f9eea473cf8991db2`	10360	0.5.0
gen_biblio_corpus.py	0.1.0	`7548da4dd9ff6b17ada346be65bb4873f5aa55626ec64118859cb80b3dd53c0b`	78850	0.5.0
gen_biblio_unicode_table.py	0.1.0	`cfd5ee27a1a974d61e4eea2e42c808e6640353930e94df2a1f35f8775c98798a`	2881	0.5.0
gen_canon_corpus.py	-	`7e86e356a91ed1bda428373856d987b1769612957fb252d88421d35110caa73e`	3211	0.5.0
gen_challenge_corpus.py	-	`254be646eb43663f1176bd529e147ffbebce447b9c68f95e53e2ed0466857206`	6421	0.5.0
gen_cluster_corpus.py	0.3.0	`f9c06c6035e7a1faeb4577bbb7a4a5eefefef74e5ca66273c14e5803f77b977b`	13183	0.5.0
gen_conditions_corpus.py	0.1.0	`216dd10dc7516e9da3a3abbea4b8261550d6a345b88a428d6efbd21fd8897209`	10639	0.5.0
gen_dis_corpus.py	0.2.0	`1def05bafa809a45bd70f6674b2dbc6158341fe9cc80982900c5d38c863f5a7d`	28239	0.5.0
gen_eom_corpus.py	-	`2f2a8aad7ffc1b241d9fef82df0bcebface3296c7db3b9bba1779b55651adaaf`	161859	0.5.0
gen_falcon_corpus.py	0.2.0	`a06ca5707b0a28ee5d971cac53cc06107f30b0e8d043b622bfe4ef3a50554d56`	138397	0.5.0
gen_fingerprint_corpus.py	0.1.0	`6c9f79908e1902e578c9296ab5d72f73a4d1dc9dd6ccaefe46e6e206cb1944a9`	13141	0.5.0
gen_form_corpus.py	-	`f79d0ed977daf8e9f3ec69975d0161555d5245fe9d2d73e0af249784f42fdb94`	85308	0.5.0
gen_hold_corpus.py	-	`1d88a2b751f1a29db1c513621bf19d61ec3e55d231306e1c25003e0ea2e2e703`	49103	0.5.0
gen_hunk_corpus.py	0.1.0	`4eef7f3bba8ff6a92854a73bf1b71c5460bfc026557ffbf9927c0e8ba85b056e`	6217	0.5.0
gen_hunk_wiki_corpus.py	0.1.0	`1ef258ced0dca804a308c391111d8bb9f685f46561672b304026712d4c8ff265`	3586	0.5.0
gen_identity_corpus.py	0.1.0	`aa6265343d9e63d713ce4d547d4965cf7021131879ed3bec5c180e584e112941`	17337	0.5.0
gen_lint_corpus.py	0.1.0	`e7ed933411facf017301d8113da795a02ea3673445b6790197f50c7281bd3dfe`	31081	0.5.0
gen_lint_tables.py	0.1.0	`259cf3be8e85d6cc5578c242072aa78cecb84f4c6c4e2e425643d25ab71cf090`	23338	0.5.0
gen_module_corpus.py	0.2.0	`f3023791a9f78b0f9d31a980a5fd99408e3621cacd9128181cf7881df4c2614f`	144038	0.5.0
gen_probe_corpus.py	0.1.0	`36a494cce8a589480b3b74bf4d6a866d7e87de7ccc5f604658a9d511c232db4b`	34955	0.5.0
gen_record_corpus.py	0.1.0	`0588448729d0dd0f099409cca49a29e15ab1125573f114572521cf7a4b8a8870`	173839	0.5.0
gen_record_view_corpus.py	0.1.0	`1399f60a21ae701c78069f87c5c6db2f29f080c63f8764bc793058d17a094aaf`	24269	0.5.0
gen_score_corpus.py	0.1.0	`91221b316cd6b25316579829c34195caa39177fdc77443559c530f02bc0b2db3`	68426	0.5.0
gen_settlement_corpus.py	0.1.0	`5ca16004f1d172a4dacb5491b9ab54a1f7b3a80cda4ceb4c4ce7424585988a17`	7482	0.5.0
gen_sponsor_corpus.py	0.1.0	`2ce10652e64e0af68f20ad9896064c16c0364a939087a427ea0e136a79125d1f`	14327	0.5.0
gen_sr3_scope_corpus.py	-	`5e21e13fa65835fbfc72e1d04505c30f3a3618810380fcb1eaaa0bb2383f8ebb`	25274	0.5.0
gen_sr8_order_corpus.py	-	`eb653834681f122a101c4e17e62f777f68f62972f2b3f6a1713adbccb3c9472b`	4182	0.5.0
gen_tests_corpus.py	-	`2d119c3503986bf528995f224f8656e9ace98c5380df39d835dbd471db0c85da`	39001	0.5.0
gen_unicode_table.py	0.1.0	`87a1deacc1c3c187ff278d05c3e74679289498d82dc02446495e06246836153f`	2697	0.5.0
gen_units_corpus.py	-	`d6b4132ba2b093c2836c4e0a879ec2eed6e8420e69e60c1e7e77966736782a4e`	14977	0.5.0
gen_volunteer_corpus.py	0.1.0	`c63882fb8ed5c2b78711434c0abd11863074a2ea7933644ca90449a333ca4640`	21501	0.5.0
gen_yardstick_corpus.py	-	`9192bdeb26e7082cba848d5e862a3b3cfbfa68164c1c217b6aae6b5eb77a28d3`	13559	0.5.0
gen_zone_corpus.py	-	`d5f223f81dad1b8c2f21aa19480241712b499ec7d49dcab42e194eeca8d62b89`	70263	0.5.0
hunk_inputs/lr7_request/hunks_request.json	-	`2c220954a20ad5dc10a1e6666be79138a6f050f0f79f845352305f69de054e37`	37423	0.5.0
hunk_inputs/lr7_request/tpm_tps_thread_request_0_1_9.txt	-	`eedd0c2db575c4c3f6d84867d01235e4025a5fd2151207377e00c74754b01078`	65036	0.5.0
hunk_inputs/wiki_batch_2026-09-25.json	0.1.0	`b51075614465c35de9797136177ef04e28847ea3b0ab768473f702420fced51e`	292002	0.5.0
params_fixture.py	0.1.0	`ea9ce469c32fb44eb67f8776ba96b47504088a11610fc48ee940e43c3f9e98c0`	2549	0.5.0
run_corpus.py	-	`a8af4ad0edb127364a324fa594da1e19242d8c6b68987761aff692e8da1f8af2`	14217	0.5.0
tpc_beta.py	0.1.0	`4f047f1c7c0a689168775bca767dea4b2dfdce61291b92ed124a91172a5e7e45`	9151	0.5.0
tpc_biblio.py	0.2.0	`9511a7f6d92aeca9fd3496f00e87110a469829f0db4eb401bde77904976216e1`	72880	0.5.0
tpc_challenge.py	0.1.0	`b577b3d5d226b0a81c2650719a576b7e4d9dffb8aae78b151017314d21da6568`	2908	0.5.0
tpc_cluster.py	0.3.0	`e2d6808553ba64dac3fc956d401d3aa90333dc076672d8b975f14cc47ddaf902`	13743	0.5.0
tpc_digest.py	0.3.0	`7c19ec79236d29eade77ef5b60e593e3e8e830973dced47c62083851eca7068a`	14022	0.5.0
tpc_eom.py	0.2.0	`dc014d772c874eb408774deca4248ae99e2725478c5831734cbe0d078cf315fb`	43397	0.5.0
tpc_falcon.py	0.2.0	`ae5775ff27683078dd2312d98fb203179687efa7ed252c3099c54cb1083e697a`	104843	0.5.0
tpc_fingerprint.py	0.1.0	`65833c75c5570b5af15ec1e28c7f870e1cfba8f3f98cf2f1bc8bc8604b65807f`	8592	0.5.0
tpc_form.py	0.2.1	`21ed78428c06b4a443cb6aab38174b7e5632609dc1c08c8c2158b54229b3ff65`	56856	0.5.0
tpc_hold.py	0.3.0	`35831f1a55cadb2d639cada1c836bbd29a9a7ac7155d38273ecd5df29bac47ca`	24896	0.5.0
tpc_hunk.py	0.1.0	`b1662188a9ae9340ec7a46c2005c57f5323b60d2fc56d4861735c70970b23c94`	6615	0.5.0
tpc_identity.py	0.1.1	`da18ad78715326a18e0ad60a1fe6f189b4cfbe16053aa678fa681e70819bcb2d`	23128	0.5.0
tpc_lint.py	0.1.0	`f0a8a523275da19351b734dabd4f84185ca841ee962c073fb3d4698292cfb4ca`	38801	0.5.0
tpc_module.py	0.1.1	`d68e993487ff39b71b24ba0c96f8871f302ee98f3322fdb401ed3b975c48883f`	77039	0.5.0
tpc_probe.py	0.2.0	`8b99a699b72469a79c2b3d34f91bf176d8bb3ccad9aa305f8ba1fdb2e262f0dc`	31669	0.5.0
tpc_record.py	0.1.0	`463ef77c1d8ade48cd3163ca048c77c12101f788757cebee53592693e08f78db`	103637	0.5.0
tpc_score.py	0.1.0	`4cd87961065b502198746521c60c63211f44a7f72e4eee88b787075bc19fa699`	51207	0.5.0
tpc_sponsor.py	0.1.0	`9dc84cb4529fed12c85d1701504669b0ffa6d8d2d9d4c41550f8bf7e591f7ac1`	16972	0.5.0
tpc_sr9.py	0.1.1	`8856950baf55a6ea891b511028c9f3fc0f03eb77857c02002a43b3b4bdaa7980`	8794	0.5.0
tpc_strike.py	0.3.0	`c2d6586e704d98b16c200a3f93c266efc6b7d68e77c4b4b65f2c8778e4d6ba4c`	25101	0.5.0
tpc_tests.py	0.2.1	`be0f8d09ae45f552f92bdb6e7a02958e91783a04e8df7510368e7d89726d11c0`	21289	0.5.0
tpc_units.py	0.1.2	`be8b289b1eca5ae40ee05b62756da46afe3db651b35ac3e25028a49f9ed70291`	16338	0.5.0
tpc_volunteer.py	0.1.0	`c8d973f81a4e5fbc9103356a40b0f9354878ee894dee37a4b81f36d061bc1acd`	21862	0.5.0
tpc_yardstick.py	0.2.0	`61bc436a04c9a7a6a5572bf0b7751ed970b694c7adc7488d8f3431de4b934813`	7716	0.5.0
tpc_zone.py	0.5.1	`9548516e42209602f5fd46dedfbfcee88e3742e583540b418cb5184a1a56b86c`	43704	0.5.0
vectors/beta_corpus.json	0.1.0	`c0ee1ef472b3225b1e9e698be67fa74365d4f72124e2abfdd3296bba0b600910`	16993	0.5.0
vectors/biblio_corpus.json	0.2.0	`4853b0db59fbeae94b1c439ded8f785f5119f67c000048e90a8003c821662999`	312344	0.5.0
vectors/canon_corpus.json	0.1.0	`ef5e6716c7feb119984b3e008340b01b1c87cadce589696e975fc6bcbaabbe6f`	1894	0.5.0
vectors/challenge_corpus.json	0.1.0	`d6b645e2db58fa0eee0a91069baae47169cd7d58d4172ce4b2829da1fbfb816c`	4819	0.5.0
vectors/cluster_corpus.json	0.3.0	`e6377becd93b4fcb2449e48fa469dc9a89eb774db892edd118206829ab9277c0`	60464	0.5.0
vectors/conditions_corpus.json	0.1.0	`aff5447364e25319618f0dc3a3f96884f3233486062dfd3cc2002c6ba4514bdc`	196757	0.5.0
vectors/digest_corpus.json	0.1.0	`1a09210d8f1145abc62dcc6c4554339dfa94c5161e595c86cf9b66d2686537be`	3293	0.5.0
vectors/dis_corpus.json	0.2.0	`4ab4cf9d67cd1f158601ce727b55608cf02be2d5c44188406384cca83055f82b`	97951	0.5.0
vectors/eom_corpus.json	0.2.0	`d1985806e7580f8dc51cbb68c9ad0e474debef5476355f440506a8a856f13721`	1047722	0.5.0
vectors/falcon_corpus.json	0.2.0	`9cc62811d59536a72ae59aded254e25d84afdd56cefc256f0c893d8297b08573`	489555	0.5.0
vectors/fingerprint_corpus.json	0.1.0	`c3a1fab6cff57e35e61bd2b00c598f4e8eaf645807bc2548ca1be7ae6dd7c3ca`	60090	0.5.0
vectors/form_corpus.json	0.5.1	`db117d1244bdbccaa4a367747748bfd5f7839ea3e0ec3848d2f6637cbec2b9fa`	785678	0.5.0
vectors/hold_corpus.json	0.3.0	`aad9d7c28a32c5ef4dbe20b7f7d70645654e26c679bdacb2e0b43da797a293d2`	192386	0.5.0
vectors/hunk_corpus.json	0.1.0	`73981b55994b84109ece93278d0bb854edd1af608022fb83aecf5cd7aee21403`	154944	0.5.0
vectors/hunk_wiki_corpus.json	0.1.0	`41a23e1cc7f71dc73027ce3cac84aa62210a9c5a1d966a6ef833a260ae309952`	524284	0.5.0
vectors/identity_corpus.json	0.1.0	`28d521aca2f570be5605207b91fe71fcdf5a9fa47192d0c43fb1e7791f2b3a43`	59310	0.5.0
vectors/lint_corpus.json	0.1.0	`6080c99d22e9aa11ca233e7f9b4ace8bc0ac292a6a9cb183d288b86dce16be7e`	80909	0.5.0
vectors/module_corpus.json (in 3 pages: 1, 2, 3)	0.2.1	`b46f3c7f4280bae8abb1aae6faf44f59eca132ca2644a4ef8f061b150ff88eb8`	3889266	0.5.0
vectors/probe_corpus.json	0.2.0	`12dbbec0c2cf83e5a52454783d6609074b72d90027a84233718617c8ee13eb62`	356345	0.5.0
vectors/record_corpus.json (in 2 pages: 1, 2)	0.1.0	`dcc2ad273e362bbf32abaf698d96e5beed6f58dd6edb0531c3f60893747376ea`	1560168	0.5.0
vectors/record_view_corpus.json	0.1.0	`9ab231d5884e4a18e632fcd489436790f18bdb2009486f0c9b7883cb2f21cfa2`	87538	0.5.0
vectors/score_corpus.json	0.1.0	`67d64193a4ea0353133926059f90edd06b2fad82e2daa6e76a3361f78d60307e`	1164567	0.5.0
vectors/settlement_corpus.json	0.1.0	`78f6c3b904340e9129f4f7c2b1a80aadc52549d9a16aa7afa24e060f1d95fb91`	104392	0.5.0
vectors/sponsor_corpus.json	0.1.0	`1687a4c0b0f253c2327f54297bbe8b36a27bec80b45d7f60eac4c19cce91b6cd`	39867	0.5.0
vectors/sr3_scope_corpus.json	0.1.3	`3810c89e16e687f11727dde43a3670ef4a8b918a7915f9d76f5103597a3f7358`	372083	0.5.0
vectors/sr8_order_corpus.json	0.1.0	`8b7655f24b7e93d57a429be0a226a16589c02cfdfaab129ebc18d7f7738c446c`	1698	0.5.0
vectors/sr9_corpus.json	0.1.0	`2c3c2811519d835c8c7198d8d25cd150675a2c20dfb6a61024c46d26428a2c4a`	47709	0.5.0
vectors/strike_corpus.json	0.1.0	`28ff14face54f14ea2b9c7f3fbfd96d5c538ef566c1d5e84d38718ad4d2c6e4d`	4073	0.5.0
vectors/tests_corpus.json	0.3.2	`ee73b339d58f2c9ce72227137750ac62aed411eda1c43e1fd7f3b33d5a589b69`	215309	0.5.0
vectors/units_corpus.json	0.1.1	`b60286a1dfb3982382a7569e79949b5019b693a94aabcb0fa8a80586c0f87c2c`	17670	0.5.0
vectors/volunteer_corpus.json	0.1.0	`8b7733c0aab7b8d58421d875005f640f87f45103a02724cadb04772127934825`	451832	0.5.0
vectors/yardstick_corpus.json	0.2.0	`5b0d7642e36bd189fb61b656589f1e5e618f7602de905370cd0ece797d985415`	153854	0.5.0
vectors/zone_corpus.json	0.5.2	`80179329b18cfa802b13d4c875b4f203ffa5167acc33e019ad4436aa1757453e`	733263	0.5.0
verify_lr7_hunks.py	0.1.0	`0f7d967a2cbd113c6c3a240872ea07f1c3b3245f42f17184491d235d594fb918`	3731	0.5.0

Files kept in pages

A file too large for one page is kept in numbered pages: this page's title, a slash, the file's path, a slash and the number (1, 2, ...). Its bytes are the pages' raw texts joined in order; the SHA-256 in the manifest is the joined file's. Each line: the number of pages, two spaces, the path.

3  vectors/module_corpus.json
2  vectors/record_corpus.json

Manifest

a142a0dec39aa96fb05341c1ed04802e9d5fae4fb85cb951fe00b91aac33c176  check_draft.py
29a46269c301bf2453f68500a7b9befafd892f778fd7e65912c8447b2d42c58c  crosspy.py
535f2c7263bdcd56a2481ff8722918bb20cfc582db28b3c1acafd8c52b034e0a  diff_beta.php
260e80052fd92534349662150a9c996b399bacde8e254c93cad73f9ef9adefef  diff_beta.py
7c5e4c7d06e4fc747f85a09f99b80a41309f4fd61ee0853f58d5c916f4d99771  diff_biblio.php
58976011ebffb18c2ceda1a1e33e449496c5ff7356e345e6c17feeaa70f7b3e1  diff_biblio.py
bc035a1a1e9e242cb01e4fbf06b2c3250d27a566d85a97cb2540efeb24efaa58  diff_cluster.php
00d67d36d74f491daa2ca90dcf271c30bc00311c96215457ea8b2e4dcee702c4  diff_cluster.py
1fe14472465856f79774f8f2363cef5114486eae1792f0410693e7e3d045b0db  diff_falcon.php
8084d58bfe2fa17bc30a146797055a0e98b13663227b3c2e979a863a55e21a8f  diff_falcon.py
d9c820a0da5e7ab34c65e4ce39fa1abcd7d1dc76eca439b6ac7ebf2782d2edb5  diff_fingerprint.php
a7bcfbe1a11162f990aa1afeab55461aac8a5ddc27d16e87c1e698ecb9835a29  diff_fingerprint.py
a4a5e5cd2ae8dbb062a970137ab25339357c95cae87ce442734e576806bba31b  diff_hunk.php
0e2ae21ea4ddfd5790f2524a10beac39d093bcd8a7ff023b9f5fbc1612ac4ebd  diff_hunk.py
eac05037641bf6ae3c4226bfdba2e1aa375b37f28a856a2c3760cd13edd125c4  diff_identity.php
4e12aa6b64e9c321e537c78d7b6def3b5b9987657d222e7172a80f156d08a3c5  diff_identity.py
cb54acc90ef7beadc7ad8130cdfde7c4181a0ece7f9e2fe8d42d7c36b987f16e  diff_lint.php
56d54421947ff18864165a9136d13761c3320ae7369f42b2dee0692dce911472  diff_lint.py
a3acafab46d178bd2d182a9c1997716dbb04f73293c39f68fec2c69631722a86  diff_probe.php
955adce109baf21e6e92ccf73a83102ef0824931d76b18ae71af6ac50f29d516  diff_probe.py
7324ae841e38780f36835ea5585f7560dbe26e92506fababee4cc33d0776fe1f  diff_score.php
3a230c7a59820cf49724f10ed7ea331bd81178d9dfeaf85e92691d9a0c1ca52d  diff_score.py
c29d496acd9ff4c39c284962ac7daf250d172012221fbe06201f6add1fac8d49  diff_sponsor.php
11c9f3822eafe3a8a59ad8a0422f9907638549655a3fae1a95b915627ea15f33  diff_sponsor.py
596592aaebadb552132bd5e159e9b3371f5d8c9353397760110f0ff0628fd26e  diff_volunteer.php
34cb5260e9e0fbe08c51315b2bca52044c7b11a3e3e10239ac3ad8edd5e32a9c  diff_volunteer.py
d976af6b9eb74597f954a923e3f8c9a4d02ac4b48d4758ba202c16b90a9e121d  examples/corner_coulomb.json
434867ebfc42322e3d481f91f12a5b9fd431ce70166ccd9c01c37cdbed10c8a4  examples/corner_fix_t.json
a83a0c8baa9818947988c5aa9c28e8b129233cfe4710e2187006704f9c415ed8  examples/corner_no_eom_x.json
322be8149763e90716ec55b834183fea14f1ff417755d1db502abeec577e01c7  examples/spring_draft.json
c41c169372bc65fb07f859b245e8c1508a764862e8c8896fa5f7d1f6e2f4e511  examples/spring_gravity_unbound.json
ca6f5039d47a11b68216345c15afdbc2c10e0fb2adb8e9a13080f3634143c06c  examples/spring_ic2_gap.json
49d232b17b29192702434f8dad0a5bc190f84a4c8860b03edcb3125638f34125  examples/spring_ic2_reject.json
423a945755c0e472c9ab7f1a13204623081809186e6e87d6f4b4c77306d8518b  examples/spring_mistakes_checks.json
1690c04477a24bb02de23de18bfe128048d9d63ccaaaa9a83f18054e8f156269  examples/spring_mistakes_final.json
735ff3e857127418e5e7b053af5c43697be2ba381714ec5dd60a1e1715acecc0  examples/spring_mistakes_form_boundary.json
f0b134b3fe3f86b63d7d2b834628b028874386d2b6b1fce24f58d760e1776f7f  examples/spring_mistakes_form_law.json
97d6171677858d8e8a08f0d0ce6ee42ace82738027c18139cca2f72e56787ed3  examples/spring_mistakes_gravity.json
896a35e09a4678ffef52c5be77a97fc851a819015df94142923bd008fb38ae82  examples/spring_mistakes_syntax.json
01eb186d27695818da995d21b45a701348436e1384561385afb3205f12cd6279  examples/spring_mistakes_text.json
b082ed8303221ba05c5d2a9c6e68f272cffe535de18b8e8025faf7e90c747543  examples/spring_mistakes_tms.json
3a539c01993258af0c87b956b43d1b712b2e11c0d9ac8c33836daeadba8f6667  examples/spring_mistakes_tpk.json
e73d5d0df2f559bd95803f53a8f5f77d5e20ad805ae64923a7e8f73f7e73a8b1  examples/spring_mistakes_trm.json
f07ec353452b6eb6aea17632ba0e8b8913e67a6a0b69f295303b66ccc88b9693  examples/spring_mistakes_types.json
353ba04ec1de5ff10ea499a329e253a27b19405fdef925dd79bbf44cd1eaecbd  examples/spring_noform_draft.json
489ab7059d88c051a64431d85789c0b5f0a01d2f080bf2f287a98d9817645280  examples/spring_respelled.json
8b3fc72f3214e4110f241fd6152bd20aae51098c8c2e05dceb6c43fbcf836331  examples/spring_step2_noform_tpk.json
767769ab0724cf9282dc87085b9f63d190f8a265c65c1f401d2112e6b0f3d317  examples/spring_step2_tpk.json
f964e7d99670efaf6c6b03005b13708e6309e7c83e98f12f5c6f3fb159b1919f  examples/spring_step3_tpk_trm.json
dedffd22e276ab66bf9267b1508339c221805c1156e5e2176d753ddcd6b7fd8c  examples/spring_succ_damped.json
e3966ddf35fdf04694115b72f24430c456edda5b4038f135b9ad67696a31c492  examples/spring_succ_k3.json
b3f465a6f34b9876504fac604ffe46cce42e9af538ee5f045b4f93590cf65ba1  examples/spring_succ_reordered.json
8115ff88e3adf806b99b7ec37a2c2acb7995e72409e7dfdf2cc8eeeb10919fa6  examples/spring_track_draft.json
4ab6b7898fac3a418b1e09bb5be3c6ea793ebfa28efbd70f9eea473cf8991db2  gen_beta_corpus.py
7548da4dd9ff6b17ada346be65bb4873f5aa55626ec64118859cb80b3dd53c0b  gen_biblio_corpus.py
cfd5ee27a1a974d61e4eea2e42c808e6640353930e94df2a1f35f8775c98798a  gen_biblio_unicode_table.py
7e86e356a91ed1bda428373856d987b1769612957fb252d88421d35110caa73e  gen_canon_corpus.py
254be646eb43663f1176bd529e147ffbebce447b9c68f95e53e2ed0466857206  gen_challenge_corpus.py
f9c06c6035e7a1faeb4577bbb7a4a5eefefef74e5ca66273c14e5803f77b977b  gen_cluster_corpus.py
216dd10dc7516e9da3a3abbea4b8261550d6a345b88a428d6efbd21fd8897209  gen_conditions_corpus.py
1def05bafa809a45bd70f6674b2dbc6158341fe9cc80982900c5d38c863f5a7d  gen_dis_corpus.py
2f2a8aad7ffc1b241d9fef82df0bcebface3296c7db3b9bba1779b55651adaaf  gen_eom_corpus.py
a06ca5707b0a28ee5d971cac53cc06107f30b0e8d043b622bfe4ef3a50554d56  gen_falcon_corpus.py
6c9f79908e1902e578c9296ab5d72f73a4d1dc9dd6ccaefe46e6e206cb1944a9  gen_fingerprint_corpus.py
f79d0ed977daf8e9f3ec69975d0161555d5245fe9d2d73e0af249784f42fdb94  gen_form_corpus.py
1d88a2b751f1a29db1c513621bf19d61ec3e55d231306e1c25003e0ea2e2e703  gen_hold_corpus.py
4eef7f3bba8ff6a92854a73bf1b71c5460bfc026557ffbf9927c0e8ba85b056e  gen_hunk_corpus.py
1ef258ced0dca804a308c391111d8bb9f685f46561672b304026712d4c8ff265  gen_hunk_wiki_corpus.py
aa6265343d9e63d713ce4d547d4965cf7021131879ed3bec5c180e584e112941  gen_identity_corpus.py
e7ed933411facf017301d8113da795a02ea3673445b6790197f50c7281bd3dfe  gen_lint_corpus.py
259cf3be8e85d6cc5578c242072aa78cecb84f4c6c4e2e425643d25ab71cf090  gen_lint_tables.py
f3023791a9f78b0f9d31a980a5fd99408e3621cacd9128181cf7881df4c2614f  gen_module_corpus.py
36a494cce8a589480b3b74bf4d6a866d7e87de7ccc5f604658a9d511c232db4b  gen_probe_corpus.py
0588448729d0dd0f099409cca49a29e15ab1125573f114572521cf7a4b8a8870  gen_record_corpus.py
1399f60a21ae701c78069f87c5c6db2f29f080c63f8764bc793058d17a094aaf  gen_record_view_corpus.py
91221b316cd6b25316579829c34195caa39177fdc77443559c530f02bc0b2db3  gen_score_corpus.py
5ca16004f1d172a4dacb5491b9ab54a1f7b3a80cda4ceb4c4ce7424585988a17  gen_settlement_corpus.py
2ce10652e64e0af68f20ad9896064c16c0364a939087a427ea0e136a79125d1f  gen_sponsor_corpus.py
5e21e13fa65835fbfc72e1d04505c30f3a3618810380fcb1eaaa0bb2383f8ebb  gen_sr3_scope_corpus.py
eb653834681f122a101c4e17e62f777f68f62972f2b3f6a1713adbccb3c9472b  gen_sr8_order_corpus.py
2d119c3503986bf528995f224f8656e9ace98c5380df39d835dbd471db0c85da  gen_tests_corpus.py
87a1deacc1c3c187ff278d05c3e74679289498d82dc02446495e06246836153f  gen_unicode_table.py
d6b4132ba2b093c2836c4e0a879ec2eed6e8420e69e60c1e7e77966736782a4e  gen_units_corpus.py
c63882fb8ed5c2b78711434c0abd11863074a2ea7933644ca90449a333ca4640  gen_volunteer_corpus.py
9192bdeb26e7082cba848d5e862a3b3cfbfa68164c1c217b6aae6b5eb77a28d3  gen_yardstick_corpus.py
d5f223f81dad1b8c2f21aa19480241712b499ec7d49dcab42e194eeca8d62b89  gen_zone_corpus.py
2c220954a20ad5dc10a1e6666be79138a6f050f0f79f845352305f69de054e37  hunk_inputs/lr7_request/hunks_request.json
eedd0c2db575c4c3f6d84867d01235e4025a5fd2151207377e00c74754b01078  hunk_inputs/lr7_request/tpm_tps_thread_request_0_1_9.txt
b51075614465c35de9797136177ef04e28847ea3b0ab768473f702420fced51e  hunk_inputs/wiki_batch_2026-09-25.json
ea9ce469c32fb44eb67f8776ba96b47504088a11610fc48ee940e43c3f9e98c0  params_fixture.py
a8af4ad0edb127364a324fa594da1e19242d8c6b68987761aff692e8da1f8af2  run_corpus.py
4f047f1c7c0a689168775bca767dea4b2dfdce61291b92ed124a91172a5e7e45  tpc_beta.py
9511a7f6d92aeca9fd3496f00e87110a469829f0db4eb401bde77904976216e1  tpc_biblio.py
b577b3d5d226b0a81c2650719a576b7e4d9dffb8aae78b151017314d21da6568  tpc_challenge.py
e2d6808553ba64dac3fc956d401d3aa90333dc076672d8b975f14cc47ddaf902  tpc_cluster.py
7c19ec79236d29eade77ef5b60e593e3e8e830973dced47c62083851eca7068a  tpc_digest.py
dc014d772c874eb408774deca4248ae99e2725478c5831734cbe0d078cf315fb  tpc_eom.py
ae5775ff27683078dd2312d98fb203179687efa7ed252c3099c54cb1083e697a  tpc_falcon.py
65833c75c5570b5af15ec1e28c7f870e1cfba8f3f98cf2f1bc8bc8604b65807f  tpc_fingerprint.py
21ed78428c06b4a443cb6aab38174b7e5632609dc1c08c8c2158b54229b3ff65  tpc_form.py
35831f1a55cadb2d639cada1c836bbd29a9a7ac7155d38273ecd5df29bac47ca  tpc_hold.py
b1662188a9ae9340ec7a46c2005c57f5323b60d2fc56d4861735c70970b23c94  tpc_hunk.py
da18ad78715326a18e0ad60a1fe6f189b4cfbe16053aa678fa681e70819bcb2d  tpc_identity.py
f0a8a523275da19351b734dabd4f84185ca841ee962c073fb3d4698292cfb4ca  tpc_lint.py
d68e993487ff39b71b24ba0c96f8871f302ee98f3322fdb401ed3b975c48883f  tpc_module.py
8b99a699b72469a79c2b3d34f91bf176d8bb3ccad9aa305f8ba1fdb2e262f0dc  tpc_probe.py
463ef77c1d8ade48cd3163ca048c77c12101f788757cebee53592693e08f78db  tpc_record.py
4cd87961065b502198746521c60c63211f44a7f72e4eee88b787075bc19fa699  tpc_score.py
9dc84cb4529fed12c85d1701504669b0ffa6d8d2d9d4c41550f8bf7e591f7ac1  tpc_sponsor.py
8856950baf55a6ea891b511028c9f3fc0f03eb77857c02002a43b3b4bdaa7980  tpc_sr9.py
c2d6586e704d98b16c200a3f93c266efc6b7d68e77c4b4b65f2c8778e4d6ba4c  tpc_strike.py
be0f8d09ae45f552f92bdb6e7a02958e91783a04e8df7510368e7d89726d11c0  tpc_tests.py
be8b289b1eca5ae40ee05b62756da46afe3db651b35ac3e25028a49f9ed70291  tpc_units.py
c8d973f81a4e5fbc9103356a40b0f9354878ee894dee37a4b81f36d061bc1acd  tpc_volunteer.py
61bc436a04c9a7a6a5572bf0b7751ed970b694c7adc7488d8f3431de4b934813  tpc_yardstick.py
9548516e42209602f5fd46dedfbfcee88e3742e583540b418cb5184a1a56b86c  tpc_zone.py
c0ee1ef472b3225b1e9e698be67fa74365d4f72124e2abfdd3296bba0b600910  vectors/beta_corpus.json
4853b0db59fbeae94b1c439ded8f785f5119f67c000048e90a8003c821662999  vectors/biblio_corpus.json
ef5e6716c7feb119984b3e008340b01b1c87cadce589696e975fc6bcbaabbe6f  vectors/canon_corpus.json
d6b645e2db58fa0eee0a91069baae47169cd7d58d4172ce4b2829da1fbfb816c  vectors/challenge_corpus.json
e6377becd93b4fcb2449e48fa469dc9a89eb774db892edd118206829ab9277c0  vectors/cluster_corpus.json
aff5447364e25319618f0dc3a3f96884f3233486062dfd3cc2002c6ba4514bdc  vectors/conditions_corpus.json
1a09210d8f1145abc62dcc6c4554339dfa94c5161e595c86cf9b66d2686537be  vectors/digest_corpus.json
4ab4cf9d67cd1f158601ce727b55608cf02be2d5c44188406384cca83055f82b  vectors/dis_corpus.json
d1985806e7580f8dc51cbb68c9ad0e474debef5476355f440506a8a856f13721  vectors/eom_corpus.json
9cc62811d59536a72ae59aded254e25d84afdd56cefc256f0c893d8297b08573  vectors/falcon_corpus.json
c3a1fab6cff57e35e61bd2b00c598f4e8eaf645807bc2548ca1be7ae6dd7c3ca  vectors/fingerprint_corpus.json
db117d1244bdbccaa4a367747748bfd5f7839ea3e0ec3848d2f6637cbec2b9fa  vectors/form_corpus.json
aad9d7c28a32c5ef4dbe20b7f7d70645654e26c679bdacb2e0b43da797a293d2  vectors/hold_corpus.json
73981b55994b84109ece93278d0bb854edd1af608022fb83aecf5cd7aee21403  vectors/hunk_corpus.json
41a23e1cc7f71dc73027ce3cac84aa62210a9c5a1d966a6ef833a260ae309952  vectors/hunk_wiki_corpus.json
28d521aca2f570be5605207b91fe71fcdf5a9fa47192d0c43fb1e7791f2b3a43  vectors/identity_corpus.json
6080c99d22e9aa11ca233e7f9b4ace8bc0ac292a6a9cb183d288b86dce16be7e  vectors/lint_corpus.json
b46f3c7f4280bae8abb1aae6faf44f59eca132ca2644a4ef8f061b150ff88eb8  vectors/module_corpus.json
12dbbec0c2cf83e5a52454783d6609074b72d90027a84233718617c8ee13eb62  vectors/probe_corpus.json
dcc2ad273e362bbf32abaf698d96e5beed6f58dd6edb0531c3f60893747376ea  vectors/record_corpus.json
9ab231d5884e4a18e632fcd489436790f18bdb2009486f0c9b7883cb2f21cfa2  vectors/record_view_corpus.json
67d64193a4ea0353133926059f90edd06b2fad82e2daa6e76a3361f78d60307e  vectors/score_corpus.json
78f6c3b904340e9129f4f7c2b1a80aadc52549d9a16aa7afa24e060f1d95fb91  vectors/settlement_corpus.json
1687a4c0b0f253c2327f54297bbe8b36a27bec80b45d7f60eac4c19cce91b6cd  vectors/sponsor_corpus.json
3810c89e16e687f11727dde43a3670ef4a8b918a7915f9d76f5103597a3f7358  vectors/sr3_scope_corpus.json
8b7655f24b7e93d57a429be0a226a16589c02cfdfaab129ebc18d7f7738c446c  vectors/sr8_order_corpus.json
2c3c2811519d835c8c7198d8d25cd150675a2c20dfb6a61024c46d26428a2c4a  vectors/sr9_corpus.json
28ff14face54f14ea2b9c7f3fbfd96d5c538ef566c1d5e84d38718ad4d2c6e4d  vectors/strike_corpus.json
ee73b339d58f2c9ce72227137750ac62aed411eda1c43e1fd7f3b33d5a589b69  vectors/tests_corpus.json
b60286a1dfb3982382a7569e79949b5019b693a94aabcb0fa8a80586c0f87c2c  vectors/units_corpus.json
8b7733c0aab7b8d58421d875005f640f87f45103a02724cadb04772127934825  vectors/volunteer_corpus.json
5b0d7642e36bd189fb61b656589f1e5e618f7602de905370cd0ece797d985415  vectors/yardstick_corpus.json
80179329b18cfa802b13d4c875b4f203ffa5167acc33e019ad4436aa1757453e  vectors/zone_corpus.json
0f7d967a2cbd113c6c3a240872ea07f1c3b3245f42f17184491d235d594fb918  verify_lr7_hunks.py