antigravity-amiga-68k v0.2.0

Versioned Amiga 68000 code-generation model package for the aMiLa playground.

This repo was reset before publishing v0.2.0, so the model history starts from this best-so-far package. The app-compatible ASM adapter is available at adapters_asm/ and should be requested as adapters: "adapters_asm" in the existing OpenAI-compatible MLX server payload.

Contents

• Fused MLX model files at the repository root.
• adapters_asm/: ASM LoRA adapter, sourced from the clean ASM training run.
• adapters_c/: C adapter retained for compatibility and experimentation.
• model_version.json: machine-readable version and provenance metadata.
• docs/model_learnings.md: notes for future improvement work.
• docs/asm_capability_ladder.yaml: broad ASM evaluation ladder definition.
• evaluation_debug/: local evaluation summaries available at publish time.

Status

This is the best local model package so far, but it is not yet a fully promotable "rock solid" adapter under the broad ladder definition. The app should continue using compile, semantic validation, and repair gates before exposing generated ASM as usable.

Verified App-Side Producer Status

The current shippable path is the aMiLa app-side structured producer plus this model package, not the raw model weights by themselves. As of 2026-06-17, the Amiga Playground validation ladder passes from a clean checkout via aMiLa/AmigaPlayground/script/validate_amiga_agent.sh.

The app-side producer now includes an execution-grounded "Amiga code gym" with 7 promoted complex program families, 63 benchmark records, 14 repair seeds, 14 golden source records, 0 follow-up replay gaps, and validation coverage for source contracts, semantic gates, VASM compile, bootable ADF generation, follow-up preservation, no-mutation rejection, repair loops, and runtime evidence.

Verified promoted structured families:

• MOD player controls with play, stop, pause, volume, pattern-position state, Paula register/state write evidence, and follow-up-chain preservation.
• Double-buffered bitplane animation with front/back buffer swaps, vblank pacing, sprite/copper interaction, runtime bitplane/color evidence, and chained follow-up edits.
• Blitter BOB movement with collision/bounds constraints, blitter wait validation, direction-control follow-up support, and hardware DMA/runtime evidence.
• Copper raster effects with owned copper lists, runtime color/raster validation, palette repair seeds, and follow-up-chain preservation.
• Mouse-controlled sprite multiplexing with sprite pointer verification, vblank-paced updates, no-mutation rejection, and runtime sprite/bitplane evidence.
• Intuition/AmigaOS windowed tools with balanced OpenLibrary/OpenWindow cleanup proofs, system-friendly runtime evidence, and follow-up-chain preservation.
• Clean takeover/restore demos with DMA/interrupt restore proofs, emergency restore paths, VASM/ADF proof, and runtime source contracts.

The optional vAmiga promotion suite also passes for the runtime-capable families when enabled with Kickstart ROM access. It validates 10 runtime promotions across standalone and follow-up-chain variants.

Unsupported or ambiguous follow-ups for structured model-backed sources are expected to fail closed instead of falling through to free-form source editing. Newly promoted families should not be treated as supported until they have manifest coverage, representative routed chains, rejection/recovery chains, verifier coverage, compile/ADF proof, runtime-observation strategy, and documentation.

Weights vs. App Guarantees

• Model weights capability: this MLX package and the ASM adapter provide the local language-model behavior used by the playground.
• App-side structured producer capability: aMiLa adds manifests, structured patch planning, source contracts, semantic checks, VASM compilation, ADF generation, rejection/recovery behavior, and runtime-oriented evidence gates around selected families.
• Remaining fallback behavior: broad free-form Amiga assembly generation still requires validation and repair gates, and it is not equivalent to the promoted structured families above.