{
  "schema": "avm_port_verification_v1",
  "wolfram_arithmetic": [
    {
      "property": "INT32_MAX",
      "python": 2147483647,
      "wolfram": "2147483647 2.147483647 \u00d7 10^9 2 billion 147 million 483 thousand 647 10 decimal digits 1111111111111111111111111111111_2 2147483647 is a prime number. m | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9\n2147483647 mod m | 1 | 1 | 3 | 2 | 1 | 1 | 7 | 1 2147483647 is a number that cannot be written as a sum of 3 squares. 2147483647 is the 105097565th prime number. 2147483647 is an odd number. 2147483647 has the representation 2147483647 = 2^31 - 1. 2147483647 = 2^31 - 1 is a Mersenne prime, associated with the perfect number 2305843008139952128 = 2^(31 - 1) (2^31 - 1). \u2248 0.27 \u00d7 the number of people alive today (\u22487.8\u00d710^9)",
      "match": true
    },
    {
      "property": "Q16 scale (2^16)",
      "python": 65536,
      "wolfram": "65536 sixty-five thousand, five hundred thirty-six 10000000000000000_2 2^16 m | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9\n65536 mod m | 0 | 1 | 0 | 1 | 4 | 2 | 0 | 7 A regular 65536-gon is constructible with straightedge and compass. 65536 = 2^16 is a perfect 16th power. 65536 is an even number.",
      "match": true
    },
    {
      "property": "neg(-2147483647)",
      "python": "-(-2147483647)",
      "wolfram": "negative regions | y = -2147483647 y = -2147483647 is negative on the entire real line | | positive\n | negative R (all real numbers) (no solutions exist) -2147483647 is continuous on R\n(assuming a function from reals to reals)",
      "match": true
    },
    {
      "property": "floor(-1.666)",
      "python": "floor(-1.666)",
      "wolfram": "floor(-1.666) -2 negative two floor(-1.666) = -1.666 - SawtoothWave[-1.666] floor(-1.666) = Quotient[-1.666, 1] floor(-1.666) = -1 + ceiling(-1.666) floor(-1.666) = -2.166 + ( sum_(k=1)^\u221e sin(-3.332 k \u03c0)/k)/\u03c0",
      "match": true
    }
  ],
  "port_tests": {
    "Python": {
      "passed": true,
      "output": "c_add: 5 + 3 = 8\n  \u2705 div_q16: 3/5 = 0.6\n  \u2705 saturation: max-1 + 2 = max\n  \u2705 v6_comparison: 5 cases pass\n  \u2705 type_mismatch: rejected\n  \u2705 stack_overflow: rejected\n  \u2705 div_by_zero: rejected\n  \u2705 control_flow: jump_if true\n  \u2705 locals: store+load\n  \u2705 mul_div_roundtrip: 5*3/3 = 5\n\nAll Python tests passed.\n"
    },
    "Rust": {
      "passed": false,
      "output": "ured; 0 filtered out; finished in 0.00s\n\n\nrunning 1 test\ntest test_nuvmap_projector ... ok\n\ntest result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s\n\n\nrunning 0 tests\n\ntest result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s\n\n"
    },
    "Go": {
      "passed": false,
      "skipped": true,
      "reason": "go not found"
    },
    "C": {
      "passed": false,
      "output": ""
    },
    "C++": {
      "passed": false,
      "output": ""
    },
    "Julia": {
      "passed": true,
      "output": "Test Summary: | Pass  Total  Time\nAVM ISA       |   12     12  0.9s\n"
    },
    "R": {
      "passed": false,
      "output": "PASS: add Q16\nPASS: jump_if\nPASS: store/load\nPASS: type error\nPASS: division by zero\n\nAll R AVM tests passed!\n"
    },
    "Octave": {
      "passed": false,
      "skipped": true,
      "reason": "octave not found"
    }
  }
}