Contextful
v0.23.0
Docs
Specification
Search
GitHub
↗
Skip to content
Documentation
Guides
Specification
Contents
Guides
System topology
The store and its sync
Connectors and credentials
Runs, pipelines and derive
Reading and memory
Authority and enforcement
Visibility, disclosure and accountability
Operator surfaces
Assurance
Corpus law
Deployment
AWS Fargate reference deployment
Cloudflare demo
Topics
Concurrent writers
Contracts
00
Corpus law
01
System topology
10
The store and its sync
11
Snapshot corpora
12
Time bounds
13
Replicas
14
Unpushed runs
15
Bucket endpoints and leases
16
Bucket collection
17
Bucket manifest merges
18
Bucket pulls
20
The read face
21
Synthesized memory
30
Durable runs
31
Pipelines and the write path
32
The derive tier
40
Connectors and the built-in sources
41
Outbound credentials
42
Drive extensions
50
Admission and authority
51
Enforcement and inference placement
60
Source-faithful visibility
61
Aggregate disclosure
62
Audit, erasure and the receipt
70
Cadence, dispatch and the operator plane
71
The operator console
80
The formal model
81
Engineering gates and the quality harness
82
Consumer compatibility
83
The gate and the release tag
Cards (10)
Assurance
Authority and enforcement
Connectors and credentials
Corpus law
Visibility, disclosure and accountability
Reading and memory
Runs, pipelines and derive
The store and its sync
Operator surfaces
System topology
Terms
Glossary
Plan
Milestones
Status
Principles
P1
An unknown or ineffective name refuses by name at the earliest knowable point
P2
A refusal is typed, never reads as an empty result, and echoes only caller input
P3
A misconfigured process refuses to start; one value has one source
P4
No partial, empty or torn state reads as complete
P5
Rows are reached only through the caller's registered relation; one implementation per capability
P6
Retry only what a retry can change
P7
Gates fail the run rather than skip
P8
Clauses are addressed, status is computed from pins, and rationale lives in records
Contract ADRs
A-assurance
Assurance decisions
A-authority
Authority and enforcement decisions
A-connector
Connectors and credentials decisions
A-corpus
Corpus grammar decisions
A-disclosure
Visibility, disclosure and accountability decisions
A-read
Reading and memory decisions
A-run
Runs, pipelines and derive decisions
A-store
The store and its sync decisions
A-surface
Operator surfaces decisions
A-topology
System topology decisions
Topics
Concurrent writers