Nocter v0.5.0

Nocter v0.5.0 makes a package practical to create, test, refactor, and use for a small filesystem
command-line application. It preserves the exact source-owned package graph introduced in v0.4.0
and adds native testing, package-wide editor operations, a practical standard library, and package
authoring commands on that one model.

Highlights

• nocter init creates a non-overwriting executable or library package with a separate test target.
• nocter test runs package targets and native test declarations in isolated processes with
  stable human and format-1 JSON reports.
• nocter graph inspects exact package identities and dependency edges without rewriting #lock.
• The immutable package semantic index supports package-wide references and safe rename, automatic
  imports, compiler-planned quick fixes, and inferred type/effect/provenance inlay hints.
• Distributed std adds UTF-8 paths, file read/create/append, static Reader and Writer
  contracts, buffered I/O, string search and owned split, vector retain/truncate, decimal
  conversion, iterator terminal operations, and allocation-free process queries.
• A packaged-home acceptance application creates, reads, rewrites, reopens, and appends files while
  exercising text, collections, numeric parsing, process state, and explicit buffered flush.

Authoring

nocter init json-tool
cd json-tool
nocter check
nocter test
nocter run
nocter graph --locked --offline --format json

Initialization refuses to overwrite nocter.nct or its generated test module. graph is
read-only; dependency updates remain the responsibility of nocter fetch, so lock changes stay
visible in code review.

Distribution

The release supports the arm64-darwin host and target. The attached archive contains one
self-contained .nocter/ directory with the compiler, metadata, licenses, and standard library.

nocter-v0.5.0-arm64-darwin.tar.gz

SHA-256: 61560090d1be6a802900e254c9666d4b60be9623257f1a62b87c1532b0636aa1

Qualification

The release passes the complete compiler, CLI, LSP, distributed-home, formatter, source-corpus,
and public-example suite with warnings denied. The optimized distribution passes doctor, fresh
package initialization, locked/offline check and test, native run, graph inspection, public-example
execution, packaged LSP initialization, and direct execution of emitted ARM64 Mach-O images.

Explicit Limits

Registries, semantic-version resolution, workspace membership, source-level lifetime parameters,
runtime interface dispatch, async, concurrency, and a stable cross-version ABI are not part of
v0.5.0.