MAKI Plus v0.1: Durable Task Control for CLI-Based AI Agent Kernels
{"Command-line":[0],"agent":[1],"kernels":[2],"face":[3],"a":[4,19,53,70,76,99,104,116,124,290,346],"durability":[5],"problem":[6],"that":[7,26,220,254],"is":[8,151],"easy":[9],"to":[10,111],"miss":[11],"in":[12,18,47,203,238,253,395],"single-process":[13],"demonstrations.":[14],"Each":[15],"invocation":[16],"begins":[17],"new":[20,258],"process,":[21],"while":[22],"the":[23,60,64,112,139,173,201,281,341,358,369,377,396],"safety":[24],"decision":[25],"governs":[27],"execution":[28,189],"may":[29],"have":[30],"been":[31],"made":[32,212],"by":[33,93],"an":[34,88,229,239,337],"earlier":[35,170,391],"process.":[36],"A":[37],"halt,":[38],"approval,":[39],"lease,":[40,119],"receipt,":[41,125],"or":[42,351],"audit":[43,183,247],"commitment":[44],"held":[45],"only":[46,134],"memory":[48],"therefore":[49],"cannot":[50],"serve":[51],"as":[52,228],"reliable":[54],"control":[55,67,85,343],"boundary.":[56],"This":[57,355],"paper":[58],"presents":[59],"implementation-level":[61,205],"elaboration":[62],"of":[63,138,194,267,279,348],"MAKI":[65,156,360],"kernel":[66,73],"plane":[68,86],"from":[69],"fixed,":[71],"programmable-logic-controller-inspired":[72],"sequence":[74],"into":[75],"durable":[77],"task":[78,90],"lifecycle":[79],"for":[80,207,340,383],"CLI-based":[81],"AI":[82,385],"agents.":[83],"The":[84,149,169,216,232,249,298,390],"accepts":[87],"authenticated":[89],"envelope,":[91],"deduplicates":[92],"principal":[94],"and":[95,103,131,146,158,187,197,214,246,259,289,293,303,318,327,367],"request":[96],"identifier,":[97],"evaluates":[98],"persistent":[100,177],"halt":[101,178],"latch":[102],"tri-state":[105],"permission":[106,181],"gate,":[107],"binds":[108],"human":[109],"approval":[110],"exact":[113],"request,":[114],"issues":[115],"time-bounded":[117],"exclusive":[118],"records":[120,219],"executor":[121],"selection,":[122],"stores":[123],"optionally":[126],"attaches":[127],"one":[128,159,321],"verification":[129],"result,":[130],"reconstructs":[132],"state":[133],"after":[135,316],"integrity":[136],"checks":[137],"event":[140],"chain,":[141],"head,":[142],"commit":[143],"history,":[144],"mirror,":[145],"external":[147],"anchor.":[148],"work":[150,218],"continuous":[152],"with":[153,286],"five":[154],"prior":[155],"papers":[157],"experimental":[160],"dataset":[161],"published":[162,371],"before":[163],"Japanese":[164],"Patent":[165],"Application":[166],"No.":[167],"2026-095223.":[168],"disclosures":[171],"established":[172],"fixed":[174],"pre-dispatch":[175],"order,":[176],"state,":[179],"role-based":[180],"outcomes,":[182],"recording,":[184],"scheduler":[185],"gating,":[186],"explicit":[188,213],"confirmation.":[190],"Later":[191],"cross-platform":[192],"Process":[193],"Record":[195],"consolidation":[196],"MCP/CLI":[198],"integration":[199],"provided":[200],"setting":[202],"which":[204],"contracts":[206],"those":[208],"process":[209,255,314],"boundaries":[210],"were":[211,331],"tested.":[215],"present":[217],"concrete":[221],"realization;":[222],"it":[223],"does":[224],"not":[225,345],"treat":[226],"MCP":[227],"enforcement":[230],"authority.":[231],"Phase":[233,263,270],"2":[234,271],"implementation":[235,245,338],"was":[236],"evaluated":[237],"isolated":[240,342],"root":[241],"using":[242],"operationally":[243],"separate":[244],"lanes.":[248],"14-file":[250],"candidate":[251],"examined":[252],"comprised":[256],"six":[257],"eight":[260],"modified":[261],"files.":[262],"1":[264],"passed":[265,272,277,296],"56":[266,268],"tests;":[269,275],"68":[273],"unique":[274],"regression":[276],"179":[278],"179;":[280],"superset":[282],"produced":[283,319],"183":[284],"passes":[285],"11":[287],"deselections;":[288],"23-case":[291],"threat":[292],"failure":[294],"matrix":[295],"completely.":[297],"final":[299],"multiprocess":[300],"test":[301,306,312],"started":[302],"exited":[304],"two":[305],"child":[307,313],"processes,":[308],"left":[309],"no":[310],"spawned":[311],"running":[315],"validation,":[317],"exactly":[320],"successful":[322],"claimant.":[323],"Production":[324],"database":[325],"writes":[326],"canonical":[328,353],"source":[329],"changes":[330],"both":[332],"zero.":[333],"These":[334],"results":[335],"support":[336],"claim":[339,347],"plane,":[344],"production":[349],"readiness":[350],"completed":[352],"promotion.":[354],"record":[356],"contains":[357],"revised":[359],"Plus":[361],"v0.1":[362],"technical":[363],"report.":[364],"It":[365],"continues":[366],"revises":[368],"version":[370,392,398],"on":[372],"20":[373],"September":[374],"2026":[375],"under":[376],"title":[378],"\\"MAKI:":[379],"Durable":[380],"Task":[381],"Control":[382],"CLI-Based":[384],"Agent":[386],"Kernels\\"":[387],"(DOI:":[388],"10.5281/zenodo.22850731).":[389],"remains":[393],"preserved":[394],"Zenodo":[397],"history.":[399]}
Authors
- Daisuke Tsunemori
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-09-22
- DOI
- https://doi.org/10.5281/zenodo.22883435
- Primary Topic
- Security and Verification in Computing
- Type
- article
- Field-Weighted Citation Impact
- 0.00