Flujo de Evaluación de Evidencia y Etapa

Flujo permanente

hostile source material
  -> source-specific acquisition constructor
  -> acquisition witness
  -> source admission
  -> condition-specific evidence-use-policy satisfaction
  -> canonical admitted-evidence snapshot
  -> pure typed predicate and RET evaluation
  -> candidate semantic attempt/completion
  -> accepted-run exact-head admission

Cada flecha tiene un propietario y acuña un valor que lleva la relación que demostró. La evaluación pura no realiza ninguna entrada/salida de proveedor, reloj, entorno, sistema de archivos, red, autorización, almacenamiento o despacho.

Cinco preguntas separadas

1. ¿Es la ley del escenario estructuralmente válida e identificada canónicamente?
2. ¿La admisión específica de la fuente estableció los hechos de adquisición exactos?
3. ¿El conjunto de evidencia satisface la política de uso exacta de esta condición?
4. ¿El predicado tipado y la etapa RET evalúan True, False o Unknown?
5. ¿La autoridad de ejecución aceptada aceptó al candidato contra la identidad de operación exacta y estable?

Ninguna respuesta sustituye a otra.

Clasificación de fallos

• los rechazos de material malformado, sobredimensionado, falsificado, de alcance incorrecto o incompatible no admiten y no generan evidencia;
• la indisponibilidad de la fuente, la denegación, el tiempo de espera, la cancelación o el agotamiento de recursos es un fallo operativo y no genera propuesta semántica;
• una fuente vinculada que viola su esquema es un fallo de contrato/integridad;
• un valor admitido válido que falla su predicado es semánticamente False;
• la evidencia admisible no resuelta es semánticamente Unknown derivada de políticas;
• la ausencia admitida completa puede satisfacer ObservedAbsent;
• la admisión de cabeza aceptada obsoleta no muta nada y requiere re-derivación.

La entrada faltante no es ausencia observada. El estado semántico proporcionado por el llamador nunca es autoritativo.

Adquisición del objetivo inicial

El objetivo inicial permite la presentación limitada del llamador, la observación del tiempo nombrado, un instantánea de entorno inmutable en la lista blanca, y la observación de documentos JSON/YAML anclados. HTTP/REST, MCP remoto, stdio de subprocesso/MCP, proveedores ejecutables arbitrarios y evaluadores remotos están excluidos.

Implementación actual

El tiempo de ejecución actual implementa esta separación. Las condiciones y las vinculaciones de adquisición son independientes, la construcción de la fuente ocurre antes de la evaluación, las instantáneas admitidas canónicas llevan la relación de política de uso, y el evaluador no realiza ninguna entrada/salida. La retención determina explícitamente si la reproducción semántica posterior está disponible; la retención solo de resumen nunca reclama en exceso la reconstrucción. Los sucesores candidatos entran en la admisión de cabeza exacta de recibo primero PF-04 a través de identidades de operación nominales; los resultados no aceptados no mutan la autoridad semántica.

Hechos entre escenarios

Un hecho sobre otra ejecución entra solo como evidencia admitida vinculada a la ley externa exacta, RunKey, cabeza aceptada, registro, frescura y relaciones de autorización. La evaluación nunca comienza ni evalúa recursivamente esa ejecución.

Pre-verificación

La pre-verificación puede ejecutar la misma semántica de predicado/RET pura sobre entradas semánticas admitidas idénticas. No muta nada y no prueba ni la adquisición en vivo ni el progreso aceptado.