Crate stack_ids 

stack-ids

Shared identity, scope, and trace primitives for the local-first AI systems stack.

This crate is the single source of truth for cross-crate identity types. No other crate in the stack should define competing ID newtypes for the same concepts.

Authority

stack-ids is authoritative for:

• Opaque ID newtypes (EnvelopeId, ClaimId, ClaimVersionId, EntityId, EpisodeId, AttemptId, TrialId, ArtifactId, ProjectionId, RelationId, RelationVersionId, ImportBatchId, KernelRunId, ConstraintId, HyperedgeId, ResidualId, SyndromeId, WitnessId, CertificateId, OracleSliceId, RefutationResultId, OperatorId, OperatorVersionId, CalibrationReportId)
• Scope representation (ScopeKey, Scope)
• Trace context (TraceCtx, W3C trace-context helpers)
• Content digest computation (canonical BLAKE3 digest)

stack-ids is NOT authoritative for:

• What data these IDs point to (owned by respective crates)
• Storage schemas (owned by persistence crates)
• Business logic or policy (owned by domain crates)

Phase status: current / implemented now

Structs

AccessPurposeMatrixId

Opaque identifier for an access-purpose matrix artifact.

ActingOnBehalfReceiptId

Opaque identifier for an acting-on-behalf receipt artifact.

AmendmentDecisionId

Opaque identifier for an amendment decision artifact.

AmendmentProposalId

Opaque identifier for an amendment proposal artifact.

ApplicabilityContextId

Opaque identifier for an applicability-context artifact.

ApprovalGrantId

Opaque identifier for a typed constitutional approval grant.

ApprovalMatrixId

Opaque identifier for an approval matrix artifact.

ApprovalRecordId

Opaque identifier for an approval record artifact.

ArchiveManifestId

Opaque identifier for an archive manifest artifact.

ArtifactAdmissionPolicyId

Opaque identifier for an artifact-admission-policy artifact.

ArtifactId

Opaque identifier for a stored artifact (patch, snapshot, file).

ArtifactTransportId

Opaque identifier for a typed artifact transport crossing region boundaries.

AssertionGroupId

Opaque identifier for a higher-order assertion group.

AssuranceCaseId

Opaque identifier for an assurance case artifact.

AttemptId

Opaque identifier for a logical retry family within one retry-owner boundary.

AttestationEnvelopeId

Opaque identifier for an attestation-envelope artifact.

AttestationRevocationId

Opaque identifier for an attestation-revocation artifact.

AttestationSupersessionId

Opaque identifier for an attestation-supersession artifact.

AuditExtractionPolicyId

Opaque identifier for an audit extraction policy artifact.

AuthorityChainId

Opaque identifier for an authority chain artifact.

AuthorityLeaseId

Opaque identifier for an authority lease artifact.

BaggageEntry

A single baggage entry (key-value pair).

BoundaryRepairRecordId

Opaque identifier for a deterministic boundary repair record artifact.

BreakGlassGrantId

Opaque identifier for a break-glass grant artifact.

CalibrationReportId

Opaque identifier for a structured calibration report artifact.

CalibrationSnapshotId

Opaque identifier for a calibration snapshot artifact.

CampaignDecisionTraceId

Opaque identifier for a campaign decision trace artifact.

CapabilityClassId

Opaque identifier for a capability class artifact.

CausalAttributionBundleId

Opaque identifier for a causal-attribution bundle artifact.

CertificateId

Opaque identifier for a certificate artifact produced by execution or oracles.

CertificationBundleId

Opaque identifier for a certification bundle artifact.

CharterBundleId

Opaque identifier for a charter bundle artifact.

CheckPlanId

Opaque identifier for a canonical verification check plan.

ClaimFamilyId

Opaque identifier for a claim family spanning multiple claim versions.

ClaimId

Opaque identifier for a claim (knowledge assertion).

ClaimStateId

Opaque identifier for a claim-state artifact.

ClaimVersionId

Opaque identifier for a specific version of a claim.

CohortContractId

Opaque identifier for a cohort-contract artifact.

CompactionReceiptId

Opaque identifier for a compaction receipt artifact.

ComparabilityMatrixId

Opaque identifier for a comparability-matrix artifact.

CompensationExecutionReceiptId

Opaque identifier for a compensation execution receipt artifact.

CompensationPlanId

Opaque identifier for a compensation plan artifact.

CompiledObligationSetId

Opaque identifier for a compiled obligation-set artifact.

CompositionConflictSetId

Opaque identifier for a composition conflict-set artifact.

CompositionReceiptId

Opaque identifier for a composition receipt artifact.

CompositionRuleSetId

Opaque identifier for a composition rule-set artifact.

ConflictClassCatalogId

Opaque identifier for a conflict-class catalog artifact.

ConflictDisclosureId

Opaque identifier for a conflict disclosure artifact.

ConstraintGroupId

Opaque identifier for a mutual exclusion or constraint seed group.

ConstraintId

Opaque identifier for a compiled constraint unit.

ContainmentDecisionId

Opaque identifier for a containment decision artifact.

ContentDigest

A BLAKE3 content digest for idempotent deduplication.

ContinuityExceptionId

Opaque identifier for a bounded continuity exception artifact.

ContinuityPolicyProfileId

Opaque identifier for a continuity policy profile artifact.

ContinuityReviewCaseId

Opaque identifier for a continuity review case artifact.

ContradictionGroupId

Opaque identifier for a contradiction candidate group.

ContradictionWitnessId

Opaque identifier for one contradiction-witness artifact.

ControlMappingId

Opaque identifier for a control mapping artifact.

ControlReceiptId

Opaque identifier for a canonical control-plane receipt.

ConvergenceReportId

Opaque identifier for a convergence-governance artifact.

CounterfactualSliceId

Opaque identifier for a counterfactual-slice artifact.

CrossBoundaryTransferClassId

Opaque identifier for a cross-boundary transfer class artifact.

CrossRuntimeEquivalenceBundleId

Opaque identifier for a cross-runtime equivalence bundle artifact.

CrossRuntimeReplayTicketId

Opaque identifier for a cross-runtime replay-ticket artifact.

DecisionTraceId

Opaque identifier for a decision-trace artifact.

DegradationRecordId

Opaque identifier for an explicit degradation record artifact.

DelegationBundleId

Opaque identifier for a delegation bundle artifact.

DelegationMatrixId

Opaque identifier for a delegation matrix artifact.

DelegationPolicyProfileId

Opaque identifier for a delegation policy profile artifact.

DelegationReviewCaseId

Opaque identifier for a delegation review case artifact.

DelegationRevocationId

Opaque identifier for a delegation revocation artifact.

DeploymentProfileId

Opaque identifier for a deployment profile artifact.

DeprecationBundleId

Opaque identifier for a deprecation bundle artifact.

DigestBuilder

Incremental digest builder for computing digests over multiple fields.

DisclosureBudgetId

Opaque identifier for a disclosure-budget artifact.

DisclosurePolicyId

Opaque identifier for a disclosure-policy artifact.

DiscoveryProgramId

Opaque identifier for a discovery program artifact.

DisputeBundleId

Opaque identifier for a dispute-bundle artifact.

DoctrineSnapshotId

Opaque identifier for a doctrine snapshot artifact.

DualControlApprovalId

Opaque identifier for a dual-control approval artifact.

EffectAdjudicationReceiptId

Opaque identifier for an effect adjudication receipt artifact.

EffectBlockReceiptId

Opaque identifier for an effect block receipt artifact.

EffectCommitDecisionId

Opaque identifier for an effect commit decision artifact.

EffectExecutionReceiptId

Opaque identifier for an effect execution receipt artifact.

EffectIntentId

Opaque identifier for an effect intent artifact.

EffectObservationBundleId

Opaque identifier for an effect observation bundle artifact.

EffectPolicyProfileId

Opaque identifier for an effect policy profile artifact.

EffectPreflightReportId

Opaque identifier for an effect preflight report artifact.

EffectReviewCaseId

Opaque identifier for an effect review case artifact.

EffectWindowId

Opaque identifier for an effect execution window artifact.

EffectiveConstitutionId

Opaque identifier for an effective constitution artifact.

EntityId

Opaque identifier for an entity (person, concept, code unit, etc.).

EnvelopeId

Opaque identifier for an import/export envelope.

EpisodeId

Opaque identifier for an episode (causal record).

ErrorBudgetLedgerId

Opaque identifier for an error-budget ledger artifact.

EscalationClockPolicyId

Opaque identifier for an escalation-clock policy artifact.

EvidenceCollectionPlanId

Opaque identifier for an evidence collection plan artifact.

ExactnessBudgetId

Opaque identifier for an exactness-budget artifact.

ExecutionPermitId

Opaque identifier for a runtime execution permit.

ExperimentBudgetId

Opaque identifier for an experiment-budget artifact.

ExperimentCampaignId

Opaque identifier for an experiment campaign artifact.

ExperimentCaseId

Opaque identifier for an experiment case artifact.

ExternalEffectLedgerEntryId

Opaque identifier for an external effect ledger entry artifact.

FieldMonitoringPlanId

Opaque identifier for a field monitoring plan artifact.

FitRunId

Opaque identifier for a fit-run artifact.

ForensicFreezeId

Opaque identifier for a forensic freeze artifact.

GeneratedConformanceCorpusId

Opaque identifier for a generated conformance corpus artifact.

GeneratedInterpreterBundleId

Opaque identifier for a generated interpreter bundle artifact.

GeneratedMigrationPlanId

Opaque identifier for a generated migration plan artifact.

GeneratedSchemaBundleId

Opaque identifier for a generated schema bundle artifact.

HazardLibraryId

Opaque identifier for a hazard library artifact.

HazardRegisterId

Opaque identifier for a hazard register artifact.

HazardScenarioId

Opaque identifier for a hazard scenario artifact.

HistoricalQueryGuaranteeId

Opaque identifier for a historical query guarantee artifact.

HumanVetoBundleId

Opaque identifier for a human-veto bundle artifact.

HyperedgeId

Opaque identifier for a compiled hyperedge recovered from upstream grouping semantics.

HypothesisLibraryId

Opaque identifier for a hypothesis library artifact.

ImportBatchId

Opaque identifier for an import batch produced by the bridge.

IncidentCaseId

Opaque identifier for an incident case artifact.

IncidentTaxonomyId

Opaque identifier for an incident taxonomy artifact.

InformationValueEstimateId

Opaque identifier for an information-value estimate artifact.

InterventionId

Opaque identifier for an intervention bundle artifact.

JointEvidenceGroupId

Opaque identifier for a joint evidence group.

KernelRunId

Opaque identifier for a recursive kernel run.

LearningUpdateId

Opaque identifier for a versioned learning update artifact.

LedgerEntryId

Opaque identifier for an append-only verification ledger entry.

LocalDissentId

Opaque identifier for a local dissent record artifact.

LocalityExceptionId

Opaque identifier for a locality exception artifact.

MechanismBundleId

Opaque identifier for a mechanism bundle artifact.

MetaChallengeBundleId

Opaque identifier for a meta-challenge bundle artifact.

MitigationPlaybookId

Opaque identifier for a mitigation playbook artifact.

MonitorCatalogId

Opaque identifier for a monitor catalog artifact.

NormativeAstId

Opaque identifier for a normative AST artifact.

NuisanceStateId

Opaque identifier for a nuisance-state artifact.

OperatingEnvelopeId

Opaque identifier for an operating envelope artifact.

OperatorId

Opaque identifier for a registered recursive operator contract.

OperatorVersionId

Opaque identifier for a specific version of a registered operator contract.

OracleSliceId

Opaque identifier for a bounded oracle slice definition.

OutcomeSchemaId

Opaque identifier for an outcome-schema artifact.

PagerRouteProfileId

Opaque identifier for a pager-route profile artifact.

PolicyDecisionId

Opaque identifier for a policy decision artifact.

PolicyImpactDiffId

Opaque identifier for a policy impact diff artifact.

PortfolioPlanId

Opaque identifier for a portfolio plan artifact.

PostmortemBundleId

Opaque identifier for a postmortem bundle artifact.

PrivacyRetentionProfileId

Opaque identifier for a privacy/retention profile artifact.

ProfileExceptionBundleId

Opaque identifier for a profile exception bundle artifact.

ProfileSetId

Opaque identifier for a normalized profile-set artifact.

ProjectionId

Opaque identifier for a projection instance.

PromotionDecisionId

Opaque identifier for a promotion decision artifact.

ProofEvaluationReceiptId

Opaque identifier for a proof evaluation receipt artifact.

ProofObligationSetId

Opaque identifier for a proof-obligation set artifact.

RecertificationScheduleId

Opaque identifier for a recertification schedule artifact.

RecertificationTriggerId

Opaque identifier for a recertification trigger artifact.

RecoveryPlanId

Opaque identifier for a recovery plan artifact.

RecoveryReplaySliceId

Opaque identifier for a recovery replay slice artifact.

RedactionRuleSetId

Opaque identifier for a redaction rule-set artifact.

RefutationDecisionId

Opaque identifier for a refutation decision artifact.

RefutationResultId

Opaque identifier for a structured refutation result artifact.

RefuterResultId

Opaque identifier for a refuter-result artifact.

RefuterSuiteId

Opaque identifier for a refuter-suite artifact.

RegionDigestId

Opaque identifier for a stable digest of one bounded execution region.

RegionId

Opaque identifier for a bounded execution region.

RegulatoryRegimeProfileId

Opaque identifier for a regulatory-regime profile artifact.

RelationGroupId

Opaque identifier for a relation group exported by the authority.

RelationId

Opaque identifier for a relation (edge between entities).

RelationVersionId

Opaque identifier for a relation version.

ReleaseGateCaseId

Opaque identifier for a release gate case artifact.

ReleasePolicyProfileId

Opaque identifier for a release policy profile artifact.

ReleaseReadinessDecisionId

Opaque identifier for a release-readiness decision artifact.

ReleaseRollbackDecisionId

Opaque identifier for a release rollback decision artifact.

RemoteOracleLeaseId

Opaque identifier for a remote-oracle lease artifact.

RemoteSliceRequestId

Opaque identifier for a remote-slice request artifact.

RemoteSliceResultId

Opaque identifier for a remote-slice result artifact.

RepairCandidateId

Opaque identifier for one ranked local repair candidate.

RepairRouteId

Opaque identifier for syndrome-first repair routing.

RequirementControlMapId

Opaque identifier for a requirement-to-control map artifact.

ResidencyPolicyProfileId

Opaque identifier for a residency policy profile artifact.

ResidualId

Opaque identifier for a residual artifact emitted by bounded execution.

ResidualRiskAcceptanceId

Opaque identifier for a residual-risk acceptance artifact.

ResilienceExerciseId

Opaque identifier for a resilience exercise artifact.

RetirementBundleId

Opaque identifier for a retirement bundle artifact.

RetractionRecordId

Opaque identifier for one retraction / supersession artifact.

RoleCatalogId

Opaque identifier for a role catalog artifact.

RollbackDecisionId

Opaque identifier for a rollback-decision artifact.

RollbackPlanId

Opaque identifier for a rollback plan artifact.

RolloutDecisionId

Opaque identifier for a rollout-decision artifact.

RolloutStabilityReportId

Opaque identifier for a rollout stability report artifact.

RuntimeIdentitySetId

Opaque identifier for a runtime identity set artifact.

Scope

Multi-dimensional scope that bounds every runtime query and projection.

ScopeKey

Compact, hashable representation of all scope dimensions.

SelfHostingBuildReceiptId

Opaque identifier for a self-hosting build receipt artifact.

SemanticDiffId

Opaque identifier for a semantic diff artifact.

SemanticsProfileId

Opaque identifier for a semantics profile artifact.

SeparationOfDutiesPolicyId

Opaque identifier for a separation-of-duties policy artifact.

ServiceLevelProfileId

Opaque identifier for a service-level profile artifact.

SettlementCaseId

Opaque identifier for a settlement case artifact.

SettlementReceiptId

Opaque identifier for a settlement receipt artifact.

SeverityMatrixId

Opaque identifier for a severity matrix artifact.

SharedDispositionId

Opaque identifier for a shared disposition artifact.

SharedDivergenceReportId

Opaque identifier for a shared divergence report artifact.

SharedReplaySliceId

Opaque identifier for a shared replay slice artifact.

SharedViewDowngradeId

Opaque identifier for a shared-view downgrade artifact.

SimulationContractId

Opaque identifier for a simulation contract artifact.

SpecBundleId

Opaque identifier for a spec bundle artifact.

SupportSetId

Opaque identifier for one exported or imported support-set artifact.

SyndromeId

Opaque identifier for a stable syndrome signature emitted by the kernel.

TenantBoundaryProfileId

Opaque identifier for a tenant-boundary profile artifact.

TheoryLibraryId

Opaque identifier for a theory library artifact.

TheoryRefuterSuiteId

Opaque identifier for a theory refuter suite artifact.

TheoryVersionId

Opaque identifier for a theory version artifact.

ToolEffectDispatchReceiptId

Opaque identifier for a tool effect dispatch receipt artifact.

TraceCtx

In-process trace context for cross-crate correlation.

TransparencyReceiptId

Opaque identifier for a transparency-receipt artifact.

TreatyBundleId

Opaque identifier for a treaty bundle artifact.

TreatySuspensionId

Opaque identifier for a treaty suspension artifact.

TrialId

Opaque identifier for a concrete execution within a logical retry family.

TrustRootSetId

Opaque identifier for a trust-root-set artifact.

V25ConstitutionCitation

Canonical v25 constitutional citation shared by effect and downstream consumer artifacts.

VendorCertificationAdapterId

Opaque identifier for a vendor certification adapter artifact.

VendorEvidenceTranslationId

Opaque identifier for a vendor evidence translation artifact.

VendorRevocationHandlingId

Opaque identifier for a vendor revocation handling artifact.

VendorTrustRootBindingId

Opaque identifier for a vendor trust-root binding artifact.

VerificationCaseId

Opaque identifier for a verification-control case.

VerificationLoadBudgetId

Opaque identifier for a verification-load budget artifact.

WitnessId

Opaque identifier for a witness artifact produced by execution or oracles.

Enums

DigestError

Errors from digest operations.

PhaseStatus

Phase status for a feature or behavior.

SurfaceStatus

Shared publication-status primitive for thin governance/profile surfaces.

TraceError

Errors related to trace context operations.

Constants

MAX_BAGGAGE_ENTRIES

Maximum number of baggage entries allowed.

MAX_BAGGAGE_ITEM_BYTES

Maximum byte length for a single baggage key or value.

Functions

hash_to_w3c_trace_id

Convert a non-W3C trace ID to a W3C-compliant 32-hex-char wire ID via deterministic BLAKE3 hash truncation.