Implementació actual suportada
Les condicions no contenen consultes de proveïdors. Cada condició validada posseeix un domini d’observació, un predicat específic del comparador i una política d’ús d’evidències. Les vinculacions d’adquisició separades demostren que una operació exacta es projecta en aquell domini.
L’execució inicial implementa quatre canals d’adquisició:
- la presentació d’un interlocutor hostil admesa sota un context d’autoritat autenticada o explícita incorporada;
- autoritats de temps nomenades amb revisió explícita, interval, resolució i incertesa;
- instantànies d’entorn capturades a l’inici immutables sobre llistes d’autorització explícites;
- documents JSON/YAML estrictament arrelats a la capacitat seleccionats per projecció de document complet o validada per RFC 6901 JSON Pointer.
Les autoritats d’adquisició local limitades viuen dins de decision-gate-core així que els seus constructors de testimonis font i tipus d’evidència segellada comparteixen un límit de privadesa Rust. No són plugins genèrics ni un registre de proveïdors de xarxa. decision-gate-mcp construeix un coordinador immutable a partir de la configuració validada. L’ordre de completament no és autoritat semàntica; els resultats són clau i assemblats de manera canònica abans de l’admissió de la política.
Descomposició de l’autoritat
ValidatedScenarioLaw
owns condition definitions, binding relations, policies, and limits
Local source authority
owns one named time/environment/document source and revision
Acquisition constructor
validates hostile source material and mints a source-specific candidate
Evidence admission
proves exact condition scope and evidence-use-policy satisfaction
Pure evaluator
consumes only the canonical admitted-evidence snapshot
La presència d’un registre o caché de fonts mai és autoritat d’evidència. Una font local que falta, revocada, no disponible o fallida produeix un fracàs operatiu y no genera cap evidència semàntica.
Famílies d’execució eliminades
L’adquisició d’evidències HTTP/REST, l’execució de xarxes tipades, l’adquisició d’evidències MCP remotes l’execució de subprocessos/stdout de MCP, proveïdors natius/executables arbitràries, schemas de proveïdors dinàmics i treballadors d’avaluació remota estan absents de la configuració d’execució, la sintaxi de l’escenari, els esquemes d’eines, els camins CLI i els manifests de capacitat suportats. No tenen variant de marcador de posició ni commutador desactivat.
PF-08 per si sol pot introduir una futura família després de tancar la seva font matemàtica, testimoni exacte, model de amenaça, manifest de capacitat i qualificació. Un futur catàleg de proveïdors gran requeriria catàlegs de contractes/esquemes immutables i càrrega de revisió exacta lazy; no ha de restaurar condicions acoblades a proveïdors ni posar codi executable arbitrari en el procés DG.
Llacunes actuals i no reclamacions
- L’adquisició local està implementada però encara no està qualificada per a producte/llançament.
- Els benchmarks diagnòstics no demostren ni el rendiment de llançament ni la capacitat de població de nodes qualificats a nivell de desplegament.
- Una observació local registra el que la font nomenada ha retornat; no prova la veritat metafísica del món.
- PF-04 posseeix i implementa l’ordenació d’execució acceptada i la durabilitat local després d’una avaluació de candidat que s’ha derivat; aquesta arquitectura de proveïdor ni reimplementa ni debilita aquesta autoritat.