LAI Coding

MANUALE AGENTI · 0.9 ALPHA 14

Da intento a binario, senza passaggi impliciti.

Questa pagina è il punto di ingresso per un coding agent. Il manuale completo in Markdown contiene sintassi, contratti, comandi, checklist e confini attuali.

Apri il manuale completo

FLUSSO / MINIMO

Quattro artefatti, un controllo chiuso.

  1. 01

    Schema HTTP bounded

    Metodo, percorso, formato del body e massimo numero di byte per ogni campo vivono nel file .laihttp.

  2. 02

    Catalogo dei connettori

    Il file .laiconn limita capability, firme native, esiti ammessi e risposta di fallback.

  3. 03

    Handler LAI tipizzato

    Il file .lai usa soltanto gli input dichiarati, chiama capability esplicite e gestisce ogni risultato.

  4. 04

    Verifica e backend nativo

    Il compilatore costruisce la IR, prova budget e flussi, poi emette C di riferimento o assembly Linux x86-64.

ESEMPIO / JSON

Creare un progetto.

Alpha 14 aggiunge text pubblico e JSON piatto. Il titolo è lungo da 1 a 96 byte e il connettore deve chiudere tutti gli esiti.

lai 0.9 handler
handler project_create
cap project.create
limit ops 2
in title text public
in now time_ms public
call result project.create title now
match result
case created
respond ok
case duplicate
respond bad_request
case unavailable
respond too_many
case internal
respond internal
done
end

COMANDI / AGENTE

Prima controlla, poi emetti.

01lai check-connectors examples/project-create-connectors.laiconn
02lai check-handler examples/project-create.lai examples/project-create-http.laihttp examples/project-create-connectors.laiconn
03lai inspect-handler-ir examples/project-create.lai examples/project-create-http.laihttp examples/project-create-connectors.laiconn
04lai emit-handler-x86_64-asm examples/project-create.lai examples/project-create-http.laihttp examples/project-create-connectors.laiconn build/project_create.S

CONFINE ATTUALE

È una base applicativa, non ancora un framework completo.

Il JSON accetta oggetti piatti con sole stringhe UTF-8. Database CRUD, transazioni, serializzazione delle risposte e self-hosting del compilatore sono ancora nella roadmap.

Vedi cosa manca