bsl-lang

Behavioral Specification Language toolkit: parser, validator, formatter, linter

Part of the AumOS open-source agent infrastructure portfolio.

Features

• Formal EBNF grammar for agent behavior specifications — behavior, invariant, degrades_to, and composition blocks with must/must_not/should/may modal constraints
• Hand-written recursive-descent parser that produces a typed AST (AgentSpec, BehaviorDecl, InvariantDecl, and expression nodes) with source-span tracking
• Semantic validator with configurable rule sets and strict mode that promotes warnings to errors for CI gating
• AST serializer with round-trip JSON Schema output so specs can be consumed by external tooling
• Canonical formatter that enforces clause ordering within behavior and invariant blocks, preserving comments
• Linter with naming, completeness, and consistency rule sets (extensible via custom rule callables)
• CLI with validate, fmt, lint, and diff subcommands for use in pre-commit hooks and CI pipelines

Quick Start

Install from PyPI:

pip install bsl-lang

Verify the installation:

bsl-lang version

Basic usage:

import bsl

# See examples/01_quickstart.py for a working example

Documentation

• Architecture
• Contributing
• Changelog
• Examples

Enterprise Upgrade

For production deployments requiring SLA-backed support and advanced integrations, contact the maintainers or see the commercial extensions documentation.

Contributing

Contributions are welcome. Please read CONTRIBUTING.md before opening a pull request.

License

Apache 2.0 — see LICENSE for full terms.

Part of AumOS — open-source agent infrastructure.