lacelang-validator (python)

Canonical Python validator for Lace — the reference implementation with 100% spec conformance.

This is the validator that the Lace specification is developed and tested against. All error codes, AST schemas, and validation rules are verified against this implementation before each spec release.

This package only parses and validates .lace source text. It has no HTTP client and does not execute probes. The runtime and its network surface live in the separate lacelang-executor package, per lace-spec.md §16.

Why split

Integrators that want syntax / semantic checking in a CI job, IDE extension, or block editor shouldn't have to pull in an HTTP stack, TLS, cookie state, or an extension dispatcher. Installing lacelang-validator alone gives a clean audit surface with zero network exposure.

Install

pip install lacelang-validator

Or from source:

pip install git+https://github.com/tracedown/lacelang-python-validator.git

Usage

# Parse → emit AST, or { errors: [...] } on syntax failure
lacelang-validate parse script.lace

# Validate → emit { errors: [...], warnings: [...] }
lacelang-validate validate script.lace \
    --vars-list vars.json \
    --context context.json

# With an extension's field/function registrations active
lacelang-validate validate script.lace \
    --enable-extension laceNotifications

# Pretty-print any subcommand
lacelang-validate parse script.lace --pretty

Exit code is always 0 on successful processing. Parse and validation errors are reported in the JSON body. Non-zero exit codes are reserved for tool failures (unreadable source file, malformed arguments).

Library usage

from lacelang_validator.parser import parse
from lacelang_validator.validator import validate

ast = parse(open("script.lace").read())
diagnostics = validate(
    ast,
    variables=["url"],
    context={"maxRedirects": 10, "maxTimeoutMs": 300_000},
)
for err in diagnostics.errors:
    print(err.code, err.call_index, err.field)

License

Apache License 2.0

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

lacelang_validator-0.1.4.tar.gz (28.1 kB view details)

Uploaded Aug 20, 2026 Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

lacelang_validator-0.1.4-py3-none-any.whl (24.9 kB view details)

Uploaded Aug 20, 2026 Python 3

File details

Details for the file lacelang_validator-0.1.4.tar.gz.

File metadata

Download URL: lacelang_validator-0.1.4.tar.gz
Upload date: Aug 20, 2026
Size: 28.1 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for lacelang_validator-0.1.4.tar.gz
Algorithm	Hash digest
SHA256	`3ec5d7feb1db38c7ad33c82579529c5faad3382ad4b83e21a36e62aa083bbed5`
MD5	`0b8afa06cd408dd80b7fb48700aa9f8e`
BLAKE2b-256	`21d7d34f0d648938736dba5361846fd7ab1891a7b62331216ae4d5e29d48b8d0`

See more details on using hashes here.

Provenance

The following attestation bundles were made for lacelang_validator-0.1.4.tar.gz:

Publisher: release.yml on tracedown/lacelang-python-validator

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: lacelang_validator-0.1.4.tar.gz
- Subject digest: 3ec5d7feb1db38c7ad33c82579529c5faad3382ad4b83e21a36e62aa083bbed5
- Sigstore transparency entry: 2528166242
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: tracedown/lacelang-python-validator@58798bc7970af992e12548e30edb3be35cdf67e8
- Branch / Tag: refs/heads/main
- Owner: https://github.com/tracedown
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@58798bc7970af992e12548e30edb3be35cdf67e8
- Trigger Event: push