tdln-ast 0.1.1

TDLN — canonical AST for deterministic, proof-carrying translation (NL/DSL → Logical Atom).
Documentation

tdln-ast

docs.rs license MSRV

Canonical AST for TDLN — deterministic, proof-carrying translation of NL/DSL into a Logical Atom.

use tdln_ast::SemanticUnit;

let su = SemanticUnit::from_intent("Turn on the lights in the kitchen");
let cid = su.cid_blake3(); // BLAKE3 of canonical bytes
  • Deterministic canonical bytes (sorted keys)
  • CID = BLAKE3(canonical_bytes)
  • json-atomic can be enabled via feature for strict canonicalization