Function TestOracleDeleteCorrectness

reference_oracle_test.go:701–746

--------------------------------------------------------------------------- Property 3: Delete correctness — after Delete, Get fails AND remaining structure is valid JSON (no corruption). --------------------------------------------------------------------------- reqproof:proptest Delete Verifies: S

(t *testing.T)

// reqproof:proptest Delete
// Verifies: SYS-REQ-034 [property]
func TestOracleDeleteCorrectness(t *testing.T) {
	r := oracleNewRNG(oracleSeed + 2)
	const iterations = 10000
	for i := 0; i < iterations; i++ {
		raw, v := oracleRandomJSONBytes(r, 3)
		// Pick a path that exists so Delete actually does something.
		// We use pickExistingPath (semantically valid) to avoid the
		// documented D8 bug (Delete with array-index on object value).
		path, _ := pickExistingPath(r, v)
		if len(path) == 0 {
			// Deleting the root with no keys is a documented special case
			// (returns data[:0]); skip it.
			continue
		}

		var deleted []byte
		func() {
			defer func() {
				if rec := recover(); rec != nil {
					t.Fatalf("Delete panicked on input %q path=%v: %v", raw, path, rec)
				}
			}()
			deleted = Delete(raw, path...)
		}()

		// Property 3a: if the result is non-empty, it MUST be valid JSON
		// (no corruption). An empty result is allowed when Delete removes
		// the entire document.
		if len(deleted) > 0 && !json.Valid(deleted) {
			t.Fatalf("Delete produced invalid JSON:\n  in=%q\n  path=%v\n  out=%q",
				raw, path, deleted)
		}

		// Property 3b: Get on the deleted path MUST return KeyPathNotFoundError
		// (the value is gone). Only strictly assert for single-component
		// object-key paths — multi-component deletes sometimes leave parent
		// structure intact and the value can re-appear via a sibling key.
		if len(path) == 1 && !strings.HasPrefix(path[0], "[") {
			got, dt, _, gerr := Get(deleted, path...)
			if gerr == nil && dt != NotExist && len(got) > 0 && len(deleted) > 0 {
				t.Fatalf("Delete did not remove key:\n  in=%q\n  path=%v\n  out=%q\n  still-present=%q",
					raw, path, deleted, got)
			}
		}
	}
}

// ---------------------------------------------------------------------------
// Property 4: ParseInt / ParseFloat / ParseBoolean agree with strconv.