Programming Language

Nocter

A self-contained systems language built around simplicity, encapsulation, and foolproof design.

Documentation GitHub
/development/releases/v0.16.0.md

Nocter v0.16.0 Publication and Audit

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

Qualified Source and Artifact

The completed implementation scope, release-blocker audit, boundary review, and qualification are recorded in:

Release-content commit 1d656283f27fb02a61f9ff1b1593040989e54cf2 passed the complete reusable and clean source gates. Both workspace test runs reported 1,229 passed, zero failed, and one ignored public-HTTPS test; the explicit HTTPS test passed separately. Warnings-denied Clippy passed in the reusable target and a distinct clean target. Formatting, manifest validation, 161-page documentation generation, and textual checks also passed. All Cargo targets were temporary and outside the repository.

Deterministic packaging generated the optimized compiler twice in independent temporary Cargo targets. 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.16.0-arm64-darwin.tar.gz;
  • byte size: 7,140,438;
  • SHA-256: 516b212138f8af2d1fef8d7b6a7c3577a670608d86b02c31ed6ca48d006f37b0;
  • compiler: ARM64 Mach-O reporting release 0.16.0;
  • standard library: all 46 tracked source files.

The fresh extraction passed version and installation diagnosis, package initialization, locked/offline check and native test, deterministic JSON graph, run, explicit build, direct Mach-O execution, and framed LSP analysis of installed standard contract and implementation sources.

Publication

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

GitHub reports v0.16.0 as the latest release. It is neither a draft nor a prerelease and contains exactly one asset: nocter-v0.16.0-arm64-darwin.tar.gz, 7,140,438 bytes, with digest sha256:516b212138f8af2d1fef8d7b6a7c3577a670608d86b02c31ed6ca48d006f37b0.

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.16.0 with publication timestamp 2026-08-24T12:21:14Z. The public annotated tag object also resolved to the exact publication commit recorded above.

The release asset is immutable. Any correction after v0.16.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.