Expand description
Exact, resumable application installation campaigns.
This crate owns the API-neutral plan, stage, observation, and receipt vocabulary for application installation. It deliberately owns no storage, transport, authority, filesystem access, or application callbacks.
Structs§
- Adapter
Conformance Error - Bounded adapter manifest error without paths, values, or engine prose.
- Adapter
Conformance Manifest - One immutable content-addressed adapter conformance manifest.
- Adapter
Conformance Manifest Input - Complete bounded adapter-owned input.
- Adapter
Conformance Probe - One public operation and bounded golden observation.
- Adapter
Driver Requirement - One exact first-party driver/runtime/platform claim.
- Adapter
Evolution Requirement - One exact install/upgrade case and its golden observation identity.
- Adapter
Feature Claim - One explicit feature claim. There is no fallback or emulation field.
- Adapter
Role Requirement - Exact symbolic role required by an adapter.
- Application
Installation Campaign - API-neutral deterministic state machine persisted by the shared service.
- Application
Installation Campaign State - One canonical durable plan-plus-campaign record.
- Application
Installation Diff - Complete deterministic read-only diff against one selected database.
- Application
Installation Observation - Immutable observation of one durable installation campaign.
- Application
Installation Plan - One immutable content-addressed installation plan.
- Application
Installation Plan Input - Complete local input to deterministic installation-plan compilation.
- Application
Installation Receipt - Terminal, redacted, content-addressed installation receipt.
- Application
Portability Error - Bounded error without exported application values.
- Application
Portability Manifest - Immutable content-addressed adapter portability manifest.
- Application
Portability Manifest Input - Complete adapter-owned portability input.
- Application
Reimport Campaign Error - Static redaction-safe durable-checkpoint error.
- Application
Reimport Campaign V1 - Durable resumable checkpoint nested into one exact installation campaign.
- Application
Reimport Receipt - Canonical success receipt produced only after exact reconciliation.
- Application
Reimport Receipt Input - Immutable successful reconciliation input.
- Application
Reimport Source V1 - Exact completed portability-export source accepted at campaign start.
- Credential
Destination - One credential destination with exact no-overwrite semantics.
- Installation
Artifact - One exact compiler-produced artifact without a host filesystem path.
- Installation
Campaign Error - Bounded, redaction-safe campaign error.
- Installation
Contract - Candidate contract identity pinned by the exact lock.
- Installation
Failure - One bounded typed partial-stage failure.
- Installation
Migration - Exact, explicitly confirmed migration gate.
- Installation
Plan Error - Bounded, redaction-safe plan compilation failure.
- Installation
Plan Identity - Exact immutable identity attached to every campaign observation.
- Installation
Reimport - Exact completed portability export selected for an empty-destination reimport.
- Installation
Remote State - Bounded exact remote state used only for read-only planning.
- Installation
Role - One desired exact role plus enough predecessor state to compute its authority diff.
- Installation
Role Diff - Bounded symbolic authority change for one role.
- Installation
Seed - One bounded seed batch whose items remain ordinary compiled commands.
- Installation
Symbol - A bounded, non-secret symbol retained in plans and diagnostics.
- Installation
Target - Exact selected database, environment, and application lineage.
- Installed
Credential Evidence - Exact observed credential slot without credential material.
- Installed
Reimport Receipt Evidence - Verified terminal identities for a completed reimport stage.
- Installed
Role Evidence - Exact observed role identity after role reconciliation.
- Installed
Seed Evidence - Bounded terminal counters for one ordinary-command seed batch.
- Observed
Credential Destination - Existing external credential slot identity without token material.
- Observed
Installation Role - Existing role state exposed symbolically for a bounded authority diff.
- Portable
Field Binding - One compiler-visible field-to-input binding.
- Portable
Omission - One exact declared omission.
- Portable
Record Mapping - One symbolic exported record mapping.
- Query
Secret Output - One symbolic secret output granted to one exact named query.
- Reimport
Mapping Progress V1 - One compiler-selected mapping’s durable aggregate progress.
- Reimport
Mapping Result - One per-mapping terminal import result without source values.
- Reimport
Observation - One named query observation used to reconcile the empty-database reimport.
- Reimport
Observation Parameter - One named query observation used to reconcile the empty-database reimport.
- Reimport
Observation Result - One observed named-query digest after reimport.
- Reimport
Page Mapping Outcome V1 - Exact result of one atomic compiler-owned page command.
- Reimport
Workflow Quiescence V1 - One source-snapshot workflow proof with no row values.
- Role
Authority Set - Independently canonical bounded authority for one application role.
- Role
Operation - One symbolic application operation in an authority diff.
- Role
Widening Approval - Exact approval for only the additions in one existing role.
Enums§
- Adapter
Conformance Error Kind - Stable, value-free adapter manifest failure class.
- Adapter
Evolution Class - Closed application evolution class. No open version range exists.
- Adapter
Feature Disposition - Explicit support posture for one closed RiffDB feature.
- Adapter
Limitation - Closed reason attached only to degraded or unavailable claims.
- Adapter
Platform - Closed platform triples supported by the alpha driver matrix.
- Application
Portability Error Kind - Public-safe portability-manifest failure class.
- Application
Reimport Campaign Error Kind - Closed durable-checkpoint failure.
- Application
Reimport Campaign Phase V1 - Closed lifecycle of the unpublished reimport stage.
- Application
Reimport Failure V1 - Closed redaction-safe terminal failure.
- Installation
Artifact Action - Exact generated-artifact change.
- Installation
Artifact Kind - Closed compiler-owned artifact class.
- Installation
Campaign Error Kind - Closed campaign state-machine failure.
- Installation
Campaign Phase - Public campaign phase; partial can never be confused with installed.
- Installation
Contract Action - Exact contract action required by a plan.
- Installation
Credential Action - Exact external credential action.
- Installation
Driver - First-class stable driver targets that must prove the installed identity.
- Installation
Failure Code - Closed safe failure observed while executing the current stage.
- Installation
Feature - Closed alpha application feature catalog consumed by installation planning.
- Installation
Lifecycle State - Exact lifecycle observation required before any installation mutation.
- Installation
Next Action - Exact bounded next action for a partial campaign.
- Installation
Plan Error Kind - Closed deterministic plan-compilation failure.
- Installation
Stage - Closed, dependency-ordered stages in one application installation campaign.
- Installation
Stage Evidence - Closed exact evidence for one idempotent campaign stage.
- Installed
Reimport Evidence - Exact completion evidence for the publication-gating reimport stage.
- Migration
Backup Policy - Only backup posture admitted for an installation-driven migration.
- Migration
Downtime Class - Only downtime posture admitted by the current offline migration engine.
- Portable
Omission Class - Supporting export classes whose history may be explicitly omitted on reimport.
- Portable
Omission Reason - Closed reason a historical/supporting class is not regenerated.
- Portable
Record Class - Portable application record classes accepted by compiled reimport mappings.
- Portable
Reimport Strategy - Closed reimport implementation. There is no callback, method path, or transaction escape.
- Role
Authority Atom - Closed symbolic vocabulary used by installation authority diffs.
- Role
Operation Kind - Closed symbolic operation category used only to compute authority diffs.
Constants§
- ADAPTER_
CONFORMANCE_ MANIFEST_ SCHEMA_ V1 - Canonical schema for adapter-owned conformance manifests.
- ADAPTER_
CONFORMANCE_ MANIFEST_ SCHEMA_ V2 - Current schema requiring an explicit disposition for every closed alpha feature.
- APPLICATION_
INSTALLATION_ CAMPAIGN_ STATE_ SCHEMA_ V1 - Canonical schema version for durable resumable campaign state.
- APPLICATION_
INSTALLATION_ CAMPAIGN_ STATE_ SCHEMA_ V2 - Canonical durable campaign state containing the reimport publication gate.
- APPLICATION_
INSTALLATION_ CAMPAIGN_ STATE_ SCHEMA_ V3 - Canonical durable campaign state carrying resumable reimport progress.
- APPLICATION_
INSTALLATION_ PLAN_ SCHEMA_ V1 - Canonical schema version for exact application installation plans.
- APPLICATION_
INSTALLATION_ PLAN_ SCHEMA_ V2 - Canonical schema version for plans carrying exact reimport authority.
- APPLICATION_
INSTALLATION_ PLAN_ SCHEMA_ V3 - Canonical schema version for plans carrying secret-output authority atoms.
- APPLICATION_
INSTALLATION_ RECEIPT_ SCHEMA_ CURRENT - Latest supported terminal installation-receipt schema.
- APPLICATION_
INSTALLATION_ RECEIPT_ SCHEMA_ V1 - Canonical schema version for terminal installation receipts.
- APPLICATION_
INSTALLATION_ RECEIPT_ SCHEMA_ V2 - Canonical schema version for complete terminal installation receipts.
- APPLICATION_
INSTALLATION_ RECEIPT_ SCHEMA_ V3 - Canonical terminal receipt carrying explicit reimport reconciliation identities.
- APPLICATION_
PORTABILITY_ MANIFEST_ SCHEMA_ V1 - Canonical adapter-owned reimport mapping schema.
- APPLICATION_
PORTABILITY_ MANIFEST_ SCHEMA_ V2 - Canonical adapter-owned reimport mapping schema with compiler-owned commands.
- APPLICATION_
PORTABILITY_ MANIFEST_ SCHEMA_ V3 - Canonical mapping manifest with compiler-owned commands and typed observations.
- APPLICATION_
REIMPORT_ CAMPAIGN_ SCHEMA_ V1 - Canonical durable reimport checkpoint schema.
- APPLICATION_
REIMPORT_ RECEIPT_ SCHEMA_ V1 - Canonical terminal reconciliation receipt schema.
- APPLICATION_
REIMPORT_ RECEIPT_ SCHEMA_ V2 - Canonical terminal reconciliation receipt for a compiler-owned v2 mapping.
- MAX_
ADAPTER_ ARTIFACTS - Maximum exact artifacts in one manifest.
- MAX_
ADAPTER_ CONFORMANCE_ MANIFEST_ BYTES - Maximum canonical manifest size.
- MAX_
ADAPTER_ CONFORMANCE_ PROBES - Maximum conformance probes in one manifest.
- MAX_
ADAPTER_ DRIVERS - Maximum driver/runtime requirements in one manifest.
- MAX_
ADAPTER_ EVOLUTIONS - Maximum evolution cases in one manifest.
- MAX_
ADAPTER_ FEATURE_ CLAIMS - Maximum feature claims in one manifest.
- MAX_
ADAPTER_ PLATFORMS - Maximum supported platforms per driver requirement.
- MAX_
ADAPTER_ PROBE_ ITEMS - Maximum bounded rows/items observed by one conformance probe.
- MAX_
ADAPTER_ ROLES - Maximum exact roles in one manifest.
- MAX_
APPLICATION_ INSTALLATION_ CAMPAIGN_ STATE_ BYTES - Maximum canonical bytes retained for one exact application-installation campaign state.
- MAX_
APPLICATION_ PORTABILITY_ DOCUMENT_ BYTES - Maximum canonical bytes for either portability document.
- MAX_
APPLICATION_ PORTABLE_ FIELD_ BINDINGS - Maximum symbolic field bindings in one command mapping.
- MAX_
APPLICATION_ PORTABLE_ MAPPINGS - Maximum portable record mappings.
- MAX_
APPLICATION_ PORTABLE_ OMISSIONS - Maximum explicit omissions.
- MAX_
APPLICATION_ REIMPORT_ CAMPAIGN_ BYTES - Maximum canonical bytes nested into one installation campaign.
- MAX_
APPLICATION_ REIMPORT_ OBSERVATIONS - Maximum reconciliation observations.
- MAX_
APPLICATION_ REIMPORT_ OBSERVATION_ PARAMETERS - Maximum exact parameters carried by one reconciliation observation.
- MAX_
APPLICATION_ REIMPORT_ PAGE_ HASHES - Maximum source page identities retained by one alpha campaign.
- MAX_
CREDENTIAL_ DESTINATIONS - Maximum credential destinations in one plan.
- MAX_
INSTALLATION_ ARTIFACTS - Maximum exact artifacts in one plan.
- MAX_
INSTALLATION_ CAMPAIGN_ STATE_ BYTES - Compatibility alias for the shared exact campaign-state storage boundary.
- MAX_
INSTALLATION_ PLAN_ BYTES - Maximum canonical bytes in one installation plan.
- MAX_
INSTALLATION_ RECEIPT_ BYTES - Maximum canonical bytes in one redacted terminal receipt.
- MAX_
INSTALLATION_ ROLES - Maximum symbolic application roles in one plan.
- MAX_
INSTALLATION_ SEEDS - Maximum bounded seed batches in one plan.
- MAX_
INSTALLATION_ SYMBOL_ BYTES - Maximum bytes in one installation-local symbolic name.
- MAX_
ROLE_ AUTHORITY_ ATOMS - Maximum total authority atoms in one application role.
- MAX_
ROLE_ OPERATIONS - Maximum symbolic operations in one application role.
- MAX_
ROLE_ SECRET_ OUTPUTS - Maximum symbolic secret-output atoms in one application role.
- MAX_
SEED_ BATCH_ ITEMS - Maximum ordinary commands represented by one seed batch.
Traits§
- Application
Portability Validation - Compiler- and adapter-owned checks over the serialization-neutral value.