tdln-ast

Crates.iotdln-ast
lib.rstdln-ast
version0.1.1
created_at2026-01-09 20:29:00.101636+00
updated_at2026-01-10 16:06:16.643489+00
descriptionTDLN — canonical AST for deterministic, proof-carrying translation (NL/DSL → Logical Atom).
homepagehttps://logline.foundation
repositoryhttps://github.com/LogLine-Foundation/logline-workspace
max_upload_size
id2032781
size21,766
(danvoulez)

documentation

https://docs.rs/tdln-ast

README

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
Commit count: 14

cargo fmt