λ
Main/code

Production hub

Docs, evidence snapshot, and release history.

A public reference surface for the compiler pipeline, current evidence, and shipped redesign slices.

DocsDeveloperChangelog

Docs

Developer docs

Hub is being reduced to public-safe documentation while the developer API guide is rebuilt.

Current public surfaces

Use the editor and support manual for current language coverage. Detailed developer integration docs return after the new API guide lands.

/code

Developer

Developer API guide

The integration guide is being rebuilt on current verification data and public-safe contracts.

coming soon

Developer API guide coming soon

This space will reopen with the B2A API, MCP notes, examples, and change policy after the new API slice lands.

RELEASE LOG

Changelog

Slice-level release history derived from git log and curated public titles.

Changelog generated at 2026-06-09

Featured updates

30/50

  1. verification

    Verification system update

    Update · 2026-06-09

    ad3fc9d3a
  2. verification

    Verification system update

    Update · 2026-06-09

    d4c8b9820
  3. verification

    Verification system update

    Update · 2026-06-09

    9f9d9df33
  4. verification

    Verification system update

    Update · 2026-06-09

    ace86e2f0

Recent changes

  1. verification

    Verification system update

    2026-06-0901d624fd4
  2. verification

    Verification system update

    2026-06-097b379b9bf
  3. verification

    Verification system update

    2026-06-08d79dd4a89
  4. verification

    Verification system update

    2026-06-08c85d06ba8
  5. verification

    Verification system update

    2026-06-08a57b66b8f
  6. verification

    Verification system update

    2026-06-08ad68872ed
  7. verification

    Verification system update

    2026-06-08a14b95dd9
  8. verification

    Verification system update

    2026-06-08936fee02f

Earlier trail

  1. verification

    Verification system update

    Update · 2026-06-088dad14a7b
  2. verification

    Verification system update

    Update · 2026-06-08976d51ebf
  3. verification

    Verification system update

    Update · 2026-06-0823b530c7f
  4. verification

    Verification system update

    Update · 2026-06-088bbd11fb5
  5. verification

    Verification system update

    Update · 2026-06-080d78ec723
  6. verification

    Verification system update

    Update · 2026-06-08665791575
  7. verification

    Verification system update

    Update · 2026-06-08b90db3245
  8. verification

    Verification system update

    Update · 2026-06-081a097a69c
  9. verification

    Verification system update

    Update · 2026-06-089b82efe41
  10. verification

    Verification system update

    Update · 2026-06-08238fca94b
  11. verification

    Verification system update

    Update · 2026-06-0836543387b
  12. verification

    Verification system update

    Update · 2026-06-085f7fffe8f
  13. verification

    Verification system update

    Update · 2026-06-080ad1ee902
  14. verification

    Verification system update

    Update · 2026-06-08836e8e3a6
  15. verification

    Verification system update

    Update · 2026-06-087b2f53c76
  16. verification

    Verification system update

    Update · 2026-06-087fb545768
  17. verification

    Verification system update

    Update · 2026-06-08fdf2f3a3a
  18. verification

    Verification system update

    Update · 2026-06-08a580b2396