Natural Language to Auditable State Graphs: A Sense-Indexed Lexicon Architecture for Transparent Reasoning

This preprint proposes a sense-indexed lexicon architecture for compiling bounded, grammatically regular natural-language descriptions into auditable state graphs. The architecture treats word forms as observations and sense identifiers as executable meaning commitments; domain packs are specialized dictionary scopes rather than hidden procedural rule bundles. Unknown meanings, unresolved ambiguity, missing variables, and contradictions produce structured pause requests, and human completions are stored as session-local semantic extensions with provenance. The preprint reports prototype-level evidence from backend regression checks and a controlled NVIDIA-derived financial-report demo covering lexical scanning, domain ranking, pause-and-resume completion, semantic IR compilation, state-graph execution, JSON traces, and a static trace figure. The claim is bounded auditable pipeline closure, not open-domain natural-language understanding. This deposit intentionally excludes backend source code, full dictionary packs, large internal UML diagrams, commercial planning material, and full historical case corpora.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-07-16
DOI
https://doi.org/10.5281/zenodo.21401537
Primary Topic
Model-Driven Software Engineering Techniques
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Natural Language to Auditable State Graphs: A Sense-Indexed Lexicon Architecture for Transparent Reasoning

yiming tao
Zenodo (CERN European Organization for Nuclear Research)
Model-Driven Software Engineering Techniques
preprint

Natural Language to Auditable State Graphs: A Sense-Indexed Lexicon Architecture for Transparent Reasoning

yiming tao
preprint en

Abstract

This preprint proposes a sense-indexed lexicon architecture for compiling bounded, grammatically regular natural-language descriptions into auditable state graphs. The architecture treats word forms as observations and sense identifiers as executable meaning commitments; domain packs are specialized dictionary scopes rather than hidden procedural rule bundles. Unknown meanings, unresolved ambiguity, missing variables, and contradictions produce structured pause requests, and human completions are stored as session-local semantic extensions with provenance. The preprint reports prototype-level evidence from backend regression checks and a controlled NVIDIA-derived financial-report demo covering lexical scanning, domain ranking, pause-and-resume completion, semantic IR compilation, state-graph execution, JSON traces, and a static trace figure. The claim is bounded auditable pipeline closure, not open-domain natural-language understanding. This deposit intentionally excludes backend source code, full dictionary packs, large internal UML diagrams, commercial planning material, and full historical case corpora.

Zenodo (CERN European Organization for Nuclear Research)
Sustainable cities and communities
Model-Driven Software Engineering Techniques
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.