Architecture Specifications
This directory contains formal engineering and architectural specifications for the ZQK Knowledge Kernel subsystem grammars, query planners, transaction execution engines, and interactive consoles.
Specification Index
ZPARQL Graph Query Language
- ZPARQL Graph Traversal Grammar: Formal EBNF grammar, pattern matching syntax, traversal algebra, and relational projection specifications.
- ZPARQL Query Planner: Query AST parsing, cost-based optimization, traversal index selection, and execution engine mechanics.
- ZPARQL Indexed Query Planner: High-performance O(1) hash index resolution and reverse-reference lookup algorithms.
- ZPARQL Result Streaming: Low-latency iterator semantics, memory-bounded batching, and chunked HTTP/JSON-RPC streaming protocol.
ZQL Declarative Mutations
- ZQL Declarative Mutation Grammar: EBNF grammar for declarative state transitions, CAS assertions, and multi-object mutations.
- ZQL Preflight Validation: Pre-commit schema checks, policy compliance verifications, and fail-closed gate evaluation.
- ZQL Transaction Execution: Two-phase commit protocol, atomic WAL logging, rollback mechanics, and crash-resilient CAS updates.
Validation & Policy Rule DSL
- Validation Rule DSL Grammar: Formal ISO/IEC 14977 EBNF grammar, AST JSON Schema (Draft 2020-12), type checking semantics, built-in predicate catalog, and Policy Rule Studio integration.
Interactive Tools & Consoles
- Object Inspector Console (SPEC-OBJECT-INSPECTOR-CONSOLE-001): Interactive terminal user interface (TUI) architecture, radar graphs, Policy Studio integration, and role-gated action palette.