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

Evidence references

Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.

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

Browse the public evidence index →