Specification

The formal definition of Semantic Tension Language. Everything you need to implement STL correctly.

STL Core Specification v1.0

The foundational specification defining STL syntax, semantics, anchor types, path expressions, and the modifier system. This is the primary reference for all STL implementations.

View Specification →

STL Operational Protocol v1.0

Compiler-facing protocol for LLMs. Defines how language models should generate valid STL: anchor naming conventions, confidence calibration, mandatory fields by context, anti-patterns, and validation checklists.

View Specification →

STL Supplement

"Extended specification covering advanced features: modifier layering

Quick Reference

"Minimal valid statement: [Source] -> [Target]. Recommended: add ::mod(confidence=

Quick Reference

Minimal Valid Statement
stl-key">class="stl-anchor">[Source] stl-key">class="stl-arrow">-> stl-key">class="stl-anchor">[Target]
"Recommended (Factual
"Complete (All Dimensions