JoinWitness 0.1.0 — join preflight and constructive witnesses

MoonBit equality-join preflight with constructive three-row counterexamples, complete-input absence verification and exact pair-set comparison.

Demo: https://jq-ai-nb.github.io/JoinWitness/

Mooncakes JQ-ai-nb/joinwitness@0.1.0 is published and independently verified. The CLI confirmed Logged in as JQ-ai-nb before publishing; the server returned 200 OK. A new consumer with an empty registry cache and no credentials downloaded the package, passed moon check --deny-warn, and ran on wasm-gc and JavaScript. Witness verification returned true and safe materialization returned two pairs.

Registry evidence: https://github.com/JQ-ai-nb/JoinWitness/blob/main/docs/REGISTRY.md

35 MoonBit tests, 12 Node/Git-checkout checks, 320 SQLite result sets, Chromium; Linux/macOS/Windows with wasm/wasm-gc/js/native. All 15 commit authors and committers map to JQ-ai-nb (蒋琦).

JoinWitness-v0.1.0-source-demo.zip includes updated documentation, source, compiled CLI/browser core and standard-library notices. Node 22+: node scripts/serve.mjs. Without Git metadata, 11 runtime checks pass and one metadata-only test is skipped. The renamed pre-registry snapshot is historical; use the current source-demo archive.

Archive source: a7ced38fbd76b344f06b613e046ef3f6084924ec
Archive SHA256: e4c6c24f1c097524d5d32c87ac8a37660b2a602c4811ba0de346a3f51d7e4424

The immutable registry package and v0.1.0 source tag use ebfc5ca07f8f0e96d5da30703df1b3ac6e9cd638; their original documents retain the pre-publication status. Domain code is unchanged; main and the attached updated demo archive record the successful publication. Registry archive SHA256 (a different ZIP): 4491d1ca1d13a1bf2f79b2b55d44074c29853a9e2cbe43241bbc564e31071263.

The official proposal must be independently authored by the entrant; AI-assisted fact notes are references. Technical release completion does not constitute official registration or acceptance.