Nocter v0.26.0 Publication and Audit
Status: published and externally audited (2026-09-02). This immutable record owns the final qualification, publication, and public-asset evidence for v0.26.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 and qualification are recorded in:
Release-content commit 9ff855385a992def6d38a4d4f6b639f976c7bd24 passed two independent locked workspace test runs, each reporting 1,507 passed, zero failed, and one ignored public-HTTPS test. The explicit HTTPS test passed separately. Warnings-denied all-target Clippy passed twice in external targets. Formatting, no-default-features checking, packaging-script validation, 365-page documentation generation and reproducibility, and repository-integrity checks also passed. Qualification evidence was committed as 1862728cbd5765b5c6af501cdae55b8f028049dd.
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 fresh extraction passed the complete installed-home smoke matrix without mutating itself. The retained candidate was:
- archive:
dist/nocter-v0.26.0-arm64-darwin.tar.gz; - byte size: 8,266,313;
- SHA-256:
a8898d54ca578a7bb9980d330fa48067df798a832a882ab1e047e17356833700; - compiler: ARM64 Mach-O reporting release
0.26.0; - compiler SHA-256:
01d4a9dca781df11fc2b47e38258d38ddbab74f2d7ea0c4de73bcfedb1e5bee5; - standard-library tree SHA-256:
e1ad3af8c04a8f8a9c5043fbda4d7206e3e6954fe0011e53ccb35ac9fbc1abb7; - standard library: exactly 120 regular files.
Fresh extraction passed version and installation diagnosis, help, package initialization, locked/offline check and native test, all eight single-file and five package examples, two byte-identical package graphs, run, explicit build, direct Mach-O execution, and framed LSP analysis. Separate copied homes were rejected after either the installed compiler or standard-library content was changed.
Publication
Nocter v0.26.0 was published at github.com/rvo-jp/nocter/releases/tag/v0.26.0 on 2026-09-02. Annotated tag v0.26.0 resolves to publication commit 840ed98d472dd61ccaeefb0486e432ffaa528d98, which contains the public download links, English release notes, current specification, standard library, packaging inputs, and generated website.
GitHub reports v0.26.0 as the latest release. It is neither a draft nor a prerelease and contains exactly one asset: nocter-v0.26.0-arm64-darwin.tar.gz, 8,266,313 bytes, with digest sha256:a8898d54ca578a7bb9980d330fa48067df798a832a882ab1e047e17356833700. The publication timestamp is 2026-09-02T04:15:09Z.
Post-Publication Audit
The asset was downloaded from its public release URL into a new disposable directory. 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.26.0. The public annotated tag object resolves through aec8b6f6178e44e2801f26bcbeb3118d9eaca65f to the exact publication commit recorded above, and remote main contained that same commit when the audit ran.
The release asset is immutable by project policy. Any correction after v0.26.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.