Skip to content

Main NavigationHome

A tour of the language

1. Define the input

2. Write policies

3. Export the kind

4. Check, evaluate and test

5. Share rules across teams

6. See what a policy adds up to

7. Require guardrails

Writing policies

Per-team policies

Common patterns

Test your policies

Check policies in CI

Ship policies as a binary

Embedding in Go

Embed Sigil in a Go service

Handle failed evaluations

Policies in a ConfigMap

Build a host binary

Build policies in Go

Evolve a kind safely

Use a kind from another Go service

The example service

Embedding in other languages

Embed Sigil in TypeScript

Embed Sigil in Rust

Editors

Set up your editor

Why the language looks like this

Kinds as contracts

Decisions and reasons

Why rule order never matters

Asserts and decisions

Strict schema, forgiving data

Halting by construction

Composition without templating

Bundles and trust

Facts, vocabulary and rules

One engine for every host

How compile works

Language

Lexical structure

Evaluation semantics

Tooling

Configuration file

Go host

Other hosts

WebAssembly module

Planned designs

Discuss the design (Open in new window)

Appearance

Playground

Run Sigil in your browser, compiled to WebAssembly. Nothing you type leaves the page.

Impressum - Datenschutz - Powered by VuePress

© 2026 Cedric Specht - Specht Labs