{"id":"https://openalex.org/W7225563117","doi":"https://doi.org/10.5281/zenodo.24048382","title":"Constructive Audit of Directionality Criteria at the Pre-geometric Layer: A Signature-Level Negative-Result Report","display_name":"Constructive Audit of Directionality Criteria at the Pre-geometric Layer: A Signature-Level Negative-Result Report","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225563117","doi":"https://doi.org/10.5281/zenodo.24048382"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24048382","doi":"https://doi.org/10.5281/zenodo.24048382","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24048382","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.24048382","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133215552","display_name":"GenMin Li","orcid":"https://orcid.org/0009-0002-8489-6205","observed_orcids":["https://orcid.org/0009-0002-8489-6205"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Li, GenMin","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0002-8489-6205","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133215552"],"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/T10126","display_name":"Logic, programming, and type systems","score":0.5346999764442444,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.5346999764442444,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.07509999722242355,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.07479999959468842,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/constructive-type-theory","display_name":"constructive type theory","score":0.7559999823570251},{"id":"https://openalex.org/keywords/homotopy-type-theory","display_name":"homotopy type theory","score":0.843999981880188},{"id":"https://openalex.org/keywords/directedness","display_name":"directedness","score":0.7160000205039978}],"concepts":[{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5770000219345093},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.564300000667572},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5435000061988831},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.46779999136924744},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.43790000677108765},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4350000023841858},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.392300009727478},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.37549999356269836},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33550000190734863},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3292999863624573},{"id":"https://openalex.org/C138147947","wikidata":"https://www.wikidata.org/wiki/Q1183659","display_name":"Declaration","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.32199999690055847},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C2779103253","wikidata":"https://www.wikidata.org/wiki/Q878070","display_name":"Duty","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28380000591278076},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2793000042438507},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.2766999900341034},{"id":"https://openalex.org/C2780900520","wikidata":"https://www.wikidata.org/wiki/Q100268981","display_name":"Denial","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.2678000032901764}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24048382","doi":"https://doi.org/10.5281/zenodo.24048382","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24048382","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.24048383","doi":"https://doi.org/10.5281/zenodo.24048383","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24048383","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.24048382","doi":"https://doi.org/10.5281/zenodo.24048382","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24048382","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/W7167596098","https://openalex.org/W7167274413","https://openalex.org/W2550596733","https://openalex.org/W7098621751","https://openalex.org/W7225569913","https://openalex.org/W1490852651","https://openalex.org/W6981169575","https://openalex.org/W7165011450","https://openalex.org/W7207712647","https://openalex.org/W1583646664"],"abstract_inverted_index":{"This":[0,288],"paper":[1,289],"reports":[2],"a":[3,13,72,127,134,146,153,157,196,269,291,295],"constructive":[4,14],"audit.":[5],"The":[6,46,109,223,248],"object":[7],"of":[8,43,56,111,185,232],"the":[9,38,51,67,86,97,112,118,161,210,213,229,234,238,252,260,285],"audit":[10,47,224,266],"is:":[11,49],"on":[12,105],"type-theoretic":[15,275],"base":[16,39,52],"(MLTT/HoTT":[17],"core),":[18],"whether":[19],"three":[20,60],"formalized":[21],"readings":[22],"proposed":[23],"to":[24,62,206,218,257],"characterize":[25],"\"pre-geometric-layer":[26],"directedness\"\u2014incompatibility-derived":[27],"partial":[28,69,114,130],"order,":[29],"intrinsic":[30,77,191,202],"asymmetry,":[31],"and":[32,40,53,76,79,237,240,251,281],"transitive-chain":[33,80],"nodes\u2014can":[34],"be":[35,63,103,207],"completed":[36],"under":[37,50,85,149,209],"criterion":[41,54,150,220],"v0.1":[42,55],"this":[44,57,258],"paper.":[45],"conclusion":[48],"paper,":[58],"all":[59,184],"fail":[61],"formalized;":[64],"among":[65],"them,":[66],"incompatibility":[68,113,120],"order":[70,115,131],"is":[71,93,116,204,216,263,290],"structural":[73],"negative":[74],"result,":[75],"asymmetry":[78],"nodes":[81],"are":[82,171,255,273,283,302],"conditionally":[83],"satisfied":[84],"primitive-preorder":[87],"extension":[88],"path,":[89],"but":[90],"that":[91,167],"path":[92],"judged":[94],"failed":[95],"because":[96],"A-1":[98,261],"\"local":[99],"data\"":[100],"semantics":[101],"cannot":[102,125],"reconstructed":[104],"single-point":[106],"fiber":[107],"elements.":[108],"failure":[110],"structural:":[117],"symmetric":[119],"relation":[121,155],"Inc(A,B)":[122],"=":[123],"A\u00d7B\u2192\u22a5":[124],"generate":[126],"non-trivial":[128],"antisymmetric":[129],"(counterexample:":[132],"in":[133,140,245,300],"three-element":[135],"configuration":[136],"take":[137],"X=C;":[138],"details":[139],"Appendix":[141,246],"C).":[142],"Further,":[143],"we":[144,194],"give":[145],"criterion-relative":[147],"meta-proposition:":[148],"v0.1,":[151],"if":[152],"directedness":[154,214],"has":[156],"primitive":[158],"declaration":[159,168],"at":[160],"signature":[162],"level,":[163],"then":[164],"after":[165],"deleting":[166],"four":[169],"cases":[170],"exhaustive":[172],"(framework-necessary":[173],"item,":[174],"external":[175],"addition,":[176],"pure":[177],"naming,":[178],"rule-level":[179,219],"derivation":[180],"plus":[181],"signature-level":[182,190,211],"re-expression),":[183],"which":[186],"do":[187],"not":[188,205,294],"constitute":[189],"directedness.":[192],"Accordingly,":[193],"judge:":[195],"new":[197],"language":[198],"requirement":[199],"targeting":[200],"\"signature-level":[201],"directedness\"":[203],"initiated":[208],"criterion;":[212],"problem":[215],"transferred":[217],"design":[221],"(OP-1/OP-5).":[222],"retains":[225],"several":[226],"base-internal":[227,230],"items:":[228],"expressibility":[231],"Inc,":[233],"universe":[235],"hierarchy,":[236],"\u22a5":[239],"F1c":[241,282],"logical":[242],"skeleton":[243],"(definitions":[244],"E).":[247],"B-3":[249],"counterexample":[250],"four-case":[253],"exhaustion":[254],"original":[256,265],"paper;":[259],"downgrade":[262],"an":[264],"finding":[267],"(not":[268],"proof);":[270],"B-1/B-2":[271],"verifications":[272],"standard":[274],"verifications;":[276],"definitions":[277],"D,":[278],"Lemma":[279],"2,":[280],"from":[284],"O1v1.0":[286],"archive.":[287],"negative-result":[292],"report,":[293],"theoretical":[296],"proposal;":[297],"interpretive":[298],"choices":[299],"\u00a76.1":[301],"explicitly":[303],"marked":[304],"as":[305],"non-mathematical.":[306]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}