Function oracleRandKey

reference_oracle_test.go:239–252

oracleRandKey generates a short object key. Includes "" (empty) to exercise the 8th-panic-site hazard. Bracket-style strings like "[0]" are NOT emitted as object keys: they are syntactically ambiguous with array indices in Delete (which uses `keys[last][0] == '['` as the array-mode signal), producin

(r *mathrand.Rand)

// signal), producing structural corruption. The dedicated
// TestOracleDeleteBracketKeyAmbiguity test below documents that divergence.
func oracleRandKey(r *mathrand.Rand) string {
	switch r.Intn(10) {
	case 0:
		return "" // empty key — the 8th-panic-site hazard
	default:
		letters := "abcdefghijklmnopqr"
		n := r.Intn(5) + 1
		var b strings.Builder
		for i := 0; i < n; i++ {
			b.WriteByte(letters[r.Intn(len(letters))])
		}
		return b.String()
	}
}

// oracleRandomJSONBytes returns marshaled JSON for a random value, plus the
// Go value itself (so callers can walk the tree to predict sub-values).