Términos de evidencia tipada canónica y DAG monótono para la superficie pública actual.
AcceptedRunHead
Revisión aceptada exacta y resumen de registro aceptado canónico para una ejecución.
AcquisitionBinding
Relación de escenario de un operación de adquisición implementada a una condición tipada exacta.
AcquisitionBindingCompatibilityWitness
Prueba sellada de que una operación de adquisición y proyección aterrizan en el dominio de condición objetivo exacto.
AdmittedEvidence
Candidato de evidencia cuya construcción específica de origen y condición completa han sido probadas.
CanonicalAdmittedEvidenceSnapshot
Resolución de evidencia ordenada canónicamente consumida por evaluación pura, limitada por la ley del gráfico.
ClosedObservationDomain
Ley sellada de decimal exacto, booleano, cadena, bytes, fecha, instante, array, registro o unión etiquetada.
DgValueFormatV1
Techos inmutables neutrales a la arquitectura para valores tipados, evidencia, instantáneas de entorno y documentos enraizados.
EffectiveLimitWitness
Prueba de que un perfil de límite de escenario reduce su perfil de operador y los techos inmutables V1.
EvidenceCandidate
Observación tipada específica de origen con ámbito exacto, intervalo, contexto de autoridad, retención e identidad canónica.
EvidenceUsePolicyWitness
Prueba sellada de que un conjunto de candidatos calificados satisface cada coordenada de política de uso de evidencia independiente.
GraphIdentity
Identidad canónica de un DAG de dependencia Xarxa validado, independiente del orden de entrada hostil.
Insufficient
Existen candidatos pero fallan en la admisión, acuerdo o quórum; esto es distinto de un fallo operativo y de la falta de entrada.
Missing
No existe candidato para una condición; la entrada faltante nunca se interpreta como ausencia observada.
MonotoneRequirement
Refinamiento RET sellado que no puede cambiar de verdadero a falso a medida que su conjunto de átomos verdaderos crece.
NotReady
Etapa cuya prerrequisito de topología no es satisfecha por el progreso completado aceptado.
ObservedAbsent
Prueba admitida positiva de que una observación de fuente completa estableció ausencia.
OpenIncomplete
Etapa abierta explícitamente que no ha aceptado un delta de finalización; este estado no lleva propiedad de agente.
Present
Un valor tipado admitido; JSON null no es un valor presente implícito en la familia de dominio inicial.
RawScenarioSpec
Sintaxis de escenario dag-v3 hostil que requiere validación basada en constructor antes de su uso semántico.
ReadyUnopened
Etapa lista para topología que no ha sido abierta explícitamente.
SatisfiableRequirement
Refinamiento RET sellado que demuestra que al menos una valoración proposicional total evalúa como verdadera.
ScenarioLawIdentity
Identidad canónica de topología, condiciones tipadas, vinculaciones de adquisición, límites efectivos y leyes de finalización.
SubmissionScope
Ámbito de presentación de artefactos cerrado: a nivel de ejecución o vinculado a un registro exacto de etapa abierta.
TopologyFrontier
Conjunto ordenado canónico de nodos incompletos cuyas leyes de prerrequisitos son verdaderas para el progreso completado aceptado.
TopologyReadyWitness
Prueba acotada por gráfico que un nodo incompleto pertenece a la frontera de topología actual.
ValidatedDependencyDag
DAG finito sellado con requisitos validados, orden canónico, adyacencia compilada e identidad de gráfico.
ValidatedScenarioLaw
Vinculación de autoridad de escenario sellado Xarxa, RET, condiciones tipadas, compatibilidad de adquisición, límites e identidad.
ValidatedTypedPredicate
Predicado sellado específico del comparador sin combinaciones inválidas de comparador y operando.
accepted_head
Revisión exacta y resumen de registro contra el cual se deriva una lectura o mutación.
accepted_run_store
Autoridad de compromiso condicional seleccionada para el despliegue que ordena revisiones aceptadas exactas para cada RunKey.
acquisition_bindings
Colección canónica de escenario de relaciones de llamador, tiempo nombrado, instantánea de entorno y documentos enraizados.
caller_evidence
Observaciones hostiles de llamadores que no pueden autoasignar confianza, autoridad de procedencia, ausencia o estado semántico.
completed
Etapa con un delta de finalización aceptado; las etapas completadas rechazan mutaciones de evaluación adicionales.
completion_requirement
Ley RET explícita para la finalización de etapas o escenarios.
condition_id
Identidad local de escenario para un dominio de observación cerrado, predicado tipado y política de uso de evidencia.
decision_gate_docs_search
Buscar recursos documentales revisados de Decision Gate.
graph_identity
Identidad de gráfico Xarxa canónica serializada utilizada para rechazar la sustitución de gráficos.
local_acquisition
Directivas acotadas explícitas para tiempo nombrado, instantáneas de entorno inmutables o documentos locales enraizados.
operation_id
Identidad de idempotencia estable delimitada por familia de operaciones y RunKey.
run_id
Identidad de 128 bits acuñada por la autoridad de una ejecución aceptada independiente sobre una ley de escenario inmutable.
runpack_export
Publicar un prefijo coherente aceptado de runpack-v6 en el repositorio local inmutable basado en la capacidad configurada.
runpack_verify
Verificar un sujeto de runpack-v6 suministrado fuera de línea y devolver cada reclamo exacto sin autoridad de obtención, reloj, proveedor o aprobación burda.
scenario_define
Admitir la sintaxis de escenario dag-v3 hostil en una ley de escenario validada inmutable.
scenario_evaluate_stage
Adquirir evidencia explícita, construir una instantánea canónica y evaluar puramente una etapa OpenIncomplete.
scenario_history
Devolver registros aceptados acotados en el orden exacto de compromiso para auditoría y coordinación externa.
scenario_id
Token de escenario autorado estable; cada ejecución también vincula una IdentidadDeLeyDeEscenario exacta.
scenario_law_identity
Resumen serializado de la LeyDeEscenarioValidada inmutable exacta.
scenario_open_stage
Abrir explícitamente una etapa ReadyUnopened sin asignación, cancelación de hermanos o expansión implícita.
scenario_precheck_stage
Admisión de evidencia de solo lectura y predicción pura sin mutación aceptada.
scenario_resolve_creation
Resolver una creación indeterminada a través de la autoridad de recibo de creación aceptada sin asumir no aceptación durante una interrupción de autoridad.
scenario_resolve_mutation
Resolver una mutación indeterminada a través de su recibo aceptado exacto sin volver a ejecutar adquisición o evaluación.
scenario_start
Crear progreso acotado por gráfico vacío para una ley de escenario exacta; las raíces permanecen ReadyUnopened.
scenario_status
Devolver el estado actual acotado, clasificaciones de etapas, frontera, resúmenes de intentos recientes y conteos de intenciones comprometidas.
scenario_submit
Comprometer un artefacto de auditoría; esta herramienta no es una admisión de evidencia semántica.
scenarios_list
Listar leyes de escenario inmutables visibles en un espacio de nombres con sus identidades exactas.
schemas_get
Obtener una revisión de esquema de forma de datos inmutable.
schemas_list
Listar revisiones de esquema de forma de datos inmutables en un espacio de nombres.
schemas_register
Registrar una revisión de esquema de forma de datos inmutable delimitada por espacio de nombres.
stage_id
Clave de nodo estable dentro del DAG de dependencia del escenario.
xarxa
Crate de DAG de dependencia monótona que lleva prueba, independiente del dominio.