v0.33.0 Release Preparation
Status: release candidate qualified, published, and externally audited (2026-09-04). This record owns the candidate identity, qualification contract, and local artifact evidence. The immutable publication evidence is ../releases/v0.33.0.md.
Release Boundary
v0.33.0 implements structural tuples across syntax, type identity, checked ownership and cleanup, MIR, runtime representation, machine layout and ABI, formatting, semantic editor queries, and a practical borrowed str.split_once result. Tuples remain positional products rather than nominal structs, synthetic fields, argument packs, or backend-reconstructed shapes.
The implementation review has no open finding. Public candidate notes are ../../releases/v0.33.0.md. Root download links and the public release index remain at v0.32.0 until a separately authorized publication commit.
Candidate Identity
The release inputs agree on 0.33.0:
development/packaging/VERSION, the sole authored release-version input;- the
#packageversion indevelopment/std/index.nct; - the archive name and installed manifest derived from
VERSIONandRELEASE.json; - compiler and language-server reporting derived from the validated installed home.
The qualified release-content commit is 9fedd9a4be12d748f055da777436295021a4466a. It supersedes the invalidated former candidate after closing the tuple-position source-diagnostic boundary. Documentation-only qualification evidence recorded after this commit is not an artifact input.
Qualification Contract
The clean release-content commit must pass:
- 1. two independent complete locked workspace test runs in distinct external Cargo targets;
- warnings-denied all-target Clippy in both external targets;
- formatter, no-default-features checking, documentation generation and reproducibility, repository whitespace, and packaging-input validation;
- the explicit public-HTTPS dependency-acquisition test;
- checks and representative native execution for every public example against an isolated candidate home;
- two independent optimized package builds with byte-identical archives and recursively identical installed homes;
- fresh extraction checks for version, doctor, help, initialization, locked/offline check and test, deterministic graph, exact public example process contracts, native run, explicit build and execution, and framed LSP analysis;
- rejection after either the installed compiler or standard-library content is changed, plus proof that ordinary qualification commands do not mutate the installed home.
Qualification Evidence
The exact candidate passed two independent complete locked workspace test runs and warnings-denied all-target Clippy runs in distinct empty external Cargo targets. Every enabled test passed; the one public-network test was ignored in each workspace run and then passed explicitly. The candidate also passed no-default-features checking, formatter and repository validation, deterministic 461-page documentation generation, and packaging input checks.
Two independent optimized builds produced byte-identical archives and recursively identical homes. Fresh extraction passed version and integrity diagnosis, help, package initialization, locked and offline check and test, every public example, deterministic package graphs, exact process-example contracts, native run and build, direct execution, framed LSP analysis, installed-home immutability, and compiler and standard-library tamper rejection.
The retained candidate is:
- archive:
dist/nocter-v0.33.0-arm64-darwin.tar.gz; - size: 8,342,442 bytes;
- archive SHA-256:
ca2c41bfdb96f955e24ad2603cbbfd6e4d7a1b425daf95927a79e1e44d5fdef4; - compiler SHA-256:
6216873a1bd965b7607eb97e64d6dc05c58fcb53ea28c2c199bffdce5c1e757d; - standard-library tree SHA-256:
6f8f78fa80716239efcf7a9eaf609d89f9bed07baa7fbc2eb43898b86ccf3ace; - standard-library regular files: 148.
Publication Boundary
Separately authorized publication reused the retained archive without rebuilding, advanced public links in a separate commit, created and pushed one annotated v0.33.0 tag, uploaded exactly one asset, and verified the public download byte for byte.