Termes d’evidència tipificada canònica i DAG monotònic per a la superfície pública actual.
AcceptedRunHead
Revisió acceptada exacta i digest d’un registre acceptat canònic per a una execució.
AcquisitionBinding
Relació propietària de l’escenari d’una operació d’adquisició implementada a una condició tipificada exacta.
AcquisitionBindingCompatibilityWitness
Prova segellada que una operació d’adquisició i projecció aterren en el domini de condició objectiu exacte.
AdmittedEvidence
Candidat d’evidència la construcció específica de la font i la condició completa utilitzada per la política han estat provades.
CanonicalAdmittedEvidenceSnapshot
Resolució d’evidència ordenada canònicament consumida per avaluació pura, limitada per llei de gràfics.
ClosedObservationDomain
Llei segellada signada, no signada, decimal-exacta, booleana, cadena, bytes, data, instant, array, registre o llei de unió etiquetada.
DgValueFormatV1
Sostres immutables neutres d’arquitectura per a valors tipificats, evidència, instantànies d’entorn i documents arrelats.
EffectiveLimitWitness
Prova que un perfil de límit d’escenari redueix el seu perfil d’operador i els sostres immutables V1.
EvidenceCandidate
Observació tipificada específica de la font amb àmbit exacte, interval, context d’autoritat, retenció i identitat canònica.
EvidenceUsePolicyWitness
Prova segellada que un conjunt de candidats qualificats satisfà cada coordenada de política d’ús d’evidència independent.
GraphIdentity
Identitat canònica d’un DAG de dependències Xarxa validat, independent de l’ordre d’entrada hostil.
Insufficient
Existeixen candidats però fallen en l’admissió, acord o quòrum; això és distint d’un fracàs operatiu i d’entrada perduda.
Missing
No existeix cap candidat per a una condició; l’entrada que falta mai s’interpreta com a absència observada.
MonotoneRequirement
Refinament RET segellat que no pot canviar de veritable a fals a mesura que el seu conjunt d’atom veritables creix.
NotReady
Etapa la qual el requisit de topologia no és satisfet pel progrés complet acceptat.
ObservedAbsent
Prova admesa positiva que una observació de font completa va establir absència.
OpenIncomplete
Etapa obertament explícita que no ha acceptat un delta de finalització; aquest estat no porta cap propietat d’agent.
Present
Un valor tipat admès; JSON null no és un valor present implícit en la família de domini inicial.
RawScenarioSpec
Sintaxi d’escenari dag-v3 hostil que requereix validació basada en constructor abans de l’ús semàntic.
ReadyUnopened
Etapa preparada per a la topologia que no ha estat explícitament oberta.
SatisfiableRequirement
Refinament RET segellat que demostra que almenys una valoració proposicional total és verdadera.
ScenarioLawIdentity
Identitat canònica de topologia, condicions tipificades, vinculacions d’adquisició, límits efectius i lleis de finalització.
SubmissionScope
Àmbit de presentació d’artefactes tancat: ampli de execució o limitat a un registre exactament obert d’etapa.
TopologyFrontier
Conjunt ordenat canònic de nodes incomplets els quals les lleis prèvies són veritables per al progrés complet acceptat.
TopologyReadyWitness
Prova limitada per gràfics que un node incomplet pertany a la frontera de topologia actual.
ValidatedDependencyDag
DAG finit segellat amb requisits prèviament validats, ordre canònic, adjacència compilada i identitat de gràfic.
ValidatedScenarioLaw
Vincle d’autoritat d’escenari segellat Xarxa, RET, condicions tipades, compatibilitat d’adquisició, límits i identitat.
ValidatedTypedPredicate
Predicat segellat específic del comparador sense combinació de comparador i operand invàlids.
accepted_head
Revisió exacta i digest de registre contra el qual es deriva una lectura o mutació.
accepted_run_store
Autoritat de compromís condicional seleccionada per la implementació que ordena revisions acceptades exactes per a cada RunKey.
acquisition_bindings
Col·lecció d’escenaris canònics de relacions de cridant, temps nomenats, instantànies d’entorn i documents arrelats.
caller_evidence
Observacions hostils de cridant que no poden auto-assignar confiança, autoritat de procedència, absència o estat semàntic.
completed
Etapa amb un delta de finalització acceptat; les etapes completades rebutgen més mutació d’avaluació.
completion_requirement
Llei RET explícita per a la finalització d’etapa o escenari.
condition_id
Identitat local d’escenari per a un domini d’observació tancat, predicat tipat i política d’ús d’evidència.
decision_gate_docs_search
Cerca de recursos documentals revisats de Decision Gate.
graph_identity
Identitat de gràfic Xarxa canònica serialitzada utilitzada per rebutjar la substitució de gràfics.
local_acquisition
Directrius limitades explícites per a temps nomenats, instantànies d’entorn immutables o documents locals arrelats.
operation_id
Identitat d’idempotència estable limitada per família d’operacions i RunKey.
run_id
Identitat de 128 bits emesa per l’autoritat d’una execució independent acceptada sobre una llei d’escenari immutable.
runpack_export
Publicar un prefix coherent acceptat runpack-v6 al repositori local immutable arrel de capacitat configurada.
runpack_verify
Verificar un subjecte runpack-v6 subministrat fora de línia i retornar cada reclam exacta sense obtenir, rellotge, proveïdor o autoritat de pas/fall.
scenario_define
Admetre la sintaxi d’escenari dag-v3 hostil en una llei d’escenari validada immutable.
scenario_evaluate_stage
Adquirir evidència explícita, construir una instantània canònica i avaluar purament una etapa OpenIncomplete.
scenario_history
Retorna registres acceptats limitats en l’ordre exacte de compromís per a auditoria i coordinació externa.
scenario_id
Token d’escenari autoritzat estable; cada execució també vincula una identitat de llei d’escenari exacta.
scenario_law_identity
Digest serialitzat de la llei d’escenari validada exacta immutable.
scenario_open_stage
Obrir explícitament una etapa ReadyUnopened sense assignació, cancel·lació de germans o fan-out implícit.
scenario_precheck_stage
Admissió d’evidència només de lectura i predicció pura sense mutació acceptada.
scenario_resolve_creation
Resoldre una creació indeterminada a través de l’autoritat de rebut de creació acceptada sense suposar no acceptació durant una interrupció d’autoritat.
scenario_resolve_mutation
Resoldre una mutació indeterminada a través del seu rebut acceptat exacte sense tornar a executar l’adquisició o l’avaluació.
scenario_start
Crear un progrés buit limitat per gràfics per a una llei d’escenari exacta; les arrels romanen ReadyUnopened.
scenario_status
Retorna l’estat actual limitat, classificacions d’etapa, frontera, resums d’intents recents i comptes d’intent compromesos.
scenario_submit
Comprometre un artefacte d’auditoria; aquesta eina no és admissió d’evidència semàntica.
scenarios_list
Llista de lleis d’escenari immutables visibles en un espai de noms amb les seves identitats exactes.
schemas_get
Obtenir una revisió d’esquema de forma de dades immutable.
schemas_list
Llista de revisions d’esquema de forma de dades immutables en un espai de noms.
schemas_register
Registrar una revisió d’esquema de forma de dades immutables amb àmbit d’espai de noms.
stage_id
Clau de node estable dins del DAG de dependència de l’escenari.
xarxa
Crea un DAG de dependències monotòniques que transporta proves independent del domini.