Rounds 6 and 7: free quantum curvature, covariant extension, charged disorder, mirror parent, and first-order matter coupling
tfpt research contracts · tfpt research contracts · Research contracts
This supplement records five written proofs and their machine regressions: [formula in source] passing checks. The Round 6 prerequisite contributes [formula in source] checks ( [formula in source] exact and [formula in source] floating regressions) v1031_ quantum_ tensor_ curvature.py. Round 7 contributes [formula in source] checks: [formula in source] exact, [formula in source] source-contract, and [formula in sourc
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/toe_round7_proofs.tex · lines 5 to 45
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v1032_covariant_curvature.py
literal source filename/path in TeX
- cross reference join tfpt_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v1035_matter_coupling.py
literal source filename/path in TeX
- explicit file citation v1034_parent_mirror.py
literal source filename/path in TeX
- explicit file citation v1033_charged_disorder.py
literal source filename/path in TeX
- explicit file citation v1031_quantum_tensor_curvature.py
literal source filename/path in TeX
- cross reference join tfpt_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier