Contextfulv0.23.0

Docs / Specification

contract topology · 01-topology.md · guide · card

System topology — card

Generated by contextful-spec state from the contract’s files and spec/terms/topology.toml; not authored.

Operations

OperationCoversClausesProved
composeExecution, storage, queries, access controls and the contracts these components share.280
packageRust package dependencies and the capabilities each compiled binary includes.290
deployDeployment configurations, provider services and comparison against the reference deployment.40
publish-hostnameHostname access policies, deployment checks and requests through the routing service to the query container.70
coordinateConditional metadata updates, writer leases and the databases that store coordination state.220
bound-applicationResponsibilities of the engine and applications that use the engine.20

Error cases

ErrorWhenClause
VendorSdkLinkedA crate declares a model-vendor SDK, or a second outbound path to a model exists.topology.compose.vendor-sdk
ScriptRuntimeLinkedA script-language runtime links into a profile.topology.compose.script-runtime
CrateMapDriftA workspace crate is missing from the crate tree, or the crate-map count disagrees with it.topology.package.crate-map-drift
DomainCrateImpurityThe domain crate declares an async runtime, component host, HTTP client or columnar-format implementation.topology.package.domain-impurity
TopologyDependencyInversionA dependency edge runs from the domain crate toward an adapter crate.topology.package.dependency-direction
ProfileRoleLeakA profile resolves a component host, the SQL engine or build tooling its role excludes.topology.package.profile-leak
ProfileCapabilityAbsentA subcommand reaches a capability the build’s profile does not link.topology.package.capability-absent
ComponentHostMissingA component connector is dispatched on a profile linking no component host.topology.package.host-missing
ProfileDependencyLeakThe CRDT library appears in the edge or full profile’s dependency graph.topology.package.crdt-leak
StoreWriteLinksEngineThe store adapter without its read feature resolves the embedded SQL engine, SQLite, an async runtime or an HTTP or TLS stack.topology.package.store-write-engine-free
TransportStackLinkedThe mediated-request crate without its transport feature resolves an HTTP stack.topology.package.transport-optional
DecodeLinksNetworkThe record-decoder package resolves the mediated-request crate or a network stack.topology.package.decode-network-free
ExchangeDependencyLeakA package other than the binary resolves the external-assertion stack in its own dependency graph.topology.package.exchange-optional
SqliteLinkForcedA package other than the SQLite adapter declares the binding as a normal dependency, or one other than the binary chooses the SQLite build.topology.package.sqlite-adapter
SyncStackLinkedThe sync package without its S3 feature resolves an HTTP stack.topology.package.s3-sync-optional
StoreLinksSqliteThe store adapter resolves the SQLite link package through a normal dependency, on any target.topology.package.store-sqlite-free
TargetShapeUnsupportedA target profile claims a shape its provider’s primitives do not express.topology.deploy.unsupported-shape
ParityDivergenceA target’s table parts differ byte-wise from the reference target’s.topology.deploy.parity-divergence
HostnamePostureMismatchAn anonymous probe’s answer disagrees with the hostname’s declared gate, or the hostname is unreachable.topology.publish-hostname.posture-mismatch
ProbeTableDriftThe probe table and the descriptor set name different hostname-and-gate pairs.topology.publish-hostname.probe-table
ProbeSetEmptyA probe with no descriptor directory, no probe table or no declared hostname.topology.publish-hostname.empty-probe
DescriptorUnknownFieldA descriptor carries a key its contract version does not model.topology.publish-hostname.unknown-field
GatewayUnconfiguredA gateway holding no store configuration.topology.publish-hostname.unconfigured-gateway
IssuerKeyUnusableA verification key that does not resolve or does not parse at engine start.topology.publish-hostname.issuer-key
DatabaseTransportUnprotectedA remote PostgreSQL connection disables authenticated TLS.topology.coordinate.postgres-transport
DatabaseCaBundleUnreadableA PostgreSQL sslrootcert path is unreadable or holds no certificate.topology.coordinate.postgres-ca-unreadable

Bounds

BoundValueBasisClause
topology-queue-sqs-wait20 sstandard:aws-sqs-receive-messagetopology.compose.queue-sqs-wait
topology-queue-sqs-batch10 messagesstandard:aws-sqs-receive-messagetopology.compose.queue-sqs-batch
topology-queue-sqs-visibility300 schosentopology.compose.queue-sqs-visibility
topology-queue-sqs-cap1 MiBstandard:aws-sqs-quotastopology.compose.queue-sqs-cap
topology-function-wall-clock15 minchosentopology.deploy.wall-clock-cap
topology-container-readiness8 schosentopology.publish-hostname.container-readiness
topology-cadence-lease-ttl90 schosentopology.coordinate.cadence-lease-ttl
topology-cadence-renewal30 schosentopology.coordinate.cadence-lease-renewal

Decisions

SectionCited by
A-topology#aws-fargatetopology.package.edge-eligibility
A-topology#build-profilescorpus.targets.file, topology.package.profile, topology.package.fixed-at-build, topology.package.profile-leak, topology.package.capability-absent, topology.package.component-host, topology.package.host-missing, topology.package.crdt-leak, read.register.engine, read.rank.degradation-not-error, read.rank.caller-embedding, read.embed.required-face, read.embed.absent-read-backend, run.journal.unwired-capability
A-topology#catalog-read-add-onrun.export-iceberg.block, run.export-iceberg.file-size, run.export-iceberg.route
A-topology#cloudflare-d1topology.coordinate.backends, run.journal.d1-profile
A-topology#commit-lockstore.reserve.commit-seq, store.reserve.commit-order, store.reserve.commit-lock-span, store.reserve.commit-wait, store.reserve.commit-marker, store.reserve.commit-seq-seed
A-topology#control-crdttopology.package.control-profile, topology.package.control-team-state, topology.package.apply-home
A-topology#deploy-observationtopology.deploy.unsupported-shape, topology.deploy.parity, topology.deploy.parity-divergence
A-topology#domain-cratetopology.package.domain-crate, topology.package.domain-impurity, topology.package.dependency-direction
A-topology#enforcement-stacktopology.compose.mediation
A-topology#export-committedrun.export.post-commit-read
A-topology#one-egresstopology.compose.inference-egress, topology.compose.vendor-sdk, run.land.unknown-destination, run.land.no-host-arm, run.export-iceberg.egress, connector.infer.model-endpoint
A-topology#posture-probetopology.publish-hostname.posture-mismatch, topology.publish-hostname.probe-table
A-topology#public-surfacestopology.compose.three-crossings, topology.compose.undeclared-crossing, topology.bound-application.domain-neutral, surface.package.store-selector
A-topology#queue-ingresstopology.compose.queue-extension, run.export.export-block, run.export.commit-order, run.export.delivery, run.export.at-least-once