Function TestOracleParseInt

reference_oracle_test.go:763–817

--------------------------------------------------------------------------- Property 4: ParseInt / ParseFloat / ParseBoolean agree with strconv. --------------------------------------------------------------------------- genIntToken generates random decimal integer strings (including boundary values

(t *testing.T)

// reqproof:proptest ParseInt
// Verifies: SYS-REQ-015 [property]
func TestOracleParseInt(t *testing.T) {
	r := oracleNewRNG(oracleSeed + 3)
	const iterations = 10000
	for i := 0; i < iterations; i++ {
		// Generate a random int64 (with bias toward boundary values).
		var val int64
		switch r.Intn(4) {
		case 0:
			val = oracleLargeInts[r.Intn(len(oracleLargeInts))]
		case 1:
			val = r.Int63()
		case 2:
			val = -r.Int63()
		default:
			val = int64(r.Intn(200)) - 100
		}
		// Format as decimal, optionally with a leading sign.
		tok := strconv.FormatInt(val, 10)

		ref, refErr := strconv.ParseInt(tok, 10, 64)
		got, err := ParseInt([]byte(tok))

		// The token was produced by strconv.FormatInt, so strconv MUST accept.
		if refErr != nil {
			t.Fatalf("strconv.ParseInt rejected its own output %q: %v", tok, refErr)
		}
		if err != nil {
			t.Fatalf("ParseInt rejected valid int %q: %v", tok, err)
		}
		if got != ref {
			t.Fatalf("ParseInt divergence on %q: jsonparser=%d, strconv=%d", tok, got, ref)
		}
	}

	// Adversarial inputs: assert agreement on the common-acceptance domain.
	// When both accept, values MUST match (this is the property that catches
	// silent arithmetic bugs). When one rejects, the other may also reject —
	// divergence of acceptance is allowed (D1 in file header: jsonparser
	// follows strict JSON grammar, strconv accepts Go-idiomatic extensions).
	adversarial := []string{
		"", " ", "  123  ", "+42", "-0", "00", "0x10", "1e5",
		"123abc", "99999999999999999999999999", "-99999999999999999999999999",
		"12.34", "1_000", "0b11", "0o17", "\t\n", "  -1  ",
		"9223372036854775808",  // max int64 + 1 (overflow)
		"-9223372036854775809", // min int64 - 1 (underflow)
	}
	for _, tok := range adversarial {
		ref, refErr := strconv.ParseInt(tok, 10, 64)
		got, err := ParseInt([]byte(tok))
		// If both accept, values must match.
		if refErr == nil && err == nil && got != ref {
			t.Fatalf("ParseInt divergence on adversarial %q: jsonparser=%d, strconv=%d", tok, got, ref)
		}
	}
}

// reqproof:proptest ParseFloat
// Verifies: SYS-REQ-013 [property]