Myna GUI v0.9.0

Myna GUI v0.9.0 is the first public release of the lightweight bilingual GUI built on the
myna-sign codebase and the JPKI workflows exposed by myna/myna-card.

Highlights

• Modern Japanese/English Tauri + Preact interface with system-language detection.
• Physical-card basic attributes, rendered name/address fields, and portrait preview/export.
• auth, auth_ca, sign, and sign_ca certificate inspection, including the signature and
  digital_signature aliases.
• The same seven retry counters as myna pin status.
• Card input-helper PIN, JPKI authentication PIN, and signing-password changes with lockout guards.
• OpenPGP and PDF signing/verification, optional RFC 3161 timestamps, and local-first processing.

Verification boundary

Myna GUI does not query CRLs, OCSP responders, or the JPKI revocation information service.
Cryptographic signature, document-integrity, certificate-validity, key-usage, and trust-chain checks
must not be interpreted as proof that a certificate has not been revoked. The UI reports revocation
as not queried.

Release checks

• cargo fmt --all -- --check
• cargo clippy --workspace --all-targets --locked -- -D warnings
• cargo test --workspace --locked: 93 passed, 8 hardware/network tests ignored, 0 failed
• TypeScript and Vite production build
• Japanese (ja, ja-JP) and English locale browser checks
• Windows x64 MSI/NSIS bundle metadata and SHA-256 verification
• Hidden launch smoke test of myna-gui.exe 0.9.0

Known limitations

• Windows installers are not code-signed and may trigger SmartScreen.
• Physical-card tests are intentionally excluded from automated CI and still require reader/card
  acceptance testing.
• No online JPKI revocation lookup is implemented.