Fix tech dept

[0xGeorgii]

No description provided.

[Copilot]

Pull request overview

This PR addresses several sources of “tech debt” affecting determinism and correctness in the compilation/codegen pipeline, and improves some APIs/tests around WASM output and translation.

Changes:

• Fix non-det void-block Drop emission to use the innermost (nested) block context during statement lowering.
• Update numeric literal lowering to select i32.const vs i64.const based on inferred literal type info.
• Improve determinism of AST node iteration (sorting by node id) and adjust WASM→Rocq translation API to accept &[u8], with related callsite/docs updates.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 5 comments.

Show a summary per file

File	Description
core/wasm-codegen/src/compiler.rs	Fix nested non-det Drop emission and add type-aware numeric literal lowering.
tests/src/codegen/wasm/validation.rs	Add regression tests intended to cover nested non-det blocks and i64-related behavior.
core/ast/src/arena.rs	Make node iteration deterministic by sorting by node id; add unit tests for ordering.
core/inference/src/lib.rs	Change wasm_to_v to accept &[u8] (and adjust implementation accordingly).
core/inference/README.md	Update public API documentation for wasm_to_v signature.
core/cli/src/main.rs	Avoid unnecessary cloning when calling wasm_to_v by passing a slice.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[codecov]

Codecov Report

❌ Patch coverage is 69.66292% with 54 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
core/wasm-codegen/src/compiler.rs	58.33%	50 Missing ⚠️
core/inference/src/lib.rs	0.00%	2 Missing ⚠️
core/ast/src/arena.rs	98.18%	1 Missing ⚠️
core/cli/src/main.rs	0.00%	1 Missing ⚠️

📢 Thoughts on this report? Let us know!