# Objective Guard — mapa funcional

## Alcance

Esta carpeta describe el comportamiento esperado de Objective Guard de forma verificable. El producto todavía no está implementado; por lo tanto, salvo el guard documental de dogfooding, las capacidades se marcan como `[Inferencia]` derivada del contrato de producto.

No debe confundirse una decisión documentada con evidencia de implementación.

## Convenciones de confianza

- `[Hecho]`: respaldado por un script, ejecución o archivo existente que fue inspeccionado.
- `[Inferencia]`: comportamiento requerido por la documentación canónica, todavía sin implementación.
- `[Ambigüedad]`: decisión abierta o comportamiento que no puede cerrarse con la evidencia actual.

## Capas

| Archivo | Pregunta que responde |
| --- | --- |
| [Actores y superficies](01-actors-and-surfaces.es.md) | ¿Quién interactúa y dónde? |
| [Capacidades y flujos](02-capabilities-and-flows.es.md) | ¿Qué puede hacer cada actor y qué observa? |
| [Reglas, estados y validaciones](03-rules-states-and-validations.es.md) | ¿Qué decisiones son válidas y cómo cambia el estado? |
| [Matriz funcional](04-functional-test-matrix.es.md) | ¿Qué casos deben probarse para aceptar el producto? |

## Fuente de producto

Las capacidades derivan de:

- [Visión y tesis](../product/01-vision-and-thesis.es.md)
- [Contrato de producto](../product/02-product-contract.es.md)
- [Modelo de señales](../product/03-signal-and-decision-model.es.md)
- [Arquitectura](../product/04-technical-architecture.es.md)
- [Validación científica](../product/05-scientific-validation.es.md)
- [Roadmap](../product/06-roadmap-and-criteria.es.md)

## Estado actual

- [Hecho] `scripts/validate-docs.mjs` valida la topología documental, campos de capacidades, matriz y enlaces.
- [Inferencia] El MVP funcional corresponde al reflejo universal de la Fase 1.
- [Ambigüedad] Lenguaje de implementación, nombre final del ejecutable y formato externo del contrato permanecen diferidos.

## Huecos para una futura ronda de QA

- Verificar comportamiento real de hooks en cada agente soportado.
- Medir latencia en máquinas objetivo, no sólo en CI.
- Construir corpus golden antes de asignar tasas de falsos negativos.
- Definir UX de aprobación humana para excepciones.
- Definir cómo se muestra un `error` fail-open sin consumir excesivos tokens.