v0.6.0 — milestone 3

v0.6.0 — Structured A1 language · Developer Preview

M2 makes the language useful for small, bounded domain-data transformations.
It remains a developer preview, not a formally verified general-purpose
language or a fully autonomous Software Factory.

Included

• Nominal immutable records and closed variants with exhaustive matching.
• Option<T> and Result<T,E> built from the general variant machinery.
• Named non-recursive functions, explicit Nat refinement evidence and an
  acyclic call graph.
• Deterministic, used-only and budgeted specialization of explicit generic
  type and capacity parameters.
• List<T,N> with explicit capacity failure and optional indexing.
• Text<N> bounded by UTF-8 bytes, with distinct byte/codepoint operations,
  no implicit normalization or trim, and scalar-safe prefixes.
• Canonical a1-ir-v1, a deterministic reference interpreter, versioned
  structural checker evidence and an independent certificate checker.
• Standalone JavaScript target emission and differential execution tests for
  two consumers over two nominal records and capacities.

Try it

The installed llmlang command exposes check-a1, run-a1 and emit-a1.
Each command accepts canonical JSON A1 IR. check-a1 can write a certificate;
run-a1 executes only after a fresh successful check; emit-a1 writes a
standalone JavaScript program for the selected entry and inputs.

Assurance boundary

proved means the independent checker reconstructed the exact versioned A1
structural and supported local-contract evidence bound to the canonical module
hash. It does not prove the Python checker, the JavaScript runtime or arbitrary
business intent. Reference/target agreement is tested separately and is never
reported as proof. General recursion, dynamic dispatch, mutation, unbounded
collections and implicit null are rejected.

P0, w1, w2 and pkg1 remain frozen by compatibility tests. The A1 implementation
is additive; the historical web artifact identity remains web.0.4.0.

Release gates

Publication requires every M2 issue closed as completed, complete Python
3.12/3.13 CI, Ruff, strict Mypy, installed-wheel CLI smoke tests, target
differential tests and an independent programming-languages/formal-verification
AI review with no open blockers. This review is not an academic endorsement.

Release-Notes: ready

Milestone: https://github.com/ShadowsInThe-Space/llm-language-mvp/milestone/3
Issue: #17
Issue: #18
Issue: #19
Issue: #20
Issue: #30
Issue: #31
Changelog: https://github.com/ShadowsInThe-Space/llm-language-mvp/blob/v0.6.0/CHANGELOG.md

v0.5.0 — Local libraries · Developer Preview

v0.5.0 — Local libraries · Developer Preview

M1 is complete: two distinct programs reuse the same local pure library, with
deterministic linking, independent Source-to-Core checks and whole-program proofs.

Included

• Frozen compatibility baseline for P0/w1/w2 (#12).
• Strict pkg1 manifests, explicit imports/exports, exact local locks (#13).
• Deterministic resolver and DAG linker (#14).
• Independent source binding before accepting P0 certificates (#15).
• Reproducible two-consumer demo; changing the shared library invalidates both
  old locks and proofs, fresh proofs are accepted (#16).

Try it

Check out tag v0.5.0, follow the Quickstart, then run on Linux:

python scripts/demo_pkg1.py

The attached wheel is the Python distribution; examples and demo are in the
source checkout/archive. Verify the wheel against the attached SHA256SUMS.
This release is published on GitHub, not PyPI.

Validation

419 tests passed; Ruff and strict Mypy clean. GitHub CI passed on Python 3.12
and 3.13 with Node.js 24. The wheel was installed in a fresh environment; pkg1
demo, w2 compilation and generated-file integrity checks passed.

Independent programming-languages/formal-verification review
found no open release blockers. This is an AI specialist review, not an academic
endorsement or a formal proof of the implementation.

Preview boundaries

Local pure Int/Bool functions only. No registry, recursive code, general web
package composition or modular proof reuse. Package commands are validated on
Linux. The unchanged web generator retains identity web.0.4.0.
See proof/TCB boundaries.
This is not a release of the fully autonomous Software Factory.

License unchanged: KPDL 1.1 — LLM-Language edition.

Implementation and acceptance: PR #29.