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 Supplement

Extended specification covering advanced features: modifier layering, namespace conventions, tension networks, serialization formats (JSON, JSON-LD, RDF/Turtle).

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 →

Quick Reference

Minimal valid statement: [Source] -> [Target]. Recommended: add ::mod(confidence=, source=, time=). Complete: add rule=, strength=, author=, timestamp=, domain=.

Quick Reference

Minimal Valid Statement

[Source] -> [Target]

Recommended (Factual)

[Source] -> [Target] ::mod(
  confidence=0.85,
  source="reference",
  time="2026-02-17"
)

Complete (All Dimensions)

[Source] -> [Target] ::mod(
  rule="causal",
  confidence=0.90,
  strength=0.85,
  time="2026-02-17T14:00:00Z",
  source="doi:10.1234/ref",
  author="AuthorName"
)