Graph Run Discipline

Que es

Las reglas de runtime que convierten un graph aprobado en ejecucion gobernada (references/gate-de-aprobacion.md, references/ejecucion-por-olas.md): congelar el spec aprobado, verificar herramientas/permisos/write_sets, ejecutar por olas con contexto minimo por nodo, validar cada output contra su schema, rechazar toda escritura fuera del write_set (SCOPE_VIOLATION, sin reintento), reintentar solo fallos transitorios (max 2, nunca efectos sin idempotencia), y conservar receipts con paths_written. Los 12 codigos tipados viven en ${CLAUDE_PLUGIN_ROOT}/skills/graph-spec-compiler/scripts/../assets/failure-codes.json. [DOC]

Cuando usar

• Un graph_spec ya validado necesita plan de ejecucion, gate de aprobacion o auditoria de una corrida.
• Loops maker/checker dentro de un nodo: ledger por ronda y stop conditions (max turns, sin-avance-3-rondas) (references/maker-checker.md).
• NO para compilar el spec ni para elegir la primitiva de paralelismo del runtime.

Procedimiento

1. Gate: acepta SOLO APROBAR <graph_id> <version> exactos y vigentes; version nueva invalida aprobaciones previas; frase ambigua = seguir esperando. [DOC]
2. Pre-vuelo: valida el spec congelado con python3 ${CLAUDE_PLUGIN_ROOT}/skills/graph-spec-compiler/scripts/validate_graph_spec.py <spec> --json — cero hallazgos o no hay corrida. [CÓDIGO]
3. Ejecuta por olas: contexto minimo por nodo, clave de idempotencia para efectos, receipts con paths_written.
4. En fallo: clasifica con el codigo tipado, deten el scope afectado, nunca reintentes SCOPE_VIOLATION ni efectos sin idempotencia.
5. Integra: todo output aceptado llega al artefacto unico; paths_written vs write_set — toda diferencia es hallazgo. Entrega al guardian con manifiesto cerrado.
6. Retrabajo del checker: maximo 2 ciclos; si cambia alcance/permisos/graph, version nueva y re-aprobacion.

Contract

• Aceptacion: corrida con receipts completos, cero escrituras fuera de write_set, fallos tipados, integracion sin outputs sueltos. [CÓDIGO]
• Limites: no compila specs; no otorga aprobaciones (las verifica); la ejecucion real depende del runtime disponible — sin runtime queda como plan 'No ejecutado'. [EXPLICIT]
• Casos borde: aprobacion de version vieja (invalida, seguir esperando); ola con WRITE_CONFLICT descubierto tarde (no ejecutar la ola: serializar o renombrar). [EXPLICIT]
• Supuestos: el spec llego validado por graph-spec-compiler. [SUPUESTO]
• Trade-off: la disciplina agrega latencia por ola a cambio de blast radius acotado y reversibilidad. [EXPLICIT]

Packet

Capas del packet, cargables bajo demanda (disciplina ICM: una capa por vez, nunca todas juntas): references/ guías de profundidad (cargar UNA por etapa) · knowledge/ cuerpo de conocimiento · prompts/ prompts listos · examples/ salida de ejemplo · agents/ subagentes del packet · templates/ plantilla de output · scripts/ automatización local · assets/ recursos estáticos.