Szőke László (MetaSpace.Bio Engine Project) • 2026. július 8. • Eredeti: szokelaci.substack.com
A mesterséges intelligencia (MI) biztonságáról szóló diskurzus ma egy alapvető ontológiai tévedés csapdájában vergődik. A fejlesztők és a szabályozók kétségbeesetten próbálják bizonyítani, hogy a MI „helyesen” fog működni, vagy hogy a szándékai „jók”. A számítástechnika alaptörvényei szerint azonban ez a törekvés matematikai képtelenség.
A dilemma húsbavágó: mindenki kontrollt akar, de senki sem tudja garantálni a kód belső helyességét. A MetaSpace Constitution projekt ezen a ponton hajt végre paradigmaváltást. Ahelyett, hogy a MI megfoghatatlan szándékait próbálná verifikálni, egy radikálisan őszinte megközelítést alkalmaz: nem a szándékot próbálja bizonyítani, hanem a hatást korlátozza. Ez az elmozdulás a „helyességtől” (Correctness) a „karantén” (Containment) felé az egyetlen járható út a valódi digitális integritáshoz.
Első tétel: A Rice-tétel és a karantén ereje (containment, nem correctness)
Szoftverarchitektúrális szempontból a biztonság legnagyobb ellensége a Rice-tétel. Ez az alaptétel kimondja, hogy egy tetszőleges program bármely nem-triviális szemantikai tulajdonsága — például az, hogy „biztonságos-e” — alapvetően eldönthetetlen.
„A Rice-tétel értelmében eldönthetetlen: tetszőleges kód szándék-megfelelése eldönthetetlen. Ezért a szándék-helyesség formális bizonyítása nem skálázódik.”
A MetaSpace [1] lényege abban rejlik, hogy egy eldönthetetlen kérdést egy egyszerű halmaz-tagsági kérdéssé redukál. A kérdés már nem az, hogy „Jó-e a program?”, hanem az, hogy „A program hatása a deklarált határon belül van-e?”. Ehhez a rendszer a .bio nyelvet használja, amely szándékosan Turing-hiányos.
Ez a „hiányosság” valójában architektúrális fegyver: mivel a .bio programok mentesek a végtelen ciklusoktól és a beláthatatlan memóriakezeléstől, a bennük foglalt „alkotmány” matematikailag igazolhatóvá válik. Ez lehetővé teszi a Z3/SMT logikai megoldók használatát, amelyekkel a biztonsági szabályrendszer formálisan elemezhető. Egy megfoghatatlan morális dilemmát sikerült egy determinisztikus, O(1) komplexitású matematikai ellenőrzéssé alakítani.
Második tétel: A hiba új definíciója (bug = alkotmánysértés)
A hagyományos szoftverfejlesztésben a „hiba” (bug) szubjektív fogalom: eltérés a programozó nehezen megfogalmazható szándékától. Az autonóm ágensek korában azonban a szándék nem mérhető.
A MetaSpace rendszerében a hiba fogalma gépileg precízzé válik.
Itt a viszonyítási pont már nem a fejlesztő fejében élő kép, hanem az Alkotmány. Minden olyan művelet, amely kívül esik a .bio fájlban rögzített engedélyeken, definíció szerint hibának minősül. Ez a „deny-by-default” (alapból tiltott) logika leveszi az episztemikus terhet a fejlesztő válláról: nem kell minden lehetséges támadási felületet előre látnia, elég a „legális teret” definiálnia. Minden más próbálkozás determinisztikusan elbukik.
Harmadik tétel: A „garancia-létra” – Nem minden védelem egyenértékű
A technológiai iparágat gyakran fertőzi a „biztonsági színház”, ahol puha ígéreteket adnak el kemény védelemként. A MetaSpace ezzel szemben szigorú, de őszinte „garancia-létrát” állít fel:
- ▸Heurisztikus (Puha): Statikus elemzés, amely csak tanácsot ad.
- ▸Nyelvi szintű: Interceptorok, amelyek hasznosak, de pl. közvetlen rendszerhívásokkal (syscalls) megkerülhetőek.
- ▸Harness-szint (Product B): Az ágens futtatókörnyezetébe épített gát (pl. Claude Code hook). Ez már kemény korlát az ágens számára, mert rajta kívül helyezkedik el.
- ▸WebAssembly (Product A - Kemény): A végső védelmi vonal. A „vendég” szoftvernek itt nincs veleszületett jogosultsága (zero ambient authority). Ha egy kapu (wasi import) nincs nevesítve az Alkotmányban, a program fizikailag nem képes elérni azt — a kísérlet link-hibával omlik össze.
A MetaSpace [2] transzparenciára törekszik: a nyelvi szintű megoldást nem szállítja termékként, mert az megkerülhető. A jelenleg elérhető Product B a Claude Code-hoz kínál azonnali védelmet, míg a Product A a jövő WebAssembly-alapú, fizikailag megkerülhetetlen architektúráját célozza.
Karanténba zárt MI-hallucináció Podcast (15:20)
Negyedik tétel: Episztemikus gát – A hallucinációk vége?
A MI-kár jelentős része „tény-hallucinációkból” fakad. Az Episztemikus membrán feladata, hogy megakadályozza a kitalált adatokon alapuló cselekvést. A rendszer élesen különválasztja a determinisztikus és a szemantikai réteget.
A puha réteg (Soft Tier) csupán jelzi, ha egy állítás tartalmilag hű-e (NLI), de ezt nem kényszeríti ki, mivel nem determinisztikus. Ezzel szemben a kemény réteg (Hard Tier) könyörtelen.
„A KNOWLEDGE membrán kemény tierje négy determinisztikus, eldönthető mechanizmust kényszerít ki: referenciális integritás, séma/tartomány, proveniencia-zárolt aktuáció és idézet-kötelezettség.”
Ez a proveniencia-zárolt aktuáció azt jelenti, hogy a MI nem hajthat végre side-effectet olyasmi alapján, ami csak a „képzeletében” létezik; minden lépésnek ellenőrzött forrásból (SOURCE) kell származnia.
Ötödik tétel: Amikor a rendszer a saját alkotóját is megállítja
A legmeggyőzőbb bizonyíték a „dogfooding”, amikor a készítők saját magukon tesztelik a technológiát. A fejlesztés során a Product B session-membránja felügyelte a munkát segítő Claude-ágenst.
Az ágens frissíteni akarta a projekt belső memóriáját. Bár a szándéka építő jellegű volt, a művelet olyan könyvtárat érintett volna, amely a .bio alkotmányban rögzített határokon kívül esett. A membrán nem mérlegelt: azonnal exit 2 hibát dobott és blokkolta a fizikai fájl létrehozását. Ez a rekurzív bizonyíték: a containment akkor is megállíthatatlan, ha az ágens jó szándékú, de „túlbuzgó”.
Zárszó: A bizonyíték a CI-ben van, nem a PDF-ben
A MetaSpace filozófiája szerint a biztonság nem egy marketing-ígéret, hanem egy futtatható teszt [3]. Ebben a paradigmában nem a PDF-eknek hiszünk, hanem a zöld checkmarknak a CI-folyamat végén.
A projekt egy 12 reprodukálható bizonyítékból álló jegyzéket (Evidence Ledger) kínál, ahol a determinisztikus blokkolás és a WASM-alapú megkerülhetetlenség egyetlen paranccsal igazolható. A biztonság itt nem elvont fogalom, hanem mérnöki tény.
Készek vagyunk-e feladni a kontroll illúzióját a valódi, mérhető biztonságért cserébe? Ha elismerjük, hogy a MI „jóságát” sosem fogjuk tudni bizonyítani, elkezdhetünk a valódi megoldáson dolgozni: a megkerülhetetlen alkotmányos karantén felépítésén.
Hivatkozások és jegyzetek#
MetaSpace.Bio — Slow journalism, deep structural analysis, critical technological realism, systemic thinking. Kövesd szerzőnket: https://metaspace.bio és /lemonscipter