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