vocab

var Capabilities = []Capability{
	CapModuleEnumeration,
	CapImportExtraction,
	CapResolveImportsInternal,
	CapResolveImportsModules,
	CapImportAttrGuarded,
	CapImportAttrTypeChecking,
	CapTestContextClassification,
	CapEntryPointDiscovery,
	CapDeclaredDependencyExtraction,
	CapExportExtraction,
	CapCallableExtraction,
	CapTypeExtraction,
	CapCallResolutionSyntactic,
	CapCallResolutionTypeInformed,
	CapConformanceDeclared,
	CapConformanceDerived,
	CapInstantiationExtraction,
	CapReferenceExtraction,
	CapDecorationExtraction,
	CapUnreachableStatementAnalysis,
	CapEndpointDiscovery,
	CapDbEntityDiscovery,
}

var CapabilityLayer = map[Capability]Layer{
	CapModuleEnumeration:            LayerImportGraph,
	CapImportExtraction:             LayerImportGraph,
	CapResolveImportsInternal:       LayerImportGraph,
	CapResolveImportsModules:        LayerImportGraph,
	CapImportAttrGuarded:            LayerImportGraph,
	CapImportAttrTypeChecking:       LayerImportGraph,
	CapTestContextClassification:    LayerImportGraph,
	CapEntryPointDiscovery:          LayerImportGraph,
	CapDeclaredDependencyExtraction: LayerImportGraph,
	CapExportExtraction:             LayerImportGraph,
	CapCallableExtraction:           LayerFullSemanticGraph,
	CapTypeExtraction:               LayerFullSemanticGraph,
	CapCallResolutionSyntactic:      LayerFullSemanticGraph,
	CapCallResolutionTypeInformed:   LayerFullSemanticGraph,
	CapConformanceDeclared:          LayerFullSemanticGraph,
	CapConformanceDerived:           LayerFullSemanticGraph,
	CapInstantiationExtraction:      LayerFullSemanticGraph,
	CapReferenceExtraction:          LayerFullSemanticGraph,
	CapDecorationExtraction:         LayerFullSemanticGraph,
	CapUnreachableStatementAnalysis: LayerFullSemanticGraph,
	CapEndpointDiscovery:            LayerBoundaryGraph,
	CapDbEntityDiscovery:            LayerBoundaryGraph,
}

var Enums = map[string][]string{
	"maturity":          {"stable", "speculative"},
	"resolution":        {"syntactic", "type_informed", "unresolved"},
	"dependency_scope":  {"runtime", "dev", "peer", "explicit"},
	"provenance":        {"declared", "derived", "declared_external"},
	"discipline":        {"nominal", "structural"},
	"mechanism":         {"inheritance", "implements", "embedding", "satisfaction", "register", "protocol"},
	"type_form":         {"class", "struct", "interface", "protocol", "enum", "alias", "trait"},
	"visibility":        {"public", "private_convention", "unexported"},
	"entry_point_form":  {"script", "export", "bin", "main_package", "gui_script"},
	"export_form":       {"declared_all", "relative_import", "reexport", "manifest"},
	"reference_context": {"parameter", "return", "annotation", "body"},
	"endpoint_protocol": {"http", "rpc", "cli", "other"},
	"db_entity_form":    {"table", "collection", "schema", "view"},
	"capability_status": {"supported", "planned", "not-applicable"},
}

var Langs = []Lang{LangPy, LangGo, LangTS}

var NodeKindInfo = map[NodeKind]NodeKindDecl{
	NodeKindWorkspaceMember: {
		Maturity: MaturityStable,
		Attrs: []AttrDecl{
			{Name: "member_name", Type: AttrString},
			{Name: "registry_name", Type: AttrString},
			{Name: "is_library", Type: AttrBool},
			{Name: "is_dev_only", Type: AttrBool},
			{Name: "root_path", Type: AttrString},
		},
	},
	NodeKindModule: {
		Maturity: MaturityStable,
		Attrs: []AttrDecl{
			{Name: "logical_name", Type: AttrString},
			{Name: "path", Type: AttrString},
			{Name: "test_context", Type: AttrBool},
		},
	},
	NodeKindEntryPoint: {
		Maturity: MaturityStable,
		Attrs: []AttrDecl{
			{Name: "form", Type: AttrEnum, Enum: "entry_point_form"},
			{Name: "declared_name", Type: AttrString},
		},
	},
	NodeKindFunction: {
		Maturity: MaturityStable,
		Attrs: []AttrDecl{
			{Name: "visibility", Type: AttrEnum, Enum: "visibility"},
			{Name: "is_method", Type: AttrBool},
			{Name: "is_async", Type: AttrBool},
			{Name: "is_test", Type: AttrBool},
		},
	},
	NodeKindClosure: {
		Maturity: MaturityStable,
		Attrs: []AttrDecl{
			{Name: "name_hint", Type: AttrString},
			{Name: "ordinal", Type: AttrInt},
			{Name: "fingerprint", Type: AttrString},
		},
	},
	NodeKindType: {
		Maturity: MaturityStable,
		Attrs: []AttrDecl{
			{Name: "form", Type: AttrEnum, Enum: "type_form"},
			{Name: "visibility", Type: AttrEnum, Enum: "visibility"},
		},
	},
	NodeKindTypeParam: {
		Maturity: MaturitySpeculative,
		Attrs: []AttrDecl{
			{Name: "param_name", Type: AttrString},
		},
	},
	NodeKindVariable: {
		Maturity: MaturitySpeculative,
		Attrs: []AttrDecl{
			{Name: "is_constant", Type: AttrBool},
			{Name: "visibility", Type: AttrEnum, Enum: "visibility"},
		},
	},
	NodeKindEndpoint: {
		Maturity: MaturitySpeculative,
		Attrs: []AttrDecl{
			{Name: "route", Type: AttrString},
			{Name: "protocol", Type: AttrEnum, Enum: "endpoint_protocol"},
		},
	},
	NodeKindDbEntity: {
		Maturity: MaturitySpeculative,
		Attrs: []AttrDecl{
			{Name: "entity_name", Type: AttrString},
			{Name: "form", Type: AttrEnum, Enum: "db_entity_form"},
		},
	},
}

var NodeKinds = []NodeKind{
	NodeKindWorkspaceMember,
	NodeKindModule,
	NodeKindEntryPoint,
	NodeKindFunction,
	NodeKindClosure,
	NodeKindType,
	NodeKindTypeParam,
	NodeKindVariable,
	NodeKindEndpoint,
	NodeKindDbEntity,
}

var Profiles = map[Lang]Profile{
	LangPy: {
		DisplayName: "Python",
		Grammar:     "tree-sitter-python",
		Capabilities: map[Capability]ProfileCapability{
			CapModuleEnumeration:            {Status: StatusSupported},
			CapImportExtraction:             {Status: StatusSupported},
			CapResolveImportsInternal:       {Status: StatusSupported},
			CapResolveImportsModules:        {Status: StatusSupported},
			CapImportAttrGuarded:            {Status: StatusSupported},
			CapImportAttrTypeChecking:       {Status: StatusSupported},
			CapTestContextClassification:    {Status: StatusSupported},
			CapEntryPointDiscovery:          {Status: StatusSupported},
			CapDeclaredDependencyExtraction: {Status: StatusSupported},
			CapExportExtraction:             {Status: StatusSupported},
			CapCallableExtraction:           {Status: StatusSupported},
			CapTypeExtraction:               {Status: StatusSupported},
			CapCallResolutionSyntactic:      {Status: StatusSupported},
			CapCallResolutionTypeInformed:   {Status: StatusPlanned},
			CapConformanceDeclared:          {Status: StatusSupported},
			CapConformanceDerived:           {Status: StatusPlanned},
			CapInstantiationExtraction:      {Status: StatusSupported},
			CapReferenceExtraction:          {Status: StatusPlanned},
			CapDecorationExtraction:         {Status: StatusSupported},
			CapUnreachableStatementAnalysis: {Status: StatusSupported},
			CapEndpointDiscovery:            {Status: StatusPlanned},
			CapDbEntityDiscovery:            {Status: StatusPlanned},
		},
	},
	LangGo: {
		DisplayName: "Go",
		Grammar:     "tree-sitter-go",
		Capabilities: map[Capability]ProfileCapability{
			CapModuleEnumeration:            {Status: StatusSupported},
			CapImportExtraction:             {Status: StatusSupported},
			CapResolveImportsInternal:       {Status: StatusSupported},
			CapResolveImportsModules:        {Status: StatusSupported},
			CapImportAttrGuarded:            {Status: StatusNotApplicable, Reason: "Go has no optional-import construct; every import is unconditional and required at compile time."},
			CapImportAttrTypeChecking:       {Status: StatusNotApplicable, Reason: "Go has no type-only import form; all imports are ordinary compile-time dependencies."},
			CapTestContextClassification:    {Status: StatusSupported},
			CapEntryPointDiscovery:          {Status: StatusSupported},
			CapDeclaredDependencyExtraction: {Status: StatusSupported},
			CapExportExtraction:             {Status: StatusPlanned},
			CapCallableExtraction:           {Status: StatusPlanned},
			CapTypeExtraction:               {Status: StatusPlanned},
			CapCallResolutionSyntactic:      {Status: StatusPlanned},
			CapCallResolutionTypeInformed:   {Status: StatusNotApplicable, Reason: "Go is statically typed; syntactic resolution over the package symbol table already has type information — there is no external-type-checker mode to opt into."},
			CapConformanceDeclared:          {Status: StatusPlanned},
			CapConformanceDerived:           {Status: StatusPlanned},
			CapInstantiationExtraction:      {Status: StatusPlanned},
			CapReferenceExtraction:          {Status: StatusPlanned},
			CapDecorationExtraction:         {Status: StatusNotApplicable, Reason: "Go has no decorator or annotation construct."},
			CapUnreachableStatementAnalysis: {Status: StatusNotApplicable, Reason: "go vet reports unreachable code natively; strictcode does not reimplement it."},
			CapEndpointDiscovery:            {Status: StatusPlanned},
			CapDbEntityDiscovery:            {Status: StatusPlanned},
		},
	},
	LangTS: {
		DisplayName: "TypeScript/JavaScript",
		Grammar:     "tree-sitter-typescript",
		Capabilities: map[Capability]ProfileCapability{
			CapModuleEnumeration:            {Status: StatusSupported},
			CapImportExtraction:             {Status: StatusSupported},
			CapResolveImportsInternal:       {Status: StatusSupported},
			CapResolveImportsModules:        {Status: StatusSupported},
			CapImportAttrGuarded:            {Status: StatusNotApplicable, Reason: "No declared optional-dependency import construct; a try/catch around dynamic import() is control flow, not an optionality declaration."},
			CapImportAttrTypeChecking:       {Status: StatusSupported},
			CapTestContextClassification:    {Status: StatusSupported},
			CapEntryPointDiscovery:          {Status: StatusSupported},
			CapDeclaredDependencyExtraction: {Status: StatusSupported},
			CapExportExtraction:             {Status: StatusSupported},
			CapCallableExtraction:           {Status: StatusPlanned},
			CapTypeExtraction:               {Status: StatusPlanned},
			CapCallResolutionSyntactic:      {Status: StatusPlanned},
			CapCallResolutionTypeInformed:   {Status: StatusPlanned},
			CapConformanceDeclared:          {Status: StatusPlanned},
			CapConformanceDerived:           {Status: StatusPlanned},
			CapInstantiationExtraction:      {Status: StatusPlanned},
			CapReferenceExtraction:          {Status: StatusPlanned},
			CapDecorationExtraction:         {Status: StatusPlanned},
			CapUnreachableStatementAnalysis: {Status: StatusPlanned},
			CapEndpointDiscovery:            {Status: StatusPlanned},
			CapDbEntityDiscovery:            {Status: StatusPlanned},
		},
	},
}

var RowKindInfo = map[RowKind]RowKindDecl{
	RowKindImports: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindModule},
		DstKinds: []NodeKind{NodeKindModule, NodeKindWorkspaceMember},
		Attrs: []AttrDecl{
			{Name: "test_context", Type: AttrBool},
			{Name: "guarded", Type: AttrBool},
			{Name: "type_checking", Type: AttrBool},
		},
	},
	RowKindDeclaresDependency: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindWorkspaceMember},
		DstKinds: []NodeKind{NodeKindWorkspaceMember},
		Attrs: []AttrDecl{
			{Name: "scope", Type: AttrEnum, Enum: "dependency_scope"},
		},
	},
	RowKindExports: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindModule},
		DstKinds: []NodeKind{NodeKindModule, NodeKindFunction, NodeKindType, NodeKindVariable},
		Attrs: []AttrDecl{
			{Name: "form", Type: AttrEnum, Enum: "export_form"},
		},
	},
	RowKindResolvesTo: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindEntryPoint},
		DstKinds: []NodeKind{NodeKindModule, NodeKindFunction},
	},
	RowKindContains: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindModule, NodeKindType, NodeKindFunction},
		DstKinds: []NodeKind{NodeKindFunction, NodeKindClosure, NodeKindType, NodeKindVariable, NodeKindTypeParam},
	},
	RowKindCalls: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindFunction, NodeKindClosure},
		DstKinds: []NodeKind{NodeKindFunction, NodeKindClosure},
		Attrs: []AttrDecl{
			{Name: "resolution", Type: AttrEnum, Enum: "resolution"},
		},
	},
	RowKindInstantiates: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindFunction, NodeKindClosure},
		DstKinds: []NodeKind{NodeKindType},
	},
	RowKindReferences: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindFunction, NodeKindClosure, NodeKindType, NodeKindVariable},
		DstKinds: []NodeKind{NodeKindType},
		Attrs: []AttrDecl{
			{Name: "context", Type: AttrEnum, Enum: "reference_context"},
		},
	},
	RowKindConformsTo: {
		Maturity: MaturityStable,
		SrcKinds: []NodeKind{NodeKindType},
		DstKinds: []NodeKind{NodeKindType},
		Attrs: []AttrDecl{
			{Name: "provenance", Type: AttrEnum, Enum: "provenance"},
			{Name: "discipline", Type: AttrEnum, Enum: "discipline"},
			{Name: "mechanism", Type: AttrEnum, Enum: "mechanism"},
		},
	},
	RowKindDecorates: {
		Maturity: MaturitySpeculative,
		SrcKinds: []NodeKind{NodeKindFunction},
		DstKinds: []NodeKind{NodeKindFunction, NodeKindType},
	},
	RowKindValidates: {
		Maturity: MaturitySpeculative,
		SrcKinds: []NodeKind{NodeKindFunction},
		DstKinds: []NodeKind{NodeKindFunction, NodeKindType, NodeKindModule},
	},
	RowKindAccesses: {
		Maturity: MaturitySpeculative,
		SrcKinds: []NodeKind{NodeKindFunction, NodeKindClosure},
		DstKinds: []NodeKind{NodeKindVariable},
		Attrs: []AttrDecl{
			{Name: "writes", Type: AttrBool},
		},
	},
	RowKindHandledBy: {
		Maturity: MaturitySpeculative,
		SrcKinds: []NodeKind{NodeKindEndpoint},
		DstKinds: []NodeKind{NodeKindFunction},
	},
	RowKindPersistsTo: {
		Maturity: MaturitySpeculative,
		SrcKinds: []NodeKind{NodeKindFunction, NodeKindType},
		DstKinds: []NodeKind{NodeKindDbEntity},
	},
}

var RowKinds = []RowKind{
	RowKindImports,
	RowKindDeclaresDependency,
	RowKindExports,
	RowKindResolvesTo,
	RowKindContains,
	RowKindCalls,
	RowKindInstantiates,
	RowKindReferences,
	RowKindConformsTo,
	RowKindDecorates,
	RowKindValidates,
	RowKindAccesses,
	RowKindHandledBy,
	RowKindPersistsTo,
}