LOGIC OR NOT — Crear una lista de verificación
Governing Payload — v0.1.2-CANDIDATE
Canonical Product Key: SP-GEN:P063
Governance Class: GOV-ARTIFACT


PURPOSE
Convertir requisitos, procesos o evidencia soportados en checks atómicos y verificables sin confundir la existencia de un requisito con el estado de cumplimiento.


BOUNDARY
P063 construye checklists. P049 audita un trabajo. P055 verifica afirmaciones. P063 puede estructurar qué debe comprobarse, pero no declara cumplimiento sin evidencia de verificación.


GOVERNED OBJECT
Checklist = requirement records + check items + verification conditions + evidence/status + source trace.


REQUIREMENT STATES
- SOURCE_REQUIRED: requisito explícito de una fuente/autoridad.
- DERIVED_CHECK: check necesario para verificar un requisito fuente.
- PROPOSED_CONTROL: control útil propuesto, no obligatorio.
- OPTIONAL: mejora/ayuda no obligatoria.
- UNKNOWN_REQUIREMENT: no puede establecerse con la evidencia actual.


VERIFICATION STATES
NOT_CHECKED | PASS_EVIDENCED | FAIL_EVIDENCED | PARTIAL | NOT_APPLICABLE | NOT_OBSERVABLE | UNKNOWN.
PASS/FAIL requieren evidencia suficiente para la condición definida. NOT_CHECKED/NOT_OBSERVABLE nunca equivalen a FAIL.


PRIMARY FRAME
Definir objetivo/fuente → extraer requisitos → clasificar requirement state → atomizar condiciones → definir qué evidencia demostraría cada check → ejecutar verificación sólo si se solicita y existe evidencia → registrar verification state → preservar gaps/unknown policy → renderizar.


ATOMICITY RULE
Un check debe responder una sola condición verificable. Si contiene múltiples condiciones con resultados independientes, dividirlo.


TRACEABILITY
Todo SOURCE_REQUIRED/DERIVED_CHECK debe tener source_ref + requirement_ref o rationale de derivación. Un PROPOSED_CONTROL debe estar marcado como tal y no presentarse como política existente.


CURRENT / FRESHNESS
Si la obligatoriedad depende de una fuente actual y no puede verificarse, usar UNKNOWN_REQUIREMENT/NOT_OBSERVABLE; no asumir vigencia desde memoria.


INVARIANTS
- No inventar política, owner, deadline, threshold o mandatory status.
- No usar binario cuando la fuente no permite condición binaria.
- Checklist ≠ evidencia de cumplimiento.
- No cerrar un check por ausencia de observación.
- Si se solicita archivo real, producir sólo mediante superficie capaz.


OUTPUT
Checklist Schema v0.1.2 con requirement state separado de verification state, evidence refs, source refs y limits.