# Dependency Graph

Generated from `docs/crates.toml` -- do not hand-edit; regenerate with
`python3 tools/gen_dependency_graph.py` if the registry changes.

Validated acyclic and free of forbidden ISA-to-storage/network edges by
`tools/check_workspace.py` (see its output in `docs/BUILD_MATRIX.md`).

## Foundation (8)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl-bitops` | `jxcl-types` | *(none)* |
| `jxcl-bytes` | `jxcl-errors`, `jxcl-endian` | *(none)* |
| `jxcl-config` | `jxcl-errors` | *(none)* |
| `jxcl-constants` | *(none)* | *(none)* |
| `jxcl-endian` | *(none)* | *(none)* |
| `jxcl-errors` | `jxcl-types` | *(none)* |
| `jxcl-logging` | *(none)* | `tracing`, `tracing-subscriber` |
| `jxcl-types` | *(none)* | *(none)* |

## ISA (12)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl` | `jxcl-opcodes`, `jxcl-registers`, `jxcl-flags`, `jxcl-operands`, `jxcl-instructions`, `jxcl-encoding`, `jxcl-decoding`, `jxcl-alu`, `jxcl-memory`, `jxcl-machine`, `jxcl-execution`, `jxcl-control`, `jxcl-binary`, `jxcl-instruction-validation`, `jxcl-assembler`, `jxcl-disassembler`, `jxcl-debugger`, `jxcl-cli` | *(none)* |
| `jxcl-decoding` | `jxcl-instructions`, `jxcl-bitops`, `jxcl-endian`, `jxcl-bytes`, `jxcl-errors` | *(none)* |
| `jxcl-encoding` | `jxcl-instructions`, `jxcl-bitops`, `jxcl-endian`, `jxcl-bytes`, `jxcl-errors` | *(none)* |
| `jxcl-flags` | `jxcl-types` | *(none)* |
| `jxcl-instruction-validation` | `jxcl-instructions`, `jxcl-operands`, `jxcl-registers`, `jxcl-errors` | *(none)* |
| `jxcl-instructions` | `jxcl-opcodes`, `jxcl-operands` | *(none)* |
| `jxcl-isa-metadata` | `jxcl-constants`, `jxcl-opcodes` | *(none)* |
| `jxcl-isa-schema` | `jxcl-opcodes`, `jxcl-constants`, `jxcl-registers`, `jxcl-flags` | `serde` |
| `jxcl-isa-versioning` | `jxcl-constants` | *(none)* |
| `jxcl-opcodes` | `jxcl-types`, `jxcl-constants` | *(none)* |
| `jxcl-operands` | `jxcl-types`, `jxcl-registers` | *(none)* |
| `jxcl-registers` | `jxcl-types`, `jxcl-constants` | *(none)* |

## Execution (10)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl-alu` | `jxcl-types`, `jxcl-flags`, `jxcl-errors` | *(none)* |
| `jxcl-branch` | `jxcl-types`, `jxcl-operands` | *(none)* |
| `jxcl-control` | `jxcl-types`, `jxcl-flags`, `jxcl-registers` | *(none)* |
| `jxcl-cycle-model` | `jxcl-opcodes` | *(none)* |
| `jxcl-dispatch` | `jxcl-instructions`, `jxcl-opcodes` | *(none)* |
| `jxcl-exceptions` | `jxcl-types`, `jxcl-errors` | *(none)* |
| `jxcl-execution` | `jxcl-machine`, `jxcl-alu`, `jxcl-control`, `jxcl-decoding`, `jxcl-memory`, `jxcl-dispatch`, `jxcl-exceptions`, `jxcl-load-store`, `jxcl-errors` | *(none)* |
| `jxcl-interrupts` | `jxcl-flags`, `jxcl-exceptions` | *(none)* |
| `jxcl-machine` | `jxcl-registers`, `jxcl-flags`, `jxcl-types` | *(none)* |
| `jxcl-pipeline` | `jxcl-instructions`, `jxcl-cycle-model` | *(none)* |

## Memory (8)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl-address-space` | `jxcl-memory`, `jxcl-types` | *(none)* |
| `jxcl-cache-model` | `jxcl-memory`, `jxcl-address-space` | *(none)* |
| `jxcl-heap` | `jxcl-address-space`, `jxcl-load-store`, `jxcl-exceptions` | *(none)* |
| `jxcl-load-store` | `jxcl-memory`, `jxcl-endian`, `jxcl-exceptions` | *(none)* |
| `jxcl-memory` | `jxcl-types`, `jxcl-errors`, `jxcl-endian` | *(none)* |
| `jxcl-memory-map` | `jxcl-address-space`, `jxcl-constants` | *(none)* |
| `jxcl-page-table` | `jxcl-address-space`, `jxcl-exceptions` | *(none)* |
| `jxcl-stack` | `jxcl-load-store`, `jxcl-exceptions`, `jxcl-registers` | *(none)* |

## Binary/Toolchain (12)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl-assembler` | `jxcl-lexer`, `jxcl-parser`, `jxcl-object`, `jxcl-symbols`, `jxcl-relocations`, `jxcl-encoding`, `jxcl-instructions`, `jxcl-linker`, `jxcl-debug-info` | *(none)* |
| `jxcl-binary` | `jxcl-bytes`, `jxcl-endian`, `jxcl-errors`, `jxcl-isa-versioning` | *(none)* |
| `jxcl-cli` | `jxcl-assembler`, `jxcl-disassembler`, `jxcl-loader`, `jxcl-simulator`, `jxcl-debugger`, `jxcl-isa-metadata`, `jxcl-instruction-validation`, `jxcl-config`, `jxcl-logging` | *(none)* |
| `jxcl-debug-info` | `jxcl-symbols`, `jxcl-bytes` | *(none)* |
| `jxcl-disassembler` | `jxcl-decoding`, `jxcl-instructions`, `jxcl-symbols`, `jxcl-debug-info` | *(none)* |
| `jxcl-lexer` | `jxcl-errors` | *(none)* |
| `jxcl-linker` | `jxcl-object`, `jxcl-symbols`, `jxcl-relocations`, `jxcl-binary`, `jxcl-errors` | *(none)* |
| `jxcl-loader` | `jxcl-binary`, `jxcl-memory-map`, `jxcl-memory`, `jxcl-errors` | *(none)* |
| `jxcl-object` | `jxcl-bytes`, `jxcl-symbols`, `jxcl-relocations`, `jxcl-errors` | *(none)* |
| `jxcl-parser` | `jxcl-lexer`, `jxcl-instructions`, `jxcl-operands`, `jxcl-errors` | *(none)* |
| `jxcl-relocations` | `jxcl-symbols`, `jxcl-encoding`, `jxcl-bitops` | *(none)* |
| `jxcl-symbols` | `jxcl-types` | *(none)* |

## Debug/Simulation (8)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl-debugger` | `jxcl-machine`, `jxcl-execution`, `jxcl-trace` | *(none)* |
| `jxcl-determinism` | `jxcl-machine`, `jxcl-memory` | *(none)* |
| `jxcl-fuzz` | `jxcl-decoding`, `jxcl-instructions` | *(none)* |
| `jxcl-golden` | `jxcl-simulator`, `jxcl-assembler` | `serde` |
| `jxcl-profiler` | `jxcl-trace`, `jxcl-cycle-model`, `jxcl-cache-model` | *(none)* |
| `jxcl-replay` | `jxcl-trace`, `jxcl-machine`, `jxcl-determinism` | *(none)* |
| `jxcl-simulator` | `jxcl-loader`, `jxcl-machine`, `jxcl-execution`, `jxcl-memory-map` | *(none)* |
| `jxcl-trace` | `jxcl-machine`, `jxcl-instructions` | *(none)* |

## Hardware/RTL (8)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl-hardware` | `jxcl-rtl`, `jxcl-verilog`, `jxcl-vhdl`, `jxcl-netlist`, `jxcl-synthesis` | *(none)* |
| `jxcl-hardware-test` | `jxcl-hardware`, `jxcl-isa-schema` | *(none)* |
| `jxcl-hdl` | `jxcl-types` | *(none)* |
| `jxcl-netlist` | `jxcl-hdl` | *(none)* |
| `jxcl-rtl` | `jxcl-hdl`, `jxcl-opcodes`, `jxcl-constants`, `jxcl-alu` | *(none)* |
| `jxcl-synthesis` | `jxcl-hdl`, `jxcl-netlist` | *(none)* |
| `jxcl-verilog` | `jxcl-hdl` | *(none)* |
| `jxcl-vhdl` | `jxcl-hdl` | *(none)* |

## Cryptography (10)

| Crate | Depends on | External deps |
|---|---|---|
| `pq-aead` | *(none)* | `aes-gcm` |
| `pq-attestation` | `pq-envelope`, `pq-proof-types` | *(none)* |
| `pq-crypto` | `pq-kem`, `pq-kdf`, `pq-aead`, `pq-envelope`, `pq-keyring`, `pq-rotation` | *(none)* |
| `pq-envelope` | `pq-kem`, `pq-kdf`, `pq-aead` | *(none)* |
| `pq-kdf` | *(none)* | `hkdf`, `sha2` |
| `pq-kem` | *(none)* | `ml-kem` |
| `pq-keyring` | `pq-envelope` | *(none)* |
| `pq-policy` | `jxcl-errors` | *(none)* |
| `pq-rotation` | `pq-keyring` | *(none)* |
| `pq-signature` | *(none)* | `ml-dsa` |

## Storage/Data (7)

| Crate | Depends on | External deps |
|---|---|---|
| `pq-cache` | `pq-storage`, `pq-envelope`, `pq-keyring` | `redis` |
| `pq-journal` | `jxcl-bytes` | *(none)* |
| `pq-ledger` | `pq-journal`, `pq-proof-types` | *(none)* |
| `pq-migration` | *(none)* | `tiberius` |
| `pq-object-store` | `pq-storage`, `pq-envelope` | *(none)* |
| `pq-sql-vault` | `pq-storage`, `pq-envelope`, `pq-keyring`, `pq-migration` | `tiberius` |
| `pq-storage` | `pq-envelope` | *(none)* |

## Zero-Knowledge/Proof (5)

| Crate | Depends on | External deps |
|---|---|---|
| `pq-error-proof` | `pq-proof-types` | `ark-bls12-381`, `ark-ed-on-bls12-381`, `ark-groth16`, `ark-r1cs-std`, `ark-relations`, `ark-serialize`, `ark-snark`, `ark-std`, `sha2` |
| `pq-proof-bench` | `pq-proof-registry`, `pq-error-proof` | `criterion` |
| `pq-proof-registry` | `pq-proof-types` | *(none)* |
| `pq-proof-types` | *(none)* | *(none)* |
| `pq-proof-verifier` | `pq-proof-types`, `pq-proof-registry` | *(none)* |

## Network/Service (7)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl-http` | `jxcl-errors` | `axum`, `reqwest` |
| `jxcl-network` | `jxcl-errors` | *(none)* |
| `jxcl-protocol` | `jxcl-simulator`, `jxcl-trace` | `serde` |
| `jxcl-rpc` | `jxcl-protocol`, `jxcl-network` | `tokio` |
| `jxcl-runtime` | `jxcl-config` | `tokio` |
| `jxcl-service` | `jxcl-http`, `jxcl-logging`, `jxcl-config` | *(none)* |
| `photo-cache-service` | `jxcl-service`, `jxcl-http`, `jxcl-network`, `pq-cache`, `pq-policy`, `pq-crypto` | `axum`, `reqwest`, `tokio` |

## Security/Observability/Integration (5)

| Crate | Depends on | External deps |
|---|---|---|
| `jxcl-audit` | `jxcl-logging` | *(none)* |
| `jxcl-conformance` | `jxcl-isa-schema`, `jxcl-hardware`, `jxcl-golden` | *(none)* |
| `jxcl-integration` | `jxcl-assembler`, `jxcl-simulator`, `pq-cache`, `pq-error-proof` | *(none)* |
| `jxcl-observability` | `jxcl-logging` | *(none)* |
| `jxcl-security` | `jxcl-errors` | *(none)* |

## Layering (high level)

```
                  applications
            (jxcl-cli, photo-cache-service)
                        |
                     services
        (jxcl-service, jxcl-rpc, jxcl-integration)
                        |
              integration / runtime
     (jxcl-simulator, jxcl-protocol, jxcl-runtime)
                        |
     crypto / storage / proof / network primitives
 (pq-*, jxcl-network, jxcl-http -- isolated from ISA internals)
                        |
              ISA / execution kernel
  (jxcl-execution, jxcl-memory, jxcl-assembler, jxcl-hardware, ...)
                        |
                    primitives
      (jxcl-types, jxcl-errors, jxcl-bitops, jxcl-endian, ...)
```

Enforced mechanically: no crate in `foundation`, `isa`, `execution`,
`memory`, `toolchain`, `debug`, or `hardware` may depend on a crate in
`storage` or `network` (`tools/check_workspace.py`'s
`check_forbidden_edges`). Crypto/proof crates depend only on
`std` + audited crates.io crates, never on service-layer crates.