The Principia Machina/TPC-PY
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: PROPOSED, not declared. Each TPC-PY version enters by a declaration of the declaring authority (TPS 5.11.9). Until that declaration the version labels below are working labels, and nothing on these pages is of record.
- Conformed TPS version: 0.3.0
- Files: 139, 13295634 bytes in all
- Tree digest:
a00161c1b321fd66abc591209007d46a7fa6290097835060e50f381426259043 - Built 2026-09-27T15:43:18Z by build_tpc_py_pages 0.2.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, delivered with these pages, does both, and can fetch the pages itself.
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.
Files
| File | Version | SHA-256 | Bytes | Conformed TPS version |
|---|---|---|---|---|
| check_draft.py | 0.5.0 | dccc2b59a5d245af078d3c9f70e267d6297707f8703de0eed3bce4297eb8b1d9 |
17488 | 0.3.0 |
| crosspy.py | 0.1.0 | 29a46269c301bf2453f68500a7b9befafd892f778fd7e65912c8447b2d42c58c |
1269 | 0.3.0 |
| diff_beta.php | - | 535f2c7263bdcd56a2481ff8722918bb20cfc582db28b3c1acafd8c52b034e0a |
322 | 0.3.0 |
| diff_beta.py | 0.1.0 | 260e80052fd92534349662150a9c996b399bacde8e254c93cad73f9ef9adefef |
2730 | 0.3.0 |
| diff_biblio.php | - | 7c5e4c7d06e4fc747f85a09f99b80a41309f4fd61ee0853f58d5c916f4d99771 |
465 | 0.3.0 |
| diff_biblio.py | 0.1.0 | 066959936e73c18ed3a79599eff336604b72b6e9a480c69949506ce39299eb11 |
27566 | 0.3.0 |
| diff_cluster.php | - | bc035a1a1e9e242cb01e4fbf06b2c3250d27a566d85a97cb2540efeb24efaa58 |
313 | 0.3.0 |
| diff_cluster.py | 0.3.0 | 00d67d36d74f491daa2ca90dcf271c30bc00311c96215457ea8b2e4dcee702c4 |
3938 | 0.3.0 |
| diff_falcon.php | - | 1fe14472465856f79774f8f2363cef5114486eae1792f0410693e7e3d045b0db |
326 | 0.3.0 |
| diff_falcon.py | 0.1.1 | 6361729435e0a269a7a1fb961f426098c957a95e4ad0739121b7b875f70e5d71 |
29141 | 0.3.0 |
| diff_fingerprint.php | - | d9c820a0da5e7ab34c65e4ce39fa1abcd7d1dc76eca439b6ac7ebf2782d2edb5 |
361 | 0.3.0 |
| diff_fingerprint.py | 0.1.0 | a7bcfbe1a11162f990aa1afeab55461aac8a5ddc27d16e87c1e698ecb9835a29 |
3722 | 0.3.0 |
| diff_hunk.php | - | a4a5e5cd2ae8dbb062a970137ab25339357c95cae87ce442734e576806bba31b |
347 | 0.3.0 |
| diff_hunk.py | 0.1.0 | 0e2ae21ea4ddfd5790f2524a10beac39d093bcd8a7ff023b9f5fbc1612ac4ebd |
2391 | 0.3.0 |
| diff_identity.php | - | eac05037641bf6ae3c4226bfdba2e1aa375b37f28a856a2c3760cd13edd125c4 |
355 | 0.3.0 |
| diff_identity.py | 0.1.0 | 4e12aa6b64e9c321e537c78d7b6def3b5b9987657d222e7172a80f156d08a3c5 |
6089 | 0.3.0 |
| diff_lint.php | - | cb54acc90ef7beadc7ad8130cdfde7c4181a0ece7f9e2fe8d42d7c36b987f16e |
378 | 0.3.0 |
| diff_lint.py | 0.1.0 | 56d54421947ff18864165a9136d13761c3320ae7369f42b2dee0692dce911472 |
12817 | 0.3.0 |
| diff_probe.php | - | ef3e71ee82be01428ea0c59db2f49298bece02b5e7e3b11e5179e60af378f91b |
349 | 0.3.0 |
| diff_probe.py | 0.1.0 | 21d1ac46f0e4e908fd4657dd14ccc9eb2016cdf9a9231fde0c76b5606a97bdd7 |
9240 | 0.3.0 |
| diff_score.php | - | 7324ae841e38780f36835ea5585f7560dbe26e92506fababee4cc33d0776fe1f |
349 | 0.3.0 |
| diff_score.py | 0.1.0 | 3a230c7a59820cf49724f10ed7ea331bd81178d9dfeaf85e92691d9a0c1ca52d |
11968 | 0.3.0 |
| diff_sponsor.php | - | c29d496acd9ff4c39c284962ac7daf250d172012221fbe06201f6add1fac8d49 |
353 | 0.3.0 |
| diff_sponsor.py | 0.1.0 | 11c9f3822eafe3a8a59ad8a0422f9907638549655a3fae1a95b915627ea15f33 |
5594 | 0.3.0 |
| diff_volunteer.php | - | 596592aaebadb552132bd5e159e9b3371f5d8c9353397760110f0ff0628fd26e |
357 | 0.3.0 |
| diff_volunteer.py | 0.1.0 | 34cb5260e9e0fbe08c51315b2bca52044c7b11a3e3e10239ac3ad8edd5e32a9c |
7317 | 0.3.0 |
| examples/corner_coulomb.json | - | d976af6b9eb74597f954a923e3f8c9a4d02ac4b48d4758ba202c16b90a9e121d |
5339 | 0.3.0 |
| examples/corner_fix_t.json | - | 434867ebfc42322e3d481f91f12a5b9fd431ce70166ccd9c01c37cdbed10c8a4 |
4716 | 0.3.0 |
| examples/corner_no_eom_x.json | - | a83a0c8baa9818947988c5aa9c28e8b129233cfe4710e2187006704f9c415ed8 |
4348 | 0.3.0 |
| examples/spring_draft.json | - | 322be8149763e90716ec55b834183fea14f1ff417755d1db502abeec577e01c7 |
4556 | 0.3.0 |
| examples/spring_gravity_unbound.json | - | c41c169372bc65fb07f859b245e8c1508a764862e8c8896fa5f7d1f6e2f4e511 |
4691 | 0.3.0 |
| examples/spring_ic2_gap.json | - | ca6f5039d47a11b68216345c15afdbc2c10e0fb2adb8e9a13080f3634143c06c |
4776 | 0.3.0 |
| examples/spring_ic2_reject.json | - | 49d232b17b29192702434f8dad0a5bc190f84a4c8860b03edcb3125638f34125 |
4806 | 0.3.0 |
| examples/spring_mistakes_checks.json | - | 423a945755c0e472c9ab7f1a13204623081809186e6e87d6f4b4c77306d8518b |
4582 | 0.3.0 |
| examples/spring_mistakes_final.json | - | 1690c04477a24bb02de23de18bfe128048d9d63ccaaaa9a83f18054e8f156269 |
4759 | 0.3.0 |
| examples/spring_mistakes_form_boundary.json | - | 735ff3e857127418e5e7b053af5c43697be2ba381714ec5dd60a1e1715acecc0 |
4555 | 0.3.0 |
| examples/spring_mistakes_form_law.json | - | f0b134b3fe3f86b63d7d2b834628b028874386d2b6b1fce24f58d760e1776f7f |
4560 | 0.3.0 |
| examples/spring_mistakes_gravity.json | - | 97d6171677858d8e8a08f0d0ce6ee42ace82738027c18139cca2f72e56787ed3 |
4674 | 0.3.0 |
| examples/spring_mistakes_syntax.json | - | 896a35e09a4678ffef52c5be77a97fc851a819015df94142923bd008fb38ae82 |
4555 | 0.3.0 |
| examples/spring_mistakes_text.json | - | 01eb186d27695818da995d21b45a701348436e1384561385afb3205f12cd6279 |
1679 | 0.3.0 |
| examples/spring_mistakes_tms.json | - | b082ed8303221ba05c5d2a9c6e68f272cffe535de18b8e8025faf7e90c747543 |
4654 | 0.3.0 |
| examples/spring_mistakes_tpk.json | - | 3a539c01993258af0c87b956b43d1b712b2e11c0d9ac8c33836daeadba8f6667 |
1698 | 0.3.0 |
| examples/spring_mistakes_trm.json | - | e73d5d0df2f559bd95803f53a8f5f77d5e20ad805ae64923a7e8f73f7e73a8b1 |
4076 | 0.3.0 |
| examples/spring_mistakes_types.json | - | f07ec353452b6eb6aea17632ba0e8b8913e67a6a0b69f295303b66ccc88b9693 |
4556 | 0.3.0 |
| examples/spring_noform_draft.json | - | 353ba04ec1de5ff10ea499a329e253a27b19405fdef925dd79bbf44cd1eaecbd |
4394 | 0.3.0 |
| examples/spring_respelled.json | - | 489ab7059d88c051a64431d85789c0b5f0a01d2f080bf2f287a98d9817645280 |
4553 | 0.3.0 |
| examples/spring_step2_noform_tpk.json | - | 8b3fc72f3214e4110f241fd6152bd20aae51098c8c2e05dceb6c43fbcf836331 |
1511 | 0.3.0 |
| examples/spring_step2_tpk.json | - | 767769ab0724cf9282dc87085b9f63d190f8a265c65c1f401d2112e6b0f3d317 |
1673 | 0.3.0 |
| examples/spring_step3_tpk_trm.json | - | f964e7d99670efaf6c6b03005b13708e6309e7c83e98f12f5c6f3fb159b1919f |
4112 | 0.3.0 |
| examples/spring_succ_damped.json | - | dedffd22e276ab66bf9267b1508339c221805c1156e5e2176d753ddcd6b7fd8c |
4627 | 0.3.0 |
| examples/spring_succ_k3.json | - | e3966ddf35fdf04694115b72f24430c456edda5b4038f135b9ad67696a31c492 |
4556 | 0.3.0 |
| examples/spring_succ_reordered.json | - | b3f465a6f34b9876504fac604ffe46cce42e9af538ee5f045b4f93590cf65ba1 |
4556 | 0.3.0 |
| examples/spring_track_draft.json | - | 8115ff88e3adf806b99b7ec37a2c2acb7995e72409e7dfdf2cc8eeeb10919fa6 |
5239 | 0.3.0 |
| gen_beta_corpus.py | 0.1.0 | 35cf6925b8bdc33e753baa00319e088857d45ae64a75ffac801f41829b38ee0a |
10328 | 0.3.0 |
| gen_biblio_corpus.py | 0.1.0 | 95943dd126f859c843d17b63513cee9e0c8518b5bbeec157b4b9807e8e9cf8f0 |
77978 | 0.3.0 |
| gen_biblio_unicode_table.py | 0.1.0 | cfd5ee27a1a974d61e4eea2e42c808e6640353930e94df2a1f35f8775c98798a |
2881 | 0.3.0 |
| gen_canon_corpus.py | - | 7e86e356a91ed1bda428373856d987b1769612957fb252d88421d35110caa73e |
3211 | 0.3.0 |
| gen_challenge_corpus.py | - | 254be646eb43663f1176bd529e147ffbebce447b9c68f95e53e2ed0466857206 |
6421 | 0.3.0 |
| gen_cluster_corpus.py | 0.3.0 | 3ca95a2f20b2809a49555d27d4d68968d59426d4e8d8ec48884d0f4bd77821b2 |
13133 | 0.3.0 |
| gen_eom_corpus.py | - | 4e9fe8ec42f61137813fc23591acf31a88bb6de5ed42c0013b4f42b2d196dcc0 |
158179 | 0.3.0 |
| gen_falcon_corpus.py | 0.1.1 | 6da3d320e5c7a72e9cac8e225fc3b7dc663c3e8b976bc7522bc4de5546e74e30 |
102787 | 0.3.0 |
| gen_fingerprint_corpus.py | 0.1.0 | 625f7bfc9c1fb79d62f4db7ff4cda42c9f49151ac0cd37f315e09990db18e36e |
13127 | 0.3.0 |
| gen_form_corpus.py | - | 8debfe348cb4a5a34d77bbb9326aae936f6c85c828de37da350076f10b32a4f5 |
79951 | 0.3.0 |
| gen_hold_corpus.py | - | 2fcf9a53688f0124c6c72b0fb3d6e48942788d6e8ca427f5b3d8fe53e42cd4c4 |
34911 | 0.3.0 |
| gen_hunk_corpus.py | 0.1.0 | 4eef7f3bba8ff6a92854a73bf1b71c5460bfc026557ffbf9927c0e8ba85b056e |
6217 | 0.3.0 |
| gen_hunk_wiki_corpus.py | 0.1.0 | 1ef258ced0dca804a308c391111d8bb9f685f46561672b304026712d4c8ff265 |
3586 | 0.3.0 |
| gen_identity_corpus.py | 0.1.0 | ee5ecd5f50472681dfd40e2267977179dbef7d54dc9e8ff6108b395d8ea2704c |
17305 | 0.3.0 |
| gen_lint_corpus.py | 0.1.0 | d64be7d29b174ea682416388063651b4b4efcf870d8fe7c41d99a8837f167edb |
31067 | 0.3.0 |
| gen_lint_tables.py | 0.1.0 | fb076dca040c733ab6699b2a345ff205d339b4704440c0cb6898edb7bc0abc8e |
23324 | 0.3.0 |
| gen_module_corpus.py | 0.2.0 | 1031a1d314abf755c86cb1fc41efff2e0290ccf26f1842d7104c838ebf437d9b |
142895 | 0.3.0 |
| gen_probe_corpus.py | 0.1.0 | 5dad4c53e217e269833c347f5565d8f22658990600a2a252050c421f3054ffb8 |
33350 | 0.3.0 |
| gen_score_corpus.py | 0.1.0 | 9e49fc787b717ddbec369e8dd6123a08cbd9a292bf85467818996b1c850c2de3 |
68412 | 0.3.0 |
| gen_sponsor_corpus.py | 0.1.0 | 5ff9451f9744e7f1b6fe52593da8b250bea771aa90f77fe6e24572adbcd47c25 |
14295 | 0.3.0 |
| gen_sr3_scope_corpus.py | - | 132deb0e16a83bb6beb9b065729a7610c0a1176a53758620a7866251858ace46 |
23184 | 0.3.0 |
| gen_sr8_order_corpus.py | - | eb653834681f122a101c4e17e62f777f68f62972f2b3f6a1713adbccb3c9472b |
4182 | 0.3.0 |
| gen_tests_corpus.py | - | af70be8de996a67fe4f1e6df89d41ec7b3764556883b91554d7eee74b8013bcd |
34442 | 0.3.0 |
| gen_unicode_table.py | 0.1.0 | 87a1deacc1c3c187ff278d05c3e74679289498d82dc02446495e06246836153f |
2697 | 0.3.0 |
| gen_units_corpus.py | - | d6b4132ba2b093c2836c4e0a879ec2eed6e8420e69e60c1e7e77966736782a4e |
14977 | 0.3.0 |
| gen_volunteer_corpus.py | 0.1.0 | 15e5e42ff579bd15573491202e0703d8a19d40fd48b8a01fae2014b6e0527a45 |
21487 | 0.3.0 |
| gen_yardstick_corpus.py | - | b51f0ec9a83216d6faff9ae5eef8b1fff319fa779a0614be3cd9af28b5bbce61 |
7260 | 0.3.0 |
| gen_zone_corpus.py | - | 0896058ddf790cca77c755cb47096c030c307c7ac16bac1ce6654d69e90edc45 |
62262 | 0.3.0 |
| hunk_inputs/lr7_request/hunks_request.json | - | 2c220954a20ad5dc10a1e6666be79138a6f050f0f79f845352305f69de054e37 |
37423 | 0.3.0 |
| hunk_inputs/lr7_request/tpm_tps_thread_request_0_1_9.txt | - | eedd0c2db575c4c3f6d84867d01235e4025a5fd2151207377e00c74754b01078 |
65036 | 0.3.0 |
| hunk_inputs/wiki_batch_2026-09-25.json | 0.1.0 | b51075614465c35de9797136177ef04e28847ea3b0ab768473f702420fced51e |
292002 | 0.3.0 |
| params_fixture.py | 0.1.0 | ea9ce469c32fb44eb67f8776ba96b47504088a11610fc48ee940e43c3f9e98c0 |
2549 | 0.3.0 |
| run_corpus.py | - | 1822e5172f091dbb0d493722eba77bbbc31af82807ed2c0e25f0dcb8c44b4143 |
13354 | 0.3.0 |
| tpc_beta.py | 0.1.0 | 4f047f1c7c0a689168775bca767dea4b2dfdce61291b92ed124a91172a5e7e45 |
9151 | 0.3.0 |
| tpc_biblio.py | 0.1.0 | 6746bfbcbf37d718d11c88438502970899a1c9a03c4a7d1d24c94006b4a3be01 |
72293 | 0.3.0 |
| tpc_challenge.py | 0.1.0 | b577b3d5d226b0a81c2650719a576b7e4d9dffb8aae78b151017314d21da6568 |
2908 | 0.3.0 |
| tpc_cluster.py | 0.3.0 | e2d6808553ba64dac3fc956d401d3aa90333dc076672d8b975f14cc47ddaf902 |
13743 | 0.3.0 |
| tpc_digest.py | 0.1.0 | 43baf0ec8675622b41ee3ca292c36b97015c814d04977c88e2542caccb0f775b |
4455 | 0.3.0 |
| tpc_eom.py | 0.1.0 | 215e78b3ddcdb0c43a2115101a6a43c5be1298f8bc805cb9b97b6207cf20545b |
39735 | 0.3.0 |
| tpc_falcon.py | 0.1.1 | 773df0c8096992009e59e5626b11686d97cc08f22944eb28f5f50e2087d817db |
99745 | 0.3.0 |
| tpc_fingerprint.py | 0.1.0 | 65833c75c5570b5af15ec1e28c7f870e1cfba8f3f98cf2f1bc8bc8604b65807f |
8592 | 0.3.0 |
| tpc_form.py | 0.2.0 | e75f47e6ac9f0df97cd7df8ad9f6d18c3dcaff8a617e15bce1232a3a5bf0d406 |
56824 | 0.3.0 |
| tpc_hold.py | 0.2.0 | b8ea2c8948493b80f92059c172915402191da9c0ca71885bc9f91c58e4a4377b |
21730 | 0.3.0 |
| tpc_hunk.py | 0.1.0 | b1662188a9ae9340ec7a46c2005c57f5323b60d2fc56d4861735c70970b23c94 |
6615 | 0.3.0 |
| tpc_identity.py | 0.1.0 | 154948be9dc7be4fb8e620e68780316774afcfaf7d6dfb2ad2d742c6879bc97e |
22547 | 0.3.0 |
| tpc_lint.py | 0.1.0 | f0a8a523275da19351b734dabd4f84185ca841ee962c073fb3d4698292cfb4ca |
38801 | 0.3.0 |
| tpc_module.py | 0.1.0 | 59a07f1648ef3c0345f391d2d7420887d572713eae7094578b6bf94858ac2f92 |
76965 | 0.3.0 |
| tpc_probe.py | 0.1.0 | b49228a3ae8d06ec3e41e811447f7af2160b04769207b396d110069e5cdd507e |
31249 | 0.3.0 |
| tpc_score.py | 0.1.0 | 4cd87961065b502198746521c60c63211f44a7f72e4eee88b787075bc19fa699 |
51207 | 0.3.0 |
| tpc_sponsor.py | 0.1.0 | 9dc84cb4529fed12c85d1701504669b0ffa6d8d2d9d4c41550f8bf7e591f7ac1 |
16972 | 0.3.0 |
| tpc_sr9.py | 0.1.0 | 5a3f02bd8e5364554f8cda2e4c6e427d191d0d8e93c217797cef32eab699cf7b |
8694 | 0.3.0 |
| tpc_strike.py | 0.2.0 | ada528509f2249970204f579e1c3ae3c06963a3ab7e2e9714c80d3097c888e7b |
15773 | 0.3.0 |
| tpc_tests.py | 0.2.0 | 53f69cf161588b649c231219edd5e560efad5652526820339bb355d423fc4685 |
21184 | 0.3.0 |
| tpc_units.py | 0.1.1 | 137880e759657453705e6c559618f89b0fba6013489eb5d0d8631aec1c0b5703 |
16254 | 0.3.0 |
| tpc_volunteer.py | 0.1.0 | c8d973f81a4e5fbc9103356a40b0f9354878ee894dee37a4b81f36d061bc1acd |
21862 | 0.3.0 |
| tpc_yardstick.py | 0.1.0 | 0b92c6d3f06e7583da93eafac131ab7eb9542872544d4befb8e06568c9b47287 |
5662 | 0.3.0 |
| tpc_zone.py | 0.5.0 | 11082d6b19d0e824fed40865888a2de65609a3edd3d3d8e2a2c3ba6536364384 |
43643 | 0.3.0 |
| vectors/beta_corpus.json | 0.1.0 | c0ee1ef472b3225b1e9e698be67fa74365d4f72124e2abfdd3296bba0b600910 |
16993 | 0.3.0 |
| vectors/biblio_corpus.json | 0.1.0 | f6607859cb94613b51a90a941d584c72735a7f8f93acf69a1da4c41a940b3153 |
304736 | 0.3.0 |
| vectors/canon_corpus.json | 0.1.0 | ef5e6716c7feb119984b3e008340b01b1c87cadce589696e975fc6bcbaabbe6f |
1894 | 0.3.0 |
| vectors/challenge_corpus.json | 0.1.0 | d6b645e2db58fa0eee0a91069baae47169cd7d58d4172ce4b2829da1fbfb816c |
4819 | 0.3.0 |
| vectors/cluster_corpus.json | 0.3.0 | e6377becd93b4fcb2449e48fa469dc9a89eb774db892edd118206829ab9277c0 |
60464 | 0.3.0 |
| vectors/digest_corpus.json | 0.1.0 | 1a09210d8f1145abc62dcc6c4554339dfa94c5161e595c86cf9b66d2686537be |
3293 | 0.3.0 |
| vectors/eom_corpus.json | 0.1.1 | 69d385954a1bb6e8a942217f9b7a47f17d11b37cfdff8fc0af1c87fbd2046845 |
1035859 | 0.3.0 |
| vectors/falcon_corpus.json | 0.1.1 | b7825262b3103fe87021d66c454ca7820c2bddfd0a45deb291e8c2ae211ef216 |
387403 | 0.3.0 |
| vectors/fingerprint_corpus.json | 0.1.0 | c3a1fab6cff57e35e61bd2b00c598f4e8eaf645807bc2548ca1be7ae6dd7c3ca |
60090 | 0.3.0 |
| vectors/form_corpus.json | 0.5.0 | 3ca5a40264d24d9d6f10c98679d465f8b4f074b7df856e1854ab15da436e1854 |
776743 | 0.3.0 |
| vectors/hold_corpus.json | 0.2.0 | ebd9a6659d647483ba3cd9f9ac1fd87e707dc4c3cabcdb44cfd5a91c01a4ff53 |
109701 | 0.3.0 |
| vectors/hunk_corpus.json | 0.1.0 | 73981b55994b84109ece93278d0bb854edd1af608022fb83aecf5cd7aee21403 |
154944 | 0.3.0 |
| vectors/hunk_wiki_corpus.json | 0.1.0 | 41a23e1cc7f71dc73027ce3cac84aa62210a9c5a1d966a6ef833a260ae309952 |
524284 | 0.3.0 |
| vectors/identity_corpus.json | 0.1.0 | 28d521aca2f570be5605207b91fe71fcdf5a9fa47192d0c43fb1e7791f2b3a43 |
59310 | 0.3.0 |
| vectors/lint_corpus.json | 0.1.0 | 6080c99d22e9aa11ca233e7f9b4ace8bc0ac292a6a9cb183d288b86dce16be7e |
80909 | 0.3.0 |
| vectors/module_corpus.json (in 3 pages: 1, 2, 3) | 0.2.0 | 381c135752b8d8e6dc68cb131d85f191aebb090e05185b2143bb926d504a06eb |
3887575 | 0.3.0 |
| vectors/probe_corpus.json | 0.1.0 | 75b6530eb2f21b90f7850457ce4215ce044553d1264832356e08b67bda86fe88 |
353630 | 0.3.0 |
| vectors/score_corpus.json | 0.1.0 | 67d64193a4ea0353133926059f90edd06b2fad82e2daa6e76a3361f78d60307e |
1164567 | 0.3.0 |
| vectors/sponsor_corpus.json | 0.1.0 | 1687a4c0b0f253c2327f54297bbe8b36a27bec80b45d7f60eac4c19cce91b6cd |
39867 | 0.3.0 |
| vectors/sr3_scope_corpus.json | 0.1.2 | 73c70f5a61f04094151f1c09566f55438e57b457c717702db505afd0e1e21d49 |
367761 | 0.3.0 |
| vectors/sr8_order_corpus.json | 0.1.0 | 8b7655f24b7e93d57a429be0a226a16589c02cfdfaab129ebc18d7f7738c446c |
1698 | 0.3.0 |
| vectors/sr9_corpus.json | 0.1.0 | 2c3c2811519d835c8c7198d8d25cd150675a2c20dfb6a61024c46d26428a2c4a |
47709 | 0.3.0 |
| vectors/strike_corpus.json | 0.1.0 | 28ff14face54f14ea2b9c7f3fbfd96d5c538ef566c1d5e84d38718ad4d2c6e4d |
4073 | 0.3.0 |
| vectors/tests_corpus.json | 0.3.1 | 52d6f605115327309ec4d8089a658966a96ca433e455b7b2fb6fa1b1f46c2fb4 |
208419 | 0.3.0 |
| vectors/units_corpus.json | 0.1.1 | b60286a1dfb3982382a7569e79949b5019b693a94aabcb0fa8a80586c0f87c2c |
17670 | 0.3.0 |
| vectors/volunteer_corpus.json | 0.1.0 | 8b7733c0aab7b8d58421d875005f640f87f45103a02724cadb04772127934825 |
451832 | 0.3.0 |
| vectors/yardstick_corpus.json | 0.1.0 | 5e82d2e217cfbded27cfa9ec75783a833075da3d49b1298bf513dd320c3cf632 |
55982 | 0.3.0 |
| vectors/zone_corpus.json | 0.5.1 | 6b33981a6f45aa18e37a334cd9010defe40725912da05db9c05a88fbe172c27e |
720515 | 0.3.0 |
| verify_lr7_hunks.py | 0.1.0 | 0f7d967a2cbd113c6c3a240872ea07f1c3b3245f42f17184491d235d594fb918 |
3731 | 0.3.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
Manifest
dccc2b59a5d245af078d3c9f70e267d6297707f8703de0eed3bce4297eb8b1d9 check_draft.py 29a46269c301bf2453f68500a7b9befafd892f778fd7e65912c8447b2d42c58c crosspy.py 535f2c7263bdcd56a2481ff8722918bb20cfc582db28b3c1acafd8c52b034e0a diff_beta.php 260e80052fd92534349662150a9c996b399bacde8e254c93cad73f9ef9adefef diff_beta.py 7c5e4c7d06e4fc747f85a09f99b80a41309f4fd61ee0853f58d5c916f4d99771 diff_biblio.php 066959936e73c18ed3a79599eff336604b72b6e9a480c69949506ce39299eb11 diff_biblio.py bc035a1a1e9e242cb01e4fbf06b2c3250d27a566d85a97cb2540efeb24efaa58 diff_cluster.php 00d67d36d74f491daa2ca90dcf271c30bc00311c96215457ea8b2e4dcee702c4 diff_cluster.py 1fe14472465856f79774f8f2363cef5114486eae1792f0410693e7e3d045b0db diff_falcon.php 6361729435e0a269a7a1fb961f426098c957a95e4ad0739121b7b875f70e5d71 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 ef3e71ee82be01428ea0c59db2f49298bece02b5e7e3b11e5179e60af378f91b diff_probe.php 21d1ac46f0e4e908fd4657dd14ccc9eb2016cdf9a9231fde0c76b5606a97bdd7 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 35cf6925b8bdc33e753baa00319e088857d45ae64a75ffac801f41829b38ee0a gen_beta_corpus.py 95943dd126f859c843d17b63513cee9e0c8518b5bbeec157b4b9807e8e9cf8f0 gen_biblio_corpus.py cfd5ee27a1a974d61e4eea2e42c808e6640353930e94df2a1f35f8775c98798a gen_biblio_unicode_table.py 7e86e356a91ed1bda428373856d987b1769612957fb252d88421d35110caa73e gen_canon_corpus.py 254be646eb43663f1176bd529e147ffbebce447b9c68f95e53e2ed0466857206 gen_challenge_corpus.py 3ca95a2f20b2809a49555d27d4d68968d59426d4e8d8ec48884d0f4bd77821b2 gen_cluster_corpus.py 4e9fe8ec42f61137813fc23591acf31a88bb6de5ed42c0013b4f42b2d196dcc0 gen_eom_corpus.py 6da3d320e5c7a72e9cac8e225fc3b7dc663c3e8b976bc7522bc4de5546e74e30 gen_falcon_corpus.py 625f7bfc9c1fb79d62f4db7ff4cda42c9f49151ac0cd37f315e09990db18e36e gen_fingerprint_corpus.py 8debfe348cb4a5a34d77bbb9326aae936f6c85c828de37da350076f10b32a4f5 gen_form_corpus.py 2fcf9a53688f0124c6c72b0fb3d6e48942788d6e8ca427f5b3d8fe53e42cd4c4 gen_hold_corpus.py 4eef7f3bba8ff6a92854a73bf1b71c5460bfc026557ffbf9927c0e8ba85b056e gen_hunk_corpus.py 1ef258ced0dca804a308c391111d8bb9f685f46561672b304026712d4c8ff265 gen_hunk_wiki_corpus.py ee5ecd5f50472681dfd40e2267977179dbef7d54dc9e8ff6108b395d8ea2704c gen_identity_corpus.py d64be7d29b174ea682416388063651b4b4efcf870d8fe7c41d99a8837f167edb gen_lint_corpus.py fb076dca040c733ab6699b2a345ff205d339b4704440c0cb6898edb7bc0abc8e gen_lint_tables.py 1031a1d314abf755c86cb1fc41efff2e0290ccf26f1842d7104c838ebf437d9b gen_module_corpus.py 5dad4c53e217e269833c347f5565d8f22658990600a2a252050c421f3054ffb8 gen_probe_corpus.py 9e49fc787b717ddbec369e8dd6123a08cbd9a292bf85467818996b1c850c2de3 gen_score_corpus.py 5ff9451f9744e7f1b6fe52593da8b250bea771aa90f77fe6e24572adbcd47c25 gen_sponsor_corpus.py 132deb0e16a83bb6beb9b065729a7610c0a1176a53758620a7866251858ace46 gen_sr3_scope_corpus.py eb653834681f122a101c4e17e62f777f68f62972f2b3f6a1713adbccb3c9472b gen_sr8_order_corpus.py af70be8de996a67fe4f1e6df89d41ec7b3764556883b91554d7eee74b8013bcd gen_tests_corpus.py 87a1deacc1c3c187ff278d05c3e74679289498d82dc02446495e06246836153f gen_unicode_table.py d6b4132ba2b093c2836c4e0a879ec2eed6e8420e69e60c1e7e77966736782a4e gen_units_corpus.py 15e5e42ff579bd15573491202e0703d8a19d40fd48b8a01fae2014b6e0527a45 gen_volunteer_corpus.py b51f0ec9a83216d6faff9ae5eef8b1fff319fa779a0614be3cd9af28b5bbce61 gen_yardstick_corpus.py 0896058ddf790cca77c755cb47096c030c307c7ac16bac1ce6654d69e90edc45 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 1822e5172f091dbb0d493722eba77bbbc31af82807ed2c0e25f0dcb8c44b4143 run_corpus.py 4f047f1c7c0a689168775bca767dea4b2dfdce61291b92ed124a91172a5e7e45 tpc_beta.py 6746bfbcbf37d718d11c88438502970899a1c9a03c4a7d1d24c94006b4a3be01 tpc_biblio.py b577b3d5d226b0a81c2650719a576b7e4d9dffb8aae78b151017314d21da6568 tpc_challenge.py e2d6808553ba64dac3fc956d401d3aa90333dc076672d8b975f14cc47ddaf902 tpc_cluster.py 43baf0ec8675622b41ee3ca292c36b97015c814d04977c88e2542caccb0f775b tpc_digest.py 215e78b3ddcdb0c43a2115101a6a43c5be1298f8bc805cb9b97b6207cf20545b tpc_eom.py 773df0c8096992009e59e5626b11686d97cc08f22944eb28f5f50e2087d817db tpc_falcon.py 65833c75c5570b5af15ec1e28c7f870e1cfba8f3f98cf2f1bc8bc8604b65807f tpc_fingerprint.py e75f47e6ac9f0df97cd7df8ad9f6d18c3dcaff8a617e15bce1232a3a5bf0d406 tpc_form.py b8ea2c8948493b80f92059c172915402191da9c0ca71885bc9f91c58e4a4377b tpc_hold.py b1662188a9ae9340ec7a46c2005c57f5323b60d2fc56d4861735c70970b23c94 tpc_hunk.py 154948be9dc7be4fb8e620e68780316774afcfaf7d6dfb2ad2d742c6879bc97e tpc_identity.py f0a8a523275da19351b734dabd4f84185ca841ee962c073fb3d4698292cfb4ca tpc_lint.py 59a07f1648ef3c0345f391d2d7420887d572713eae7094578b6bf94858ac2f92 tpc_module.py b49228a3ae8d06ec3e41e811447f7af2160b04769207b396d110069e5cdd507e tpc_probe.py 4cd87961065b502198746521c60c63211f44a7f72e4eee88b787075bc19fa699 tpc_score.py 9dc84cb4529fed12c85d1701504669b0ffa6d8d2d9d4c41550f8bf7e591f7ac1 tpc_sponsor.py 5a3f02bd8e5364554f8cda2e4c6e427d191d0d8e93c217797cef32eab699cf7b tpc_sr9.py ada528509f2249970204f579e1c3ae3c06963a3ab7e2e9714c80d3097c888e7b tpc_strike.py 53f69cf161588b649c231219edd5e560efad5652526820339bb355d423fc4685 tpc_tests.py 137880e759657453705e6c559618f89b0fba6013489eb5d0d8631aec1c0b5703 tpc_units.py c8d973f81a4e5fbc9103356a40b0f9354878ee894dee37a4b81f36d061bc1acd tpc_volunteer.py 0b92c6d3f06e7583da93eafac131ab7eb9542872544d4befb8e06568c9b47287 tpc_yardstick.py 11082d6b19d0e824fed40865888a2de65609a3edd3d3d8e2a2c3ba6536364384 tpc_zone.py c0ee1ef472b3225b1e9e698be67fa74365d4f72124e2abfdd3296bba0b600910 vectors/beta_corpus.json f6607859cb94613b51a90a941d584c72735a7f8f93acf69a1da4c41a940b3153 vectors/biblio_corpus.json ef5e6716c7feb119984b3e008340b01b1c87cadce589696e975fc6bcbaabbe6f vectors/canon_corpus.json d6b645e2db58fa0eee0a91069baae47169cd7d58d4172ce4b2829da1fbfb816c vectors/challenge_corpus.json e6377becd93b4fcb2449e48fa469dc9a89eb774db892edd118206829ab9277c0 vectors/cluster_corpus.json 1a09210d8f1145abc62dcc6c4554339dfa94c5161e595c86cf9b66d2686537be vectors/digest_corpus.json 69d385954a1bb6e8a942217f9b7a47f17d11b37cfdff8fc0af1c87fbd2046845 vectors/eom_corpus.json b7825262b3103fe87021d66c454ca7820c2bddfd0a45deb291e8c2ae211ef216 vectors/falcon_corpus.json c3a1fab6cff57e35e61bd2b00c598f4e8eaf645807bc2548ca1be7ae6dd7c3ca vectors/fingerprint_corpus.json 3ca5a40264d24d9d6f10c98679d465f8b4f074b7df856e1854ab15da436e1854 vectors/form_corpus.json ebd9a6659d647483ba3cd9f9ac1fd87e707dc4c3cabcdb44cfd5a91c01a4ff53 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 381c135752b8d8e6dc68cb131d85f191aebb090e05185b2143bb926d504a06eb vectors/module_corpus.json 75b6530eb2f21b90f7850457ce4215ce044553d1264832356e08b67bda86fe88 vectors/probe_corpus.json 67d64193a4ea0353133926059f90edd06b2fad82e2daa6e76a3361f78d60307e vectors/score_corpus.json 1687a4c0b0f253c2327f54297bbe8b36a27bec80b45d7f60eac4c19cce91b6cd vectors/sponsor_corpus.json 73c70f5a61f04094151f1c09566f55438e57b457c717702db505afd0e1e21d49 vectors/sr3_scope_corpus.json 8b7655f24b7e93d57a429be0a226a16589c02cfdfaab129ebc18d7f7738c446c vectors/sr8_order_corpus.json 2c3c2811519d835c8c7198d8d25cd150675a2c20dfb6a61024c46d26428a2c4a vectors/sr9_corpus.json 28ff14face54f14ea2b9c7f3fbfd96d5c538ef566c1d5e84d38718ad4d2c6e4d vectors/strike_corpus.json 52d6f605115327309ec4d8089a658966a96ca433e455b7b2fb6fa1b1f46c2fb4 vectors/tests_corpus.json b60286a1dfb3982382a7569e79949b5019b693a94aabcb0fa8a80586c0f87c2c vectors/units_corpus.json 8b7733c0aab7b8d58421d875005f640f87f45103a02724cadb04772127934825 vectors/volunteer_corpus.json 5e82d2e217cfbded27cfa9ec75783a833075da3d49b1298bf513dd320c3cf632 vectors/yardstick_corpus.json 6b33981a6f45aa18e37a334cd9010defe40725912da05db9c05a88fbe172c27e vectors/zone_corpus.json 0f7d967a2cbd113c6c3a240872ea07f1c3b3245f42f17184491d235d594fb918 verify_lr7_hunks.py