{"id":"https://openalex.org/W7225634694","doi":"https://doi.org/10.5281/zenodo.24092438","title":"Metric vs. Syntactic Saturation: A Fare Algebra Audit of Heron's Method","display_name":"Metric vs. Syntactic Saturation: A Fare Algebra Audit of Heron's Method","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225634694","doi":"https://doi.org/10.5281/zenodo.24092438"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24092438","doi":"https://doi.org/10.5281/zenodo.24092438","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24092438","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":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24092438","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086287049","display_name":"Kirill Ivanovich Kovlekov","orcid":"https://orcid.org/0000-0002-9520-5521","observed_orcids":["https://orcid.org/0000-0002-9520-5521"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kovlekov, Kirill","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-9520-5521","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5086287049"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9994999766349792,"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/T13806","display_name":"Mathematical and Computational Methods","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":9.999999747378752e-05,"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":[{"id":"https://openalex.org/keywords/square-root-of-2","display_name":"square root of 2","score":0.9819999933242798},{"id":"https://openalex.org/keywords/floating-point-arithmetic","display_name":"floating-point arithmetic","score":0.7710000276565552},{"id":"https://openalex.org/keywords/round-off-error","display_name":"rounding errors","score":0.8080000281333923},{"id":"https://openalex.org/keywords/irrational","display_name":"irrational","score":0.5370000004768372}],"concepts":[{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.8485999703407288},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5777999758720398},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.44749999046325684},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4309000074863434},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41749998927116394},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.4043000042438507},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.38440001010894775},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.3736000061035156},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3589000105857849},{"id":"https://openalex.org/C11577676","wikidata":"https://www.wikidata.org/wiki/Q134237","display_name":"Square root","level":2,"score":0.3549000024795532},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34380000829696655},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.32510000467300415},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.3158999979496002},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3107999861240387},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3043000102043152},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3027999997138977},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.2971999943256378},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.2517000138759613},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24092438","doi":"https://doi.org/10.5281/zenodo.24092438","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24092438","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":"article-journal"},{"id":"doi:10.5281/zenodo.24092439","doi":"https://doi.org/10.5281/zenodo.24092439","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24092439","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":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24092438","doi":"https://doi.org/10.5281/zenodo.24092438","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24092438","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":"article-journal"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W635865783","https://openalex.org/W1977074555","https://openalex.org/W4233330528","https://openalex.org/W4396788192","https://openalex.org/W3185976014","https://openalex.org/W305334347","https://openalex.org/W2310820370","https://openalex.org/W4400778155","https://openalex.org/W6891817101","https://openalex.org/W2026069154"],"abstract_inverted_index":{"Classical":[0],"numerical":[1],"analysis":[2],"treats":[3],"floating-point":[4],"error":[5],"as":[6,23,186],"a":[7,39,43,47,82,88,104,114,121,143,179],"gradual":[8],"accumulation":[9],"of":[10,38,56,63,161],"rounding":[11,123],"mistakes.":[12],"The":[13,125,168,195],"Monkey":[14],"Business":[15],"Arithmetic":[16],"Spectator":[17],"Pipeline":[18],"(MBP)":[19],"models":[20],"numeric":[21],"representations":[22],"algebraic":[24],"environments":[25],"with":[26],"specific":[27],"capacities":[28],"and":[29,150,172,197],"incapacities.":[30],"A":[31],"central":[32],"question":[33],"is":[34,42],"whether":[35],"the":[36,60,78,93,96,131,136,148,158,191],"saturation":[37],"finite":[40,97],"environment":[41,98],"single":[44],"phenomenon":[45],"or":[46],"bifurcated":[48],"one.":[49],"This":[50],"paper":[51],"presents":[52],"an":[53,75,187],"exact-arithmetic":[54],"audit":[55,126],"Heron's":[57,128],"method":[58,129],"for":[59],"square":[61],"root":[62],"2,":[64],"revealing":[65],"two":[66],"distinct":[67],"structural":[68],"failure":[69],"modes.":[70],"Syntactic":[71],"Saturation":[72,108],"occurs":[73,112],"when":[74,113],"operation":[76],"lacks":[77],"moveset":[79],"to":[80,102],"construct":[81],"value":[83],"(e.g.,":[84],"nested":[85],"irrationals),":[86],"triggering":[87],"geometric":[89,159],"Apeirogon":[90,137],"limit":[91],"-":[92],"point":[94],"where":[95],"shatters":[99],"while":[100],"attempting":[101],"simulate":[103],"continuous":[105],"curve.":[106],"Metric":[107,132],"(a":[109],"Representational":[110],"Lock)":[111],"legal":[115],"rational":[116,170],"trajectory":[117],"falls":[118],"permanently":[119],"into":[120],"float's":[122],"interval.":[124],"shows":[127],"triggers":[130],"Lock":[133],"without":[134],"reaching":[135],"limit.":[138],"Furthermore,":[139],"exact":[140,169],"auditing":[141],"reveals":[142],"round-to-even":[144],"tie":[145,174],"that":[146],"splits":[147],"single-cast":[149],"float-pipeline":[151],"trajectories":[152],"by":[153],"exactly":[154],"one":[155],"ULP,":[156],"quantifying":[157],"cost":[160],"intermediate":[162],"rounding.Status:":[163],"Technical":[164],"Research":[165],"Note":[166],"(v0.5).":[167],"fractions":[171],"1-ULP":[173],"data":[175],"were":[176],"generated":[177],"via":[178],"closed":[180],"computational":[181],"run":[182],"(Z.ai":[183],"GLM)":[184],"acting":[185],"independent":[188],"auditor":[189],"against":[190],"public":[192],"fare-audit":[193],"engine.":[194],"engine":[196],"broad":[198],"test":[199],"suites":[200],"are":[201],"available":[202],"on":[203],"GitHub.":[204]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}