Function TestJSONFuzzCorpusSanity

json_fuzz_test.go:1581–1620

============================================================================= Corpus-seeding helper (non-fuzz regression gate) ============================================================================= TestJSONFuzzCorpusSanity runs every seed corpus entry AND a batch of grammar-generated inputs t

(t *testing.T)

//
// Verifies: SYS-REQ-035
func TestJSONFuzzCorpusSanity(t *testing.T) {
	// 1. Run each static seed through the gates.
	for i, seed := range structureAwareSeeds {
		seed := seed
		t.Run(fmt.Sprintf("seed_%02d_data_%q_path_%q", i, seed.data, seed.path), func(t *testing.T) {
			path := splitPathComponents(seed.path)
			runStructureAwareGates(t, seed.data, path)
		})
	}

	// 2. Grammar-generated inputs: exercise the generator + mutations under
	//    `go test` without requiring the fuzz engine. This is the path that
	//    exercises structure-aware generation most directly.
	r := rand.New(rand.NewSource(0xC0FFEE))
	for i := 0; i < 300; i++ {
		depth := r.Intn(4)
		if r.Intn(10) == 0 {
			depth = 5 + r.Intn(3)
		}
		data := genJSON(r, depth)

		// Generator note: genJSON produces mostly-valid JSON, but per the
		// spec it intentionally includes a small fraction of near-valid
		// edge cases (e.g. leading-zero numbers like "007") that test the
		// parser's leniency. We do NOT hard-assert json.Valid here — the
		// gates below are the real correctness test, and they handle
		// invalid input gracefully (the OUTPUT-VALIDITY gate is gated on
		// dataValid, so it only fires for truly valid input).

		// Apply 0–3 mutations (the mutations intentionally break validity).
		for n := r.Intn(4); n > 0; n-- {
			data = applyMutation(r, data)
		}

		path := genKeyPath(r)
		t.Run(fmt.Sprintf("gen_%03d", i), func(t *testing.T) {
			runStructureAwareGates(t, data, path)
		})
	}
}

// =============================================================================
// DoS / scale regression gate (closes Dimension 5)