validate

type AcceptanceProblem struct {
	Field   string // actor, date or decisionRef
	Message string
}

type AcceptanceRefs struct {
	// contains filtered or unexported fields
}

type AviationFloorGap struct {
	Path  string `json:"path"`
	ID    string `json:"id"`
	State string `json:"state"`
	Floor string `json:"floor"`
}

type Diagnostic struct {
	Code     string   `json:"code"`
	Severity Severity `json:"severity"`
	Message  string   `json:"message"`
	Path     string   `json:"path,omitempty"`
	// Deferred marks a warning the life-cycle tier policy defers: evidence
	// debt of a tier below the one it is required from, or covered by an
	// open POA&M item (PoamRef). It never fails a check.
	Deferred bool `json:"deferred,omitempty"`
	// RequiredFrom is the tier from which the policy makes the code an
	// error (empty when it never does or the model has no lifecycle).
	RequiredFrom string `json:"requiredFrom,omitempty"`
	// PoamRef is the POA&M item that defers the diagnostic.
	PoamRef string `json:"poamRef,omitempty"`
}

type FieldType struct {
	Name string `json:"name"`
	Type string `json:"type"`
	Of   string `json:"of,omitempty"`
}

type RelationshipPair struct {
	Type string `json:"type"`
	From string `json:"from"`
	To   string `json:"to"`
}

type Rules struct {
	Enums             map[string][]string `json:"enums"`
	RelationshipPairs []RelationshipPair  `json:"relationshipPairs"`
	FieldRules        []string            `json:"fieldRules"`
	// FieldSets lists, per entity kind, the YAML fields strict decoding
	// accepts, in declaration order; any other field is rejected.
	FieldSets map[string][]string `json:"fieldSets"`
	// FieldTypes gives, per entity kind and in the order of FieldSets, each
	// field's YAML type: string, bool, int, list<string>, list<object>,
	// object or map<string,string>; Of names the fieldSets kind of an object
	// or list<object> field when it has one.
	FieldTypes map[string][]FieldType `json:"fieldTypes"`
	// PublicationSections are the manifest publication sections that may
	// export stable IDs. Decisions cannot be published.
	PublicationSections []string `json:"publicationSections"`
	// TierPolicy is the severity of each tier-keyed code per life-cycle
	// tier (engmod.yml lifecycle.tier); engineering-flow renders it as the
	// "Severity by tier" table of MODEL-RULES.md.
	TierPolicy []TierRule `json:"tierPolicy"`
}

type Severity string

type TierRule struct {
	Code               string    `json:"code"`
	Severities         [5]string `json:"severities"`
	SafetySeverities   [5]string `json:"safetySeverities"`
	RequiredFrom       string    `json:"requiredFrom,omitempty"`
	RequiredFromSafety string    `json:"requiredFromSafety,omitempty"`
	Bundle             string    `json:"bundle,omitempty"`
	Note               string    `json:"note,omitempty"`
}

type VerificationOutcome int