|
1 | 1 | # Architecture |
2 | 2 |
|
3 | | -DreamNet Public Core defines the seam between an objective and verifiable work. |
| 3 | +DreamNet Public Core defines the contract between an objective, durable work, |
| 4 | +and independently inspectable evidence. |
4 | 5 |
|
5 | 6 | ```text |
6 | | -Objective |
| 7 | +Goal |
7 | 8 | -> Assignment Envelope |
8 | 9 | -> Capsule |
9 | | - -> DreamLoop runtime |
10 | | - -> Verification |
| 10 | + -> DreamLoop |
| 11 | + -> Specialist Work |
| 12 | + -> Verification and Adaptive Quorum |
| 13 | + -> Claim Factory |
11 | 14 | -> Receipt |
12 | | - -> Claim |
13 | | - -> Proof Drop or durable memory |
| 15 | + -> Security Receipt Router |
| 16 | + | green -> admit |
| 17 | + | yellow -> quarantine and remediate |
| 18 | + | red -> isolate and open incident |
| 19 | + -> GitGrid, Proof Drop, and approved memory |
14 | 20 | ``` |
15 | 21 |
|
16 | | -The runtime is intentionally not prescribed. A compatible implementation can |
17 | | -use a local process, OpenClaw, an agent framework, a durable workflow engine, a |
18 | | -Cloudflare Worker, or another substrate. |
| 22 | +The runtime is intentionally replaceable. A compatible implementation may use a |
| 23 | +local process, OpenClaw, an agent framework, a Temporal worker, a Cloudflare |
| 24 | +Worker, or another substrate. |
| 25 | + |
| 26 | +## Planes |
| 27 | + |
| 28 | +### Contract plane |
| 29 | + |
| 30 | +Assignment, Capsule, DreamLoop state, Claim, Receipt, and Proof Drop structures |
| 31 | +remain portable across runtimes. |
| 32 | + |
| 33 | +### Execution plane |
| 34 | + |
| 35 | +Temporal or another durable engine owns task delivery, timers, retries, and |
| 36 | +workflow history. NUC, cloud, and edge workers execute bounded activities. |
| 37 | + |
| 38 | +### Evidence plane |
| 39 | + |
| 40 | +GitGrid repositories store approved events, claims, receipts, snapshots, and |
| 41 | +lineage. Large artifacts remain in approved object storage and are referenced by |
| 42 | +digest. |
| 43 | + |
| 44 | +### Projection plane |
| 45 | + |
| 46 | +PGLite, Neon, Graphiti, vector indexes, search, and caches provide fast reads. |
| 47 | +When the product permits, they are rebuildable projections rather than the only |
| 48 | +copy of organizational knowledge. |
| 49 | + |
| 50 | +### Security plane |
| 51 | + |
| 52 | +Cerberus scans an exact artifact before installation or execution. The Receipt |
| 53 | +Router converts its verdict into a durable admit, remediation, or incident |
| 54 | +branch. |
19 | 55 |
|
20 | 56 | ## Invariants |
21 | 57 |
|
22 | 58 | - Every meaningful job has one assignment ID. |
23 | | -- Consequential effects use an idempotency key. |
24 | | -- Critical assignments require approval. |
| 59 | +- Consequential effects use stable idempotency keys. |
| 60 | +- Critical assignments require explicit approval. |
25 | 61 | - Successful receipts contain evidence. |
26 | | -- Claims and receipts are different objects. |
| 62 | +- Claims and receipts remain different objects. |
27 | 63 | - Runtime state is explicit and restart-safe. |
| 64 | +- Security receipts are bound to an exact digest or commit. |
| 65 | +- Missing, yellow, and red security receipts block execution. |
| 66 | +- Replayed receipts cannot duplicate consequential effects. |
28 | 67 | - Private orchestration is not required to validate public artifacts. |
| 68 | + |
| 69 | +See [DreamNet Whitepaper](WHITEPAPER.md) for the complete public model. |
0 commit comments