Garnet Readiness Status

Converter Taxonomy

Group	Languages / targets	Claim boundary
Active conversion	Rust, Ruby, Python, Go	Deterministic migration assistant with lineage, metrics, and migrate_todo evidence; its emitted `@sandbox` line is a reviewer note, not enforced.
Advisory planning	JavaScript, TypeScript, Swift, Java, C, C++, C#, Perl, Kotlin, Shell, SQL, Other	Risk inventory, Garnet-aware context, advisory bundle, review, and handoff only.
Native boundary	C, C++, Objective-C, Assembly, CUDA, platform-specific code	Prefer native modules or FFI declared to the checker (no runtime FFI path yet), with lineage and a generated, not self-enforced, sandbox policy.
Backend lowering	Wasm, LLVM-style native targets, native package toolchains	Planned architecture only until compiler backend, tests, dogfood evidence, and benchmarks land.

Converter fit is decided by parser certainty and memory/capability preservation:

Active lanes only enter deterministic mode when parser, lowering, migration check, and evidence output are proven in local checks.
Advisory lanes are useful for migration planning, but not source replacement, until deterministic frontend support and dogfood gates are in place.
Native-boundary lanes preserve ABI, platform, and performance contracts; they stay native modules/FFI unless a backend lowering strategy changes the guarantee surface.

Editor/LSP Adoption

S16 builds on the S1 editor surface with a trivia-preserving CST, document/workspace symbols, CST-precise rename, rules-based quick fixes, and semantic tokens proven through the stdio protocol smoke.

Surface	Status	Remaining evidence
`garnet-lsp/`	verified	Diagnostics, hover, go-to-definition, document/workspace symbols, rename, quick fixes, and semantic tokens must stay green.
`editors/vscode/`	verified	Local VSIX packaging, release-backed VSIX installation, diagnostic smoke, and the S16 stdio protocol smoke are the current evidence surface.
Parser CST layer	verified	CST round-trip tests reconstruct the parser-crate and workspace example corpus byte-identically; incremental and error-recovery parsing remain future work.

Formatter Baseline

S4 is a merged, verified formatter baseline: deterministic whitespace, line-ending, and terminal-newline normalization enforced by integration tests.

Surface	Status	Boundary
`garnet fmt --stdout`	verified	Two-pass idempotency is enforced on the canonical example corpus.
Semantic formatting	deferred	Spacing, alignment, import sorting, comment preservation, malformed-source recovery, and workspace-wide formatting remain future formatter work: the parser's trivia-preserving CST exists, but `garnet fmt` does not consume it yet and stays a byte-level normalizer.

LLM Advisory Pipeline

Provider-backed conversion is not active. The feasibility reporter exposes ten provider options as advisory-only evaluation candidates, and Garnet Studio can preserve that registry as a Desktop dogfood evidence bundle with source omitted by default and human approval required. The documented pipeline is:

source classifier -> risk inventory -> Garnet context -> advisory plan -> review handoff -> human-approved candidate -> garnet check/test/dogfood

Do not execute source during analysis.
Do not include source text in provider packets by default.
Require lineage, sandboxing, migrate_todo, garnet check, dogfood evidence, and human audit before trust.
Keep deterministic converter output authoritative where deterministic support exists.

Mac-Side Continuation

Lane	Status	Mac-actionable?	Boundary
Reusable dogfood readiness skill	Published	Yes	Navigata1/dogfood-readiness is a portable evidence gate, not a replacement for project CI or human release review.
Unsigned/local Garnet Studio quality	Active-partial	Yes	Local UX, bundled evidence, DMG smoke, and app dogfood can improve before signing.
Studio Continuation Pulse	Active	Yes	The Release panel can run the repo-native Mac-side continuation reporter from source or packaged resources while keeping Apple Developer ID and Windows/Linux gates separate.
Studio Deck Outline	Active	Yes	The Release panel can create a manifested MIT deck-outline bundle from current evidence while keeping presentation planning separate from final acceptance.
MIT Deck Preview	Active	Yes	The repo can render and browser-smoke the HTML deck preview in headless Chrome, checking desktop/mobile layout, screenshot evidence, readiness metrics, speaker notes, blocked gates, and forbidden claims while keeping human/aesthetic approval separate.
Studio Deck Preview	Active	Yes	The Release panel can create a manifested HTML/JSON/outline deck-preview bundle, and copied-DMG app smoke now verifies that generated manifest through the app binary with a preserved checksum log while keeping final deck approval separate.
Website, status, and presentation	Active-partial	Yes	Landing/status copy, demos, proof links, and repo-native MIT deck outline/preview artifacts can improve while preserving readiness truth.
Converter advisory quality	Active-partial	Yes	Advisory plans, reviews, and handoff packets can improve without provider calls or active LLM conversion claims.
Proof, benchmark, and empirical evidence	Active-partial	Yes	Add one falsifiable local evidence slice at a time.
Apple Developer ID notarization	Blocked-external	No	Requires account-holder identity verification, Developer ID certificate, and notary profile before any notarization claim.
Windows/Linux Studio	Windows active-partial	No	The Tauri v2 shell scaffold now builds on Windows, produces an unsigned NSIS bundle, writes smoke evidence, exposes the repo-native readiness reporters, has verified x64 clean-VM installer proof (`proofs/windows/studio-clean-vm/20260926-0349-NUCBOX_M2PRO_S`: an unsigned installer in a fresh Windows Sandbox), records WSL package/window portability evidence, verifies Studio Domain Proof Matrix shell output, and verifies Release / Readiness shell reporter output. Clean/non-WSL Linux desktop GUI launch, the live Release / Readiness GUI screenshot, signing, MSI, winget, and Windows ARM64 proof remain separate gates.

Open Product Gates

Gate	Status	Next proof
Apple Developer ID notarization	Credential-gated	Developer ID Application identity, notarytool profile, signed DMG, notarization, stapling, clean-machine Gatekeeper proof.
Windows/Linux Studio	Windows source-build active, WSL portability active, native Linux ARM64 headless proof recorded, Linux x64 and desktop session open	The clean Windows VM proof is committed in `proofs/windows/studio-clean-vm/20260926-0349-NUCBOX_M2PRO_S`; preserve the Studio domain-shell bundles. A native (non-WSL) Debian ARM64 build, install and headless launch is recorded in `proofs/linux/studio/utm-native-20260701`; next record Linux x64 and a desktop-session GUI launch, then signed MSI/winget and Windows ARM64 gates.
Mobile distribution	Future lane	Separate iOS/Android product decision, app-store account setup, device tests, and release gates.
Provider-backed LLM assist	Inactive	Provider adapter, privacy controls, model evals, source inclusion approval, and dogfood readiness gate.
Native backend, proof, empirics	Active-partial / planned	Compiler backend evidence, mechanized proof work, benchmarks, and empirical validation.

Machine-Readable Sources

scripts/garnet_mit_readiness_status.py
scripts/garnet_mac_side_continuation_status.py
scripts/garnet_adoption_surface_status.py
scripts/garnet_converter_status.py
scripts/garnet_converter_llm_feasibility.py
F_Project_Management/GARNET_CONVERTER_AND_PLATFORM_STRATEGY.md
F_Project_Management/GARNET_WINDOWS_LINUX_STUDIO_HANDOFF_2026_05_16.md
F_Project_Management/GARNET_APPLE_DISTRIBUTION_WALKTHROUGH_2026_05_16.md