{"id":"https://openalex.org/W7225826868","doi":"https://doi.org/10.5281/zenodo.24138431","title":"EFA MVP Gate 1.0 \u2014 Refuse Pack (L2 Candidate)","display_name":"EFA MVP Gate 1.0 \u2014 Refuse Pack (L2 Candidate)","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225826868","doi":"https://doi.org/10.5281/zenodo.24138431"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24138431","doi":"https://doi.org/10.5281/zenodo.24138431","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24138431","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.24138431","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135865685","display_name":"Charles Rupp","orcid":"https://orcid.org/0009-0008-2460-450X","observed_orcids":["https://orcid.org/0009-0008-2460-450X"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rupp, Charles","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0008-2460-450X","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5135865685"],"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/T10927","display_name":"Access Control and Trust","score":0.1696999967098236,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10927","display_name":"Access Control and Trust","score":0.1696999967098236,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.15559999644756317,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.08749999850988388,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.7782999873161316},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.5853000283241272},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5828999876976013},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5630999803543091},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.38580000400543213},{"id":"https://openalex.org/C2983583741","wikidata":"https://www.wikidata.org/wiki/Q16785388","display_name":"Third party","level":2,"score":0.35089999437332153},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.3508000075817108},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3377000093460083},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.33390000462532043},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.33340001106262207},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3287999927997589},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.27889999747276306},{"id":"https://openalex.org/C58489278","wikidata":"https://www.wikidata.org/wiki/Q1172284","display_name":"Data set","level":2,"score":0.2590999901294708},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24138431","doi":"https://doi.org/10.5281/zenodo.24138431","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24138431","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.24138432","doi":"https://doi.org/10.5281/zenodo.24138432","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24138432","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.24138431","doi":"https://doi.org/10.5281/zenodo.24138431","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24138431","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":[],"abstract_inverted_index":{"Aligned":[0],"to":[1,81],"Claim":[2,27],"Matrix":[3],"v0.6":[4],"(concept":[5],"DOI":[6],"10.5281/zenodo.23107937;":[7],"version":[8],"record":[9],"23934733)3":[10],"November":[11],"2026":[12],"The":[13],"fixtures":[14],"and":[15],"runner":[16],"are":[17,65,69],"public;":[18],"they":[19],"implement":[20],"the":[21,26,45,72,83],"classes":[22],"in":[23],"\u00a76":[24],"of":[25],"Matrix;":[28],"a":[29],"third":[30],"party":[31,77],"can":[32],"execute":[33,82],"them":[34],"without":[35,85],"private":[36,86],"context;":[37],"this":[38],"is":[39,44,57,104,107],"an":[40,53,59],"L2":[41,54],"candidate.":[42],"This":[43],"minimum":[46],"publicly":[47],"runnable":[48],"test":[49],"suite":[50,84],"required":[51],"for":[52],"claim.":[55,63],"It":[56],"not":[58],"L3":[60],"or":[61,116],"L4":[62],"Fixtures":[64],"bounded.":[66],"Expected":[67],"results":[68],"deterministic":[70],"under":[71,90],"declared":[73],"conditions.":[74],"An":[75],"independent":[76],"must":[78],"be":[79],"able":[80],"context.":[87],"Canonical":[88],"outcomes":[89],"testALLOW":[91],"\u00b7":[92,94,96,101],"PAUSE":[93],"ESCALATE":[95],"BLOCKTerminal":[97],"execution":[98],"results:":[99],"BIND":[100],"NO":[102],"BINDNon-Formation":[103],"operationally":[105],"BLOCK.PAUSE":[106],"human-mandatory.":[108],"No":[109],"transition":[110],"fires":[111],"on":[112],"elapsed":[113],"time.Fail-closed:":[114],"UNKNOWN":[115],"CONFLICTING":[117],"\u2192":[118,123],"ESCALATE;":[119],"empty":[120],"material-condition":[121],"set":[122],"BLOCK;":[124],"never":[125],"ALLOW.":[126]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}