Canonical typed-evidence and monotone-DAG terms for the current public surface.
AcceptedRunHead
Exact accepted revision and canonical accepted-record digest for one run.
AcquisitionBinding
Scenario-owned relation from one implemented acquisition operation to one exact typed condition.
AcquisitionBindingCompatibilityWitness
Sealed proof that one acquisition operation and projection land in the exact target condition domain.
AdmittedEvidence
Evidence candidate whose source-specific construction and complete condition use policy have both been proved.
CanonicalAdmittedEvidenceSnapshot
Graph-law-bound, canonically ordered evidence resolution consumed by pure evaluation.
ClosedObservationDomain
Sealed signed, unsigned, exact-decimal, boolean, string, bytes, date, instant, array, record, or tagged-union law.
DgValueFormatV1
Immutable architecture-neutral ceilings for typed values, evidence, environment snapshots, and rooted documents.
EffectiveLimitWitness
Proof that one scenario limit profile narrows its operator profile and the immutable V1 ceilings.
EvidenceCandidate
Source-specific typed observation with exact scope, interval, authority context, retention, and canonical identity.
EvidenceUsePolicyWitness
Sealed proof that one qualifying candidate set satisfies every independent evidence-use-policy coordinate.
GraphIdentity
Canonical identity of a validated Xarxa dependency DAG, independent of hostile input ordering.
Insufficient
Candidates exist but fail admission, agreement, or quorum; this is distinct from operational failure and missing input.
Missing
No candidate exists for a condition; missing input is never interpreted as observed absence.
MonotoneRequirement
Sealed RET refinement that cannot change from true to false as its true-atom set grows.
NotReady
Stage whose topology prerequisite is not satisfied by accepted completed progress.
ObservedAbsent
Positive admitted proof that a complete source observation established absence.
OpenIncomplete
Explicitly opened stage that has not accepted a completion delta; this status carries no agent ownership.
Present
One admitted typed value; JSON null is not an implicit present value in the initial domain family.
RawScenarioSpec
Hostile dag-v3 scenario syntax requiring constructor-based validation before semantic use.
ReadyUnopened
Topology-ready stage that has not been explicitly opened.
SatisfiableRequirement
Sealed RET refinement proving at least one total propositional valuation evaluates true.
ScenarioLawIdentity
Canonical identity of topology, typed conditions, acquisition bindings, effective limits, and completion laws.
SubmissionScope
Closed artifact-submission scope: run-wide or bound to an exact stage-open record.
TopologyFrontier
Canonical ordered set of incomplete nodes whose prerequisite laws are true for accepted completed progress.
TopologyReadyWitness
Graph-bound proof that one incomplete node belongs to the current topology frontier.
ValidatedDependencyDag
Sealed finite DAG with validated prerequisites, canonical order, compiled adjacency, and graph identity.
ValidatedScenarioLaw
Sealed scenario authority binding Xarxa, RET, typed conditions, acquisition compatibility, limits, and identity.
ValidatedTypedPredicate
Comparator-specific sealed predicate with no invalid comparator and operand combination.
accepted_head
Exact revision and record digest against which a read or mutation is derived.
accepted_run_store
Deployment-selected conditional-commit authority that orders exact accepted revisions for each RunKey.
acquisition_bindings
Canonical scenario collection of caller, named-time, environment-snapshot, and rooted-document relations.
caller_evidence
Hostile caller observations that cannot self-assign trust, provenance authority, absence, or semantic status.
completed
Stage with one accepted completion delta; completed stages reject further evaluation mutation.
completion_requirement
Explicit RET law for stage or scenario completion.
condition_id
Scenario-local identity for one closed observation domain, typed predicate, and evidence-use policy.
decision_gate_docs_search
Search reviewed Decision Gate documentation resources.
graph_identity
Serialized canonical Xarxa graph identity used to reject graph substitution.
local_acquisition
Explicit bounded directives for named time, immutable environment snapshots, or rooted local documents.
operation_id
Stable idempotency identity scoped by operation family and RunKey.
run_id
Authority-minted 128-bit identity of one independent accepted run over an immutable scenario law.
runpack_export
Publish a coherent runpack-v6 accepted prefix to the configured capability-rooted immutable local repository.
runpack_verify
Verify one supplied runpack-v6 subject offline and return every exact claim without fetch, clock, provider, or coarse pass/fail authority.
scenario_define
Admit hostile dag-v3 scenario syntax into one immutable validated scenario law.
scenario_evaluate_stage
Acquire explicit evidence, construct a canonical snapshot, and purely evaluate one OpenIncomplete stage.
scenario_history
Return bounded accepted records in exact commit order for audit and external coordination.
scenario_id
Stable authored scenario token; every run also binds an exact ScenarioLawIdentity.
scenario_law_identity
Serialized digest of the exact immutable ValidatedScenarioLaw.
scenario_open_stage
Explicitly open one ReadyUnopened stage without assignment, sibling cancellation, or implicit fan-out.
scenario_precheck_stage
Read-only evidence admission and pure prediction with no accepted mutation.
scenario_resolve_creation
Resolve an indeterminate creation through the accepted creation-receipt authority without assuming non-acceptance during an authority outage.
scenario_resolve_mutation
Resolve an indeterminate mutation through its exact accepted receipt without rerunning acquisition or evaluation.
scenario_start
Create empty graph-bound progress for an exact scenario law; roots remain ReadyUnopened.
scenario_status
Return bounded current state, stage classifications, frontier, recent attempt summaries, and committed-intent counts.
scenario_submit
Commit an audit artifact; this tool is not semantic evidence admission.
scenarios_list
List immutable scenario laws visible in one namespace with their exact identities.
schemas_get
Fetch one immutable data-shape schema revision.
schemas_list
List immutable data-shape schema revisions in a namespace.
schemas_register
Register one immutable namespace-scoped data-shape schema revision.
stage_id
Stable node key within the scenario dependency DAG.
xarxa
Domain-agnostic proof-carrying monotone dependency-DAG crate.