validate

type Options struct {
	// LineCount is the number of lines in the spec; evidence must stay inside it.
	LineCount int
	// SpecPath, when set, replaces the path on every evidence entry. The caller
	// knows which file was reviewed, so the model's copy is not used. The path
	// is spelled by schema.EvidencePath, so evidence paths always pass the
	// check Parse applies.
	SpecPath string
	// SpecText, when set, is the spec as the model was shown it. Every quote
	// is then looked up in it: evidence is moved to where its quote really is,
	// quotes are replaced by the spec's exact text, an issue whose quotes are
	// nowhere in the spec is tagged and cannot stay CRITICAL, and an issue with
	// no evidence at all is dropped. See package evidence.
	SpecText string
	// CheckIssue and CheckQuestion apply caller-specific rules to a finding
	// that passed the general checks, and may adjust it. They run after
	// evidence has been checked, so they see corrected line ranges. A non-nil
	// error drops the finding.
	CheckIssue    func(*schema.Issue) error
	CheckQuestion func(*schema.Question) error
	// ExtraFields names top-level fields beyond issues, questions and patches
	// that the caller wants. Each one found whole is returned in Result.Extra.
	ExtraFields []string
}

type Result struct {
	Report *schema.Report
	// Incomplete is non-nil when the JSON ended early or broke mid-document.
	// Report then holds only the findings that were read before that point.
	Incomplete error
	// Dropped explains each finding that failed validation and was left out.
	Dropped []string
	// Extra holds the fields named in Options.ExtraFields that were read whole.
	Extra map[string]json.RawMessage
}