You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: spec/README.md
+10-9Lines changed: 10 additions & 9 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -16,7 +16,7 @@ the `spec/` folder defines:
16
16
17
17
## 🧭 Purpose of This Folder
18
18
19
-
The documents in this folder define the **minimum required runtime behavior** of CrypSA, including:
19
+
The documents in this folder define the **minimum required runtime behavior** of the CrypSA system, including:
20
20
21
21
* event structure and lifecycle
22
22
* validation and invariant enforcement
@@ -28,26 +28,27 @@ The documents in this folder define the **minimum required runtime behavior** of
28
28
* identity and object lifecycle
29
29
* observer ↔ validator communication
30
30
31
-
These specifications make CrypSA:
31
+
These specifications make CrypSA systems:
32
32
33
33
* implementable
34
34
* testable
35
-
* technically reviewable
35
+
* technically verifiable
36
36
37
37
They do **not** define full production systems.
38
38
39
39
---
40
40
41
41
## ⚙️ Core Runtime Principle
42
42
43
-
> Canonical truth is defined by validated canonical events — not by synchronized state.
43
+
> Canonical event history is the source of truth.
44
+
> Derived canonical state is a projection of canonical event history. It is not the source of truth.
44
45
45
46
At runtime:
46
47
47
48
* observers propose candidate events
48
49
* the validator evaluates them
49
50
* accepted events are appended to canonical event history
50
-
* derived canonical state is reconstructed via deterministic replay
51
+
* derived canonical state is reconstructed by deterministic replay of canonical event history
51
52
52
53
This model applies regardless of validator deployment:
53
54
@@ -82,10 +83,10 @@ This includes:
82
83
83
84
* event structure
84
85
* validation behavior
85
-
* canonical event handling
86
+
* canonical event lifecycle and handling
86
87
* ordering (`canonical_sequence`)
87
88
* consistency and reconciliation rules
88
-
* replay and derived state behavior
89
+
* replay and derived canonical state behavior
89
90
* snapshot behavior
90
91
* identity and minting
91
92
* transport expectations
@@ -150,7 +151,7 @@ All documents in this folder must:
150
151
151
152
If ambiguity exists:
152
153
153
-
> the Runtime Model defines final behavior
154
+
> the Runtime Model defines authoritative runtime behavior
154
155
155
156
---
156
157
@@ -243,4 +244,4 @@ These specifications are:
243
244
244
245
## One Sentence Summary
245
246
246
-
The `spec/` folder defines the authoritative runtime behavior of CrypSA—how events, validation, consistency, replay, identity, snapshots, and transport work together to produce shared canonical reality through validator-controlled canonical event history.
247
+
The `spec/` folder defines the authoritative runtime behavior of CrypSA—how events, validation, consistency, replay, identity, snapshots, and transport work together to produce shared canonical reality defined by canonical event history.
0 commit comments