# 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
```