File size: 2,898 Bytes
80d7559 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 | # CARRY — Adversarial Twin of CARTO
**Architecture:** CURRY_CRYSTAL_C3 Triad
**Memory Model:** Explicit Arena
**Interface:** C ABI Native
**Author:** Ahmad <ahmedparr93@gmail.com>
---
## Relationship to CARTO
CARTO maps the legal terrain with a 5-state fabric FSM (Idle → EnginesAttached → AuditReady → SummonsOpen → MetaLawyerActive → WormSealed).
CARRY is the adversarial twin. Same lineage, different spine:
| Dimension | CARTO | CARRY |
|---|---|---|
| States | 6 (linear fabric) | 7 (DAG-locked pipeline) |
| Layers | Prolog / COBOL / REXX | Curry / Crystal / C3 |
| Memory | implicit | explicit arena (S5) |
| Interface | JS envelope | C ABI native |
| Entropy gate | none | ≤ 0.20 per transition |
| Trust model | engine attach | active ⟹ trusted (NAND-derived) |
| Proof | WORM seal | deterministic compilation proof (V1/V2/V3) |
---
## DAG Pipeline
```
N1 🧠Input (Curry_Strategy)
↓ R1: FFI_C_ABI → layer becomes Crystal
N2 📚Memory (Crystal_Orchestration)
↓ R2: Native_Binding → layer becomes C3
N3 🔍Retrieval (C3_Binding)
↓
N4 ⚙Transform (SIMD_Vectorization)
↓
N5 ⚖Constraint (C_ABI_Verification)
↓
N6 🔐Proof (Deterministic_Latency)
↓
N7 🌐Output (Hardware_Execution) ← terminal
```
Layer transformations fire automatically on the N1→N2 and N2→N3 edges. Every other edge stays on C3.
---
## Entropy Gate
Every transition is blocked if `entropy > 0.20`. This enforces constraints C4 and V2 at the FSM level — not just as documentation. Pass entropy as a float on every event call.
---
## Trust Predicates
- C1: `OR(NOT(active(S1)), trusted(S1))` — Curry layer
- C2: `OR(NOT(active(S2)), trusted(S2))` — Crystal layer
- C3: `OR(NOT(active(S3)), trusted(S3))` — C3 layer
- **V1: `EQUAL(active(S3), trusted(S3))`** — C3 is the only layer where active equals trusted (not merely implied). This is the proof anchor.
---
## Runtime Files
| File | Purpose |
|---|---|
| `runtime/carry-fsm.rs` | Rust FSM — full 7-state DAG with arena, entropy gate, R1/R2 |
| `runtime/carry-engine.mjs` | JS runtime — same logic, CLI smoke-test included |
| `kernels/carry-kernel.pl` | Prolog kernel — declarative transition table + guards |
| `logic/constraint-graph.xml` | Original constraint graph (Ahmad's spec, verbatim) |
| `modules/carry-manifest.json` | Full manifest with layers, DAG, rules, proof conditions |
---
## Smoke Test
```bash
node carry-agent/runtime/carry-engine.mjs
```
Expected output:
```
CARRY FSM — DETERMINISTIC_COMPILATION_COMPLETE
Architecture: CURRY_CRYSTAL_C3_TRIAD
Memory Model: EXPLICIT_ARENA
Interface: C_ABI_NATIVE
[INPUT] e=0.110 layer=crystal → memory CARRY_INIT
R1 curry→crystal via FFI_C_ABI
...
Final state: output
Arena slots: 7
```
|