Estado
Este documento posee el razonamiento permanente y el contrato de artefacto para la autoría de LLM. No es un sustituto de la autoridad de formato de cable generado. Los esquemas y SDKs generados actualmente proyectan la condición tipada PF-01/PF-02 implementada, vinculante de adquisición, evidencia y representación de evaluación pura. PF-09 aún posee los elementos finales del producto, empaquetado, evidencia de lanzamiento y aprobación humana.
Gráfico de artefactos requeridos
Un agente de autoría produce sintaxis hostil revisable para:
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 el LLM, admite esos artefactos a través de constructores sellados. El agente no puede afirmar que un gráfico, predicado, relación de proveedor, elemento de evidencia, etapa, o escenario es válido simplemente etiquetándolo como tal.
Reglas de autoría
- Declarar la reclamación operativa en lenguaje falsificable.
- Definir cada condición independientemente de su ruta de adquisición.
- Seleccionar un dominio de observación cerrado y un predicado específico de comparador.
- Indique hechos exactos sobre el uso de evidencia, incluyendo frescura, integridad, autorización, fuente, alcance y requisitos de retención.
- Agregue solo caminos de adquisición seleccionados. La presentación del llamador no necesita un proveedor falso; los caminos de red/subproceso están excluidos inicialmente.
- Componer la verdad de la etapa con RET satisfactoria completa.
- Componer topología solo con RET de requisito previo monótono consumido por Xarxa.
- Indique una ley de finalización de escenario monótono explícita. Las hojas no son un éxito implícito.
- Intente falsificar predicados e identificar la viabilidad desconocida en lugar de reclamar vitalidad.
- Enviar sintaxis hostil y preservar cada fallo de admisión tipada.
Contrato de ejecución
El arnés, no el gráfico del escenario, decide qué etapa lista abrir o cuántos agentes trabajan concurrentemente. Abrir una etapa no asigna un agente ni cancela un hermano.
La evidencia entra a través de adquisición específica de origen, admisión y políticas de uso de testigos. La evaluación pura consume solo una instantánea de evidencia admitida canónica y no realiza I/O. El fallo de adquisición operativa no genera ninguna propuesta semántica. True, False y Unknown semánticos se derivan solo de resoluciones admitidas válidas.
La autoridad de ejecución aceptada decide si el candidato se convierte en historia. Un candidato obsoleto no muta nada. Una intención aceptada no es un efecto externo.
Evidencia del llamador
Un agente puede enviar material limitado. Eso solo prueba que el llamador atribuido envió el material bajo la solicitud/contexto registrado. El agente no puede autoasignarse autoridad de origen, integridad, frescura, independencia, ausencia, estado de comparador o confianza. Otros hechos requieren testigos independientes.
Perfil inicial
Las familias de adquisición seleccionadas son la presentación del llamador, la observación de tiempo nombrada, instantánea de entorno inmutable en lista blanca y observación JSON/YAML enraizada. HTTP/REST, MCP remoto, MCP stdio/subproceso, proveedores ejecutables arbitrarios, evaluación remota y ejecución atestiguada/personalizada no son capacidades iniciales.
Verificación y no reclamaciones
El paquete de autoría debe preservar la ley exacta, gráfico, condición, política, vinculación, evidencia, ejecución, etapa e identidades de cabeza aceptadas. Los informes de verificación separan la validez estructural, integridad del contenido, admisión de evidencia, reproducción semántica, integridad de la historia aceptada, estado de despacho, vinculación externa, calificación de despliegue y procedencia de lanzamiento.
Un escenario generado por LLM que pasa sus propios predicados no prueba que los predicados expresen la intención del operador. Se requiere revisión independiente y falsificación adversarial antes de un uso consecuente.
Guía ejecutable actual
Los nombres de herramientas actuales y los campos de cable permanecen autoritativos solo a través de la documentación de contrato actual generada. No deben ser copiados a nuevos estándares permanentes ni preservados a través de alias de compatibilidad. La autoría y evaluación PF-01/PF-02 son ejecutables; una reclamación de producto soportada de extremo a extremo permanece bloqueada en el cierre formal de despacho PF-06A, implementación y refinamiento local PF-06B/PF-06C, integración de plataforma PF-06D/PF-06E, calificación PF-07/PF-09 y cierre de lanzamiento.