{"id":"https://openalex.org/W7225466632","doi":"https://doi.org/10.5281/zenodo.24042390","title":"What a Mutation Regime Can Know About a Function: A provably-sufficient output-mutation regime, its knowability boundary, and the intent residual","display_name":"What a Mutation Regime Can Know About a Function: A provably-sufficient output-mutation regime, its knowability boundary, and the intent residual","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225466632","doi":"https://doi.org/10.5281/zenodo.24042390"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24042390","doi":"https://doi.org/10.5281/zenodo.24042390","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042390","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.24042390","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161212659","display_name":"Rohan Vinaik","orcid":"https://orcid.org/0009-0001-4557-2059","observed_orcids":["https://orcid.org/0009-0001-4557-2059"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Vinaik, Rohan","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0001-4557-2059","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161212659"],"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"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/T10126","display_name":"Logic, programming, and type systems","score":0.000699999975040555,"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/T10142","display_name":"Formal Methods in Verification","score":9.999999747378752e-05,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mutation-testing","display_name":"mutation testing","score":0.9869999885559082},{"id":"https://openalex.org/keywords/presburger-arithmetic","display_name":"Presburger arithmetic","score":0.5149999856948853},{"id":"https://openalex.org/keywords/decidability","display_name":"decidability","score":0.6579999923706055},{"id":"https://openalex.org/keywords/test-suite-adequacy","display_name":"test suite adequacy","score":0.6340000033378601},{"id":"https://openalex.org/keywords/python-library","display_name":"Python library","score":0.531000018119812},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.6169999837875366}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6349999904632568},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5989000201225281},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5099999904632568},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.5054000020027161},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4763999879360199},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4659000039100647},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.4625000059604645},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4618000090122223},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45210000872612},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4465999901294708},{"id":"https://openalex.org/C117354338","wikidata":"https://www.wikidata.org/wiki/Q1165112","display_name":"Singleton","level":3,"score":0.43959999084472656},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4205000102519989},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.4009000062942505},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.38600000739097595},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.36649999022483826},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.35659998655319214},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.3440000116825104},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3427000045776367},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C136815107","wikidata":"https://www.wikidata.org/wiki/Q154242","display_name":"Nothing","level":2,"score":0.33320000767707825},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.2976999878883362},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2827000021934509},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.2799000144004822},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2732999920845032},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C132943942","wikidata":"https://www.wikidata.org/wiki/Q2562511","display_name":"Footprint","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.25999999046325684},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.25690001249313354}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24042390","doi":"https://doi.org/10.5281/zenodo.24042390","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042390","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.24042391","doi":"https://doi.org/10.5281/zenodo.24042391","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042391","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.24042390","doi":"https://doi.org/10.5281/zenodo.24042390","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042390","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/W1991999918","https://openalex.org/W2484003841","https://openalex.org/W2971707719","https://openalex.org/W1505780071","https://openalex.org/W7099784811","https://openalex.org/W4399491550","https://openalex.org/W7099226285","https://openalex.org/W1918024283","https://openalex.org/W7097693349","https://openalex.org/W2542010156"],"abstract_inverted_index":{"Mutation":[0],"testing":[1],"measures":[2],"a":[3,10,19,31,45,74,81,116,123,144,161,164,179,185,263,282,314,344],"test":[4,38,327],"suite":[5,48,165,219],"by":[6],"the":[7,35,61,101,114,132,135,148,191,197,218,223,266,271,285,288,292,296,302,308,310,318,326,341,349,355,360,390,400,411,415,421],"fraction":[8],"of":[9,13,21,27,44,103,134,147,196,279,329,340],"fixed":[11],"family":[12],"mutant":[14,50,283],"programs":[15],"it":[16,105,137,156],"distinguishes,":[17],"and":[18,49,89,107,163,171,202,227,243,255,269,294,365,377,408,414],"score":[20,32,76,83,181,213],"one":[22,78,170],"is":[23,67,97,120,131,153,246,354,359,419],"read":[24],"as":[25],"evidence":[26],"adequacy.":[28],"What":[29],"such":[30],"establishes":[33],"about":[34,184],"program":[36,88,162,224,319],"under":[37,348,420],"has":[39],"never":[40],"been":[41],"characterized":[42],"independently":[43],"particular":[46],"program,":[47],"pool.":[51],"We":[52,71,275],"give":[53],"that":[54],"characterization":[55,152],"for":[56,86,122,248,252,257,394],"output":[57,95,189,216,323],"mutation,":[58],"which":[59,167],"perturbs":[60],"returned":[62],"value;":[63],"extreme,":[64],"Descartes-style":[65],"mutation":[66],"its":[68,99,158,306,398],"constant":[69,346],"case.":[70],"ask":[72],"when":[73,155],"full":[75,82,212],"against":[77,84],"regime":[79,118,142,194,236],"guarantees":[80],"another,":[85],"every":[87,90,128,221],"suite.":[91],"For":[92],"adequacy":[93],"an":[94,140],"operator":[96],"exactly":[98,215],"footprint,":[100],"set":[102],"values":[104,190],"changes,":[106],"our":[108],"main":[109],"theorem":[110,412],"(Theorem":[111,230,260],"3.2)":[112],"answers":[113],"question:":[115],"finite":[117,233,240],"\u03a0":[119,168],"sufficient":[121,193,206,235],"target":[124,129],"class":[125],"\u0393":[126,172],"iff":[127,207],"footprint":[130],"union":[133],"\u03a0-footprints":[136],"contains,":[138],"while":[139],"infinite":[141],"obeys":[143],"finite-avoidance":[145],"form":[146],"same":[149],"law.":[150],"The":[151],"constructive:":[154],"fails,":[157],"proof":[159],"yields":[160],"on":[166,239],"scores":[169],"does":[173],"not.":[174],"Its":[175],"consequences":[176],"locate":[177],"what":[178],"passing":[180],"can":[182,225],"know":[183],"function.":[186],"On":[187],"n":[188,198,208],"minimal":[192],"consists":[195],"singleton":[199],"value":[200,222,249,350],"guards,":[201],"Descartes":[203],"constants":[204],"are":[205],"=":[209],"2.":[210],"A":[211,232],"knows":[214],"coverage:":[217],"exercised":[220],"return,":[226],"nothing":[228],"more":[229],"4.5).":[231],"absolutely":[234],"exists":[237],"only":[238],"return":[241],"types,":[242],"deciding":[244],"sufficiency":[245],"polynomial":[247],"tables,":[250],"decidable":[251],"Presburger-definable":[253],"footprints":[254],"undecidable":[256],"computable":[258],"operators":[259,324],"5.2).":[261],"Under":[262],"weak":[264],"oracle":[265],"theory":[267,300],"relativizes":[268],"characterizes":[270],"pseudo-tested":[272,347],"method":[273],"(\u00a79).":[274],"separate":[276],"three":[277],"kinds":[278],"knowledge:":[280],"whether":[281,287,295],"changes":[284],"output,":[286],"suite's":[289],"assertions":[290],"see":[291],"change,":[293],"change":[297],"matters.":[298],"Our":[299],"settles":[301],"first":[303],"two":[304],"within":[305],"model;":[307],"third,":[309],"intent":[311],"residual,":[312],"needs":[313],"specification":[315],"from":[316],"outside":[317],"(\u00a710).":[320],"Applying":[321],"uniform":[322],"to":[325,374],"suites":[328],"four":[330],"Python":[331,392],"libraries":[332],"(131":[333],"functions,":[334],"985":[335],"mutants),":[336],"we":[337],"find":[338],"9%":[339],"functions":[342],"with":[343,380,397,404],"type-preserving":[345],"oracle.":[351],"Files.":[352],"what_a_mutation_regime_can_know.pdf":[353],"12-page":[356],"preprint.":[357],"lean_proofs.zip":[358],"Lean":[361],"4":[362],"development":[363],"(Lean":[364],"Mathlib":[366],"v4.28.0;":[367],"38":[368],"theorems,":[369],"no":[370],"sorry;":[371],"axioms":[372],"limited":[373],"propext,":[375],"Classical.choice":[376],"Quot.sound;":[378],"builds":[379],"lake":[381,386],"exe":[382],"cache":[383],"get":[384],"&&":[385],"build).":[387],"checker_and_experiment.zip":[388],"holds":[389],"standard-library":[391],"checker":[393],"Theorem":[395],"3.2":[396],"tests,":[399],"\u00a79.5":[401],"experiment":[402],"scripts":[403],"pinned":[405],"library":[406],"commits":[407],"raw":[409],"results,":[410],"ledger":[413],"artifact":[416],"guide.":[417],"Code":[418],"MIT":[422],"License.":[423],"Source":[424],"repository:":[425],"https://github.com/rohanvinaik/what-a-mutation-regime-can-know":[426]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}