v0.6.0

Release notes

Added

• Current Apple platform compatibility — added an evidence-aware iOS and
  iPadOS 27 beta 3 catalog spanning Siri, Shortcuts, App Intents, Foundation
  Models, CoreAI, SwiftUI, UIKit, Background Assets, and document APIs.
• Low-noise migration diagnostics — added ten advisory Swift checks for
  current Apple API and behavior changes, plus deterministic fixes for the
  renamed SwiftUI toolbar and text-field APIs.
• Xcode and App Store readiness helpers — added Xcode 27 beta 3 build
  analysis, bounded test repetition, duplicate Clang module detection, App
  Store Connect API migration analysis, and Accessibility Nutrition Label
  common-task reports.
• Modern hosted MCP transport — the production endpoint now supports both
  established initialization flows and the current stateless protocol,
  verified with official SDK clients.
• Expanded compatibility canaries — CI now covers current Node and Python
  releases plus forward-looking TypeScript, Python, Xcode, and MCP lanes.
• Brownfield benchmark v3 — the public benchmark now includes 38 paired
  cases across ten categories with precision, recall, and clean-project
  abstention gates.

Changed

• Artifact and dependency release gates — npm package contents, every
  Python optional surface, Python wheels/source distributions, and the hosted
  Worker now receive explicit audit and publishability checks.
• Marketplace tool semantics — all 36 compact MCP descriptions now preserve
  explicit purpose, sibling-tool guidance, parameter interaction, defaults,
  and read/write/network effects without exceeding the manifest budget.

Fixed

• Hosted runtime drift — deployment and release workflows now verify that
  the public MCP endpoint matches the package being released.
• Python MCP startup compatibility — both Python console entrypoints now
  use the stable SDK's stdio_server() and Server.run(...) contract instead
  of removed transport and .main() helpers.
• Bounded Apple SDK scanning — nightly WWDC monitoring no longer follows
  compatibility symlink loops or walks SDK trees without limits.
• Beta guidance accuracy — resolved simulator guidance is no longer emitted
  as an active Foundation Models warning; the current sampling workaround is
  generated instead.

Install

npm install -g @axint/compiler
pip install axint

Full changelog

What's Changed

• deps: bump the javascript-tooling group with 5 updates by @dependabot[bot] in #344
• Refresh the GitHub discovery experience by @nimatime in #345
• Unify Axint proof and repair messaging by @nimatime in #346
• chore: defer unsupported TypeScript major by @nimatime in #353
• deps: bump typescript-eslint from 8.63.0 to 8.64.0 in the javascript-tooling group by @dependabot[bot] in #356
• deps: bump actions/setup-node from 6 to 7 by @dependabot[bot] in #354
• deps: bump the python-sdk group in /python with 9 updates by @dependabot[bot] in #355
• Release Axint 0.6.0 platform hardening by @nimatime in #357

Full Changelog: v0.5.2...v0.6.0

v0.5.2

Release notes

Fixed

• Python MCP console entrypoint — axint-mcp-py now enters the async stdio server through a synchronous asyncio.run(...) boundary instead of returning an un-awaited coroutine and exiting immediately.
• Installed-package verification — the Python test suite now asserts that console entrypoints remain synchronous even when their transport implementation is asynchronous.

Why this matters

• A fresh Python package install now starts the MCP server through the same console path users configure in their host.

Install

npm install -g @axint/compiler
pip install axint

Full changelog

What's Changed

• Fix Python MCP entrypoint and release 0.5.2 by @nimatime in #342

Full Changelog: v0.5.1...v0.5.2

v0.5.1

Release notes

Added

• One-command local proof — axint prove discovers an Apple project, validates Swift, runs the available Xcode build and tests, reconciles evidence, and writes a compact signed receipt without requiring an account or configuration.
• Portable signed receipts — proof receipts use canonical JSON, SHA-256 payload and artifact hashes, and Ed25519 signatures backed by an automatically generated local identity or an explicitly configured team signing key. axint receipt verify detects payload tampering independently.
• Finding-level feedback — every Swift diagnostic has a stable source-free ID. axint feedback finding records accurate, irrelevant, or false-positive decisions, and later runs preserve but suppress reviewed findings unless stronger evidence confirms them.
• Opt-in deterministic repair — axint prove --fix applies only supported deterministic Swift rewrites and reruns the complete proof; the signed receipt records proposed or applied files and diagnostic codes.
• Brownfield benchmark v2 — the release gate now covers 20 labeled cases across seven categories, publishes per-category metrics and source hashes, enforces minimum precision/recall/abstention thresholds, and accepts private local corpus manifests without publishing source.
• Help improve Axint program — axint telemetry standard records product-signal consent, while axint telemetry enhanced enables and immediately syncs source-free repair and proof diagnostics. AXINT_DOGFOOD=1 explicitly marks Axint-owned internal runs for separate Pulse attribution.
• Proof outcome learning — axint prove now queues a source-free outcome packet with gate decision, diagnostic codes, deterministic-repair result, and build/test/runtime evidence so repair reports can be correlated with what actually passed.
• Product-learning taxonomy — Registry searches and project briefs now classify lifecycle, delivery target, complexity, feature areas, Apple surfaces, and demand gaps; raw searches and project descriptions remain excluded.

Fixed

• Dry-run evidence honesty — planned Xcode commands are now marked skipped and can only produce evidence_required; they can no longer be mistaken for passing build or test proof.
• Projects without tests — axint prove detects whether an Xcode unit or UI test target exists, proves the build when possible, and reports missing test evidence without misclassifying the absent test action as a product failure.

Why this matters

• One local command can produce portable evidence and an exact repair path while keeping static findings subordinate to real Apple tooling.

Install

npm install -g @axint/compiler
pip install axint

Full changelog

What's Changed

• fix: keep public session copy client-neutral by @nimatime in #339
• Release Axint 0.5.1 proof platform hardening by @nimatime in #340
• Stabilize proof integration tests in release CI by @nimatime in #341

Full Changelog: v0.5.0...v0.5.1

v0.5.0

Release notes

Added

• Evidence-aware Swift diagnostics — every finding now carries confidence, status, blocking behavior, provenance, and supporting or contradicting evidence instead of presenting heuristic output as compiler truth.
• Xcode reconciliation — build and test evidence can confirm matching findings or suppress compiler-shaped claims contradicted by a successful selected build while preserving accessibility, interaction, privacy, and runtime advisories.
• Brownfield minimal mode — axint run --integration=minimal --local-only --advisory --no-fix performs a local, non-mutating project check with no network, generated source, project instructions, memory installation, automatic fixes, or persistent Axint state.
• Brownfield benchmark gate — a transparent labeled corpus now measures precision, recall, and clean-project abstention without presenting a small curated benchmark as a production-wide claim.

Changed

• Fix Packets expose evidence state — JSON and Markdown receipts include original severity, confidence, active or suppressed status, blocking behavior, and evidence records; verdicts now follow blocking findings instead of raw severity alone.
• Run and MCP contracts — CLI and MCP run inputs expose the same integration, locality, advisory, fix, and output-directory controls, with persisted background jobs disabled when minimal mode promises no Axint state.
• Product positioning — README and documentation now present Generate, Check, Run, Team, and Cloud as focused jobs within one proof-and-repair system, with generation remaining optional for existing Swift projects.

Why this matters

• Existing Swift projects can distinguish compiler-supported findings from probable leads and non-blocking advisories instead of treating every heuristic as fact.

Install

npm install -g @axint/compiler
pip install axint

Full changelog

What's Changed

• feat: evidence-grounded Swift validation and brownfield mode by @nimatime in #338

Full Changelog: v0.4.36...v0.5.0

v0.4.36

See CHANGELOG.md for details.

Install:

npm install -g @axint/compiler

What's Changed

• release: prepare Axint 0.4.36 by @nimatime in #337

Full Changelog: v0.4.35...v0.4.36

v0.4.35

See CHANGELOG.md for details.

Install:

npm install -g @axint/compiler

What's Changed

• fix: refresh vulnerable dependency locks by @nimatime in #314
• release: prepare Axint 0.4.35 by @nimatime in #336

Full Changelog: v0.4.34...v0.4.35

v0.4.34

See CHANGELOG.md for details.

Install:

npm install -g @axint/compiler

What's Changed

• deps: bump the javascript-tooling group with 4 updates by @dependabot[bot] in #307
• deps: bump the javascript-tooling group with 6 updates by @dependabot[bot] in #310
• fix: make Claude plugin manifest validate by @fengjikui in #311
• feat: modernize Apple platform support by @nimatime in #312
• deps: bump actions/cache from 5 to 6 by @dependabot[bot] in #308
• release: prepare Axint 0.4.34 by @nimatime in #313

New Contributors

• @fengjikui made their first contribution in #311

Full Changelog: v0.4.33...v0.4.34

v0.4.33

See CHANGELOG.md for details.

Install:

npm install -g @axint/compiler

What's Changed

• release 0.4.32 by @nimatime in #293
• deps: bump codecov/codecov-action from 6 to 7 by @dependabot[bot] in #285
• deps: bump the javascript-tooling group across 1 directory with 8 updates by @dependabot[bot] in #294
• deps: bump commander from 14.0.3 to 15.0.0 in the javascript-runtime group across 1 directory by @dependabot[bot] in #283
• deps: bump the javascript-tooling group with 3 updates by @dependabot[bot] in #295
• Add WWDC Siri App Schema readiness by @nimatime in #296
• Bump js-yaml from 4.1.1 to 4.2.0 in /extensions/vscode by @dependabot[bot] in #297
• Bump markdown-it from 14.1.1 to 14.2.0 in /extensions/vscode by @dependabot[bot] in #298
• Bump form-data from 4.0.5 to 4.0.6 in /extensions/vscode by @dependabot[bot] in #299
• Add SwiftUI interaction readiness by @nimatime in #300
• Bump hono from 4.12.23 to 4.12.26 by @dependabot[bot] in #301
• Bump undici from 7.25.0 to 7.28.0 in /extensions/vscode by @dependabot[bot] in #303
• deps: bump the javascript-tooling group with 3 updates by @dependabot[bot] in #304
• deps: bump actions/checkout from 6 to 7 by @dependabot[bot] in #305
• Release Axint 0.4.33 proof harnesses by @nimatime in #306

Full Changelog: v0.4.31...v0.4.33

v0.4.32

What's Changed

• Add WWDC26 Apple Intelligence support by @nimatime in #288
• Add Apple Intelligence runtime scaffolds by @nimatime in #289
• fix readme playground links and truth source note by @nimatime in #290
• release 0.4.31 by @nimatime in #291

Full Changelog: v0.4.30...v0.4.32

v0.4.31

See CHANGELOG.md for details.

Install:

npm install -g @axint/compiler

What's Changed

• Add WWDC26 Apple Intelligence support by @nimatime in #288
• Add Apple Intelligence runtime scaffolds by @nimatime in #289
• fix readme playground links and truth source note by @nimatime in #290
• release 0.4.31 by @nimatime in #291

Full Changelog: v0.4.30...v0.4.31