MODEL
Modelul operațional
O hartă finită separă structura domeniului de narațiunea generată de model.
Vocabular structural
Context
Situație delimitată în care anumite roluri, dovezi și tranziții au sens.
Rol
Limită explicită de autorizare pentru tranziții.
Stare
Poziția curentă declarată de integrare, nu dedusă în tăcere din text.
Tranziție
Deplasare numită între stări, condiționată de porți și dovezi.
Poartă
Condiție deterministă verificată înaintea unei tranziții.
Punte
Trecere explicită între contexte.
Ce nu se vede la suprafață
Cele șase concepte de mai sus sunt partea vizibilă. Dedesubt sunt de fapt 12 primitive tipizate, împărțite în 5 „etaje" semantice — structural, de legare, evidențiar, operațional, de publicare — și fiecare etaj are propria regulă de expirare (TTL), nu una singură pentru tot. Un etaj structural nu expiră niciodată. Un angajament („commitment") expiră după 10 pași. O dovadă expiră după un calcul F×R×8 pe încrederea reală în sursă și prospețimea ei — la încredere mare (0,8 × 0,9) ai 6 pași înainte să devină învechită; la încredere mică (0,2 × 0,3) ai unul singur. Nimic din asta nu e ales din burtă.
„Poarta" de mai sus nu e o singură verificare cu excepții adăugate pe parcurs — sunt 9 gardieni separați, fiecare cu o singură responsabilitate. Iar logica din spatele lor nu e un if-else mascat: sunt 6 operatori propoziționali reali (NOT, AND, OR, XOR, IMPLIES, IFF), compuși în reguli adevărate, nu demonstrative. O singură regulă din exemplul livrat, deploy_readiness, înlănțuie doi operatori AND peste trei fapte atomice ca să formeze o singură regulă; risk_escalation cuibărește un AND în interiorul unui IMPLIES. Poți citi exact regulile alea acum, nu doar promisiunea că există undeva.
Motorul declară 10 rezultate posibile. Doar 7 sunt live — verificate direct prin cod, nu prin documentație optimistă. Celelalte trei (ASK, PUBLISH, REVISE_PLAN) sunt declarate în enum și numite în docstring, dar niciun cod nu le întoarce încă. Pagina asta ți-o spune direct — nu găsești lista respectivă în multe alte proiecte care promit mai mult decât livrează.
Interpretare ca sistem finit
Fie S mulțimea stărilor, A acțiunile candidate și G predicatele porților. O tranziție este admisibilă numai când rolul, dovezile și formula porții sunt satisfăcute.