Programming Language

Nocter

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

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

Nocter v0.35.0 Publication and Audit

Status: published and externally audited (2026-09-05). This immutable record owns the final qualification, publication, and public-asset evidence for v0.35.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 97147821a0b8ae78f525768bf705074e75fd0254 passed two independent full compiler gates, including warnings-denied all-target Clippy, all enabled locked workspace tests, no-default-features checking, and warnings-denied Rust documentation. The explicit public-HTTPS acquisition test passed separately. Unicode input mutation, generated-table reproduction, deterministic 503-page documentation generation, and repository-integrity checks also passed. Qualification evidence was committed as 58567db7dee85a7c4e47fe3adaab7cdfd662e1f9.

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 matrix without mutating itself. The retained candidate was:

  • archive: dist/nocter-v0.35.0-arm64-darwin.tar.gz;
  • byte size: 8,484,621;
  • SHA-256: 62b30603177fc05ed9e2e50d6051ec59eeae5fbf634c05cea9467661f3dd820e;
  • compiler: ARM64 Mach-O reporting release 0.35.0;
  • compiler SHA-256: 9883a98e26ddf4ce2b92bd748107eb73823ba9109cbd3682e76c3d4c2de6fa9c;
  • standard-library tree SHA-256: 0e89cdd1a706f5ef583c297a52e3c8f572ba75adfd11523735459e67ad905052;
  • standard library: exactly 162 regular files.

Fresh extraction passed version and installation diagnosis, help, package initialization, locked/offline check and native test, every public example, byte-identical package graphs, exact process contracts, native run and 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.35.0 was published at github.com/rvo-jp/nocter/releases/tag/v0.35.0 on 2026-09-05. Annotated tag v0.35.0 resolves through tag object db05a28df237e18d0ed5d593915201514d343ce3 to publication commit 7835ff8c1f2f34d9397e50f5fa8eecb1977c7cab, which contains the public download links, English release notes, current specification, standard library, packaging inputs, and generated website.

GitHub reports v0.35.0 as the latest release. It is neither a draft nor a prerelease and contains exactly one asset: nocter-v0.35.0-arm64-darwin.tar.gz, 8,484,621 bytes, with digest sha256:62b30603177fc05ed9e2e50d6051ec59eeae5fbf634c05cea9467661f3dd820e. The publication timestamp is 2026-09-05T03:28:47Z.

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 downloaded archive extracted to a valid Nocter home whose compiler reported release 0.35.0, host arm64-darwin, and default target arm64-darwin.

The public latest-release endpoint resolved to v0.35.0. The public annotated tag resolves 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.35.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.