Rezultato nuosavybė
Tikslų kelių palyginimą papildo apribota semantinio persidengimo patikra, galinti sustabdyti neaiškų dubliavimą.
Pateiktas Build Week prototipas · Developer Tools
Lygiagretiems agentams pirmiau reikia leidimo, tik tada greičio.
Gatehold bendradarbiaujantiems programavimo agentams suteikia vieną vietinę sprendimo teisę dėl persidengiančių darbų, sunkių užduočių pajėgumo, išskirtinių resursų ir sutvarkymo prieš pakartotinai naudojant darbų liniją.
BūsenaPateikta Devpost; veikia vieša demonstracija be paskyros, o tikras vietinis daemon kodas yra repozitorijoje.
ProblemaWorktree atskiria failus, bet ne produkto atsakomybę, kompiuterio pajėgumą ar bendrus runtime resursus.
MechanizmasUžklausa → deterministinė patikra → valdoma linija → patikrintas sutvarkymas → atlaisvinimas.
SprendimasTik vietinė deterministinė politika suteikia leidimą; GPT-5.6 gali tik sustabdyti.
Problema ir mechanizmas
Darbų linija nėra laisva, kol jai priklausęs darbas nėra sutvarkytas.
Gatehold jungia darbų srauto nuomą, FIFO pajėgumo eilę ir išskirtinę runtime nuosavybę. Užbaigta ar pasibaigusi užduotis neatlaisvinama vien todėl, kad agentas taip pasakė — valdomi procesai, portai, profiliai ir tikslus simuliatoriaus statusas turi pasiekti patikrintą pabaigą.
- UžklausaVienas laiku apribotas savininkas valdo persidengiantį saugomą rezultatą.
- PajėgumasSunkus darbas laukia deterministine tvarka, kai kompiuteriui trūksta resursų.
- RuntimePortai, profiliai ir tikslūs simuliatorių ID priklauso vienai valdomai linijai.
- TvarkaDviprasmiškas likutis izoliuojamas, o ne pašalinamas spėjant.
Patikrinti vieši įrodymai
Peržiūrėkite visą ciklą, tada tikrinkite vietinį įgyvendinimą.
Demonstracija veikia su apribotais duomenimis. Repozitorijoje yra Python daemon, transakcinis SQLite leidimų variklis, CLI, procesų prižiūrėtojas, React ekranas ir daugkartinis Codex skill.
Ką parodo šis darbas
Koordinavimas yra sprendimo teisės problema, ne dar vienas skydelis.
Pagrindinė vertė slypi už sąsajos esančioje sutartyje: kas gali pradėti, kas privalo laukti ir kada nuosavybę saugu perduoti.
Pajėgumas prieš vykdymą
Sunkios užduotys laukia, užuot savarankiškai perkrovusios vieną kompiuterį; lengvas darbas gali likti prieinamas.
Sutvarkymas prieš atlaisvinimą
Sprendimo teisė lieka užimta, kol užduoties runtime paviršiai patvirtinami švarūs arba aiškiai izoliuojami.
Sprendimo teisės riba
GPT-5.6 gali padaryti Gatehold atsargesnį, bet niekada laisvesnį.
Modelis gali aptikti skirtingai pavadintų darbų semantinį persidengimą ir pridėti peržiūros stabdį. Jis negali suteikti leidimo, pašalinti deterministinio konflikto, apeiti FIFO eilės, perduoti nuosavybės ar paskelbti sutvarkymo baigtu.
Vieša versijaSintetinė demonstracija; ji netikrina lankytojo kompiuterio.
Vietinė versijaLoopback daemon ir esama kompiuterio būsena su aiškia vietine nuosavybe.
Build Week 2026
Peržiūrėkite visą apribotos AI sprendimo teisės kolekciją.
ProofLatch valdo leidimo įrodymus, ExitCanary tikrina SaaS išėjimą, o AccessCrash — žmogaus pasiekiamumą.