COMPILER · VERIFIED

Native ABI

CodeGen
  ↓
avisna_set_position(f64, f64)
  ↓
Native Position Runtime
  ↓
avisna_get_position_x()
avisna_get_position_y()
  ↓
Point reconstruction

The tested Point ABI round-trip is verified. The audit does not establish every runtime API or ABI.

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

tests/backend/point_native.avs
tests/backend_async/phase3g2_set_position.avs
tests/backend_async/phase3j_get_position.avs
tests/backend_async/phase3g1_point_state.avs