Skip to main content

Crate aidens_contracts

Crate aidens_contracts

Expand description

Versioned base contracts for AiDENs.

This crate defines shared primitive artifact shapes. Semantic crates own their deeper behavior; this crate prevents duplicate wire-visible types.

Modules§

canonical_stack: Canonical identity and digest surfaces from the shared stack.
view_disclosure: P13 — Multi-view runtime, query provenance, and view disclosure.

Structs§

AdvisorySystemPromotionGuardV1
AgentSpecBudgetPolicyV1
AgentSpecEvidencePolicyV1
AgentSpecMemoryPolicyV1
AgentSpecPermitPolicyV1
AgentSpecProviderPolicyV1
AgentSpecToolPolicyV1
AgentSpecV1
AgentSpecVerificationPolicyV1
AiDENsAppPlanV1
AiDENsCompiledPlanV1
AiDENsDoctorReportV1
AiDENsRunBudgetDeadlineV1
AiDENsRunBundleV2
AiDENsRunBundleV3
AiDENsRunEventLogDigestV1
AiDENsRunFailureTaxonomyV1
AiDENsRunReplayNormalizationV1
AiDENsRunSupportTierEvidenceV1
AidensRunContextV1
ApiHonestyReportV1
ApprovalDecisionV1
ApprovalRequestV1
ArtifactEnvelopeV1
ArtifactFamilyRegistrationV1: AiDENs-local schema registration metadata.
ArtifactFamilyRegistryV1: AiDENs-local, non-authoritative schema index for product/display/report DTOs.
ArtifactId: Opaque identifier for a stored artifact (patch, snapshot, file).
ArtifactManifestEntryV1
ArtifactManifestV1
ArtifactTransitionReceiptV1
AttestationEnvelopeV1
BackfillReportV1
BoundaryCompileOutcomeV1
BoundaryCompileReceiptV1
BoundaryCompileRequestV1
BoundaryCompilerProfileV1
BoundaryRepairReceiptV1
BoundaryRepairReportV1
BudgetExhaustionReportDraftV1
BudgetExhaustionReportV1
CanonicalBackpointerV1: AiDENs-local wrapper pointer to a canonical owner artifact or owner type.
CapabilityGateDecisionDraftV1
CapabilityGateDecisionV1
CodexPacketInputV1
CodexPacketV1
CommandRunReportV1
CompactionReportV1
CompiledRegionGraphV1
CompletionAuditReportV1
ConfigApplyReportDraftV1
ConfigApplyReportV1
ConformanceEnvironmentV1
ConformanceFixtureResultV1
ConformanceRunReceiptV1: Receipt for a conformance run — proves that a fixture corpus was evaluated and each fixture produced a pass/fail result.
ConvergenceReportV1
CrateSurfaceStatusV1
CrossPassTraceabilityMatrixV1
CrossPassTraceabilityRowV1
DaemonNamespaceV1
DegradationEventV1
DifferentialConformanceFindingV1
DisplayDigestV1
DuplicateKeyFindingV1
DuplicateSuppressionReportV1
ExampleAppEntryV1
ExampleAppManifestV1
ExecutionContaminationRecordV1
ExecutionContextEnvelopeV1
ExecutionContextRefV1
ExecutionLineageEdgeV1
ExecutionLineageGraphV1
ExecutionLineageNodeV1
ExternalArtifactAdmissionDecisionV1
FakeReadyFindingV1
FitRunReportV1
GateCommandResultV1
GeneratedSchemaDocumentV1: AiDENs-local, non-authoritative generated schema document.
GeneratedSchemaEntryV1
GeneratedSchemaManifestV1: AiDENs-local, non-authoritative manifest for generated display/report schemas.
GoldenFixtureManifestV1
HistoryPreservationReportV1
HypothesisLibraryV1
InstallSmokeReportV1
InstallSmokeStepV1
InvarianceCheckV1
InvarianceReportV1
InvariantBudgetV1
JobV1
JsonBoundaryRepairDisplayReportV1
KernelResidualReportV1
KernelRunDisplayReportV1
KernelStopRuleReportV1
KernelSyndromeReportV1
KnownLimitationV1
KnownLimitationsRegisterV1
LocalDegradationRecordV1
LocalProofProfileV1
MaterialOperationRegistryV1
MechanismEquivalenceDecisionV1
MechanismReportDraftV1
MechanismReportV1
MigrationPlanV1
MissingOrOpaqueRefRecordV1
OperationConformanceReportV1
OperatorContractV1
OperatorInvocationReceiptV1
OperatorStatusReportV1
OracleSliceRequestV1
PatchApplyReportV1
PatchProposalV1
PermitGrantV1
PermitUseReportV1
PlanRuntimeParityCheckV1
PlanRuntimeParityReportV1
PoisonReportEntryV1
ProjectionDigestV1
PromotionEligibilityReportV1
ProofDebtItemV1
ProofDebtLedgerV1
ProofObligationV1
ProofWaiverReceiptV1
ProviderBackendMatrixEntryV1
ProviderBackendMatrixV1
ProviderCertificationFixtureDraftV1
ProviderCertificationFixtureV1
ProviderReadinessReportDraftV1
ProviderReadinessReportV1
ProviderRouteReportDraftV2
ProviderRouteReportV1
ProviderRouteReportV2
PublicDocFindingV1
QueryWideningReportV1
QueueHopReportV1
QueueLeaseV1
ReferenceCaseV1
ReferenceInterpreterReportV1
RegionBoundaryMessageV1
RegionBoundaryReceiptV1
RegionContractV1
RegionEdgeV1
RegionFactorV1
RegionHyperedgeV1
RegionNodeV1
RegressionDebtItemV1
RegressionDebtLedgerV1
ReleaseArtifactEntryV1
ReleaseArtifactManifestV1
ReleaseReadinessReportV1
ReleaseSurfaceV1
RemovalFrontierV1
RepoListEntryV1
RepoListReportV1
RepoReadReportV1
RetrievalPolicyV1
RiskDisclosureV1
RunReportV1
RuntimeCapabilityTruthV1
RuntimeTimeScopeV1
RuntimeViewRequestV1
SafeModeReportV1
SandboxCapabilityTruthV1
ScaffoldSurfaceReportV1
ScheduleOccurrenceV1
SchemaCompatibilityCheckV1
SchemaCompatibilityReportV1
SchemaPathCollisionFindingV1
SchemaValidationReportV1
SemanticContradictionRecordV1
SemanticStateV1
SettlementCaseV1
SharedDispositionV1
SimulatorContractV1
SourceBasisLockV1
StackArtifactId: Opaque identifier for a stored artifact (patch, snapshot, file).
StackAttemptId: Opaque identifier for a logical retry family within one retry-owner boundary.
StackBoundaryRepairRecordId: Opaque identifier for a deterministic boundary repair record artifact.
StackClaimId: Opaque identifier for a claim (knowledge assertion).
StackClaimVersionId: Opaque identifier for a specific version of a claim.
StackContentDigest: A BLAKE3 content digest for idempotent deduplication.
StackControlReceiptId: Opaque identifier for a canonical control-plane receipt.
StackDegradationRecordId: Opaque identifier for an explicit degradation record artifact.
StackDigestBuilder: Incremental digest builder for computing digests over multiple fields.
StackEnvelopeId: Opaque identifier for an import/export envelope.
StackEpisodeId: Opaque identifier for an episode (causal record).
StackImportBatchId: Opaque identifier for an import batch produced by the bridge.
StackKernelRunId: Opaque identifier for a recursive kernel run.
StackProjectionId: Opaque identifier for a projection instance.
StackRegionId: Opaque identifier for a bounded execution region.
StackResidualId: Opaque identifier for a residual artifact emitted by bounded execution.
StackScope: Multi-dimensional scope that bounds every runtime query and projection.
StackScopeKey: Compact, hashable representation of all scope dimensions.
StackSyndromeId: Opaque identifier for a stable syndrome signature emitted by the kernel.
StackToolEffectDispatchReceiptId: Opaque identifier for a tool effect dispatch receipt artifact.
StackTraceCtx: In-process trace context for cross-crate correlation.
StackTrialId: Opaque identifier for a concrete execution within a logical retry family.
StopRuleReportV1
SubtractionPlanV1
SuperPassStatusV1
SupportCoreV1
TheoryRefuterSuiteV1
TheoryVersionV1
ToolCallReceiptV1
ToolCallRequestV1
ToolCallResultV1
ToolDescriptorV1
ToolExposurePlanV1
ToolInvocationReportV1
ToolProviderSchemaV1
ToolSchemaV1
TreatmentIntegrityReceiptV1
TurnExecutionPlanV1
TurnReportV1
ViewDisclosureReportV1
ViewDisclosureV1
WakeSignalV1

Enums§

Constants§

MATERIAL_OPERATOR_FAILURE_CLASSES

Functions§

artifact_transition_allowed
current_artifact_family_registry
display_only_unstable_id: Construct a process-local AiDENs display ID for non-replay equality paths.
generated_artifact_id_from_material: Construct a deterministic AiDENs-local artifact ID from explicit material.
generated_schema_documents
generated_schema_manifest
generated_schema_manifest_pretty_json
non_authoritative_json_display_digest
non_authoritative_text_display_digest
p28_declared_material_operation_registry
p28_required_operator_ids

Type Aliases§

ToolAttemptReportV1
ToolExposurePlanV2
ToolExposureSetV1