Crate runx_contracts 

Shared Rust contract types for runx JSON and protocol boundaries.

Re-exports

pub use act::assignment::ActAssignment;

pub use act::assignment::ActAssignmentActor;

pub use act::assignment::ActAssignmentHost;

pub use act::assignment::ActAssignmentHostKind;

pub use act::assignment::ActAssignmentIdempotency;

pub use act::assignment::ActAssignmentSchema;

pub use act::assignment::BuildActAssignment;

pub use act::assignment::IntentKeyInput;

pub use act::assignment::derive_content_hash;

pub use act::assignment::derive_intent_key;

pub use act::assignment::derive_trigger_key;

pub use act::result::ActResultEnvelope;

pub use act::result::ActResultNeedsAgentEnvelope;

pub use act::result::ActResultNeedsAgentStatus;

pub use act::result::ActResultNull;

pub use act::result::ActResultSignal;

pub use act::result::ActResultTerminalEnvelope;

pub use act::result::ActResultTerminalStatus;

pub use act::Act;

pub use act::ActForm;

pub use act::ActSchema;

pub use act::ChangePlan;

pub use act::ChangeRequest;

pub use act::CriterionBinding;

pub use act::CriterionStatus;

pub use act::GovernedActRef;

pub use act::Intent;

pub use act::RevisionDetails;

pub use act::SuccessCriterion;

pub use act::TargetSurface;

pub use act::VerificationDetails;

pub use agent_context::AgentContextEnvelope;

pub use agent_context::AgentContextProfiles;

pub use agent_context::ContextArtifactMeta;

pub use agent_context::ContextArtifactProducer;

pub use agent_context::ContextEntry;

pub use agent_context::ContextEntryVersion;

pub use agent_context::ExecutionLocation;

pub use agent_context::ProfileFile;

pub use agent_context::ProvenanceEntry;

pub use agent_context::QualityProfile;

pub use agent_context::QualityProfileSource;

pub use artifact::ARTIFACT_SCHEMA;

pub use artifact::Artifact;

pub use artifact::ArtifactProducedBy;

pub use artifact::ArtifactSchema;

pub use authority::Authority;

pub use authority::AuthorityApproval;

pub use authority::AuthorityAttenuation;

pub use authority::AuthorityBounds;

pub use authority::AuthorityCapability;

pub use authority::AuthorityCondition;

pub use authority::AuthorityConditionPredicate;

pub use authority::AuthorityEffectCredentialForm;

pub use authority::AuthorityEffectGuard;

pub use authority::AuthorityEffectGuardKind;

pub use authority::AuthorityEffectLimit;

pub use authority::AuthorityResourceFamily;

pub use authority::AuthoritySchema;

pub use authority::AuthoritySubsetComparison;

pub use authority::AuthoritySubsetProof;

pub use authority::AuthoritySubsetRelation;

pub use authority::AuthoritySubsetResult;

pub use authority::AuthorityTerm;

pub use authority::AuthorityVerb;

pub use credential_delivery::CredentialDeliveryEnvBinding;

pub use credential_delivery::CredentialDeliveryHandle;

pub use credential_delivery::CredentialDeliveryMode;

pub use credential_delivery::CredentialDeliveryObservation;

pub use credential_delivery::CredentialDeliveryObservationSchema;

pub use credential_delivery::CredentialDeliveryObservationStatus;

pub use credential_delivery::CredentialDeliveryProfile;

pub use credential_delivery::CredentialDeliveryProfileSchema;

pub use credential_delivery::CredentialDeliveryPurpose;

pub use credential_delivery::CredentialDeliveryRequest;

pub use credential_delivery::CredentialDeliveryRequestSchema;

pub use credential_delivery::CredentialDeliveryResponse;

pub use credential_delivery::CredentialDeliveryResponseSchema;

pub use credential_delivery::CredentialDeliveryStatus;

pub use credential_delivery::CredentialMaterialRole;

pub use decision::Closure;

pub use decision::ClosureDisposition;

pub use decision::Decision;

pub use decision::DecisionChoice;

pub use decision::DecisionInputs;

pub use decision::DecisionJustification;

pub use dev::DevFixtureAssertion;

pub use dev::DevFixtureAssertionKind;

pub use dev::DevFixtureResult;

pub use dev::DevFixtureStatus;

pub use dev::DevReport;

pub use dev::DevReportSchema;

pub use dev::DevReportStatus;

pub use doctor::DoctorDiagnostic;

pub use doctor::DoctorDiagnosticSeverity;

pub use doctor::DoctorLocation;

pub use doctor::DoctorRepair;

pub use doctor::DoctorRepairConfidence;

pub use doctor::DoctorRepairKind;

pub use doctor::DoctorRepairRisk;

pub use doctor::DoctorReport;

pub use doctor::DoctorReportSchema;

pub use doctor::DoctorStatus;

pub use doctor::DoctorSummary;

pub use execution::ExecutionSemantics;

pub use execution::GovernedDisposition;

pub use execution::InputContextCapture;

pub use execution::OutcomeState;

pub use execution::ReceiptOutcome;

pub use execution::ReceiptSurfaceRef;

pub use external_adapter::EXTERNAL_ADAPTER_PROTOCOL_VERSION;

pub use external_adapter::ExternalAdapterArtifactObservation;

pub use external_adapter::ExternalAdapterCancellationFrame;

pub use external_adapter::ExternalAdapterCancellationSchema;

pub use external_adapter::ExternalAdapterCredentialNeed;

pub use external_adapter::ExternalAdapterCredentialPurpose;

pub use external_adapter::ExternalAdapterCredentialReference;

pub use external_adapter::ExternalAdapterCredentialRequest;

pub use external_adapter::ExternalAdapterCredentialRequestSchema;

pub use external_adapter::ExternalAdapterErrorObservation;

pub use external_adapter::ExternalAdapterHostResolutionFrame;

pub use external_adapter::ExternalAdapterHostResolutionSchema;

pub use external_adapter::ExternalAdapterInvocation;

pub use external_adapter::ExternalAdapterInvocationSchema;

pub use external_adapter::ExternalAdapterManifest;

pub use external_adapter::ExternalAdapterManifestSchema;

pub use external_adapter::ExternalAdapterProtocolVersion;

pub use external_adapter::ExternalAdapterResponse;

pub use external_adapter::ExternalAdapterSandboxIntent;

pub use external_adapter::ExternalAdapterStatus;

pub use external_adapter::ExternalAdapterTelemetryObservation;

pub use external_adapter::ExternalAdapterTelemetryValue;

pub use external_adapter::ExternalAdapterTimeouts;

pub use external_adapter::ExternalAdapterTransport;

pub use external_adapter::ExternalAdapterTransportKind;

pub use fingerprint::Fingerprint;

pub use fingerprint::FingerprintAlgorithm;

pub use fingerprint::hex_lower;

pub use fingerprint::sha256_hex;

pub use fingerprint::sha256_prefixed;

pub use fixture::Fixture;

pub use fixture::FixtureLane;

pub use handoff::HandoffDisposition;

pub use handoff::HandoffSignal;

pub use handoff::HandoffSignalActor;

pub use handoff::HandoffSignalSchema;

pub use handoff::HandoffSignalSource;

pub use handoff::HandoffSignalSourceRef;

pub use handoff::HandoffState;

pub use handoff::HandoffStateSchema;

pub use handoff::HandoffStatus;

pub use handoff::SuppressionReason;

pub use host_protocol::AgentActInvocation;

pub use host_protocol::AgentActSourceType;

pub use host_protocol::ApprovalDecision;

pub use host_protocol::ApprovalGate;

pub use host_protocol::ExecutionEvent;

pub use host_protocol::HostNeedsAgentState;

pub use host_protocol::HostRunApproval;

pub use host_protocol::HostRunApprovalDecision;

pub use host_protocol::HostRunKind;

pub use host_protocol::HostRunLineage;

pub use host_protocol::HostRunLineageKind;

pub use host_protocol::HostRunResult;

pub use host_protocol::HostRunState;

pub use host_protocol::HostRunVerification;

pub use host_protocol::HostRunVerificationStatus;

pub use host_protocol::HostTerminalState;

pub use host_protocol::Question;

pub use host_protocol::ResolutionRequest;

pub use host_protocol::ResolutionResponse;

pub use host_protocol::ResolutionResponseActor;

pub use json::JsonNumber;

pub use json::JsonObject;

pub use json::JsonValue;

pub use json::json_bool_field;

pub use json::json_object;

pub use json::json_object_field;

pub use json::json_string_field;

pub use ledger::LedgerCanonicalization;

pub use ledger::LedgerChain;

pub use ledger::LedgerChainVersion;

pub use ledger::LedgerEntry;

pub use ledger::LedgerEntryMeta;

pub use ledger::LedgerEntrySchemaVersion;

pub use ledger::LedgerHashAlgorithm;

pub use ledger::LedgerPayload;

pub use ledger::LedgerPayloadVersion;

pub use ledger::LedgerProducer;

pub use ledger::LedgerSha256Hex;

pub use links::DuplicateCandidate;

pub use links::Links;

pub use list::RunxListEmit;

pub use list::RunxListItem;

pub use list::RunxListItemKind;

pub use list::RunxListReport;

pub use list::RunxListRequestedKind;

pub use list::RunxListSchema;

pub use list::RunxListSource;

pub use list::RunxListStatus;

pub use operational_policy::OperationalPolicy;

pub use operational_policy::OperationalPolicyAction;

pub use operational_policy::OperationalPolicyAdmission;

pub use operational_policy::OperationalPolicyAdmissionRequest;

pub use operational_policy::OperationalPolicyAdmissionStatus;

pub use operational_policy::OperationalPolicyAutomationPermissions;

pub use operational_policy::OperationalPolicyDedupePolicy;

pub use operational_policy::OperationalPolicyDedupeStrategy;

pub use operational_policy::OperationalPolicyDuplicateBehavior;

pub use operational_policy::OperationalPolicyError;

pub use operational_policy::OperationalPolicyMissingBehavior;

pub use operational_policy::OperationalPolicyOutcomeCloseMode;

pub use operational_policy::OperationalPolicyOutcomePolicy;

pub use operational_policy::OperationalPolicyOwnerRoute;

pub use operational_policy::OperationalPolicyPublishMode;

pub use operational_policy::OperationalPolicyReadback;

pub use operational_policy::OperationalPolicyRunnerReadback;

pub use operational_policy::OperationalPolicyRunnerRule;

pub use operational_policy::OperationalPolicyRunnerState;

pub use operational_policy::OperationalPolicySchema;

pub use operational_policy::OperationalPolicySourceReadback;

pub use operational_policy::OperationalPolicySourceRule;

pub use operational_policy::OperationalPolicySourceThreadPolicy;

pub use operational_policy::OperationalPolicyTargetReadback;

pub use operational_policy::OperationalPolicyTargetRule;

pub use operational_policy::OperationalPolicyValidationFinding;

pub use operational_policy::admit_operational_policy_request;

pub use operational_policy::lint_operational_policy_contract;

pub use operational_policy::operational_policy_runner_kind;

pub use operational_policy::operational_policy_source_provider;

pub use operational_policy::project_operational_policy_readback;

pub use operational_policy::validate_operational_policy_contract;

pub use operational_policy::validate_operational_policy_semantics;

pub use operational_proposal::OPERATIONAL_PROPOSAL_SCHEMA;

pub use operational_proposal::OperationalProposal;

pub use operational_proposal::OperationalProposalAuthority;

pub use operational_proposal::OperationalProposalHumanGate;

pub use operational_proposal::OperationalProposalIdempotency;

pub use operational_proposal::OperationalProposalOutcome;

pub use operational_proposal::OperationalProposalRecommendedAction;

pub use operational_proposal::OperationalProposalRedactionStatus;

pub use operational_proposal::OperationalProposalSchema;

pub use output::Output;

pub use output::OutputField;

pub use output::OutputFieldSpec;

pub use output::OutputType;

pub use packet_index::PacketIndex;

pub use packet_index::PacketIndexEntry;

pub use packet_index::PacketIndexSchema;

pub use policy_proof::AuthorityKind;

pub use policy_proof::AuthorityProof;

pub use policy_proof::AuthorityProofApprovalDecision;

pub use policy_proof::AuthorityProofApprovalDecisionValue;

pub use policy_proof::AuthorityProofCredentialMaterial;

pub use policy_proof::AuthorityProofCredentialMaterialStatus;

pub use policy_proof::AuthorityProofRedaction;

pub use policy_proof::AuthorityProofRedactionSecretMaterial;

pub use policy_proof::AuthorityProofRedactionStatus;

pub use policy_proof::AuthorityProofRedactionStream;

pub use policy_proof::AuthorityProofRequested;

pub use policy_proof::AuthorityProofSandbox;

pub use policy_proof::AuthorityProofSandboxFilesystem;

pub use policy_proof::AuthorityProofSandboxNetwork;

pub use policy_proof::AuthorityProofSandboxRuntime;

pub use policy_proof::AuthorityProofSchemaVersion;

pub use policy_proof::CredentialEnvelope;

pub use policy_proof::CredentialEnvelopeKind;

pub use policy_proof::CredentialGrantReference;

pub use policy_proof::ScopeAdmission;

pub use policy_proof::ScopeAdmissionStatus;

pub use receipt::EFFECT_FINALITY_RECEIPT_SCHEMA;

pub use receipt::EffectFinalityPhase;

pub use receipt::EffectFinalityReceipt;

pub use receipt::EffectFinalityReceiptSchema;

pub use receipt::FanoutReceiptDecision;

pub use receipt::FanoutReceiptStrategy;

pub use receipt::FanoutReceiptSyncPoint;

pub use receipt::Lineage;

pub use receipt::RECEIPT_CANONICALIZATION;

pub use receipt::RECEIPT_SCHEMA;

pub use receipt::Receipt;

pub use receipt::ReceiptAct;

pub use receipt::ReceiptAuthority;

pub use receipt::ReceiptCommitment;

pub use receipt::ReceiptCommitmentScope;

pub use receipt::ReceiptEnforcement;

pub use receipt::ReceiptIdempotency;

pub use receipt::ReceiptInputContext;

pub use receipt::ReceiptIssuer;

pub use receipt::ReceiptIssuerType;

pub use receipt::ReceiptSchema;

pub use receipt::ReceiptSignature;

pub use receipt::RunnerProvenance;

pub use receipt::Seal;

pub use receipt::SignatureAlgorithm;

pub use receipt::Subject;

pub use receipt::receipt_subject_kind;

pub use redaction::HashAlgorithm;

pub use redaction::HashCommitment;

pub use redaction::REDACTION_SCHEMA;

pub use redaction::Redaction;

pub use redaction::RedactionSchema;

pub use reference::ActRef;

pub use reference::ProofKind;

pub use reference::Reference;

pub use reference::ReferenceLink;

pub use reference::ReferenceType;

pub use registry_binding::RegistryBinding;

pub use registry_binding::RegistryBindingHarness;

pub use registry_binding::RegistryBindingRegistry;

pub use registry_binding::RegistryBindingSchema;

pub use registry_binding::RegistryBindingSkill;

pub use registry_binding::RegistryBindingState;

pub use registry_binding::RegistryBindingUpstream;

pub use registry_binding::RegistryHarnessStatus;

pub use registry_binding::RegistryTrustTier;

pub use review::ReviewReceiptImprovementProposal;

pub use review::ReviewReceiptOutput;

pub use review::ReviewReceiptVerdict;

pub use run_summary::RunSummary;

pub use run_summary::RunSummarySchema;

pub use run_summary::RunSummaryStatus;

pub use schema_artifacts::SchemaArtifact;

pub use schema_artifacts::generated_schema_artifacts;

pub use signal::SIGNAL_SCHEMA;

pub use signal::Signal;

pub use signal::SignalAuthenticity;

pub use signal::SignalSchema;

pub use signal::SignalTrustLevel;

pub use signal::signal_type;

pub use source_packet::SOURCE_PACKET_SCHEMA;

pub use source_packet::SourcePacket;

pub use source_packet::SourcePacketSchema;

pub use suppression::SuppressionRecord;

pub use suppression::SuppressionRecordSchema;

pub use suppression::SuppressionScope;

pub use thread_outbox_provider::THREAD_OUTBOX_PROVIDER_PROTOCOL_VERSION;

pub use thread_outbox_provider::ThreadOutboxProviderCredentialNeed;

pub use thread_outbox_provider::ThreadOutboxProviderCredentialProfile;

pub use thread_outbox_provider::ThreadOutboxProviderError;

pub use thread_outbox_provider::ThreadOutboxProviderFetch;

pub use thread_outbox_provider::ThreadOutboxProviderFetchProviderTarget;

pub use thread_outbox_provider::ThreadOutboxProviderFetchSchema;

pub use thread_outbox_provider::ThreadOutboxProviderFetchTarget;

pub use thread_outbox_provider::ThreadOutboxProviderFetchThreadTarget;

pub use thread_outbox_provider::ThreadOutboxProviderIdempotency;

pub use thread_outbox_provider::ThreadOutboxProviderIdempotencyObservation;

pub use thread_outbox_provider::ThreadOutboxProviderIdempotencyStatus;

pub use thread_outbox_provider::ThreadOutboxProviderLocator;

pub use thread_outbox_provider::ThreadOutboxProviderManifest;

pub use thread_outbox_provider::ThreadOutboxProviderManifestSchema;

pub use thread_outbox_provider::ThreadOutboxProviderObservation;

pub use thread_outbox_provider::ThreadOutboxProviderObservationSchema;

pub use thread_outbox_provider::ThreadOutboxProviderObservationStatus;

pub use thread_outbox_provider::ThreadOutboxProviderOperation;

pub use thread_outbox_provider::ThreadOutboxProviderPayloadFormat;

pub use thread_outbox_provider::ThreadOutboxProviderProtocolVersion;

pub use thread_outbox_provider::ThreadOutboxProviderPush;

pub use thread_outbox_provider::ThreadOutboxProviderPushSchema;

pub use thread_outbox_provider::ThreadOutboxProviderReadbackSummary;

pub use thread_outbox_provider::ThreadOutboxProviderReceiptCapabilities;

pub use thread_outbox_provider::ThreadOutboxProviderReceiptContext;

pub use thread_outbox_provider::ThreadOutboxProviderRedactionCapabilities;

pub use thread_outbox_provider::ThreadOutboxProviderRenderedPayload;

pub use thread_outbox_provider::ThreadOutboxProviderThreadLocator;

pub use thread_outbox_provider::ThreadOutboxProviderTransport;

pub use thread_outbox_provider::ThreadOutboxProviderTransportKind;

pub use tools::RuntimeCommand;

pub use tools::ToolCommandInputMode;

pub use tools::ToolIdempotencyPolicy;

pub use tools::ToolInput;

pub use tools::ToolManifest;

pub use tools::ToolManifestSchema;

pub use tools::ToolMcpServer;

pub use tools::ToolOutput;

pub use tools::ToolOutputBinding;

pub use tools::ToolRetryPolicy;

pub use tools::ToolSandbox;

pub use tools::ToolSandboxCwdPolicy;

pub use tools::ToolSandboxProfile;

pub use tools::ToolSource;

pub use tools::ToolSourceType;

pub use verification::ReceiptVerificationSummary;

pub use verification::VERIFICATION_SCHEMA;

pub use verification::Verification;

pub use verification::VerificationCheck;

pub use verification::VerificationSchema;

pub use verification::VerificationStatus;

Modules

act

Act algebra: intents, governed acts, success criteria, and verification details.

agent_context

Agent-context envelope (runx.ai/spec/agent-context-envelope): the bulky per-act execution context referenced from a receipt act’s context_ref (instructions, inputs, current/historical artifact context, provenance, and the resolved skill profiles).

artifact

Artifact contract: emitted artifacts and their producer attribution.

authority

Authority algebra: terms, capabilities, verbs, attenuation, and effect bounds.

cli

Deferred contract module home for CLI JSON.

credential_delivery

Credential delivery contracts: public refs, handles, and observations only.

decision

Decision contracts: choices, justifications, and closure dispositions.

dev

Dev-loop report contracts.

doctor

Doctor diagnostic report contracts: diagnostics, repairs, summaries.

execution

Execution semantics contracts: governed disposition, outcome state, and receipt outcome.

external_adapter

External adapter contract types.

fingerprint

Fingerprint contracts: content hashing identifiers.

fixture

Fixture contract for dev/replay inputs.

handoff

Handoff boundary contracts: per-signal records (runx.handoff_signal.v1) and the rolled-up handoff state (runx.handoff_state.v1).

host_protocol

Host protocol contracts: execution events, resolution requests, host-run lifecycle.

json

Boundary JSON model: deterministic value, object, and number types for cross-language contracts.

ledger

Ledger-entry contract used for artifact chain records.

links

Receipt link contracts: duplicate candidates and reference linking.

list

Native list command report contracts.

maturity

Skill maturity tier and the signals it is computed from.

operational_policy

Operational policy contracts for governed source, runner, target, and owner routing.

operational_proposal

Operational proposal contract: reviewable handoffs over existing actions.

output

Skill output declaration types: the value shape of the runx.ai/spec output map (a field is either a bare type name or a typed field spec).

packet_index

Packet index contract (runx.packet.index.v1): the manifest of materialized skill packets and their content hashes.

policy_proof

Policy-proof contracts: the authority-proof receipt envelope and its two standalone companions (credential-envelope, scope-admission).

receipt

Governance receipt contracts: the flat runx.receipt.v1 shape, seals, fanout sync, lineage, and signatures.

receipts

Deferred contract module home for receipt JSON.

redaction

Redaction contracts: redacted-field markers and hash commitments.

reference

Reference contracts: typed references to receipts, acts, and external surfaces.

registry

Deferred contract module home for registry and marketplace JSON.

registry_binding

Upstream registry binding contract (runx.registry_binding.v1): the open (additionalProperties: true) document tying a skill to its upstream source, registry placement, and harness verification status.

review

Review-receipt output contract: the diagnosis the managed reviewer produces for the review-receipt skill, consumed by write-harness downstream.

run_summary

Run summary report contract.

schema

Type-driven JSON Schema for runx contracts (Phase 1 of rust-contract-pipeline-inversion).

schema_artifacts

Published JSON Schema artifact manifest.

signal

Signal contracts: trust-tagged events that enter the act lifecycle.

source_packet

Source packet contract: normalized, redacted intake from any source loader.

suppression

Suppression record contract (runx.suppression_record.v1): a do-not-contact record scoped to a handoff, target, repo, or contact.

thread_outbox_provider

Thread outbox provider contract types.

tools

Contract types for tool manifests and tool catalog JSON surfaces.

verification

Verification contracts: checks and statuses for governed verification.