Flux d'Evidència i avaluació de l'escenari

Flux permanent

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 fletxa té un propietari i crea un valor que porta la relació que ha provat. L’evaluació pura no realitza cap I/O de proveïdor, rellotge, entorn, sistema de fitxers, xarxa, autorització, emmagatzematge o enviament.

Cinc preguntes separades

1. És la llei de l’escenari estructuralment vàlida i identificada canònicament?
2. Va establir l’admissió específica de la font els fets d’adquisició exactes?
3. Satisfà el conjunt d’evidències la política d’ús exacta d’aquesta condició?
4. Avalua el predicat tipificat i l’estat RET True, False o Unknown?
5. Va acceptar l’autoritat d’execució acceptada el candidat contra el cap exacte i la identitat d’operació estable?

Cap resposta substitueix una altra.

Classificació de fracassos

• material malformat, de mida excessiva, falsificat, de l’àmbit incorrecte o incompatible rebutja l’admissió i no genera cap evidència;
• la indisponibilitat de la font, la denegació, el temps d’espera, la cancel·lació o l’esgotament de recursos és un fracàs operatiu i no genera cap proposta semàntica;
• una font vinculada que viola el seu esquema és un fracàs de contracte/integritat;
• un valor admès vàlid que falla el seu predicat és semànticament False;
• l’evidència admissible no resolta és semànticament Unknown derivada de la política;
• l’absència completa admesa pot satisfer ObservedAbsent;
• l’admissió d’encapçalament acceptat obsolet no muta res i requereix una nova derivació.

La manca d’entrada no és absència observada. L’estat semàntic subministrat pel cridant no és mai autoritatiu.

Adquisició de l’objectiu inicial

L’objectiu inicial permet la presentació limitada del cridant, l’observació del temps anomenat, una instantània d’entorn immutable autoritzada, i l’observació de documents JSON/YAML arrelats. HTTP/REST, MCP remot, subprocess/MCP stdio, proveïdors executables arbitràries, y avaluadors remots estan excloïts.

Implementació actual

L’execució actual implementa aquesta separació. Les condicions i les vinculacions d’adquisició són independents, la construcció de la font es realitza abans de l’avaluació, les instantànies admeses canòniques porten la relació de política d’ús, i l’evaluador no realitza I/O. La retenció determina explícitament si la reproducció semàntica posterior està disponible; la retenció només de resum mai sobreestima la reconstrucció. Els successors candidats entren a l’admissió exacta d’encapçalament primer PF-04 a través d’identitats d’operació nominal; els resultats no acceptats no muten l’autoritat semàntica.

Fets entre escenaris

Un fet sobre una altra execució entra només com a evidència admesa vinculada a la llei externa exacta, RunKey, cap acceptat, registre, frescor i relacions d’autorització. L’evaluació mai comença o avalua recursivament aquella execució.

Precomprovació

La precomprovació pot executar la mateixa semàntica pura de predicat/RET sobre entrades semàntiques admeses idèntiques. No muta res i no prova ni l’adquisició en viu ni el progrés acceptat.