Static copy

Copied from docs/en/decisions/adp-010.md in https://github.com/poppy-team/aipo-lang (MIT). Pinned to revision ce47c4e070404fc41722ccd8e2b7b808b99062a8, blob 5cccbd95e63e283bb55bc9af75472ab82cf12053. The source repository remains canonical; this copy is refreshed through a sync pull request, not live.

ADP-010 — Thin Interoperability Proofs (Rust, C, JS)

• Status: Approved & In Implementation
• Deciders: Poppy Team
• Phase: Wave 6 (P05)

---

Context

Ensure that v0.1.0's promise of cross-ecosystem interoperability is not merely theoretical, but validated by automated tests running across each supported language environment.

---

Decisions Taken

1. Proof 1 — Rust Embedding:
   • Integration test fixture in tests/ demonstrating initializing an aipo_vm::Vm instance, passing native Rust arguments, and extracting computed results.
2. Proof 2 — C Host Embedding:
   • Minimal C executable linking against the compiled static/dynamic library, compiling an Aipo source string, and extracting return values.
3. Proof 3 — JavaScript/Node.js Host:
   • A Node.js module importing output produced by aipo-js, verifying smooth interoperability within modern npm environments.