---
vault_clearance: APOLLYON
halo:
  classification: CLASSIFIED
  confidence: MEDIUM
  front: "06_Project_Daemon"
  custodian: "The Architect"
  created: 2026-03-27
  updated: 2026-03-27
  wing: LOCKED
  containment: "FORM — abstract paradigm map only; no operational export"
---
# FORM — Formalized Operational Reasoning Machine

**BOOK:** [BOOK.md](BOOK.md) — internal evidence index; external DOIs only with release-gate approval.

> **F**ormalized **O**perational **R**easoning **M**achine.
> Compare black-box stochastic “reasoning” vs **deterministic, inspectable** constraint graphs — at the level of **lab posture**, not implementation detail.

---

## The Two Paradigms

### Orthodox (opaque neural stacks)
- **Philosophy:** Learn patterns; approximate; scale; hope evaluation catches failures.
- **Free parameters:** Billions; training data; prompt scaffolding; hidden tool policies.
- **Output:** Fluent — boundary between *known* and *unknown* often unclear.
- **Audit:** Statistical; rarely structural.

### Daemon (ours — public-facing description only)
- **Philosophy:** **The daemon computes. It does not predict.** Algebraic graph; deterministic evaluation; Jacobians for perturbation; explicit “what if” overlays (*haunt*) without mutating ground state.
- **Free parameters:** Graph topology + axioms as **chosen** — not fitted per query.
- **Output:** Exact values from stated assumptions; traceable dependency edges.
- **Audit:** Topological sort, reproducible numbers, stress tests on named graphs.

> **Containment:** No code excerpts, graph names beyond public README, or deployment paths in this file. O5 posture unchanged.

---

## Head-to-Head (Abstract)

| Axis | Orthodox ML | Daemon posture |
|------|-------------|----------------|
| **Truth claim** | Statistical confidence | Algebraic equality at nodes |
| **Counterfactual** | Prompted speculation | Jacobian-weighted propagation |
| **Failure** | Hallucination / drift | Constraint violation / cycle |
| **Externalization risk** | Model weights | **APOLLYON/THAUMIEL — no public release** |

---

## The Murder Board — Where Orthodox Fails (for *our* goals)

1. **Uninspectable chains** — cannot show *why* a number moved.
2. **Moving stochasticity** — same question, different sample path.
3. **Sovereignty** — weights hosted elsewhere; graph can live on your disk.
4. **Moral confusion** — anthropomorphized “beliefs” instead of stated unknowns.

**Daemon countermove:** Graph as **inspectable mind** — bounded, honest, deterministic.

---

## What We Take From Orthodox (Honestly)

| From ML / AD ecosystem | Why | Into Daemon how |
|------------------------|-----|-----------------|
| **Automatic differentiation** | Efficient sensitivities | Conceptual kin to Jacobian edges — implementation elsewhere |
| **Graph DSLs** | Structure | Import graph as code discipline (public README level) |
| **Benchmark culture** | Regression | `_test_*` and stress patterns as lab norm |

---

## The Proof: Concrete Comparisons (Internal Only)

Run only on cleared graphs inside the vault; **no** logs in git from this FORM file.

1. Same graph file → same numeric output bit-for-bit.
2. Haunt overlay → downstream deltas match Jacobian finite-difference tolerance.
3. Stress suite → named failure modes documented on board.

---

## Expected Result

- **Orthodox** wins **open-world fluency**.
- **Daemon** wins **lawful structure, counterfactual hygiene, and sovereign execution** — at the cost of staying **classified**.

They answer different questions:
- **Orthodox:** “What sounds right next?”
- **Daemon:** “Given these axioms, what is forced — and what is not yet forced?”

---

## FORM — Final Assessment

Daemon is **not** the recorder ([03](../03_Project_Technomancer/README.md)) and **not** the warp ([08](../08_Project_Astronomicon/README.md)). It is **structured, deterministic knowledge** — dangerous if externalized, invaluable if contained.

---

*FORM — Formalized Operational Reasoning Machine. Know the boundary between known and unknown.*