isl-lang.org / spec

ISL Specification

The normative specification for Intent Specification Language v0.1. All sections below are part of the ISL-Core conformance level unless marked otherwise.

Current version: v0.1 | /spec/v0.1 | /spec/latest (redirects here)

01 Grammar

EBNF grammar defining the syntax of ISL intent blocks, annotations, and constraint expressions.

→

02 Semantics

Operational semantics: how ISL constraints are evaluated, what constitutes a violation, and the error model.

→

03 Conformance external

Conformance levels (ISL-Core, ISL-Full) and the test suite that implementations must pass.

→

04 RFC Process external

How to propose changes to the ISL specification. Includes RFC template and review criteria.

→

Source

The authoritative specification source lives at github.com/isl-lang/spec . The initial commit de8b19ce (2026-01-31) establishes authorship.