CNL Programming Language
Controlled Natural Language for Executable Meaning
Specification Matrix

The complete project index.

This page tracks every specification file in the repository, organized by category. All files are viewable directly in the browser.

1. Design Specifications (DS)

The authoritative design documents that define the language and system behavior.

ID Title / Description Path
DS01 Vision & Goals specs/DS/DS01-vision.md
DS02 Implementation Plan specs/DS/DS02-implementation-plan.md
DS03 Syntax & Grammar specs/DS/DS03-syntax-cnl.md
DS04 Semantics & Pragmatics specs/DS/DS04-semantics.md
DS05 Testing Plan specs/DS/DS05-testing-plan.md
DS06 Evaluation Suite specs/DS/DS06-evaluation-suite.md
DS07 Error Handling specs/DS/DS07-error-handling.md
DS08 Conceptual IDs specs/DS/DS08-conceptual-ids.md
DS09 Compiled Knowledge Base specs/DS/DS09-compiled-kb.md
DS10 AST to KB Compilation specs/DS/DS10-ast-to-kb-compilation.md
DS11 Reasoning Primitives specs/DS/DS11-reasoning-primitives.md
DS12 CNL Session API specs/DS/DS12-cnl-session.md
DS13 Base Dictionary specs/DS/DS13-base-dictionary.md
DS14 Base Theories specs/DS/DS14-base-theories.md
DS15 Compiler Contract specs/DS/DS15-compiler-contract.md
DS16 Plan IR specs/DS/DS16-plan-ir.md
DS17 Knowledge Base Explorer specs/DS/DS17-kb-explorer.md
DS18 Proof Traces (Answer + Derivation) specs/DS/DS18-proof-traces.md
DS19 Planning (Plan v1) specs/DS/DS19-planning.md
DS20 Simulation (Simulate v1) specs/DS/DS20-simulation.md
DS21 Constraint Solving (Solve v1/v2) specs/DS/DS21-constraint-solving.md
DS22 Ontology Import (RDF/RDFS/OWL subset) specs/DS/DS22-ontology-import.md
DS23 Optimization (Maximize/Minimize) specs/DS/DS23-optimization.md
DS24 Theory Consistency Checks specs/DS/DS24-theory-consistency.md
DS25 Vocabulary Renames specs/DS/DS25-vocabulary-renames.md
DS26 Deep Evaluation Suites (External Benchmarks) specs/DS/DS26-deep-evaluation-suites.md
DS27 KB Explorer UI specs/DS/DS27-kb-explorer-ui.md
DS28 KB Explorer API specs/DS/DS28-kb-explorer-api.md
DS29 KB Explorer Graph Visualization specs/DS/DS29-kb-explorer-graph.md
DS30 KB Explorer Knowledge Tree specs/DS/DS30-kb-explorer-tree.md

2. Runtime Mirrors (src)

Documentation mirroring the actual source code structure. See src/README.md.

Module Component Link
actions Store store.mjs.md
ast Nodes Schema nodes.mjs.md
compiler AST to Plan ast-to-plan.mjs.md
Compile Main compile.mjs.md
Dictionary dictionary.mjs.md
formulas Store store.mjs.md
ids Interners interners.mjs.md
kb Bitset bitset.mjs.md
Entity Attrs entity-attrs.mjs.md
KB Core kb.mjs.md
Numeric Index numeric-index.mjs.md
lexer Tokenizer tokenizer.mjs.md
parser Grammar Main grammar.mjs.md
Grammar Constants grammar/constants.mjs.md
Token Stream grammar/token-stream.mjs.md
Comparators grammar/comparators.mjs.md
Expressions grammar/expressions.mjs.md
Conditions grammar/conditions.mjs.md
Commands grammar/commands.mjs.md
Program grammar/program.mjs.md
plans Execute execute.mjs.md
IR ir.mjs.md
pragmatics Commands commands.mjs.md
provenance Justifications justifications.mjs.md
rules Store store.mjs.md
runtime Engine engine.mjs.md
Helpers engine/helpers.mjs.md
Evaluate engine/evaluate.mjs.md
Solver engine/solver.mjs.md
Clone engine/clone.mjs.md
Effects engine/effects.mjs.md
Plan engine/plan.mjs.md
Simulate engine/simulate.mjs.md
Optimize engine/optimize.mjs.md
Explain engine/explain.mjs.md
Execute engine/execute.mjs.md
Materialize engine/materialize.mjs.md
Facts engine/facts.mjs.md
Proof Traces engine/proof-traces.mjs.md
Derivation engine/derivation.mjs.md
Witness Traces engine/witness-traces.mjs.md
Rule Render engine/rule-render.mjs.md
AST Render engine/ast-render.mjs.md
session CNL Session cnl-session.mjs.md
theories Loader loader.mjs.md
Base Defaults base-defaults.mjs.md
Diagnostics diagnostics.mjs.md
Renames renames.mjs.md
validator Errors errors.mjs.md

3. Tests & Evaluations

Verification plans, unit test specs, and evaluation suites.

Category Suite / Test Link
Tests (Root) Developer Testing developer-testing.md
Unit Testing unit-testing.md
README README.md
Tests (Modules) Developer Smoke Test smoke.test.mjs.md
Lexer Tokenizer tokenizer.test.mjs.md
Parser Grammar grammar.test.mjs.md
Pragmatics Commands commands.test.mjs.md
Validator Errors errors.test.mjs.md
Evaluations README README.md
Parsing Basic Cases parsing/basic.cases.md
Planning Basic Cases planning/basic.cases.md
Reasoning Basic Cases reasoning/basic.cases.md
Solve Basic Cases solve/basic.cases.md