Nocter v0.8.0 Qualification and Publication Record

Status: Published and audited on 2026-08-08.

This record identifies the exact v0.8.0 release that completes borrow-coercion Phase 0 through Phase 2. Public download status remains owned by the repository-root release index. The post-publication audit in this record owns the external tag, asset, and download evidence.

Contract Closure

• type-owned coerce declarations are coherent by source declaration identity, receiver capability, and canonical borrowed target
• contextual and explicit selection share one conversion selector and immutable plan
• source borrowing remains explicit, user-defined selection is one step, and existing lossless integer conversion remains independent
• ownership retains original loans through explicit conversion, projection, if, if is, and match results until last use
• native lowering evaluates the selected source once and invokes one statically resolved body
• LSP hover and definition use exact operator spans and declaration identity through local imports and public re-exports

Repository Verification

Candidate commit 0c3c3ee059b9e160578d1bc893fc7b473986c1a0 passed an incremental development/compiler/scripts/verify.sh run and a second run after cargo clean -p nocter. Each run covered:

• 2,315 compiler-library tests
• 296 build CLI tests
• 7 formatter CLI tests
• 27 framed LSP CLI tests
• 18 package CLI tests
• 452 run CLI tests
• 11 native-test CLI tests
• 210 distributed-home tests
• 2 public-example tests
• 7 source-corpus tests

The total is 3,345 tests per run. Both runs also passed cargo check, cargo fmt --check, and cargo clippy --all-targets -- -D warnings. node docs/build-docs.js generated 123 pages, and git diff --check passed.

Artifact Identity

• archive: dist/nocter-v0.8.0-arm64-darwin.tar.gz
• archive root: .nocter/
• byte size: 3,319,650
• SHA-256: cb6f0ce6b81e1aa71a65797e21f9f1d05a4164a17cf76427f34955966a63298a
• compiler: executable ARM64 Mach-O reporting Nocter 0.8.0
• contents: compiler, v0.8.0 version and manifest metadata, Apache-2.0 license and notice, and all 23 standard-library source files

The extracted VERSION, MANIFEST.json, LICENSE, and NOTICE match their tracked inputs byte for byte.

Fresh-Install Matrix

The archive was extracted into a new directory outside the repository. Without NOCTER_HOME, the compiler found its adjacent .nocter/ home and passed:

1. 1. --version, doctor, and top-level help
2. executable package initialization
3. locked/offline package checking
4. the initialized native test
5. two byte-identical locked/offline JSON package graphs
6. locked/offline package run
7. locked/offline explicit build to a selected output path
8. direct execution of the generated ARM64 Mach-O executable
9. a framed LSP initialize, initialized, shutdown, and exit lifecycle reporting server version 0.8.0

Publication Boundary

The qualified archive is immutable. Any compiler, standard-library, or packaging change requires clean and incremental requalification plus a new size and digest. Publication was separately authorized on 2026-08-08 and was limited to the archive identified above. The external evidence below was recorded only after the published asset had been downloaded and verified.

Publication Record

Nocter v0.8.0 was published at github.com/rvo-jp/nocter/releases/tag/v0.8.0 on 2026-08-08. Annotated tag v0.8.0 resolves to publication commit aa678abfec1a643e956a252cfc6a08d8e14ae65e, which contains the English release notes, current specification, standard library, packaging inputs, and generated website. GitHub resolves v0.8.0 as the latest release; it is neither a draft nor a prerelease.

GitHub reports exactly one attached asset: nocter-v0.8.0-arm64-darwin.tar.gz, 3,319,650 bytes, with digest sha256:cb6f0ce6b81e1aa71a65797e21f9f1d05a4164a17cf76427f34955966a63298a. This exactly matches the qualified local archive; the asset was not rebuilt or replaced during publication.

Post-Publication Audit

The asset was downloaded from its public release URL into a new temporary directory. Its size and SHA-256 digest matched the qualification record. The extracted ARM64 Mach-O compiler reported Nocter 0.8.0, found its adjacent .nocter/ home without NOCTER_HOME, and passed doctor and top-level help.

The downloaded compiler initialized a fresh executable package. That package passed locked/offline check, its generated native test, two byte-identical JSON graph runs, package run, explicit build, and direct execution of the generated Mach-O executable. A framed initialize, initialized, shutdown, and exit LSP lifecycle completed successfully and reported server version 0.8.0. Publication is complete and no release repair remains.