model

type Actor struct {
	ID          string `yaml:"id"`
	Name        string `yaml:"name"`
	Description string `yaml:"description"`
}

type AirborneApproval struct {
	ID          string   `yaml:"id" json:"id"`
	SubjectRefs []string `yaml:"subjectRefs" json:"subjectRefs"`
	Approver    string   `yaml:"approver" json:"approver"`
	Evidence    []string `yaml:"evidence" json:"evidence"`
	State       string   `yaml:"state" json:"state"`
}

type AirborneProfile struct {
	ID                        string   `yaml:"id" json:"id"`
	Standard                  string   `yaml:"standard" json:"standard"`
	Edition                   string   `yaml:"edition" json:"edition"`
	SoftwareLevel             string   `yaml:"softwareLevel" json:"softwareLevel"`
	SoftwareItem              string   `yaml:"softwareItem" json:"softwareItem"`
	Applicant                 string   `yaml:"applicant" json:"applicant"`
	Authority                 string   `yaml:"authority" json:"authority"`
	CertificationBasis        string   `yaml:"certificationBasis" json:"certificationBasis"`
	SafetyAllocationReference string   `yaml:"safetyAllocationReference" json:"safetyAllocationReference"`
	Supplements               []string `yaml:"supplements" json:"supplements"`
	ClaimsDisclaimer          string   `yaml:"claimsDisclaimer" json:"claimsDisclaimer"`
}

type AirborneReview struct {
	ID          string   `yaml:"id" json:"id"`
	SubjectRefs []string `yaml:"subjectRefs" json:"subjectRefs"`
	Reviewer    string   `yaml:"reviewer" json:"reviewer"`
	Result      string   `yaml:"result" json:"result"`
	Evidence    []string `yaml:"evidence" json:"evidence"`
	State       string   `yaml:"state" json:"state"`
}

type AirborneTool struct {
	ID            string         `yaml:"id" json:"id"`
	Name          string         `yaml:"name" json:"name"`
	Version       string         `yaml:"version" json:"version"`
	IntendedUse   string         `yaml:"intendedUse" json:"intendedUse"`
	CreditClaimed bool           `yaml:"creditClaimed" json:"creditClaimed"`
	Assessment    ToolAssessment `yaml:"assessment" json:"assessment"`
	Environment   string         `yaml:"environment" json:"environment"`
	Baseline      string         `yaml:"baseline" json:"baseline"`
	Status        string         `yaml:"status" json:"status"`
}

type AirborneVerificationCase struct {
	ID                   string   `yaml:"id" json:"id"`
	Method               string   `yaml:"method" json:"method"`
	Intent               string   `yaml:"intent" json:"intent"`
	RequirementRefs      []string `yaml:"requirementRefs" json:"requirementRefs"`
	ExpectedResult       string   `yaml:"expectedResult" json:"expectedResult"`
	ProcedureRef         string   `yaml:"procedureRef" json:"procedureRef"`
	IndependenceRequired bool     `yaml:"independenceRequired" json:"independenceRequired"`
	State                string   `yaml:"state" json:"state"`
}

type Allocation struct {
	Requirement string `yaml:"requirement"` // this system's requirement id
	To          string `yaml:"to"`          // subsystem id or hardware item id
	Target      string `yaml:"target"`      // alias::ID selected by the subsystem publication
	Rationale   string `yaml:"rationale"`
}

type ArchitectureDocument struct {
	SchemaVersion        int                  `yaml:"schemaVersion"`
	Model                ModelMeta            `yaml:"model"`
	Semantics            SemanticContent      `yaml:"semantics"`
	Decisions            []Decision           `yaml:"-"`
	AuthoredArchitecture AuthoredArchitecture `yaml:"authoredArchitecture"`
	Compliance           ComplianceModel      `yaml:"compliance"`
	Contract             ContractModel        `yaml:"contract"`
	Composition          CompositionModel     `yaml:"composition"`
	InferenceHints       InferenceHints       `yaml:"inferenceHints"`
	NAF                  NAFProfile           `yaml:"naf"`
	Views                []View               `yaml:"views"`
}

type ArchitectureInput struct {
	FunctionalGroups   []FunctionalGroup   `yaml:"functionalGroups"`
	FunctionalUnits    []FunctionalUnit    `yaml:"functionalUnits"`
	Actors             []Actor             `yaml:"actors"`
	ReferencedElements []ReferencedElement `yaml:"referencedElements"`
	Interfaces         []Interface         `yaml:"interfaces"`
	DataObjects        []DataObject        `yaml:"dataObjects"`
	DeploymentTargets  []DeploymentTarget  `yaml:"deploymentTargets"`
	HardwareItems      []HardwareItem      `yaml:"hardwareItems"`
	HardwareInterfaces []HardwareInterface `yaml:"hardwareInterfaces"`
	Contract           ContractModel       `yaml:"contract"`
	Composition        InputComposition    `yaml:"composition"`
	Semantics          SemanticContent     `yaml:"semantics"`
}

type ArchitectureInputDocument struct {
	SchemaVersion int               `yaml:"schemaVersion"`
	Architecture  ArchitectureInput `yaml:"architecture"`
}

type AssuranceDocument struct {
	SchemaVersion int            `yaml:"schemaVersion"`
	Assurance     AssuranceModel `yaml:"assurance"`
}

type AssuranceModel struct {
	AttackVectors        []AttackVector        `yaml:"attackVectors"`
	Controls             []Control             `yaml:"controls"`
	Risks                []Risk                `yaml:"risks"`
	POAMItems            []POAMItem            `yaml:"poamItems"`
	TrustBoundaries      []TrustBoundary       `yaml:"trustBoundaries"`
	ThreatScenarios      []ThreatScenario      `yaml:"threatScenarios"`
	ThreatAssumptions    []ThreatAssumption    `yaml:"threatAssumptions"`
	ThreatOutOfScope     []ThreatOutOfScope    `yaml:"threatOutOfScope"`
	ThreatMitigations    []ThreatMitigation    `yaml:"threatMitigations"`
	ControlVerifications []ControlVerification `yaml:"controlVerifications"`
}

type AttackVector struct {
	ID          string `yaml:"id"`
	Name        string `yaml:"name"`
	Description string `yaml:"description"`
}

type AuthoredArchitecture struct {
	FunctionalGroups     []FunctionalGroup     `yaml:"functionalGroups"`
	FunctionalUnits      []FunctionalUnit      `yaml:"functionalUnits"`
	Actors               []Actor               `yaml:"actors"`
	AttackVectors        []AttackVector        `yaml:"attackVectors"`
	ReferencedElements   []ReferencedElement   `yaml:"referencedElements"`
	Interfaces           []Interface           `yaml:"interfaces"`
	DataObjects          []DataObject          `yaml:"dataObjects"`
	DeploymentTargets    []DeploymentTarget    `yaml:"deploymentTargets"`
	HardwareItems        []HardwareItem        `yaml:"hardwareItems"`
	HardwareInterfaces   []HardwareInterface   `yaml:"hardwareInterfaces"`
	Controls             []Control             `yaml:"controls"`
	Risks                []Risk                `yaml:"risks"`
	POAMItems            []POAMItem            `yaml:"poamItems"`
	TrustBoundaries      []TrustBoundary       `yaml:"trustBoundaries"`
	States               []State               `yaml:"states"`
	Events               []Event               `yaml:"events"`
	Flows                []Flow                `yaml:"flows"`
	ThreatScenarios      []ThreatScenario      `yaml:"threatScenarios"`
	ThreatAssumptions    []ThreatAssumption    `yaml:"threatAssumptions"`
	ThreatOutOfScope     []ThreatOutOfScope    `yaml:"threatOutOfScope"`
	ThreatMitigations    []ThreatMitigation    `yaml:"threatMitigations"`
	ControlVerifications []ControlVerification `yaml:"controlVerifications"`
	Mappings             []Mapping             `yaml:"mappings"`
}

type AuthoringContract struct {
	ContractVersion   string                `json:"contractVersion"`
	CanonicalFormat   string                `json:"canonicalFormat"`
	SchemaAuthority   string                `json:"schemaAuthority"`
	Documents         []AuthoringDocument   `json:"documents"`
	StableIdentifiers StableIdentifierGuide `json:"stableIdentifiers"`
	Dependencies      DependencyGuide       `json:"dependencies"`
	AuthoringOrder    []string              `json:"authoringOrder"`
	Invariants        []string              `json:"invariants"`
	Compatibility     []string              `json:"compatibility"`
}

type AuthoringDocument struct {
	Kind           string   `json:"kind"`
	Path           string   `json:"path"`
	SchemaVersion  int      `json:"schemaVersion"`
	SchemaPath     string   `json:"schemaPath"`
	Required       bool     `json:"required"`
	TopLevelFields []string `json:"topLevelFields"`
}

type AviationDiagnostic struct {
	Code    string `json:"code"`
	Path    string `json:"path"`
	Message string `json:"message"`
}

type AviationDocument struct {
	SchemaVersion int             `yaml:"schemaVersion" json:"schemaVersion"`
	Aviation      AviationProfile `yaml:"aviation" json:"aviation"`
}

type AviationProfile struct {
	Profile              AirborneProfile            `yaml:"profile" json:"profile"`
	LifecycleData        []LifecycleDataRecord      `yaml:"lifecycleData" json:"lifecycleData"`
	Objectives           []ObjectiveReference       `yaml:"objectives" json:"objectives"`
	RequirementAssurance []RequirementAssurance     `yaml:"requirementAssurance" json:"requirementAssurance"`
	VerificationCases    []AirborneVerificationCase `yaml:"verificationCases" json:"verificationCases"`
	Procedures           []VerificationProcedure    `yaml:"procedures" json:"procedures"`
	Executions           []VerificationExecution    `yaml:"executions" json:"executions"`
	Baselines            []ConfigurationBaseline    `yaml:"baselines" json:"baselines"`
	Builds               []ConfigurationBuild       `yaml:"builds" json:"builds"`
	Coverage             []StructuralCoverage       `yaml:"coverage" json:"coverage"`
	Tools                []AirborneTool             `yaml:"tools" json:"tools"`
	Reviews              []AirborneReview           `yaml:"reviews" json:"reviews"`
	Approvals            []AirborneApproval         `yaml:"approvals" json:"approvals"`
	Independence         []IndependenceRecord       `yaml:"independence" json:"independence"`
	ProblemReports       []ProblemReport            `yaml:"problemReports" json:"problemReports"`
	SQAAudits            []SQAAudit                 `yaml:"sqaAudits" json:"sqaAudits"`
	Liaison              []CertificationLiaison     `yaml:"liaison" json:"liaison"`
}

type AviationValidationError struct{ Diagnostics []AviationDiagnostic }

type BehaviorDocument struct {
	SchemaVersion int           `yaml:"schemaVersion"`
	Behavior      BehaviorModel `yaml:"behavior"`
}

type BehaviorModel struct {
	States        []State   `yaml:"states"`
	Events        []Event   `yaml:"events"`
	Flows         []Flow    `yaml:"flows"`
	Relationships []Mapping `yaml:"relationships"`
}

type Bundle struct {
	ManifestPath     string
	ArchitecturePath string
	BehaviorPath     string
	AssurancePath    string
	CompliancePath   string
	ViewsPath        string
	CatalogPath      string
	DecisionsPath    string
	RequirementsPath string
	DesignPath       string
	AviationPath     string

	Manifest     ManifestDocument
	Architecture ArchitectureDocument
	Behavior     BehaviorDocument
	Assurance    AssuranceDocument
	Compliance   ComplianceDocument
	Views        ViewsDocument
	Catalog      CatalogDocument
	Decisions    DecisionsDocument
	Requirements RequirementsDocument
	Design       DesignDocument
	Aviation     *AviationDocument

	// CodeIndex, when set, returns how many in-scope files or declarations produce each
	// inferred CODE identifier. It is built lazily, so validation only scans code when the
	// model references a CODE identifier.
	CodeIndex func() map[string]int `yaml:"-" json:"-"`

	// CodeScopeRoot, when set, is the directory the model owns for code instead of the
	// one derived from the git working tree. Composition sets it for a resolved
	// dependency to the dependency's own module directory.
	CodeScopeRoot string `yaml:"-" json:"-"`
}

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

type CatalogDocument struct {
	SchemaVersion int           `yaml:"schemaVersion"`
	Catalog       CatalogGroups `yaml:"catalog"`
}

type CatalogEntry struct {
	ID         string   `yaml:"id"`
	Name       string   `yaml:"name"`
	Definition string   `yaml:"definition"`
	Aliases    []string `yaml:"aliases"`
}

type CatalogGroups struct {
	Systems            []CatalogEntry `yaml:"systems"`
	FunctionalGroups   []CatalogEntry `yaml:"functionalGroups"`
	FunctionalUnits    []CatalogEntry `yaml:"functionalUnits"`
	ReferencedElements []CatalogEntry `yaml:"referencedElements"`
	Actors             []CatalogEntry `yaml:"actors"`
	AttackVectors      []CatalogEntry `yaml:"attackVectors"`
	Events             []CatalogEntry `yaml:"events"`
	States             []CatalogEntry `yaml:"states"`
	Features           []CatalogEntry `yaml:"features"`
	Modes              []CatalogEntry `yaml:"modes"`
	Conditions         []CatalogEntry `yaml:"conditions"`
	DataTerms          []CatalogEntry `yaml:"dataTerms"`
}

type CertificationLiaison struct {
	ID              string            `yaml:"id" json:"id"`
	Milestone       string            `yaml:"milestone" json:"milestone"`
	SubmissionRefs  []string          `yaml:"submissionRefs" json:"submissionRefs"`
	Findings        []string          `yaml:"findings" json:"findings"`
	AuthorityState  string            `yaml:"authorityState" json:"authorityState"`
	AuthorityRecord EvidenceReference `yaml:"authorityRecord" json:"authorityRecord"`
}

type ComplianceDocument struct {
	SchemaVersion int             `yaml:"schemaVersion"`
	Compliance    ComplianceModel `yaml:"compliance"`
}

type ComplianceMapping struct {
	ID                   string            `yaml:"id"`
	ProfileRef           string            `yaml:"profileRef"`
	ControlIDs           []string          `yaml:"controlIds"`
	ModelControlRef      string            `yaml:"modelControlRef"`
	AppliesTo            []string          `yaml:"appliesTo"`
	ImplementationType   string            `yaml:"implementationType"`
	ImplementationStatus string            `yaml:"implementationStatus"`
	Status               string            `yaml:"status"`
	Narrative            string            `yaml:"narrative"`
	Rationale            string            `yaml:"rationale"`
	Evidence             []ControlEvidence `yaml:"evidence"`
	InheritedFrom        []string          `yaml:"inheritedFrom"`
	ResponsibleRoles     []string          `yaml:"responsibleRoles"`
}

type ComplianceModel struct {
	Profiles []ComplianceProfile `yaml:"profiles"`
	Mappings []ComplianceMapping `yaml:"mappings"`
}

type ComplianceProfile struct {
	ID          string `yaml:"id"`
	Href        string `yaml:"href"`
	CatalogHref string `yaml:"catalogHref"`
}

type CompositionModel struct {
	Subsystems    []Subsystem    `yaml:"subsystems"`
	Allocations   []Allocation   `yaml:"allocations"`
	Satisfactions []Satisfaction `yaml:"satisfactions"`
}

type ConfigurationArtifact struct {
	Path string `yaml:"path" json:"path"`
	Hash string `yaml:"hash" json:"hash"`
}

type ConfigurationBaseline struct {
	ID        string                  `yaml:"id" json:"id"`
	Version   string                  `yaml:"version" json:"version"`
	Hash      string                  `yaml:"hash" json:"hash"`
	Artifacts []ConfigurationArtifact `yaml:"artifacts" json:"artifacts"`
	State     string                  `yaml:"state" json:"state"`
}

type ConfigurationBuild struct {
	ID              string                  `yaml:"id" json:"id"`
	Baseline        string                  `yaml:"baseline" json:"baseline"`
	Hash            string                  `yaml:"hash" json:"hash"`
	Artifacts       []ConfigurationArtifact `yaml:"artifacts" json:"artifacts"`
	Compiler        string                  `yaml:"compiler" json:"compiler"`
	CompilerOptions []string                `yaml:"compilerOptions" json:"compilerOptions"`
	Target          string                  `yaml:"target" json:"target"`
	Environment     string                  `yaml:"environment" json:"environment"`
	Reproducibility string                  `yaml:"reproducibility" json:"reproducibility"`
	Status          string                  `yaml:"status" json:"status"`
}

type ContractEntry struct {
	ID   string `yaml:"id"`
	Kind string `yaml:"kind"` // interface|capability|assumption
	Ref  string `yaml:"ref"`  // optional local id this contract entry exposes
	Note string `yaml:"note"`
}

type ContractModel struct {
	Provides []ContractEntry `yaml:"provides"` // the public surface a parent may allocate onto
	Requires []ContractEntry `yaml:"requires"` // what the system needs from its environment
}

type Control struct {
	ID          string `yaml:"id"`
	Name        string `yaml:"name"`
	Category    string `yaml:"category"`
	Description string `yaml:"description"`
}

type ControlEvidence struct {
	Path        string `yaml:"path"`
	Description string `yaml:"description"`
}

type ControlVerification struct {
	ID                 string                        `yaml:"id"`
	ControlRef         string                        `yaml:"controlRef"`
	ThreatScenarioRefs []string                      `yaml:"threatScenarioRefs"`
	RiskRefs           []string                      `yaml:"riskRefs"`
	Method             string                        `yaml:"method"`
	Status             string                        `yaml:"status"`
	Owner              string                        `yaml:"owner"`
	LastTested         string                        `yaml:"lastTested"`
	Findings           []string                      `yaml:"findings"`
	Evidence           []ControlVerificationEvidence `yaml:"evidence"`
	// VerificationRefs names the tests that verify the control: inferred CODE
	// identifiers of test declarations (CODE-<PATH>--<NAME>) or requirement IDs
	// whose linked tests verify it.
	VerificationRefs []string `yaml:"verificationRefs"`
}

type ControlVerificationEvidence struct {
	Path        string `yaml:"path"`
	Description string `yaml:"description"`
}

type DataObject struct {
	ID              string   `yaml:"id"`
	Name            string   `yaml:"name"`
	TermRef         string   `yaml:"termRef"`
	SchemaRef       string   `yaml:"schemaRef"`
	Sensitivity     string   `yaml:"sensitivity"`
	Classification  string   `yaml:"classification"`
	RegulatoryTags  []string `yaml:"regulatoryTags"`
	Retention       string   `yaml:"retention"`
	Confidentiality string   `yaml:"confidentiality"`
	Integrity       string   `yaml:"integrity"`
	Availability    string   `yaml:"availability"`
}

type Decision struct {
	ID           string   `yaml:"id"`
	Title        string   `yaml:"title"`
	Status       string   `yaml:"status"`
	Date         string   `yaml:"date"`
	Context      string   `yaml:"context"`
	Decision     string   `yaml:"decision"`
	Consequences []string `yaml:"consequences"`
}

type DecisionsDocument struct {
	SchemaVersion int        `yaml:"schemaVersion"`
	Decisions     []Decision `yaml:"decisions"`
}

type DependencyGuide struct {
	PreferredSourceField string   `json:"preferredSourceField"`
	SourceKinds          []string `json:"sourceKinds"`
	WorkspaceFile        string   `json:"workspaceFile"`
	WorkspaceSchemaPath  string   `json:"workspaceSchemaPath"`
	RegistryEnvironment  string   `json:"registryEnvironment"`
	CacheDirectory       string   `json:"cacheDirectory"`
	Rules                []string `json:"rules"`
}

type DeploymentTarget struct {
	ID          string `yaml:"id"`
	Name        string `yaml:"name"`
	Environment string `yaml:"environment"`
	Region      string `yaml:"region"`
	Account     string `yaml:"account"`
	Cluster     string `yaml:"cluster"`
	Namespace   string `yaml:"namespace"`
	TrustZone   string `yaml:"trustZone"`
}

type DesignDocument struct {
	SchemaVersion int         `yaml:"schemaVersion"`
	Design        DesignModel `yaml:"design"`
}

type DesignFunctionalGroup struct {
	ID    string                `yaml:"id"`
	Views map[string]DesignView `yaml:"views"`
}

type DesignFunctionalUnit struct {
	ID    string                `yaml:"id"`
	Group string                `yaml:"group"`
	Views map[string]DesignView `yaml:"views"`
}

type DesignModel struct {
	ID               string                  `yaml:"id"`
	Title            string                  `yaml:"title"`
	FunctionalGroups []DesignFunctionalGroup `yaml:"functionalGroups"`
	FunctionalUnits  []DesignFunctionalUnit  `yaml:"functionalUnits"`
}

type DesignView struct {
	Title     string `yaml:"title"`
	Narrative string `yaml:"narrative"`
}

type DocumentControl struct {
	Identifier             string `yaml:"identifier"`
	Revision               string `yaml:"revision"`
	Status                 string `yaml:"status"`
	IssuedBy               string `yaml:"issuedBy"`
	IssueDate              string `yaml:"issueDate"`
	Language               string `yaml:"language"`
	DocumentType           string `yaml:"documentType"`
	Confidentiality        string `yaml:"confidentiality"`
	SecurityClassification string `yaml:"securityClassification"`
	ExportControlled       bool   `yaml:"exportControlled"`
	CountryOfOrigin        string `yaml:"countryOfOrigin"`
	ConfidentialityStamp   bool   `yaml:"confidentialityStamp"`
}

type DocumentDefinition struct {
	ID              string            `yaml:"id"`
	Title           string            `yaml:"title"`
	Kind            string            `yaml:"kind"`
	Purpose         string            `yaml:"purpose"`
	Audience        []string          `yaml:"audience"`
	StakeholderRefs []string          `yaml:"stakeholderRefs"`
	ReferenceRefs   []string          `yaml:"referenceRefs"`
	ContentRefs     []string          `yaml:"contentRefs"`
	Sections        []DocumentSection `yaml:"sections"`
	Control         DocumentControl   `yaml:"control"`
}

type DocumentReferences struct {
	Catalog      string `yaml:"catalog"`
	Requirements string `yaml:"requirements"`
	Architecture string `yaml:"architecture"`
	Behavior     string `yaml:"behavior"`
	Assurance    string `yaml:"assurance"`
	Compliance   string `yaml:"compliance"`
	Views        string `yaml:"views"`
	Decisions    string `yaml:"decisions"`
	Aviation     string `yaml:"aviation,omitempty"`
}

type DocumentSection struct {
	ID          string   `yaml:"id"`
	Title       string   `yaml:"title"`
	Narrative   string   `yaml:"narrative"`
	IncludeRefs []string `yaml:"includeRefs"`
}

type Event struct {
	ID          string `yaml:"id"`
	Name        string `yaml:"name"`
	Description string `yaml:"description"`
}

type EvidenceReference struct {
	ID      string `yaml:"id" json:"id"`
	Path    string `yaml:"path" json:"path"`
	URI     string `yaml:"uri" json:"uri"`
	Version string `yaml:"version" json:"version"`
	Hash    string `yaml:"hash" json:"hash"`
}

type Expected struct {
	ID      string `yaml:"id"`
	Pattern string `yaml:"pattern"`
}

type Flow struct {
	ID                  string            `yaml:"id"`
	Title               string            `yaml:"title"`
	Kind                string            `yaml:"kind"`
	Methodology         string            `yaml:"methodology"`
	Direction           string            `yaml:"direction"`
	Frequency           string            `yaml:"frequency"`
	SourceRef           string            `yaml:"sourceRef"`
	DestinationRef      string            `yaml:"destinationRef"`
	Protocol            string            `yaml:"protocol"`
	Channel             string            `yaml:"channel"`
	Authentication      string            `yaml:"authentication"`
	EncryptionInTransit string            `yaml:"encryptionInTransit"`
	IntegrityProtection string            `yaml:"integrityProtection"`
	DataRefs            []string          `yaml:"dataRefs"`
	Description         string            `yaml:"description"`
	Criticality         string            `yaml:"criticality"`
	Threats             []string          `yaml:"threats"`
	Entry               []string          `yaml:"entry"`
	Exits               []string          `yaml:"exits"`
	Steps               []FlowStep        `yaml:"steps"`
	Properties          map[string]string `yaml:"properties"`
}

type FlowStep struct {
	ID                  string   `yaml:"id"`
	Ref                 string   `yaml:"ref"`
	Kind                string   `yaml:"kind"`
	FlowType            string   `yaml:"flowType"`
	Direction           string   `yaml:"direction"`
	Frequency           string   `yaml:"frequency"`
	SourceRef           string   `yaml:"sourceRef"`
	DestinationRef      string   `yaml:"destinationRef"`
	Action              string   `yaml:"action"`
	Channel             string   `yaml:"channel"`
	Protocol            string   `yaml:"protocol"`
	DataIn              []string `yaml:"dataIn"`
	DataOut             []string `yaml:"dataOut"`
	DataRefs            []string `yaml:"dataRefs"`
	InterfaceRef        string   `yaml:"interfaceRef"`
	TrustBoundaryRef    string   `yaml:"trustBoundaryRef"`
	BoundaryCrossing    bool     `yaml:"boundaryCrossing"`
	Authentication      string   `yaml:"authentication"`
	EncryptionInTransit string   `yaml:"encryptionInTransit"`
	IntegrityProtection string   `yaml:"integrityProtection"`
	Next                []string `yaml:"next"`
	OnError             []string `yaml:"onError"`
	Async               bool     `yaml:"async"`
	Optional            bool     `yaml:"optional"`
}

type FunctionalGroup struct {
	ID          string   `yaml:"id"`
	Name        string   `yaml:"name"`
	Description string   `yaml:"description"`
	Prose       string   `yaml:"prose"`
	Tags        []string `yaml:"tags"`
}

type FunctionalUnit struct {
	ID    string   `yaml:"id"`
	Name  string   `yaml:"name"`
	Group string   `yaml:"group"`
	Tags  []string `yaml:"tags"`
	Prose string   `yaml:"prose"`
}

type HardwareInterface struct {
	ID                   string `yaml:"id"`
	Name                 string `yaml:"name"`
	BusType              string `yaml:"busType"` // ARINC429|CAN|SPI|I2C|ethernet|cellular|discrete|analog
	From                 string `yaml:"from"`    // hardware item id
	To                   string `yaml:"to"`      // hardware item id
	Direction            string `yaml:"direction"`
	SoftwareInterfaceRef string `yaml:"softwareInterfaceRef"`
	Description          string `yaml:"description"`
}

type HardwareItem struct {
	ID          string   `yaml:"id"`
	Name        string   `yaml:"name"`
	Kind        string   `yaml:"kind"` // processor|board|lru|sensor|actuator|bus|fpga|gateway|cloud
	PartNumber  string   `yaml:"partNumber"`
	Supplier    string   `yaml:"supplier"`
	SafetyLevel string   `yaml:"safetyLevel"` // DO-254 design assurance level (optional)
	Description string   `yaml:"description"`
	Hosts       []string `yaml:"hosts"` // functional unit or subsystem ids hosted on this item
}

type IndependenceRecord struct {
	ID          string   `yaml:"id" json:"id"`
	SubjectRef  string   `yaml:"subjectRef" json:"subjectRef"`
	Producer    string   `yaml:"producer" json:"producer"`
	Verifier    string   `yaml:"verifier" json:"verifier"`
	ApprovalRef string   `yaml:"approvalRef" json:"approvalRef"`
	Evidence    []string `yaml:"evidence" json:"evidence"`
	State       string   `yaml:"state" json:"state"`
}

type InferenceHints struct {
	RuntimeSources []string `yaml:"runtimeSources"`
	// CodeSources is no longer supported: the code scope is the module root minus Exclude.
	// It is still decoded so validation can report it instead of failing to load.
	CodeSources              []string `yaml:"codeSources"`
	Exclude                  []string `yaml:"exclude"`
	ExpectedRuntimeKinds     []string `yaml:"expectedRuntimeKinds"`
	OwnershipResolutionOrder []string `yaml:"ownershipResolutionOrder"`
}

type InputComposition struct {
	Subsystems    []InputSubsystem `yaml:"subsystems"`
	Allocations   []Allocation     `yaml:"allocations"`
	Satisfactions []Satisfaction   `yaml:"satisfactions"`
}

type InputSubsystem struct {
	ID          string `yaml:"id"`
	Name        string `yaml:"name"`
	Dependency  string `yaml:"dependency"`
	Publication string `yaml:"publication"`
	Description string `yaml:"description"`
}

type Interface struct {
	ID        string `yaml:"id"`
	Name      string `yaml:"name"`
	Protocol  string `yaml:"protocol"`
	Endpoint  string `yaml:"endpoint"`
	SchemaRef string `yaml:"schemaRef"`
	Owner     string `yaml:"owner"`
}

type LifecycleDataRecord struct {
	ID            string            `yaml:"id" json:"id"`
	CategoryCode  string            `yaml:"categoryCode" json:"categoryCode"`
	CategoryName  string            `yaml:"categoryName" json:"categoryName"`
	Source        EvidenceReference `yaml:"source" json:"source"`
	Baseline      string            `yaml:"baseline" json:"baseline"`
	Owner         string            `yaml:"owner" json:"owner"`
	State         string            `yaml:"state" json:"state"`
	Approvals     []string          `yaml:"approvals" json:"approvals"`
	ObjectiveRefs []string          `yaml:"objectiveRefs" json:"objectiveRefs"`
}

type LintRun struct {
	ID         string `yaml:"id"`
	Mode       string `yaml:"mode"`
	CommaAsAnd bool   `yaml:"commaAsAnd"`
	CatalogRef string `yaml:"catalogRef"`
}

type LintWaiver struct {
	Code   string `yaml:"code"`
	Reason string `yaml:"reason"`
}

type ManifestDependency struct {
	Alias        string   `yaml:"alias"`
	Path         string   `yaml:"path"`
	Version      string   `yaml:"version"`
	Publications []string `yaml:"publications"`
}

type ManifestDocument struct {
	SchemaVersion  int                   `yaml:"schemaVersion"`
	Module         ModuleIdentity        `yaml:"module"`
	Documents      DocumentReferences    `yaml:"documents"`
	Dependencies   []ManifestDependency  `yaml:"dependencies"`
	Publications   []ManifestPublication `yaml:"publications"`
	InferenceHints InferenceHints        `yaml:"inferenceHints"`
}

type ManifestPublication struct {
	ID           string   `yaml:"id"`
	Architecture []string `yaml:"architecture"`
	Behavior     []string `yaml:"behavior"`
	Assurance    []string `yaml:"assurance"`
	Compliance   []string `yaml:"compliance"`
	Requirements []string `yaml:"requirements"`
	Views        []string `yaml:"views"`
}

type Mapping struct {
	Type        string `yaml:"type"`
	From        string `yaml:"from"`
	To          string `yaml:"to"`
	Description string `yaml:"description"`
}

type MetamodelPropertyValue struct {
	Values  []MetamodelValue `json:"values" yaml:"values"`
	Derived bool             `json:"derived,omitempty" yaml:"derived,omitempty"`
	Implied bool             `json:"implied,omitempty" yaml:"implied,omitempty"`
}

type MetamodelValue struct {
	Kind      string                    `json:"kind" yaml:"kind"`
	String    string                    `json:"string,omitempty" yaml:"string,omitempty"`
	Integer   *int64                    `json:"integer,omitempty" yaml:"integer,omitempty"`
	Real      *float64                  `json:"real,omitempty" yaml:"real,omitempty"`
	Boolean   *bool                     `json:"boolean,omitempty" yaml:"boolean,omitempty"`
	Reference string                    `json:"reference,omitempty" yaml:"reference,omitempty"`
	Object    map[string]MetamodelValue `json:"object,omitempty" yaml:"object,omitempty"`
	List      []MetamodelValue          `json:"list,omitempty" yaml:"list,omitempty"`
}

type ModelMeta struct {
	ID             string             `yaml:"id"`
	Title          string             `yaml:"title"`
	Introduction   string             `yaml:"introduction"`
	Documents      DocumentReferences `yaml:"-"`
	BaseCatalogRef string             `yaml:"-"`
}

type ModuleIdentity struct {
	Path         string `yaml:"path"`
	Version      string `yaml:"version"`
	ModelID      string `yaml:"modelId"`
	Title        string `yaml:"title"`
	Introduction string `yaml:"introduction"`
	Kind         string `yaml:"kind"`
}

type Multiplicity struct {
	Lower *int `json:"lower,omitempty" yaml:"lower,omitempty"`
	Upper *int `json:"upper,omitempty" yaml:"upper,omitempty"`
}

type NAFConcern struct {
	ID              string   `yaml:"id"`
	Name            string   `yaml:"name"`
	Description     string   `yaml:"description"`
	StakeholderRefs []string `yaml:"stakeholderRefs"`
}

type NAFProduct struct {
	ID          string   `yaml:"id"`
	Viewpoint   string   `yaml:"viewpoint"`
	Title       string   `yaml:"title"`
	ViewRef     string   `yaml:"viewRef"`
	ConcernRefs []string `yaml:"concernRefs"`
}

type NAFProfile struct {
	Framework               string           `yaml:"framework"`
	Version                 string           `yaml:"version"`
	ArchitectureDescription string           `yaml:"architectureDescription"`
	Stakeholders            []NAFStakeholder `yaml:"stakeholders"`
	Concerns                []NAFConcern     `yaml:"concerns"`
	Products                []NAFProduct     `yaml:"products"`
}

type NAFStakeholder struct {
	ActorRef string `yaml:"actorRef"`
	Role     string `yaml:"role"`
}

type ObjectiveReference struct {
	ID                   string   `yaml:"id" json:"id"`
	SourceReference      string   `yaml:"sourceReference" json:"sourceReference"`
	Applicability        string   `yaml:"applicability" json:"applicability"`
	IndependenceRequired bool     `yaml:"independenceRequired" json:"independenceRequired"`
	Rationale            string   `yaml:"rationale" json:"rationale"`
	EvidenceRefs         []string `yaml:"evidenceRefs" json:"evidenceRefs"`
	State                string   `yaml:"state" json:"state"`
}

type OfficialSysMLMetaclass struct {
	Origin           string
	Abstract         bool
	Relationship     bool
	Supertypes       []string
	Properties       map[string]OfficialSysMLProperty
	RelationshipEnds []OfficialSysMLRelationshipEnd
}

type OfficialSysMLProperty struct {
	ID          string
	Kind        string
	Type        string
	Lower       int
	Upper       int
	Ordered     bool
	Unique      bool
	Derived     bool
	ReadOnly    bool
	Containment bool
	Opposite    string
	Subsets     []string
	Redefines   []string
}

type OfficialSysMLRelationshipEnd struct {
	Property string
	Role     string
	Type     string
}

type POAMArtifact struct {
	Path        string `yaml:"path"`
	Description string `yaml:"description"`
}

type POAMItem struct {
	ID              string         `yaml:"id"`
	RiskRef         string         `yaml:"riskRef"`
	Milestone       string         `yaml:"milestone"`
	DueDate         string         `yaml:"dueDate"`
	Status          string         `yaml:"status"`
	ResponsibleRole string         `yaml:"responsibleRole"`
	Artifacts       []POAMArtifact `yaml:"artifacts"`
}

type ProblemReport struct {
	ID               string   `yaml:"id" json:"id"`
	Summary          string   `yaml:"summary" json:"summary"`
	AffectedRefs     []string `yaml:"affectedRefs" json:"affectedRefs"`
	Disposition      string   `yaml:"disposition" json:"disposition"`
	CorrectiveAction string   `yaml:"correctiveAction" json:"correctiveAction"`
	Evidence         []string `yaml:"evidence" json:"evidence"`
	State            string   `yaml:"state" json:"state"`
}

type ReferencedElement struct {
	ID          string `yaml:"id"`
	Kind        string `yaml:"kind"`
	Layer       string `yaml:"layer"`
	Name        string `yaml:"name"`
	Description string `yaml:"description"`
	Version     string `yaml:"version"`
	Date        string `yaml:"date"`
	URI         string `yaml:"uri"`
	Publisher   string `yaml:"publisher"`
}

type Requirement struct {
	ID                   string       `yaml:"id"`
	Title                string       `yaml:"title,omitempty"`
	Text                 string       `yaml:"text"`
	Notes                string       `yaml:"notes"`
	Category             string       `yaml:"category,omitempty"`
	Rationale            string       `yaml:"rationale,omitempty"`
	SourceRefs           []string     `yaml:"sourceRefs,omitempty"`
	VerificationMethods  []string     `yaml:"verificationMethods,omitempty"`
	VerificationCriteria string       `yaml:"verificationCriteria,omitempty"`
	Priority             string       `yaml:"priority,omitempty"`
	Criticality          string       `yaml:"criticality,omitempty"`
	Status               string       `yaml:"status,omitempty"`
	Derived              bool         `yaml:"derived,omitempty"`
	DerivedRationale     string       `yaml:"derivedRationale,omitempty"`
	Tags                 []string     `yaml:"tags,omitempty"`
	AppliesTo            []string     `yaml:"appliesTo"`
	LintWaivers          []LintWaiver `yaml:"lintWaivers,omitempty"`
}

type RequirementAssurance struct {
	RequirementID           string   `yaml:"requirementId" json:"requirementId"`
	Level                   string   `yaml:"level" json:"level"`
	Derived                 bool     `yaml:"derived" json:"derived"`
	DerivedRationale        string   `yaml:"derivedRationale" json:"derivedRationale"`
	ParentRefs              []string `yaml:"parentRefs" json:"parentRefs"`
	ArchitectureRefs        []string `yaml:"architectureRefs" json:"architectureRefs"`
	CodeRefs                []string `yaml:"codeRefs" json:"codeRefs"`
	VerificationCriteria    string   `yaml:"verificationCriteria" json:"verificationCriteria"`
	SafetyFeedbackRecipient string   `yaml:"safetyFeedbackRecipient" json:"safetyFeedbackRecipient"`
	SafetyFeedbackStatus    string   `yaml:"safetyFeedbackStatus" json:"safetyFeedbackStatus"`
	SafetyFeedbackEvidence  []string `yaml:"safetyFeedbackEvidence" json:"safetyFeedbackEvidence"`
	Baseline                string   `yaml:"baseline" json:"baseline"`
	State                   string   `yaml:"state" json:"state"`
}

type RequirementsDocument struct {
	SchemaVersion int           `yaml:"schemaVersion"`
	LintRun       LintRun       `yaml:"lintRun"`
	Requirements  []Requirement `yaml:"requirements"`
	Expected      []Expected    `yaml:"expected"`
}

type Risk struct {
	ID              string         `yaml:"id"`
	Title           string         `yaml:"title"`
	Statement       string         `yaml:"statement"`
	Status          string         `yaml:"status"`
	Likelihood      string         `yaml:"likelihood"`
	Impact          string         `yaml:"impact"`
	Response        string         `yaml:"response"`
	Owner           string         `yaml:"owner"`
	AppliesTo       []string       `yaml:"appliesTo"`
	RelatedControls []string       `yaml:"relatedControls"`
	AttackVectors   []string       `yaml:"attackVectors"`
	ThreatScenarios []string       `yaml:"threatScenarios"`
	Evidence        []RiskEvidence `yaml:"evidence"`
	ResidualRisk    string         `yaml:"residualRisk"`
	Rationale       string         `yaml:"rationale"`
}

type RiskEvidence struct {
	Path        string `yaml:"path"`
	Description string `yaml:"description"`
}

type SQAAudit struct {
	ID                string   `yaml:"id" json:"id"`
	Scope             string   `yaml:"scope" json:"scope"`
	Auditor           string   `yaml:"auditor" json:"auditor"`
	Findings          []string `yaml:"findings" json:"findings"`
	CorrectiveActions []string `yaml:"correctiveActions" json:"correctiveActions"`
	Evidence          []string `yaml:"evidence" json:"evidence"`
	State             string   `yaml:"state" json:"state"`
}

type Satisfaction struct {
	Need string `yaml:"need"` // alias::ID
	By   string `yaml:"by"`   // alias::ID or local hardware item id
}

type SemanticContent struct {
	Imports       []SemanticImport       `json:"imports,omitempty" yaml:"imports,omitempty"`
	Elements      []SemanticElement      `json:"elements,omitempty" yaml:"elements,omitempty"`
	Relationships []SemanticRelationship `json:"relationships,omitempty" yaml:"relationships,omitempty"`
}

type SemanticDiagnostic struct {
	Code     string           `json:"code"`
	Severity SemanticSeverity `json:"severity"`
	Message  string           `json:"message"`
	Path     string           `json:"path,omitempty"`
}

type SemanticElement struct {
	ID                 string                            `json:"id" yaml:"id"`
	Name               string                            `json:"name,omitempty" yaml:"name,omitempty"`
	Kind               SemanticElementKind               `json:"kind" yaml:"kind"`
	Metaclass          string                            `json:"metaclass,omitempty" yaml:"metaclass,omitempty"`
	Properties         map[string]MetamodelPropertyValue `json:"properties,omitempty" yaml:"properties,omitempty"`
	Namespace          string                            `json:"namespace,omitempty" yaml:"namespace,omitempty"`
	Owner              string                            `json:"owner,omitempty" yaml:"owner,omitempty"`
	TypeRef            string                            `json:"typeRef,omitempty" yaml:"typeRef,omitempty"`
	Multiplicity       *Multiplicity                     `json:"multiplicity,omitempty" yaml:"multiplicity,omitempty"`
	Ordered            bool                              `json:"ordered,omitempty" yaml:"ordered,omitempty"`
	Unique             *bool                             `json:"unique,omitempty" yaml:"unique,omitempty"`
	Conjugated         bool                              `json:"conjugated,omitempty" yaml:"conjugated,omitempty"`
	Specializes        []string                          `json:"specializes,omitempty" yaml:"specializes,omitempty"`
	Subsets            []string                          `json:"subsets,omitempty" yaml:"subsets,omitempty"`
	Redefines          []string                          `json:"redefines,omitempty" yaml:"redefines,omitempty"`
	ControlKind        string                            `json:"controlKind,omitempty" yaml:"controlKind,omitempty"`
	OccurrenceID       string                            `json:"occurrenceId,omitempty" yaml:"occurrenceId,omitempty"`
	PortionOf          string                            `json:"portionOf,omitempty" yaml:"portionOf,omitempty"`
	Variation          bool                              `json:"variation,omitempty" yaml:"variation,omitempty"`
	Variants           []string                          `json:"variants,omitempty" yaml:"variants,omitempty"`
	References         []string                          `json:"references,omitempty" yaml:"references,omitempty"`
	Features           []SemanticFeature                 `json:"features,omitempty" yaml:"features,omitempty"`
	Metadata           []SemanticMetadata                `json:"metadata,omitempty" yaml:"metadata,omitempty"`
	ExtensionNamespace string                            `json:"extensionNamespace,omitempty" yaml:"extensionNamespace,omitempty"`
	Extension          string                            `json:"extension,omitempty" yaml:"extension,omitempty"`
	Targets            []string                          `json:"targets,omitempty" yaml:"targets,omitempty"`
	Authored           bool                              `json:"-" yaml:"-"`
}

type SemanticElementKind string

type SemanticExpression struct {
	Kind       string               `json:"kind,omitempty" yaml:"kind,omitempty"`
	Language   string               `json:"language,omitempty" yaml:"language,omitempty"`
	Operator   string               `json:"operator,omitempty" yaml:"operator,omitempty"`
	Value      string               `json:"value,omitempty" yaml:"value,omitempty"`
	TypedValue *SemanticValue       `json:"typedValue,omitempty" yaml:"typedValue,omitempty"`
	Operands   []SemanticExpression `json:"operands,omitempty" yaml:"operands,omitempty"`
}

type SemanticFeature struct {
	Name         string              `json:"name" yaml:"name"`
	Kind         SemanticFeatureKind `json:"kind,omitempty" yaml:"kind,omitempty"`
	Type         string              `json:"type,omitempty" yaml:"type,omitempty"`
	Direction    string              `json:"direction,omitempty" yaml:"direction,omitempty"`
	Multiplicity *Multiplicity       `json:"multiplicity,omitempty" yaml:"multiplicity,omitempty"`
	Ordered      bool                `json:"ordered,omitempty" yaml:"ordered,omitempty"`
	Unique       *bool               `json:"unique,omitempty" yaml:"unique,omitempty"`
	Conjugated   bool                `json:"conjugated,omitempty" yaml:"conjugated,omitempty"`
	Specializes  []string            `json:"specializes,omitempty" yaml:"specializes,omitempty"`
	Subsets      []string            `json:"subsets,omitempty" yaml:"subsets,omitempty"`
	Redefines    []string            `json:"redefines,omitempty" yaml:"redefines,omitempty"`
	Value        *SemanticExpression `json:"value,omitempty" yaml:"value,omitempty"`
	References   []string            `json:"references,omitempty" yaml:"references,omitempty"`
}

type SemanticFeatureKind string

type SemanticImport struct {
	Namespace  string `json:"namespace" yaml:"namespace"`
	Imported   string `json:"imported" yaml:"imported"`
	Visibility string `json:"visibility,omitempty" yaml:"visibility,omitempty"`
	Recursive  bool   `json:"recursive,omitempty" yaml:"recursive,omitempty"`
}

type SemanticMetadata struct {
	Namespace  string                    `json:"namespace" yaml:"namespace"`
	Type       string                    `json:"type" yaml:"type"`
	Target     string                    `json:"target" yaml:"target"`
	Properties map[string]MetamodelValue `json:"properties,omitempty" yaml:"properties,omitempty"`
}

type SemanticModel struct {
	ID            string                 `json:"id"`
	Title         string                 `json:"title,omitempty"`
	Imports       []SemanticImport       `json:"imports,omitempty"`
	Elements      []SemanticElement      `json:"elements"`
	Relationships []SemanticRelationship `json:"relationships"`
}

type SemanticProjectionError struct {
	Diagnostics []SemanticDiagnostic
}

type SemanticQuantity struct {
	Value float64 `json:"value" yaml:"value"`
	Unit  string  `json:"unit" yaml:"unit"`
}

type SemanticRelationship struct {
	ID         string                            `json:"id" yaml:"id"`
	Kind       SemanticRelationshipKind          `json:"kind" yaml:"kind"`
	Metaclass  string                            `json:"metaclass,omitempty" yaml:"metaclass,omitempty"`
	Properties map[string]MetamodelPropertyValue `json:"properties,omitempty" yaml:"properties,omitempty"`
	Source     string                            `json:"source" yaml:"source"`
	Target     string                            `json:"target" yaml:"target"`
	Owner      string                            `json:"owner,omitempty" yaml:"owner,omitempty"`
	SourceType string                            `json:"sourceType,omitempty" yaml:"sourceType,omitempty"`
	ItemRef    string                            `json:"itemRef,omitempty" yaml:"itemRef,omitempty"`
	Triggers   []string                          `json:"triggers,omitempty" yaml:"triggers,omitempty"`
	Guard      *SemanticExpression               `json:"guard,omitempty" yaml:"guard,omitempty"`
	Effect     *SemanticExpression               `json:"effect,omitempty" yaml:"effect,omitempty"`
	Metadata   []SemanticMetadata                `json:"metadata,omitempty" yaml:"metadata,omitempty"`
}

type SemanticRelationshipKind string

type SemanticSeverity string

type SemanticValue struct {
	Kind      string            `json:"kind" yaml:"kind"`
	String    string            `json:"string,omitempty" yaml:"string,omitempty"`
	Integer   *int64            `json:"integer,omitempty" yaml:"integer,omitempty"`
	Real      *float64          `json:"real,omitempty" yaml:"real,omitempty"`
	Boolean   *bool             `json:"boolean,omitempty" yaml:"boolean,omitempty"`
	Reference string            `json:"reference,omitempty" yaml:"reference,omitempty"`
	Quantity  *SemanticQuantity `json:"quantity,omitempty" yaml:"quantity,omitempty"`
}

type StableIdentifierGuide struct {
	Pattern  string            `json:"pattern"`
	Prefixes map[string]string `json:"prefixes"`
}

type State struct {
	ID          string `yaml:"id"`
	Name        string `yaml:"name"`
	Description string `yaml:"description"`
}

type StructuralCoverage struct {
	ID           string                 `yaml:"id" json:"id"`
	Metric       string                 `yaml:"metric" json:"metric"`
	Baseline     string                 `yaml:"baseline" json:"baseline"`
	Build        string                 `yaml:"build" json:"build"`
	ToolRefs     []string               `yaml:"toolRefs" json:"toolRefs"`
	Total        int                    `yaml:"total" json:"total"`
	Covered      int                    `yaml:"covered" json:"covered"`
	Uncovered    int                    `yaml:"uncovered" json:"uncovered"`
	Dispositions []UncoveredDisposition `yaml:"dispositions" json:"dispositions"`
	Evidence     []string               `yaml:"evidence" json:"evidence"`
	Reviewer     string                 `yaml:"reviewer" json:"reviewer"`
	Status       string                 `yaml:"status" json:"status"`
}

type Subsystem struct {
	ID          string `yaml:"id"`
	Name        string `yaml:"name"`
	Dependency  string `yaml:"dependency"`
	Publication string `yaml:"publication"`
	Description string `yaml:"description"`
}

type ThreatAssumption struct {
	ID        string                     `yaml:"id"`
	Title     string                     `yaml:"title"`
	Statement string                     `yaml:"statement"`
	Status    string                     `yaml:"status"`
	Owner     string                     `yaml:"owner"`
	AppliesTo []string                   `yaml:"appliesTo"`
	Rationale string                     `yaml:"rationale"`
	Evidence  []ThreatAssumptionEvidence `yaml:"evidence"`
}

type ThreatAssumptionEvidence struct {
	Path        string `yaml:"path"`
	Description string `yaml:"description"`
}

type ThreatMitigation struct {
	ID                string                     `yaml:"id"`
	ThreatScenarioRef string                     `yaml:"threatScenarioRef"`
	ControlRef        string                     `yaml:"controlRef"`
	Status            string                     `yaml:"status"`
	Effectiveness     string                     `yaml:"effectiveness"`
	Owner             string                     `yaml:"owner"`
	Notes             string                     `yaml:"notes"`
	VerificationRefs  []string                   `yaml:"verificationRefs"`
	Evidence          []ThreatMitigationEvidence `yaml:"evidence"`
}

type ThreatMitigationEvidence struct {
	Path        string `yaml:"path"`
	Description string `yaml:"description"`
}

type ThreatOutOfScope struct {
	ID        string                     `yaml:"id"`
	Title     string                     `yaml:"title"`
	Reason    string                     `yaml:"reason"`
	Status    string                     `yaml:"status"`
	Owner     string                     `yaml:"owner"`
	AppliesTo []string                   `yaml:"appliesTo"`
	ExpiresOn string                     `yaml:"expiresOn"`
	Evidence  []ThreatOutOfScopeEvidence `yaml:"evidence"`
}

type ThreatOutOfScopeEvidence struct {
	Path        string `yaml:"path"`
	Description string `yaml:"description"`
}

type ThreatScenario struct {
	ID               string                   `yaml:"id"`
	Title            string                   `yaml:"title"`
	Summary          string                   `yaml:"summary"`
	Category         string                   `yaml:"category"`
	Stride           string                   `yaml:"stride"`
	CWE              []string                 `yaml:"cwe"`
	AttackVectorRef  string                   `yaml:"attackVectorRef"`
	AppliesTo        []string                 `yaml:"appliesTo"`
	FlowRefs         []string                 `yaml:"flowRefs"`
	EntryPoint       string                   `yaml:"entryPoint"`
	Preconditions    []string                 `yaml:"preconditions"`
	ExploitPath      []string                 `yaml:"exploitPath"`
	Likelihood       string                   `yaml:"likelihood"`
	Impact           string                   `yaml:"impact"`
	Severity         string                   `yaml:"severity"`
	Status           string                   `yaml:"status"`
	Owner            string                   `yaml:"owner"`
	RiskRef          string                   `yaml:"riskRef"`
	RelatedControls  []string                 `yaml:"relatedControls"`
	AssumptionRefs   []string                 `yaml:"assumptionRefs"`
	OutOfScopeRefs   []string                 `yaml:"outOfScopeRefs"`
	MitigationRefs   []string                 `yaml:"mitigationRefs"`
	VerificationRefs []string                 `yaml:"verificationRefs"`
	Detection        []string                 `yaml:"detection"`
	Evidence         []ThreatScenarioEvidence `yaml:"evidence"`
}

type ThreatScenarioEvidence struct {
	Path        string `yaml:"path"`
	Description string `yaml:"description"`
}

type ToolAssessment struct {
	Criterion               string   `yaml:"criterion" json:"criterion"`
	TQL                     string   `yaml:"tql" json:"tql"`
	OperationalRequirements []string `yaml:"operationalRequirements" json:"operationalRequirements"`
	Evidence                []string `yaml:"evidence" json:"evidence"`
}

type TrustBoundary struct {
	ID           string   `yaml:"id"`
	Name         string   `yaml:"name"`
	Description  string   `yaml:"description"`
	BoundaryType string   `yaml:"boundaryType"`
	ParentRef    string   `yaml:"parentRef"`
	Members      []string `yaml:"members"`
}

type UncoveredDisposition struct {
	ID          string   `yaml:"id" json:"id"`
	Disposition string   `yaml:"disposition" json:"disposition"`
	Count       int      `yaml:"count" json:"count"`
	Rationale   string   `yaml:"rationale" json:"rationale"`
	Evidence    []string `yaml:"evidence" json:"evidence"`
	Reviewer    string   `yaml:"reviewer" json:"reviewer"`
	Status      string   `yaml:"status" json:"status"`
}

type VerificationExecution struct {
	ID           string   `yaml:"id" json:"id"`
	ProcedureRef string   `yaml:"procedureRef" json:"procedureRef"`
	CaseRefs     []string `yaml:"caseRefs" json:"caseRefs"`
	Baseline     string   `yaml:"baseline" json:"baseline"`
	Build        string   `yaml:"build" json:"build"`
	Environment  string   `yaml:"environment" json:"environment"`
	Target       string   `yaml:"target" json:"target"`
	Producer     string   `yaml:"producer" json:"producer"`
	Verifier     string   `yaml:"verifier" json:"verifier"`
	Status       string   `yaml:"status" json:"status"`
	Result       string   `yaml:"result" json:"result"`
	Evidence     []string `yaml:"evidence" json:"evidence"`
	ApprovalRefs []string `yaml:"approvalRefs" json:"approvalRefs"`
}

type VerificationProcedure struct {
	ID          string   `yaml:"id" json:"id"`
	CaseRefs    []string `yaml:"caseRefs" json:"caseRefs"`
	Steps       []string `yaml:"steps" json:"steps"`
	Environment string   `yaml:"environment" json:"environment"`
	Target      string   `yaml:"target" json:"target"`
	Baseline    string   `yaml:"baseline" json:"baseline"`
	State       string   `yaml:"state" json:"state"`
}

type View struct {
	ID                        string   `yaml:"id"`
	Kind                      string   `yaml:"kind"`
	Roots                     []string `yaml:"roots"`
	AuthoredStatus            string   `yaml:"authoredStatus"`
	AuthoredStatusExplanation string   `yaml:"authoredStatusExplanation"`
	IncludeKinds              []string `yaml:"includeKinds"`
	ExcludeKinds              []string `yaml:"excludeKinds"`
	IncludeMappings           []string `yaml:"includeMappings"`
	ExcludeMappings           []string `yaml:"excludeMappings"`
	MaxDepth                  int      `yaml:"maxDepth"`
	Audience                  string   `yaml:"audience"`
	Abstraction               string   `yaml:"abstraction"`
}

type ViewsDocument struct {
	SchemaVersion int                  `yaml:"schemaVersion"`
	Views         []View               `yaml:"views"`
	NAF           NAFProfile           `yaml:"naf"`
	Design        DesignModel          `yaml:"design"`
	Documents     []DocumentDefinition `yaml:"documents"`
}

type WorkspaceDocument struct {
	SchemaVersion int                    `yaml:"schemaVersion"`
	Replacements  []WorkspaceReplacement `yaml:"replacements"`
}

type WorkspaceReplacement struct {
	Module string `yaml:"module"`
	Path   string `yaml:"path"`
}