Explore the foundations and current research.
Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.
Historical attempts
Original experiment and contract metadata. A reported PASS is a historical verdict, not an independently reviewed result. Only explicit Atlas links are used when filtering by research area.
564 matching attempt records
source current operator time 20260921PARTIAL
UR.SOURCE.OPERATOR_TIME.01: Do the affine E8 current Ward/OPE data determine the RR/W Hamiltonian jets, and do the direct affine-grade-time or global linear RR-field identifications hold?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–51
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-current-operator-time-20260921/contract_index.json
f974c4fec5d0682e2cdef3a1c6ac7636a6b0d749efca9273a4b57014dd6e9595
- README.md lines 1–7
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-current-operator-time-20260921/README.md
ba81a202c221036c08b6fa5a9c51fb69492e34dddbc7769b0a99580a739f5e3e
- source_adapter_minimal_check.py lines 1–125
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-current-operator-time-20260921/source_adapter_minimal_check.py
fce2c2d773e2ea969a39355a626570d0e3d625a96180e040217c43a08737c338
- source_adapter_minimal_check.json lines 1–22
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-current-operator-time-20260921/source_adapter_minimal_check.json
7ee54c4c1c43272e32f22c7c987a0cac59ff1496f82646e91dd110cf658ff864
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-current-operator-time-20260921
source current symbol matchproved
Stimmt das energielinearisierte, gaußgefilterte Quellensymbol Φ_lin(J*B_aJ) auf dem J/J-Block uniform in a exakt mit dem halbzellenverschobenen endlichen Stromoperator T̄_a überein, und mit welcher...
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–30
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-current-symbol-match/contract_index.json
8ede4e196dcbf184e6999ceb68c256462c6760ff3f05f77d12f7ac826853c626
- README.md lines 1–273
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-current-symbol-match/README.md
3552a3563fb44b0b2c139e2411c47644f617da61c45f8ba42c4910168d6ed0a8
- checker.py lines 1–158
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-current-symbol-match/checker.py
b5aba00e28885a43965a75a45733ad9eb4ce8b12d624a83da942bc3848652d37
- diagnostics.json lines 1–621
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-current-symbol-match/diagnostics.json
bae07ca109c115995bd9b4a4087a079073f9d63c1f83cfc67fbb66d61b458432
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-current-symbol-match
source dressed native 20260920PARTIAL
Does the existing F(E8) boundary with its odd pair component realize the native W, group action, CAR/CCR state space and original time simultaneously?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–98
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/contract_index.json
f9a5d33f0e6a23309c634272daf98d14e5674005d44a51eb9762d21730797ff9
- validation.json lines 1–14
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/validation.json
6bc746d0718912f56ee09fcd3262f5bb53280a07babd33b852941fb3d957cfca
- PROOF.md lines 1–307
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/PROOF.md
1aa6be0cac1a1806e8400b1561f8539398dbbf675c3996e5a025c1463557b3f9
- README.md lines 1–34
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/README.md
e15212cbee171bae9286711315df1f873ff30d8a43e543e3881f867ed3f1f177
- checker.py lines 1–262
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/checker.py
15f8900cce161696a084e421bc21a501a0a841b40a74b29aebdf27e47a1a319d
- source_manifest.json lines 1–16
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/source_manifest.json
0367fe5a3570b0230b05964408865487b2665d002318e038a1731cb0142a7c47
- certificate_optimized.json lines 1–5200
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/certificate_optimized.json
3e16544bb56fc6ab9240938845deaf132eebdeaf3543200448629120f2b748f7
- certificate.json lines 1–5200
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/certificate.json
3e16544bb56fc6ab9240938845deaf132eebdeaf3543200448629120f2b748f7
- charged_lift_lane_replay.json lines 1–97
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/charged_lift_lane_replay.json
0cd48f03316ffbf996bfbe9283eae1f3accac47cf072708d3f1f210b18c6b737
- package_manifest.json lines 1–15
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dressed-native-20260920/package_manifest.json
7e51b0599939479ba580831ba8aca330af45e4f9b0dfb81a6706065f72360125
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-dressed-native-20260920
source driven carry 20260920PARTIAL
Does an actual unitary history of the unchanged free QWZ strip execute regional half-charge followed by integer carry without resetting the sea, including endpoint energy control?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–29
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-driven-carry-20260920/contract_index.json
cbbe468b9271ba7efabf597e287fe309900dbf5896cbffb051553aeaafc5184b
- PROOF.md lines 1–277
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-driven-carry-20260920/PROOF.md
f5aac7f0ac5d65aef31980f2a05837fea6fb4dbed73e03129040bcc2d204a6cb
- README.md lines 1–103
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-driven-carry-20260920/README.md
0456afe8f78010b4c37fbfe57e69cf567f310acf0c4ce9c4fb35618da8fcae31
- checker.py lines 1–134
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-driven-carry-20260920/checker.py
eb50adf45de39d6ae2bd167086a37c4cfec81026abf4ef4dfb6bad331ce660cb
- certificate.optimized.json lines 1–101
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-driven-carry-20260920/certificate.optimized.json
e04006ebb1ffc7e018ff183b59645ca72869515dd44dc59e30325cabd3d8282c
- certificate.json lines 1–101
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-driven-carry-20260920/certificate.json
e04006ebb1ffc7e018ff183b59645ca72869515dd44dc59e30325cabd3d8282c
- flux_drive_results.json lines 1–330
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-driven-carry-20260920/flux_drive_results.json
2992796116b0a136a8992de15576dab9c1329a7550e1dc58f80a5d7f5a032a22
- source_manifest.json lines 1–57
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-driven-carry-20260920/source_manifest.json
23f238fad22d1099105d5568d998e09ecdf289e0f49709bdc73471c9700e9ffd
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-driven-carry-20260920
source dynamics selection 20260920PARTIAL
Does faithful transport of the actual free source dynamics select the interacting E8 energy, and which neutral null operators compete along the direct connection between the existing energies?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–51
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/contract_index.json
d01538455203a3c0923a6e0111bb7385cb105a13d1a1f405a2db1e33d9793291
- PROOF.txt lines 1–282
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/PROOF.txt
03c09468b07cc68abd31d7f8d6715dd474564728d053ccb063a67a1ca71c89d2
- README.md lines 1–107
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/README.md
971ef2c1a1ad13f632756b41d6aa349a834423a02a20463ddafa8f3e86b55713
- checker.py lines 1–388
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/checker.py
0e2aec5e7ec8fcd20d5e65e79897d13ef400522affb69121e4ba8c7b23f3b114
- source_manifest.json lines 1–71
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/source_manifest.json
df5b56fa4dd61c2d6a577ece9ad890ed6d34abf1917368f44be596eb259e0c40
- SPEC.txt lines 1–43
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/SPEC.txt
daa47ff8f3f3112a086f7ce5a972e7c1d30eeaecc5f364dde88a5ef25139b549
- controls.json lines 1–35
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/controls.json
08857ab6fa78673a836d04f073572c4963bdf35b3a41db4046e7f181858187f1
- SOURCE_INVENTORY.txt lines 1–257
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/SOURCE_INVENTORY.txt
570d8376a29ed7f364b106181ea069ee8a0a7c849b072d249ad09bee2823ff32
- REVIEW.txt lines 1–490
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/REVIEW.txt
dc6702b8e025481339a45f44a3417fec272455108c6e04e076f989df27769da4
- PROOF.txt lines 1–300
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/PROOF.txt
669309ea7f240397b2eb49c61e02b5224d4b9d1c15d50aeca30668fa97fa41bb
- PROOF.md lines 1–275
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-boundary-selection-20260920/PROOF.md
4081e9f7bc19da9cf87234edf361bb0ab29eaf8e5f69d23f7c6708b4512be0ff
- SOURCE_LINE_PROOF.txt lines 1–256
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-local-line-20260920/SOURCE_LINE_PROOF.txt
d527dd5bcb1769b6faeceba7569c41c991e9544095de90580996a09257a5ff78
- PROOF.txt lines 1–255
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rg-clock-bridge-20260920/PROOF.txt
58d870d69596b5bd732f400dba8740367ee81b445203a53c8e8559a9f0bdfc35
- README.md lines 1–268
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/clock-interaction-provenance/README.md
e40e116d86ee092e26317b2972cff8795fa7a1d22eb6a250e03f1f8c5252fa4c
- README.md lines 1–283
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/microscopic-charged-car-limit/README.md
39c613b80a1fe64200d269b782f6fb86c98f92c78058891a6144605e09c4532b
- ERGEBNIS.md lines 1–270
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/ERGEBNIS.md
ada1ed7484e8ec16e92c663177a591c1cca84da2e5244d4655664218ab0f9ba6
- PROOF.md lines 1–299
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/transfer/PROOF.md
037fa081eff7037cc72f241ab5840b73f335f165b1ad3e25ea8887b7e9ef8c6e
- certificate.optimized.json lines 1–266
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/certificate.optimized.json
439f93d133024fdea14de0a3a36f4178ad40df36ff66b02bb5a62324031bc159
- certificate.json lines 1–266
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/certificate.json
439f93d133024fdea14de0a3a36f4178ad40df36ff66b02bb5a62324031bc159
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-dynamics-selection-20260920
source edge charge transportGEOMETRIC_SOURCE_EDGE_CHARGE_WITH_COMMON_REFERENCE_HALF_SHIFT
Halb-Ladung aus der tatsächlichen Randdichte
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–1418
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-edge-charge-transport/validation.json
5b80b2b0da84f106d8b5f041eeacd60296e3fecd1497edc6b73945d56382ddd9
- PROOF.md lines 1–322
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-edge-charge-transport/PROOF.md
7d51e5aaf0f93b43b7b2f6a08149917ba22a8bbb91f434d4e7f7b391aab673d4
- README.md lines 1–116
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-edge-charge-transport/README.md
1ce0cbf7b2ba26d87840c3a59c69dffb3809c7576ecaad13dcd94b6906108a0c
- validation_optimized.json lines 1–1418
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-edge-charge-transport/validation_optimized.json
5b80b2b0da84f106d8b5f041eeacd60296e3fecd1497edc6b73945d56382ddd9
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-edge-charge-transport
source flavor joint dictionary 20260921PARTIAL
Does one marked D4 intertwiner carry the actual compiler Q, Sigma split, products and residue Gram jointly, and does the primitive source select its physical normalization and response?
Finite abstract D4 module dictionary subclaim only; no physical generation-space identification
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–61
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-joint-dictionary-20260921/contract_index.json
a75bb1799108f1dbd89d65569eee21e9241d6aa20b3ce42e876eebb465c20fef
- validation.json lines 1–45
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-joint-dictionary-20260921/validation.json
c9b689bdf89e9460ffccb9fabc3d6f55cd8b749af80dc563a4132ae53aad2d68
- PROOF.md lines 1–241
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-joint-dictionary-20260921/PROOF.md
15949459c60f2c78d25a3c6e752816e282388f41496c9908a24b2f868e1fa61c
- README.md lines 1–26
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-joint-dictionary-20260921/README.md
1d465e57ec2a3e9f0434e51714df34b1cd3f28866df340af08370af19e540aea
- checker.py lines 1–454
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-joint-dictionary-20260921/checker.py
128f40255702d67ece70302320fc66db0bdfd2487a9e2c2c33a04b2d87b58914
- artifact_manifest.json lines 1–94
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-joint-dictionary-20260921/artifact_manifest.json
29c7c1c881cfa8c7f4bcd0d69cf7436c620c0d9ae44deebc02a7f734c259261d
- result.json lines 1–65
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-joint-dictionary-20260921/result.json
adc0c731f428de3f4032716cec041ed3a5166e28fe7f953ac22bac14896b7af7
- source_manifest.json lines 1–258
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-joint-dictionary-20260921/source_manifest.json
01311b2e49dea30b9313712c583ec701b5d8c39b0aa2d1a85c1087ec216b2fb4
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-flavor-joint-dictionary-20260921
source flavor origin 20260920PARTIAL
Do the original global carrier group and actual native cubic select a consistent source-level route to distinct Down/lepton masses and phases?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–84
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/contract_index.json
c5893a43e40f48483c7577eac0e1c70e0b477593f3f2cf79d6bb9067aa404fe2
- PROOF.txt lines 1–233
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/PROOF.txt
328158deea8bab9ac552c1d4f44eb64f79724264501a5d8a7276e873c5c9b314
- README.md lines 1–67
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/README.md
97fb0475cd000953089b6b0a98ca500a71cb22c53f17fe424fb6f31bcde27fd7
- checker.py lines 1–144
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/checker.py
da4cc9430e9834d5e9e1008061edce4999c3699f0933f1f9a56e7dee8b998387
- source_manifest.json lines 1–70
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/source_manifest.json
85bce198a39e27d388f9c09beec4050f44e399f5964b96829cae93d2f2800530
- SPEC.txt lines 1–34
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/SPEC.txt
74929c226d5d07daff059635a24fc0639d3710fe4128d8585361df21869de7b3
- FLAVOR_REVIEW.txt lines 1–176
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/FLAVOR_REVIEW.txt
f3bb1c0c6bb9a20347e4f21f9ab70a0d2b5f297d8e7118b8fa3a9b36242eaf70
- GLOBAL_CHARGE_REVIEW.txt lines 1–341
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/GLOBAL_CHARGE_REVIEW.txt
57463740887525fe9dc007005b106af96312c220f2a67ce5bef6acfd571de577
- tfpt_1_architecture_e8.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_1_architecture_e8.tex
45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5
- tfpt_2_standard_model.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_2_standard_model.tex
00035c071a4d037ede785fb65cd55dfe1cb34430a935ef534620ba38a40436a6
- v46_grand_mass_volume.py lines 1–69
Source checked at this snapshot
Original location and fingerprint
verification/v46_grand_mass_volume.py
19163c77032de2fd910409cfdfdadc6635ad0ae945c44e89b1751d1d4269fb90
- v252_full_finite_triple.py lines 1–375
Source checked at this snapshot
Original location and fingerprint
verification/v252_full_finite_triple.py
820254440e178430422e50605067775656236602996307f67c9e69124ba5d163
- certificate.json lines 1–1008
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/certificate.json
150f27876e19fba789b497d53b1dc02b3d9f2f02704b991cc214cfc8e0ab51eb
- PROOF.txt lines 1–137
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/PROOF.txt
d65189b806facbb1eb718eec50221bb85b3a8c3417f98fb6627e01c72c98ef62
- source_pins.json lines 1–25
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/source_pins.json
a6e3588e75768a37747606d57802c358f1fe7b94752e8691f412261320ed779b
- PROOF.md lines 1–275
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-boundary-selection-20260920/PROOF.md
4081e9f7bc19da9cf87234edf361bb0ab29eaf8e5f69d23f7c6708b4512be0ff
- PROOF.txt lines 1–61
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/phase-origin-yukawa-defect-20260919/PROOF.txt
4d3f9e0b24b445e0d72fc7816e6c5aa860c8c8f957cbd997291e704958a154e0
- certificate.optimized.json lines 1–3013
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/certificate.optimized.json
3efa28973698464e873b0ae2bde82469a73e1f1bf3543c85a33e63bfe931a9ca
- certificate.json lines 1–3013
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/certificate.json
3efa28973698464e873b0ae2bde82469a73e1f1bf3543c85a33e63bfe931a9ca
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-flavor-origin-20260920
source flux index 20260920PARTIAL
Does preservation of original source markings select the gauge charge whose unit-flux index is n and whose full integral neutral quotient is E8?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–123
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/contract_index.json
2d35d03139bfb7852cd4b158b7a3eb4bac78f5a46f96d41db0c4fc640a05fb5e
- PROOF.txt lines 1–227
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/PROOF.txt
55ad6f18bf4f69d8d194e74dff29d6679e4cd6fca4568aafaaf7d127ac7d4bef
- README.md lines 1–102
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/README.md
d9f73f40c4d71ab4672304ffb5e00daea2811c749c422bea0a94dc8f02b99550
- checker.py lines 1–242
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/checker.py
9bbd123a6d0573c5fc9e55d3458d66bb21a227723a58ca1cd423233ca66ccdbe
- source_manifest.json lines 1–61
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/source_manifest.json
f04b146f315ad06cf039473cab26da55a1faece22c20c83564546b547fb65e12
- PROOF.txt lines 1–282
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/PROOF.txt
03c09468b07cc68abd31d7f8d6715dd474564728d053ccb063a67a1ca71c89d2
- controls.json lines 1–35
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/controls.json
08857ab6fa78673a836d04f073572c4963bdf35b3a41db4046e7f181858187f1
- LITERATURE.txt lines 1–51
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/LITERATURE.txt
853eb58a4135cc75aada62257cc8936b1037abbe28f8ff64b5e9228386a3a0a7
- REVIEW.txt lines 1–429
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/REVIEW.txt
51f4b479ac28df0c19a91acaee39d101be783c6ca6be1364f2cd3d6cb9866979
- SPEC.txt lines 1–44
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/SPEC.txt
f52df91fae450e99c1eb1e681c006bdc2b3a348bd1cb96202189c09cc77b9701
- certificate.json lines 1–137
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/certificate.json
403e24bcf3d896f98a5ddde99bbe92ba177e90a433e607ab2be2d278c5adb28d
- certificate.optimized.json lines 1–137
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flux-index-20260920/certificate.optimized.json
403e24bcf3d896f98a5ddde99bbe92ba177e90a433e607ab2be2d278c5adb28d
- ERGEBNIS.md lines 1–94
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-operator-origin-20260920/ERGEBNIS.md
e31a711f5bc15d80f3dc23b57fce4e51fd105736becdbf587e913c1e2176d9a9
- PROOF.txt lines 1–373
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rotor-gauss-20260920/PROOF.txt
17d351d19de8d33c346a35d8bf27ed94045eec8e8da71a62aa63b26d4276b0da
- tfpt_1_architecture_e8.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_1_architecture_e8.tex
45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-flux-index-20260920
source graded gns matter gate 20260922PARTIAL
Do the supplied graded GNS and cubic extensions select the original source and supply native Spin(10) spinor fields?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–73
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-gns-matter-gate-20260922/contract_index.json
cf06d16354e61dd9ed3074812f5859fa71c56b4a7ccdc2a89297bba3f0ebb446
- validation.json lines 1–18
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-gns-matter-gate-20260922/validation.json
f0ef46b30e1991eab8e5555f665d49e851f8bea473b5fa7a8eb25343d885f9de
- PROOF.md lines 1–227
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-gns-matter-gate-20260922/PROOF.md
12a45d9bfa25dc37579df53af46406da8da5547215f583fd983149c44a528c95
- README.md lines 1–19
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-gns-matter-gate-20260922/README.md
27800e6e57c3ac246d786597f6f2329b30407d5209f771f36e4292b8625c1c12
- checker.py lines 1–163
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-gns-matter-gate-20260922/checker.py
0f73f61ad7ab8658bcb2ca33241700796751a07dd628cc771f549da62bb37642
- results_optimized.json lines 1–298
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-gns-matter-gate-20260922/results_optimized.json
0e02e6bbe93d38c06ae47b7a980df20d1809d852ded1837692a0890480a668e7
- results.json lines 1–298
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-gns-matter-gate-20260922/results.json
0e02e6bbe93d38c06ae47b7a980df20d1809d852ded1837692a0890480a668e7
- source_pins.json lines 1–42
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-gns-matter-gate-20260922/source_pins.json
a2c81265c92e2af8d965f1792385a900b36badff694aad71283dca67f1abae0a
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-graded-gns-matter-gate-20260922
source graded locality 20260920PARTIAL
Does the existing E8 boundary plus massive complement contain the light graded fields required for a source-derived flavor mass map, and what exact locality information is lost by projection?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–53
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/contract_index.json
59d28c4f50af42375f89257c1f349367ab87ffd6026c80486d03b059429ebfb5
- PROOF.txt lines 1–300
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/PROOF.txt
669309ea7f240397b2eb49c61e02b5224d4b9d1c15d50aeca30668fa97fa41bb
- README.md lines 1–81
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/README.md
f142cf05725ef495c0b3a86231ea97e2f218d9accccec3e74e7811e9129fc707
- checker.py lines 1–354
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/checker.py
2352fef14be00138ba89f1543910481abd091adaba96558193856108ad7aca71
- source_manifest.json lines 1–79
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/source_manifest.json
bba930f01eb552bffd3196a83aa39692a1d71951b78534a30948a2a1a6d2140a
- README.md lines 1–283
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/microscopic-charged-car-limit/README.md
39c613b80a1fe64200d269b782f6fb86c98f92c78058891a6144605e09c4532b
- README.md lines 1–233
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-half-sector-bridge/README.md
5fc767e148bff3381f27459df28412fa1b17b604b19c0b34353e7c6314a5403d
- PROOF.txt lines 1–276
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-localized-spinor-20260919/PROOF.txt
2a08b4d68fc27030cf3e0d2c2e3355b6efa53ad1ed569efee5af059f5691fe02
- PROOF.txt lines 1–208
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-source-channel-gate-20260918/PROOF.txt
7c9e47e12d06c94c1ee04bf9881f866fb6901cc59a015dd51bdc62235e9fcf02
- PROOF.txt lines 1–184
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/raw-carrier-origin-gate-20260920/PROOF.txt
352dea875d7e3c8947cdaff12da1732167a90621668b6b1a0331f258896b7d03
- PROOF.md lines 1–275
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-boundary-selection-20260920/PROOF.md
4081e9f7bc19da9cf87234edf361bb0ab29eaf8e5f69d23f7c6708b4512be0ff
- INPUT.txt lines 1–475
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-boundary-selection-20260920/INPUT.txt
2cac74a7fe74448a313e450b4fe2c474b839c1f15c3f000cc8a8b514a779b8a8
- PROOF.txt lines 1–237
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/charged-sector-memory-gate-20260920/PROOF.txt
a69c18e858f001dfaab493a67c38c6b83578c7e52ce0bf824d74941eb139473e
- PROOF.txt lines 1–233
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-flavor-origin-20260920/PROOF.txt
328158deea8bab9ac552c1d4f44eb64f79724264501a5d8a7276e873c5c9b314
- ERGEBNIS.md lines 1–154
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/three-routes-source-bridge-20260920/ERGEBNIS.md
f3207cb411f85bedab62f8553a0eeac95bbc4b59135d93caca5653d8daaa3c09
- SPEC.txt lines 1–41
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/SPEC.txt
a1bca677e6aebedf5e701a646ba22866efaadf8e1d021f06577d1f1327c4ea76
- SOURCE_INVENTORY.txt lines 1–281
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/SOURCE_INVENTORY.txt
73d527e89cd8978093dcab0641dd1669321e637dab408672325af45c4dfb181e
- REVIEW.txt lines 1–567
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/REVIEW.txt
104364596fae916007b7734fdc7d4162c3a1dae6db583fe0f65b39b17f5f8619
- graded-boundary-controls.json lines 1–33
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/graded-boundary-controls.json
8a9b6312e7c70f25130ed74f3cbb3e603737617a95f8ee2e9a8f4ce50ef05f02
- certificate.optimized.json lines 1–120
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/certificate.optimized.json
265bb6e67ea602b612014385e971a5aed6594f31c030c724315a38d896f19982
- certificate.json lines 1–120
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/certificate.json
265bb6e67ea602b612014385e971a5aed6594f31c030c724315a38d896f19982
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-graded-locality-20260920
source ground response 20260920PARTIAL
Can the original nonlinear dressed boundary fields realize the actual native N=64 charged ground response by choosing any true ground state of the existing quarter-shifted boundary, with the same adjoint and a common physical time?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–55
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/contract_index.json
18c6cce0f74fce3f52b3fa9246d6c44770653d5dacaf0992bc2e3d622f00da34
- validation.json lines 1–35
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/validation.json
2a53ddca59294ad8ec8db60ad8567f65e682888ddf53c5ded4f40c099e43699c
- PROOF.md lines 1–276
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/PROOF.md
9f12b1a0e44e1954329f9362c02894776dd79ff20e01328c9af5391c729196c4
- README.md lines 1–40
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/README.md
78e1ba1939c678e91476da7d8774d826d746818cb245b689848837d35c9dc3d4
- checker.py lines 1–162
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/checker.py
8e4a918f75ceb63a019b0f0f45bc9942f1a19feaec23367576949f1ae202bebb
- source_manifest.json lines 1–22
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/source_manifest.json
30e2c32c0dc8db62bf6a48c4ef4001d76ba77f449d598302f93c23f2a65f54e8
- certificate_optimized.json lines 1–2427
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/certificate_optimized.json
5621d497e7384b9c93704a002590f2a68d3caca52f50b0d3d5e64209244cb263
- native_charged_optimized.json lines 1–942
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/native_charged_optimized.json
212e1e49a9d3d9942fa7a8154fa66b8004fe2ef4071617c88e4d6a143d2bec7e
- native_pole_optimized.json lines 1–118
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/native_pole_optimized.json
9ccc6763a29bda96140e95a6b83db43e6568e4e41b538641ae90b65dd7198bf2
- static_register_optimized.json lines 1–31
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/static_register_optimized.json
30956fd65ae9250dbc2773b02105ef249a56ffb283a681f5ea402c08eda82a2d
- certificate.json lines 1–2427
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/certificate.json
5621d497e7384b9c93704a002590f2a68d3caca52f50b0d3d5e64209244cb263
- native_charged_replay.json lines 1–942
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/native_charged_replay.json
212e1e49a9d3d9942fa7a8154fa66b8004fe2ef4071617c88e4d6a143d2bec7e
- native_pole_replay.json lines 1–118
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/native_pole_replay.json
9ccc6763a29bda96140e95a6b83db43e6568e4e41b538641ae90b65dd7198bf2
- package_manifest.json lines 1–21
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/package_manifest.json
9732db25590c20bf53a0cb22c0ec27ed57f89d36e2e857680e2fa202ff21f240
- static_register_replay.json lines 1–31
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-ground-response-20260920/static_register_replay.json
30956fd65ae9250dbc2773b02105ef249a56ffb283a681f5ea402c08eda82a2d
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-ground-response-20260920