Skip to content

Myna 0.7.2

Choose a tag to compare

View all tags
@sgammon sgammon released this 04 Nov 22:33
· 28 commits to main since this release
v0.7.2
This tag was signed with the committer’s verified signature.
sgammon Sam Gammon
Certificate subject
CN James Clark
O Elide Technologies, INC.
Certificate issuer
CN DigiCert Assured G2 SMIME RSA4096 SHA384 2024 CA1
O DigiCert, Inc.
Verified
Learn about vigilant mode.
7401c44
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Myna 0.7.2 specializes AOT FFM adapters at image build time, pins the Elide native toolchain and GraalVM, and adds repeatable performance and sanitizer coverage.

  • Direct Native Image C bindings remain the primary path. Generated versus handwritten C calls are measured under equivalent normal and leaf transition contracts. Standalone comparison runs retain raw samples and toolchain/source provenance; CodSpeed tracks Myna's own workloads separately.

  • Generated AOT FFM convenience calls use build-time unbound adapters with runtime symbol addresses. Explicit SymbolLookup factories remain compatible. Local measurements remove the prior microsecond-scale adapter overhead; checked-in shared-host timings are advisory.

  • Pin Elide 1.6.2, elide-dev/toolchain 2026.11.1 and checksum-verified elide-dev/graal 25.5.5-elide.24 across development, CI and containers.

  • Add deterministic fuzzing, ASan/UBSan and TSan workloads with expected-failure canaries, production coverage gates, and retained ThinLTO optimization evidence.

  • Local production line coverage: JVM 99.19%, Rust 97.79%, C/C++ values 99.39%, LLVM applicator 98.85%. Native-only Java readers are exercised in real SVM integration tests; managed-heap sanitizer coverage is not claimed.

  • Require nonempty matching build IDs/UUIDs; explicitly link Linux executables with GNU build IDs and reject unidentified inputs before stripping.

  • Retain matching ELF/DWARF and Mach-O dSYM sidecars and publish them to debuginfo staging through the Elide Cloud Myna connection. Cloud repository ingestion and agent-context onboarding are configured.

  • Checked-in ARM64 instruction evidence shows identical generated/manual scalar C-call sequences (normal and leaf). Hosted ARM timings remain advisory; a configurable compatible runner supports controlled measurement.

The portable value SDK retains value ABI v3. Regenerate versioned seam artifacts together when upgrading. See docs/benchmarking.md for rerun commands, comparison contracts and platform limitations.

The attached five-process ARM boundary baseline records verified source revision 57e3aa5a879d95a823cabdef3030ef99d7f411af, full CPU identity, raw samples and toolchain provenance. It precedes the symbol build-ID correction and version bump. Shared-host timings remain advisory.

Licensing: Myna is available under Apache-2.0 OR MIT, at your option. Both license texts are attached; third-party components retain their own terms. Original SDK/archive bytes and checksums are unchanged.

All four original Linux/macOS symbol sidecars were published successfully after replaying transient staging failures. The attached recovery receipts record source revision, content hashes and provider identifiers.

The attached hosted-arm64-0.7.2 baseline and SVM charts record the actual 0.7.2 source revision (7401c446ef9ad80d7bd14a9bf92f360a04956b80) with full CPU provenance and five processes per case. Earlier baseline files remain historical evidence. Shared-host timings remain advisory.

Assets 16
Loading