Expand description
§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, GraphRunId, GraphCheckpointAttemptId, QueueJobId, BatchJobId, 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§
- Access
Purpose Matrix Id - Opaque identifier for an access-purpose matrix artifact.
- Acting
OnBehalf Receipt Id - Opaque identifier for an acting-on-behalf receipt artifact.
- Amendment
Decision Id - Opaque identifier for an amendment decision artifact.
- Amendment
Proposal Id - Opaque identifier for an amendment proposal artifact.
- Applicability
Context Id - Opaque identifier for an applicability-context artifact.
- Approval
Grant Id - Opaque identifier for a typed constitutional approval grant.
- Approval
Matrix Id - Opaque identifier for an approval matrix artifact.
- Approval
Record Id - Opaque identifier for an approval record artifact.
- Archive
Manifest Id - Opaque identifier for an archive manifest artifact.
- Artifact
Admission Policy Id - Opaque identifier for an artifact-admission-policy artifact.
- Artifact
Id - Opaque identifier for a stored artifact (patch, snapshot, file).
- Artifact
Transport Id - Opaque identifier for a typed artifact transport crossing region boundaries.
- Assertion
Group Id - Opaque identifier for a higher-order assertion group.
- Assurance
Case Id - Opaque identifier for an assurance case artifact.
- Attempt
Id - Opaque identifier for a logical retry family within one retry-owner boundary.
- Attestation
Envelope Id - Opaque identifier for an attestation-envelope artifact.
- Attestation
Revocation Id - Opaque identifier for an attestation-revocation artifact.
- Attestation
Supersession Id - Opaque identifier for an attestation-supersession artifact.
- Audit
Extraction Policy Id - Opaque identifier for an audit extraction policy artifact.
- Authority
Chain Id - Opaque identifier for an authority chain artifact.
- Authority
Lease Id - Opaque identifier for an authority lease artifact.
- Baggage
Entry - A single baggage entry (key-value pair).
- Batch
JobId - Opaque identifier for an
ai-batch-queuescheduled batch job. - Boundary
Repair Record Id - Opaque identifier for a deterministic boundary repair record artifact.
- Break
Glass Grant Id - Opaque identifier for a break-glass grant artifact.
- Calibration
Report Id - Opaque identifier for a structured calibration report artifact.
- Calibration
Snapshot Id - Opaque identifier for a calibration snapshot artifact.
- Campaign
Decision Trace Id - Opaque identifier for a campaign decision trace artifact.
- Capability
Class Id - Opaque identifier for a capability class artifact.
- Causal
Attribution Bundle Id - Opaque identifier for a causal-attribution bundle artifact.
- Certificate
Id - Opaque identifier for a certificate artifact produced by execution or oracles.
- Certification
Bundle Id - Opaque identifier for a certification bundle artifact.
- Charter
Bundle Id - Opaque identifier for a charter bundle artifact.
- Check
Plan Id - Opaque identifier for a canonical verification check plan.
- Claim
Family Id - Opaque identifier for a claim family spanning multiple claim versions.
- ClaimId
- Opaque identifier for a claim (knowledge assertion).
- Claim
State Id - Opaque identifier for a claim-state artifact.
- Claim
Version Id - Opaque identifier for a specific version of a claim.
- Cohort
Contract Id - Opaque identifier for a cohort-contract artifact.
- Compaction
Receipt Id - Opaque identifier for a compaction receipt artifact.
- Comparability
Matrix Id - Opaque identifier for a comparability-matrix artifact.
- Compensation
Execution Receipt Id - Opaque identifier for a compensation execution receipt artifact.
- Compensation
Plan Id - Opaque identifier for a compensation plan artifact.
- Compiled
Obligation SetId - Opaque identifier for a compiled obligation-set artifact.
- Composition
Conflict SetId - Opaque identifier for a composition conflict-set artifact.
- Composition
Receipt Id - Opaque identifier for a composition receipt artifact.
- Composition
Rule SetId - Opaque identifier for a composition rule-set artifact.
- Conflict
Class Catalog Id - Opaque identifier for a conflict-class catalog artifact.
- Conflict
Disclosure Id - Opaque identifier for a conflict disclosure artifact.
- Constraint
Group Id - Opaque identifier for a mutual exclusion or constraint seed group.
- Constraint
Id - Opaque identifier for a compiled constraint unit.
- Containment
Decision Id - Opaque identifier for a containment decision artifact.
- Content
Digest - A BLAKE3 content digest for idempotent deduplication.
- Continuity
Exception Id - Opaque identifier for a bounded continuity exception artifact.
- Continuity
Policy Profile Id - Opaque identifier for a continuity policy profile artifact.
- Continuity
Review Case Id - Opaque identifier for a continuity review case artifact.
- Contradiction
Group Id - Opaque identifier for a contradiction candidate group.
- Contradiction
Witness Id - Opaque identifier for one contradiction-witness artifact.
- Control
Mapping Id - Opaque identifier for a control mapping artifact.
- Control
Receipt Id - Opaque identifier for a canonical control-plane receipt.
- Convergence
Report Id - Opaque identifier for a convergence-governance artifact.
- Counterfactual
Slice Id - Opaque identifier for a counterfactual-slice artifact.
- Cross
Boundary Transfer Class Id - Opaque identifier for a cross-boundary transfer class artifact.
- Cross
Runtime Equivalence Bundle Id - Opaque identifier for a cross-runtime equivalence bundle artifact.
- Cross
Runtime Replay Ticket Id - Opaque identifier for a cross-runtime replay-ticket artifact.
- Decision
Trace Id - Opaque identifier for a decision-trace artifact.
- Degradation
Record Id - Opaque identifier for an explicit degradation record artifact.
- Delegation
Bundle Id - Opaque identifier for a delegation bundle artifact.
- Delegation
Matrix Id - Opaque identifier for a delegation matrix artifact.
- Delegation
Policy Profile Id - Opaque identifier for a delegation policy profile artifact.
- Delegation
Review Case Id - Opaque identifier for a delegation review case artifact.
- Delegation
Revocation Id - Opaque identifier for a delegation revocation artifact.
- Deployment
Profile Id - Opaque identifier for a deployment profile artifact.
- Deprecation
Bundle Id - Opaque identifier for a deprecation bundle artifact.
- Digest
Builder - Incremental digest builder for computing digests over multiple fields.
- Disclosure
Budget Id - Opaque identifier for a disclosure-budget artifact.
- Disclosure
Policy Id - Opaque identifier for a disclosure-policy artifact.
- Discovery
Program Id - Opaque identifier for a discovery program artifact.
- Dispute
Bundle Id - Opaque identifier for a dispute-bundle artifact.
- Doctrine
Snapshot Id - Opaque identifier for a doctrine snapshot artifact.
- Dual
Control Approval Id - Opaque identifier for a dual-control approval artifact.
- Effect
Adjudication Receipt Id - Opaque identifier for an effect adjudication receipt artifact.
- Effect
Block Receipt Id - Opaque identifier for an effect block receipt artifact.
- Effect
Commit Decision Id - Opaque identifier for an effect commit decision artifact.
- Effect
Execution Receipt Id - Opaque identifier for an effect execution receipt artifact.
- Effect
Intent Id - Opaque identifier for an effect intent artifact.
- Effect
Observation Bundle Id - Opaque identifier for an effect observation bundle artifact.
- Effect
Policy Profile Id - Opaque identifier for an effect policy profile artifact.
- Effect
Preflight Report Id - Opaque identifier for an effect preflight report artifact.
- Effect
Review Case Id - Opaque identifier for an effect review case artifact.
- Effect
Window Id - Opaque identifier for an effect execution window artifact.
- Effective
Constitution Id - Opaque identifier for an effective constitution artifact.
- Entity
Id - Opaque identifier for an entity (person, concept, code unit, etc.).
- Envelope
Id - Opaque identifier for an import/export envelope.
- Episode
Id - Opaque identifier for an episode (causal record).
- Error
Budget Ledger Id - Opaque identifier for an error-budget ledger artifact.
- Escalation
Clock Policy Id - Opaque identifier for an escalation-clock policy artifact.
- Evidence
Collection Plan Id - Opaque identifier for an evidence collection plan artifact.
- Exactness
Budget Id - Opaque identifier for an exactness-budget artifact.
- Execution
Permit Id - Opaque identifier for a runtime execution permit.
- Experiment
Budget Id - Opaque identifier for an experiment-budget artifact.
- Experiment
Campaign Id - Opaque identifier for an experiment campaign artifact.
- Experiment
Case Id - Opaque identifier for an experiment case artifact.
- External
Effect Ledger Entry Id - Opaque identifier for an external effect ledger entry artifact.
- Field
Monitoring Plan Id - Opaque identifier for a field monitoring plan artifact.
- FitRun
Id - Opaque identifier for a fit-run artifact.
- Forensic
Freeze Id - Opaque identifier for a forensic freeze artifact.
- Generated
Conformance Corpus Id - Opaque identifier for a generated conformance corpus artifact.
- Generated
Interpreter Bundle Id - Opaque identifier for a generated interpreter bundle artifact.
- Generated
Migration Plan Id - Opaque identifier for a generated migration plan artifact.
- Generated
Schema Bundle Id - Opaque identifier for a generated schema bundle artifact.
- Graph
Checkpoint Attempt Id - Opaque identifier for one persisted
agent-graphcheckpoint attempt. - Graph
RunId - Opaque identifier for one
agent-graphexecution run. - Hazard
Library Id - Opaque identifier for a hazard library artifact.
- Hazard
Register Id - Opaque identifier for a hazard register artifact.
- Hazard
Scenario Id - Opaque identifier for a hazard scenario artifact.
- Historical
Query Guarantee Id - Opaque identifier for a historical query guarantee artifact.
- Human
Veto Bundle Id - Opaque identifier for a human-veto bundle artifact.
- Hyperedge
Id - Opaque identifier for a compiled hyperedge recovered from upstream grouping semantics.
- Hypothesis
Library Id - Opaque identifier for a hypothesis library artifact.
- Import
Batch Id - Opaque identifier for an import batch produced by the bridge.
- Incident
Case Id - Opaque identifier for an incident case artifact.
- Incident
Taxonomy Id - Opaque identifier for an incident taxonomy artifact.
- Information
Value Estimate Id - Opaque identifier for an information-value estimate artifact.
- Intervention
Id - Opaque identifier for an intervention bundle artifact.
- Joint
Evidence Group Id - Opaque identifier for a joint evidence group.
- Kernel
RunId - Opaque identifier for a recursive kernel run.
- Learning
Update Id - Opaque identifier for a versioned learning update artifact.
- Ledger
Entry Id - Opaque identifier for an append-only verification ledger entry.
- Local
Dissent Id - Opaque identifier for a local dissent record artifact.
- Locality
Exception Id - Opaque identifier for a locality exception artifact.
- Mechanism
Bundle Id - Opaque identifier for a mechanism bundle artifact.
- Meta
Challenge Bundle Id - Opaque identifier for a meta-challenge bundle artifact.
- Mitigation
Playbook Id - Opaque identifier for a mitigation playbook artifact.
- Monitor
Catalog Id - Opaque identifier for a monitor catalog artifact.
- Normative
AstId - Opaque identifier for a normative AST artifact.
- Nuisance
State Id - Opaque identifier for a nuisance-state artifact.
- Operating
Envelope Id - Opaque identifier for an operating envelope artifact.
- Operator
Id - Opaque identifier for a registered recursive operator contract.
- Operator
Version Id - Opaque identifier for a specific version of a registered operator contract.
- Oracle
Slice Id - Opaque identifier for a bounded oracle slice definition.
- Outcome
Schema Id - Opaque identifier for an outcome-schema artifact.
- Pager
Route Profile Id - Opaque identifier for a pager-route profile artifact.
- Policy
Decision Id - Opaque identifier for a policy decision artifact.
- Policy
Impact Diff Id - Opaque identifier for a policy impact diff artifact.
- Portfolio
Plan Id - Opaque identifier for a portfolio plan artifact.
- Postmortem
Bundle Id - Opaque identifier for a postmortem bundle artifact.
- Privacy
Retention Profile Id - Opaque identifier for a privacy/retention profile artifact.
- Profile
Exception Bundle Id - Opaque identifier for a profile exception bundle artifact.
- Profile
SetId - Opaque identifier for a normalized profile-set artifact.
- Projection
Id - Opaque identifier for a projection instance.
- Promotion
Decision Id - Opaque identifier for a promotion decision artifact.
- Proof
Evaluation Receipt Id - Opaque identifier for a proof evaluation receipt artifact.
- Proof
Obligation SetId - Opaque identifier for a proof-obligation set artifact.
- Queue
JobId - Opaque identifier for a
job-queueenqueue record. - Recertification
Schedule Id - Opaque identifier for a recertification schedule artifact.
- Recertification
Trigger Id - Opaque identifier for a recertification trigger artifact.
- Recovery
Plan Id - Opaque identifier for a recovery plan artifact.
- Recovery
Replay Slice Id - Opaque identifier for a recovery replay slice artifact.
- Redaction
Rule SetId - Opaque identifier for a redaction rule-set artifact.
- Refutation
Decision Id - Opaque identifier for a refutation decision artifact.
- Refutation
Result Id - Opaque identifier for a structured refutation result artifact.
- Refuter
Result Id - Opaque identifier for a refuter-result artifact.
- Refuter
Suite Id - Opaque identifier for a refuter-suite artifact.
- Region
Digest Id - Opaque identifier for a stable digest of one bounded execution region.
- Region
Id - Opaque identifier for a bounded execution region.
- Regulatory
Regime Profile Id - Opaque identifier for a regulatory-regime profile artifact.
- Relation
Group Id - Opaque identifier for a relation group exported by the authority.
- Relation
Id - Opaque identifier for a relation (edge between entities).
- Relation
Version Id - Opaque identifier for a relation version.
- Release
Gate Case Id - Opaque identifier for a release gate case artifact.
- Release
Policy Profile Id - Opaque identifier for a release policy profile artifact.
- Release
Readiness Decision Id - Opaque identifier for a release-readiness decision artifact.
- Release
Rollback Decision Id - Opaque identifier for a release rollback decision artifact.
- Remote
Oracle Lease Id - Opaque identifier for a remote-oracle lease artifact.
- Remote
Slice Request Id - Opaque identifier for a remote-slice request artifact.
- Remote
Slice Result Id - Opaque identifier for a remote-slice result artifact.
- Repair
Candidate Id - Opaque identifier for one ranked local repair candidate.
- Repair
Route Id - Opaque identifier for syndrome-first repair routing.
- Requirement
Control MapId - Opaque identifier for a requirement-to-control map artifact.
- Residency
Policy Profile Id - Opaque identifier for a residency policy profile artifact.
- Residual
Id - Opaque identifier for a residual artifact emitted by bounded execution.
- Residual
Risk Acceptance Id - Opaque identifier for a residual-risk acceptance artifact.
- Resilience
Exercise Id - Opaque identifier for a resilience exercise artifact.
- Retirement
Bundle Id - Opaque identifier for a retirement bundle artifact.
- Retraction
Record Id - Opaque identifier for one retraction / supersession artifact.
- Role
Catalog Id - Opaque identifier for a role catalog artifact.
- Rollback
Decision Id - Opaque identifier for a rollback-decision artifact.
- Rollback
Plan Id - Opaque identifier for a rollback plan artifact.
- Rollout
Decision Id - Opaque identifier for a rollout-decision artifact.
- Rollout
Stability Report Id - Opaque identifier for a rollout stability report artifact.
- Runtime
Identity SetId - Opaque identifier for a runtime identity set artifact.
- Scope
- Multi-dimensional scope that bounds every runtime query and projection.
- Scope
Key - Compact, hashable representation of all scope dimensions.
- Scope
Loss Receipt - Self
Hosting Build Receipt Id - Opaque identifier for a self-hosting build receipt artifact.
- Semantic
Diff Id - Opaque identifier for a semantic diff artifact.
- Semantics
Profile Id - Opaque identifier for a semantics profile artifact.
- Separation
OfDuties Policy Id - Opaque identifier for a separation-of-duties policy artifact.
- Service
Level Profile Id - Opaque identifier for a service-level profile artifact.
- Settlement
Case Id - Opaque identifier for a settlement case artifact.
- Settlement
Receipt Id - Opaque identifier for a settlement receipt artifact.
- Severity
Matrix Id - Opaque identifier for a severity matrix artifact.
- Shared
Disposition Id - Opaque identifier for a shared disposition artifact.
- Shared
Divergence Report Id - Opaque identifier for a shared divergence report artifact.
- Shared
Replay Slice Id - Opaque identifier for a shared replay slice artifact.
- Shared
View Downgrade Id - Opaque identifier for a shared-view downgrade artifact.
- Simulation
Contract Id - Opaque identifier for a simulation contract artifact.
- Spec
Bundle Id - Opaque identifier for a spec bundle artifact.
- Support
SetId - Opaque identifier for one exported or imported support-set artifact.
- Syndrome
Id - Opaque identifier for a stable syndrome signature emitted by the kernel.
- Tenant
Boundary Profile Id - Opaque identifier for a tenant-boundary profile artifact.
- Theory
Library Id - Opaque identifier for a theory library artifact.
- Theory
Refuter Suite Id - Opaque identifier for a theory refuter suite artifact.
- Theory
Version Id - Opaque identifier for a theory version artifact.
- Tool
Effect Dispatch Receipt Id - Opaque identifier for a tool effect dispatch receipt artifact.
- Trace
Ctx - In-process trace context for cross-crate correlation.
- Transparency
Receipt Id - Opaque identifier for a transparency-receipt artifact.
- Treaty
Bundle Id - Opaque identifier for a treaty bundle artifact.
- Treaty
Suspension Id - Opaque identifier for a treaty suspension artifact.
- TrialId
- Opaque identifier for a concrete execution within a logical retry family.
- Trust
Root SetId - Opaque identifier for a trust-root-set artifact.
- V25Constitution
Citation - Canonical v25 constitutional citation shared by effect and downstream consumer artifacts.
- Vendor
Certification Adapter Id - Opaque identifier for a vendor certification adapter artifact.
- Vendor
Evidence Translation Id - Opaque identifier for a vendor evidence translation artifact.
- Vendor
Revocation Handling Id - Opaque identifier for a vendor revocation handling artifact.
- Vendor
Trust Root Binding Id - Opaque identifier for a vendor trust-root binding artifact.
- Verification
Case Id - Opaque identifier for a verification-control case.
- Verification
Load Budget Id - Opaque identifier for a verification-load budget artifact.
- Witness
Id - Opaque identifier for a witness artifact produced by execution or oracles.
Enums§
- Digest
Error - Errors from digest operations.
- IdError
- Typed validation failures for canonical IDs.
- Lossy
Scope Policy - Phase
Status - Phase status for a feature or behavior.
- Scope
Error - Surface
Status - Shared publication-status primitive for thin governance/profile surfaces.
- Trace
Error - 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.