Estat
Aquest document posseeix el raonament permanent i el contracte d’artifacte per a l’autoria de LLM. No és un substitut de l’autoritat de format de cable generada. Els esquemes i SDKs generats actuals projecten la condició tipificada PF-01/PF-02 implementada, vinculació d’adquisició, evidència, i representació de pura avaluació. PF-09 encara posseeix els accessoris del producte final, embalatge, evidència de llançament, i aprovació humana.
Gràfic d’artifacte requerit
Un agent d’autoria produeix sintaxi hostil revisable per a:
claim inventory
-> typed condition definitions
-> evidence-use policies
-> separate acquisition bindings
-> stage RET completion laws
-> Xarxa prerequisite laws
-> explicit scenario completion law
-> bounded raw scenario specification
DG, no l’LLM, admet aquests artefactes a través de constructors segellats. L’agent no pot afirmar que un gràfic, predicat, relació de proveïdor, element d’evidència, estadi, o escenari és vàlid només per etiquetar-ho així.
Regles d’autoria
- Declarar la reclamació operativa en un llenguatge falsificable.
- Definiu cada condició independentment del seu camí d’adquisició.
- Seleccioneu un domini d’observació tancat i un predicat específic de comparador.
- Indiqueu fets d’ús d’evidència exactes, incloent la frescor, la integritat, l’autorització, la font, l’abast i els requisits de retenció.
- Afegiu només camins d’adquisició seleccionats. La presentació de l’agent no necessita cap proveïdor fals; els camins de xarxa/subprocés s’exclouen inicialment.
- Composar la veritat de l’estadi amb un RET satisfactori complet.
- Composar la topologia només amb RET de prerequisit monotònic consumit per Xarxa.
- Indiqueu una llei de completament de scenario monotònic explícita. Les fulles no són un èxit implícit.
- Intenteu falsificar predicats i identificar la viabilitat desconeguda en lloc de reclamar la vitalitat.
- Presentar sintaxi hostil i preservar cada fallida d’admissió tipificada.
Contracte d’execució
El sistema, no el gràfic d’escenari, decideix quin estadi preparat obrir o quants agents treballen concurrentment. Obrir un estadi no assigna un agent ni cancela un germà.
L’evidència entra a través d’adquisició específica de font, admissió, i política d’ús de condicions testimonis. La pura avaluació consumeix només un instantània d’evidència admesa canònica y no realitza I/O. La fallida d’adquisició operativa no genera cap proposta semàntica. Semàntic True, False, i Unknown es deriven només de resolucions admeses vàlides.
L’autoritat d’execució acceptada decideix si el candidat es converteix en història. Un candidat obsolet no muta res. Una intenció acceptada no és un efecte extern.
Evidència de l’autor
Un agent pot presentar material limitat. Això només prova que l’atribut que fa la trucada va presentar el material sota la sol·licitud/context enregistrat. L’agent no pot auto-assignar-se autoritat de font, integritat, frescor, independència, absència, estat de comparador, o confiança. Altres fets requereixen testimonis independents.
Perfil inicial
Les famílies d’adquisició seleccionades són la presentació de l’autor, observació de temps anomenat, instantània d’entorn immutable autoritzada, i observació JSON/YAML arrelada. HTTP/REST, MCP remot, MCP stdio/subprocés, proveïdors executables arbitràries, evaluació remota, i execució attestada/custom no són capacitats inicials.
Verificació i no-reclamacions
El paquet d’autoria ha de preservar la llei exacta, gràfic, condició, política, vinculació, evidència, execució, estadi, i identitats d’acceptació. Els informes de verificació separen la validesa estructural, integritat del contingut, admissió d’evidència, reproducció semàntica, integritat de la història acceptada, estat d’enviament, vinculació externa, qualificació de desplegament, i procedència de llançament.
Un escenari generat per LLM que passa els seus propis predicats no prova que els predicats expressin la intenció de l’operador. La revisió independent i la falsificació adversarial segueixen sent requerides abans de l’ús conseqüencial.
Orientació executable actual
Els noms d’eines actuals i els camps de cable romanen autoritzats només a través de la documentació del contracte generat actual. No s’han de copiar en nous estàndards permanents ni preservats a través d’aliases de compatibilitat. L’autoria i evaluació PF-01/PF-02 són executables; una reclamació de producte suportada de principi a fi roman bloquejada en el tancament formal de PF-06A, implementació local i refinament de PF-06B/PF-06C, integració de plataforma de PF-06D/PF-06E, qualificació de PF-07/PF-09, y tancament de llançament.