Nocter v0.14.0 Publication and Audit

Status: published and externally audited (2026-08-23). This immutable record owns the final qualification, publication, and public-asset evidence for v0.14.0. Public changes are summarized in the English release notes; language behavior remains normative only in the specification.

Qualified Source and Artifact

The specification-first compiler implementation, final design review, release-blocker audit, and release preparation are recorded in:

Release-content commit a59d4e387eff45c4975b38c771597688417ae4d6 passed the complete incremental and clean source gates. Both workspace test runs reported 1,138 passed, zero failed, and one ignored public-HTTPS test; the explicit HTTPS test passed separately. Incremental and distinct clean external-target strict Clippy, formatting, 129-page documentation generation, and textual checks also passed.

Deterministic packaging generated the archive twice. The compressed archives matched byte for byte, their extracted .nocter/ homes matched recursively, and the second extraction passed the complete installed-home smoke matrix without mutating itself. The retained candidate was:

archive: dist/nocter-v0.14.0-arm64-darwin.tar.gz;
byte size: 6,933,923;
SHA-256: f0ce9d0f14e69fca33340aca85574f254e2e457a68299eaeb6a81f7f3e366bd7;
compiler: ARM64 Mach-O reporting release 0.14.0;
standard library: all 28 tracked source files.

Publication

Nocter v0.14.0 was published at github.com/rvo-jp/nocter/releases/tag/v0.14.0 on 2026-08-23. Annotated tag v0.14.0 resolves to publication commit b59c174a3e510f4ebc6279b7013bc269ccae0678, which contains the public download links, English release notes, current specification, standard library, packaging inputs, and generated website.

GitHub reports v0.14.0 as the latest release. It is neither a draft nor a prerelease and contains exactly one asset: nocter-v0.14.0-arm64-darwin.tar.gz, 6,933,923 bytes, with digest sha256:f0ce9d0f14e69fca33340aca85574f254e2e457a68299eaeb6a81f7f3e366bd7.

Post-Publication Audit

The asset was downloaded from its public release URL into a new temporary file. It compared byte for byte with the qualified local candidate, and its independently computed SHA-256 matched both the candidate record and GitHub's asset digest. The public latest-release endpoint resolved to v0.14.0 with publication timestamp 2026-08-23T01:06:45Z.

The release asset is immutable. Any correction after v0.14.0 requires a new version, a new tag, a new qualification run, and a newly published archive; the existing tag and asset must not be replaced.