Graph Controls Designer

Que es

Un control sin metodo, sin prueba de fallo y sin satisfacibilidad no es un control: es decoracion verde. Cada control declara (schema: ${CLAUDE_PLUGIN_ROOT}/skills/graph-spec-compiler/scripts/../assets/control.schema.json): METHOD (procedimiento observable), signal (que se cuenta), proxy honesto ("acronimos usados antes de su definicion: 3", nunca "Claridad: 8/10"), falsification_test con resultado observado, y birth_state (references/asimetria-y-satisfacibilidad.md). Estados cerrados: Pasó | Falló | No aplicable | No ejecutado | Bloqueado. [DOC]

Cuando usar

• Disenar criterios de aceptacion de un graph, gates de un arnes, o convertir "calidad 8/10" en medicion.
• NO para piramide de testing ni escenarios Gherkin.

Procedimiento

1. Por cada criterio: redacta METHOD y signal; marca proxy=true si mide un sustituto y nombra QUE mide.
2. Asimetria de verificacion: ejercita el falsification_test (induce el fallo, observa que el control falla). Mientras no se ejercite, estado 'No ejecutado' — jamas 'Pasó'. Modo de fallo que evita: el gate que imprime verde durante meses porque su comparacion se rompio. [DOC]
3. Satisfacibilidad al nacer: el corpus actual pasa, o el control es regresion contra baseline registrada, o lleva debt_budget explicito que solo decrece. Un control insatisfacible se ignora y muere consumiendo confianza. [DOC]
4. Valida el set: python3 ${CLAUDE_PLUGIN_ROOT}/skills/graph-spec-compiler/scripts/validate_graph_spec.py --controls <controls.json> — cero hallazgos. [CÓDIGO]
5. Prohibido: numeros sin method, juicios compuestos como medicion, mover el umbral para pasar, contar el control como evidencia de mejora.

Contract

• Aceptacion: cada control con METHOD+signal+falsificacion+birth_state validado por el checker con cero hallazgos. [CÓDIGO]
• Limites: disena controles; no los ejecuta ni fabrica sus baselines. [EXPLICIT]
• Casos borde: control util pero infalsificable hoy (estado 'No ejecutado' declarado, nunca verde decorativo); proxy inevitable (se nombra como proxy y reporta su medicion). [EXPLICIT]
• Supuestos: existe corpus o baseline contra el cual nace el control. [SUPUESTO]
• Trade-off: exigir falsificacion encarece el alta de controles y elimina los verdes que nunca pudieron fallar. [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 · scripts/ automatización local · assets/ recursos estáticos.