--- primary-executed/cmd/observe/main.go +++ public-rerun/cmd/observe/main.go @@ -61,7 +61,7 @@ records = append(records, map[string]any{"variant": variant.Name, "case": item.ID, "argumentBefore": before, "returnedIndex": actual, "argumentAfter": snapshot(input), "callable": fn.Name(), "functionFile": file, "functionLine": line}) } } - output := map[string]any{"method": "Actual exported Go function calls; compiler coverage counts independently retain entry-block execution. Independent Python literal oracle evaluates output after calls.", "runtime": runtime.Version(), "goos": runtime.GOOS, "goarch": runtime.GOARCH, "calls": records} + output := map[string]any{"method": "Actual exported Go callsite and returned-result observations with runtime.FuncForPC source identity; no independent coverage or entry-counter claim. Independent Python literal oracle evaluates output after calls.", "runtime": runtime.Version(), "goos": runtime.GOOS, "goarch": runtime.GOARCH, "calls": records} bytes, err := json.MarshalIndent(output, "", " ") if err != nil { panic(err)