ECL-1 resources
Version 1.0 is publicly available. The repository, release files and formal models are open to inspect.
Source and participation
- The public repository
- Issues and Discussions
- Working-group participation and the current contact and schedule information
Version 1.0 release
The immutable GitHub release was made public on 5 November 2026. The released specification and citation metadata retain their own 2 November issue date.
- Complete release package (ZIP)
- Release manifest and SHA-256 checksums
- Python verifier SBOM and TypeScript verifier SBOM
The release package is cryptographically unsigned. A matching digest checks byte agreement, not publisher authentication. The GitHub release’s provenance information is a separate mechanism.
Formal methods
Why ECL-1 uses TLA+ and Tamarin explains the design questions, worked examples, recorded checks and their limits. The published models include the exact configurations, results and reproduction instructions.
Items still pending
- First working-session dates and actual meeting records have not been announced.
- No PyPI or npm distribution is designated here. Use the Version 1.0 package and its documented local setup.
- Canonical schema/registry endpoints and Go module discovery are not activated by this website update. Use the release schemas and registries.