Nocter v0.7.0 Qualification and Publication Record

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

This record identifies the exact v0.7.0 release that completed Phase 0 and Phase 1. 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

• source-level result-allocation modifiers are absent from callable declarations and structural callable types
• from names only caller-managed external result origins; absence of from promises that no such origin is retained, not allocation-free execution
• public functions, inherent methods, construction functions, literals, interface defaults, and conformance members share one body-result contract validator
• interface implementations may narrow an external origin to fresh or static storage but may not introduce a receiver or parameter origin absent from the interface
• sequence literal packs have declaration identity for from items; call-site instantiation maps that identity to fixed and spread element origins without exposing a runtime pack value
• the distributed standard library passes a discovery-based public callable audit, and editor surfaces render the same accepted source signatures

Repository Verification

The compiler package was cleaned with cargo clean -p nocter. A clean ./scripts/verify.sh run and an immediate incremental run both passed on 2026-08-08. Each run covered:

• 2,262 compiler-library tests
• 296 build CLI tests
• 7 formatter CLI tests
• 24 framed LSP CLI tests
• 18 package CLI tests
• 449 run CLI tests
• 11 native-test CLI tests
• 208 distributed-home tests
• 2 public-example tests
• 7 source-corpus tests

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

Artifact Identity

• archive: dist/nocter-v0.7.0-arm64-darwin.tar.gz
• archive root: .nocter/
• byte size: 3,285,691
• SHA-256: 080160481adbcb0b7f64ab87903b05814aad13fc16207dcc9602e655675f2d78
• compiler: executable ARM64 Mach-O reporting Nocter 0.7.0
• contents: compiler, v0.7.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 packaging inputs byte for byte.

Fresh-Install Matrix

The archive was extracted into a new temporary directory and exercised without NOCTER_HOME. The compiler found .nocter/ from its own executable path and passed:

1. 1. --version, doctor, and top-level help
2. executable package initialization
3. locked/offline package checking
4. one initialized native test
5. locked/offline deterministic JSON graph generation
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, shutdown, and exit lifecycle reporting server version 0.7.0

Publication Boundary

The qualified archive is immutable. Any source 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.7.0 was published at github.com/rvo-jp/nocter/releases/tag/v0.7.0 on 2026-08-08. Annotated tag v0.7.0 resolves to commit 966c4a3e398ae534ad84ca5c8a35ae5ff0fcfdc8, which contains the English release notes, current specification, standard library, packaging inputs, and generated website. The GitHub Release is neither a draft nor a prerelease.

GitHub reports exactly one attached asset: nocter-v0.7.0-arm64-darwin.tar.gz, 3,285,691 bytes, with digest sha256:080160481adbcb0b7f64ab87903b05814aad13fc16207dcc9602e655675f2d78. 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.7.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.7.0. Publication is complete and no release repair remains.