{"id":"https://openalex.org/W7163679185","doi":"https://doi.org/10.48550/arxiv.2606.06240","title":"TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory","display_name":"TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory","publication_year":2026,"publication_date":"2026-06-04","ids":{"openalex":"https://openalex.org/W7163679185","doi":"https://doi.org/10.48550/arxiv.2606.06240"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.06240","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.06240","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.06240","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100451882","display_name":"Ziming Wang","orcid":"https://orcid.org/0000-0002-3118-8742"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wang, Ziming","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5100451882"],"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/T11986","display_name":"Scientific Computing and Data Management","score":0.7383000254631042,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.7383000254631042,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.031300000846385956,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.024399999529123306,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/correctness","display_name":"Correctness","score":0.5950000286102295},{"id":"https://openalex.org/keywords/contradiction","display_name":"Contradiction","score":0.5343999862670898},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.4950000047683716},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.460999995470047},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.40529999136924744},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.3944000005722046},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.37290000915527344},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.33739998936653137},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.33079999685287476}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5950000286102295},{"id":"https://openalex.org/C2776728590","wikidata":"https://www.wikidata.org/wiki/Q363948","display_name":"Contradiction","level":2,"score":0.5343999862670898},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5202000141143799},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.4950000047683716},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.460999995470047},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43869999051094055},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.40529999136924744},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.3944000005722046},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.37290000915527344},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36719998717308044},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3481999933719635},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.33739998936653137},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32580000162124634},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3181000053882599},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.30300000309944153},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.29980000853538513},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.29269999265670776},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.28929999470710754},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25780001282691956},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25619998574256897},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2549000084400177}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.06240","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.06240","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.06240","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.06240","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.7416003346443176,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Persistent":[0],"memory":[1,222],"for":[2,144],"an":[3,84,97],"LLM":[4],"agent":[5],"is":[6,13,57,142,243],"a":[7,14,18,23,79,88,165,186,246],"write-heavy":[8],"substrate:":[9],"every":[10,148,161,260],"belief":[11],"update":[12],"versioned":[15],"write,":[16],"and":[17,61,87,109,117,197,218,237,255],"new":[19],"claim":[20],"may":[21],"contradict":[22],"stored":[24],"one.":[25],"Production":[26],"systems":[27,157],"use":[28],"four":[29,70],"resolution":[30,56],"heuristics":[31,71],"(last-writer-wins,":[32],"evidence-weighted":[33],"merge,":[34],"await-confirmation,":[35],"per-rule":[36],"policy),":[37],"yet":[38],"none":[39],"declares":[40],"the":[41,47,63,69,93,104,112,119,132,139,159,169,195,211,220,232,244,258],"isolation":[42,85],"level":[43],"it":[44,50],"assumes":[45,263],"or":[46],"write-time":[48,58,178,247],"anomalies":[49,179],"admits.":[51],"We":[52],"show":[53],"that":[54,91,163],"contradiction":[55],"concurrency":[59],"control":[60],"make":[62],"missing":[64],"contract":[65,105],"explicit.":[66,269],"TOKI":[67,198],"types":[68],"as":[72],"one":[73,175,208],"family":[74],"of":[75,138,176],"bitemporal":[76],"operators":[77,121],"over":[78,155],"dual-row":[80],"schema,":[81,108,254],"each":[82],"with":[83],"precondition":[86],"provenance":[89],"annotation":[90],"preserves":[92],"losing":[94],"fact":[95],"in":[96],"audit":[98,184],"row.":[99],"Four":[100],"soundness":[101],"theorems":[102],"close":[103],"across":[106,252],"isolation,":[107,253],"provenance,":[110,256],"lift":[111],"guarantees":[113],"to":[114,122],"operator":[115],"pipelines,":[116],"extend":[118],"fold":[120],"n-ary":[123],"conflict":[124],"sets.":[125],"A":[126,152],"tightness":[127],"companion":[128],"proves":[129],"that,":[130],"within":[131],"relational":[133],"schedule":[134],"model,":[135],"keyed":[136],"logging":[137],"adjudicating":[140],"judge":[141,167],"necessary":[143],"replay":[145],"consistency,":[146],"which":[147],"audited":[149],"baseline":[150,162],"omits.":[151],"verdict":[153],"matrix":[154],"eight":[156],"localizes":[158],"gap:":[160],"keeps":[164],"language-model":[166],"on":[168,227],"write":[170],"path":[171],"admits":[172],"at":[173],"least":[174],"three":[177,202],"(replay":[180],"inconsistency,":[181],"belief-drift":[182],"skew,":[183],"erasure);":[185],"content-addressed":[187],"engine-layer":[188],"comparator":[189],"avoids":[190],"them":[191],"only":[192],"by":[193,216],"removing":[194],"judge,":[196],"alone":[199],"excludes":[200],"all":[201],"while":[203],"keeping":[204],"it.":[205],"On":[206],"its":[207],"natural-workload":[209],"slice":[210],"audit-row":[212],"defence":[213],"moves":[214],"LoCoMo":[215,230],"0.86,":[217],"ablating":[219],"typed":[221],"layer":[223],"removes":[224],"0.49":[225],"accuracy":[226],"1,444":[228],"answerable":[229],"questions;":[231],"cross-system":[233],"comparison":[234],"stays":[235],"underpowered":[236],"claims":[238],"no":[239,265],"superiority.":[240],"The":[241],"contribution":[242],"contract:":[245],"correctness":[248],"specification,":[249],"proved":[250],"sound":[251],"pinning":[257],"guarantee":[259],"production":[261],"heuristic":[262],"but":[264],"deployed":[266],"system":[267],"makes":[268]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-06T00:00:00"}