{"id":"https://openalex.org/W7225468324","doi":"https://doi.org/10.5281/zenodo.24030941","title":"Constraint-First Unification, machine-checked: the exact content of a theory of everything is constraints, labels, and parameters","display_name":"Constraint-First Unification, machine-checked: the exact content of a theory of everything is constraints, labels, and parameters","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225468324","doi":"https://doi.org/10.5281/zenodo.24030941"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24030941","doi":"https://doi.org/10.5281/zenodo.24030941","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24030941","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24030941","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159119196","display_name":"Rob Mitchell","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mitchell, Rob","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5159119196"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11960","display_name":"Relativity and Gravitational Theory","score":0.7943999767303467,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11960","display_name":"Relativity and Gravitational Theory","score":0.7943999767303467,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12516","display_name":"Advanced Mathematical Theories and Applications","score":0.06669999659061432,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10048","display_name":"Particle physics theoretical and experimental studies","score":0.05559999868273735,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-everything","display_name":"theory of everything","score":0.7099999785423279},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.6840000152587891},{"id":"https://openalex.org/keywords/mathlib","display_name":"Mathlib","score":0.7289999723434448},{"id":"https://openalex.org/keywords/born-rule","display_name":"Born rule","score":0.8429999947547913},{"id":"https://openalex.org/keywords/gleason-s-theorem","display_name":"Gleason's theorem","score":0.9729999899864197},{"id":"https://openalex.org/keywords/anomaly-cancellation","display_name":"anomaly cancellation","score":0.9789999723434448},{"id":"https://openalex.org/keywords/duality-invariance","display_name":"duality invariance","score":0.8700000047683716},{"id":"https://openalex.org/keywords/einstein-field-equations","display_name":"Einstein field equations","score":0.7540000081062317},{"id":"https://openalex.org/keywords/lovelock-gravity","display_name":"Lovelock gravity","score":0.8939999938011169},{"id":"https://openalex.org/keywords/quantum-measurement-problem","display_name":"measurement problem","score":0.8569999933242798},{"id":"https://openalex.org/keywords/free-parameters","display_name":"free parameters","score":0.3319999873638153},{"id":"https://openalex.org/keywords/hidden-symmetries","display_name":"hidden symmetries","score":0.5419999957084656},{"id":"https://openalex.org/keywords/quantum-foundations","display_name":"quantum foundations","score":0.7020000219345093}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5759999752044678},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.436599999666214},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.4311999976634979},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.4163999855518341},{"id":"https://openalex.org/C146846114","wikidata":"https://www.wikidata.org/wiki/Q901448","display_name":"Einstein","level":2,"score":0.4099999964237213},{"id":"https://openalex.org/C2778152352","wikidata":"https://www.wikidata.org/wiki/Q5165061","display_name":"Content (measure theory)","level":2,"score":0.3912000060081482},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.38690000772476196},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.3840999901294708},{"id":"https://openalex.org/C12997251","wikidata":"https://www.wikidata.org/wiki/Q567560","display_name":"Anomaly (physics)","level":2,"score":0.375},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.3711000084877014},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3709000051021576},{"id":"https://openalex.org/C2778311813","wikidata":"https://www.wikidata.org/wiki/Q7674671","display_name":"Tadpole (physics)","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C2778795013","wikidata":"https://www.wikidata.org/wiki/Q945127","display_name":"Triviality","level":2,"score":0.34130001068115234},{"id":"https://openalex.org/C75438885","wikidata":"https://www.wikidata.org/wiki/Q3403615","display_name":"Large deviations theory","level":2,"score":0.31130000948905945},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.2799000144004822},{"id":"https://openalex.org/C204795200","wikidata":"https://www.wikidata.org/wiki/Q903282","display_name":"Symmetry breaking","level":2,"score":0.2775000035762787},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.26019999384880066},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25380000472068787}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24030941","doi":"https://doi.org/10.5281/zenodo.24030941","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24030941","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24030942","doi":"https://doi.org/10.5281/zenodo.24030942","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24030942","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24030941","doi":"https://doi.org/10.5281/zenodo.24030941","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24030941","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225463250","https://openalex.org/W7124147053","https://openalex.org/W7225407921","https://openalex.org/W7213903846","https://openalex.org/W6912086180","https://openalex.org/W7133514315","https://openalex.org/W6912268042","https://openalex.org/W7166580515","https://openalex.org/W7167798258","https://openalex.org/W7128301287"],"abstract_inverted_index":{"Machine-checked":[0],"(Lean":[1],"4":[2],"/":[3],"Mathlib)":[4],"forced/free":[5],"split":[6],"across":[7],"all":[8],"four":[9],"sectors":[10],"of":[11,80],"physics.":[12],"The":[13,51],"Born":[14],"rule":[15,21],"is":[16,36,45],"the":[17,23,33,37,42,46,60,68],"unique":[18,38,47],"non-contextual":[19,77],"probability":[20],"(Gleason);":[22],"SM":[24],"hypercharges":[25],"are":[26,58],"forced":[27],"by":[28],"anomaly":[29],"cancellation":[30],"(N_gen":[31],"free);":[32],"flux":[34],"tadpole":[35],"duality":[39],"invariant":[40],"(Mitchell/FFT);":[41],"Einstein":[43],"equation":[44],"divergence-free":[48,72],"theory":[49],"(Lovelock).":[50],"measurement":[52],"problem":[53],"and":[54],"'why":[55],"these":[56],"19'":[57],"provably":[59],"free":[61],"column.":[62],"Falsifiable:":[63],"a":[64,70,76],"hidden":[65],"symmetry":[66],"fixing":[67],"19,":[69],"second":[71],"gravity":[73],"theory,":[74],"or":[75],"deterministic":[78],"completion":[79],"QM":[81],"would":[82],"each":[83],"kill":[84],"it.":[85],"Zero":[86],"sorry/axiom.":[87]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}