rules

var Groups = map[string][]string{
	"library": {
		"library-forbidden-imports",
		"library-stdout",
		"library-direct-logging",
		"library-entry-point",
	},
}

var Rules = []Rule{

	{
		ID:          "deps-unused",
		Severity:    SeverityError,
		Description: "A workspace-internal dependency declared in the manifest that no source file imports.",
		Requires: []vocab.Capability{
			vocab.CapImportExtraction,
			vocab.CapResolveImportsInternal,
			vocab.CapDeclaredDependencyExtraction,
			vocab.CapTestContextClassification,
		},
		Uses:        []vocab.Capability{vocab.CapImportAttrGuarded},
		Suppression: SuppressProjectDep,
		FixTier:     Tier3,
		PlannedFixes: []PlannedFix{
			{Tier: Tier2, Description: "Remove the declaration from the manifest."},
		},
	},
	{
		ID:          "deps-hard-guarded-only",
		Severity:    SeverityError,
		Description: "A hard dependency (scope runtime/explicit) imported only under optional-import guards — contradictory; declare it optional or import it unconditionally.",
		Requires: []vocab.Capability{
			vocab.CapImportExtraction,
			vocab.CapResolveImportsInternal,
			vocab.CapDeclaredDependencyExtraction,
			vocab.CapTestContextClassification,
			vocab.CapImportAttrGuarded,
		},
		Suppression: SuppressProjectDep,
		FixTier:     Tier3,
	},
	{
		ID:          "deps-undeclared",
		Severity:    SeverityError,
		Description: "Production source importing a workspace package the manifest does not declare.",
		Requires: []vocab.Capability{
			vocab.CapImportExtraction,
			vocab.CapResolveImportsInternal,
			vocab.CapDeclaredDependencyExtraction,
			vocab.CapTestContextClassification,
		},
		Uses: []vocab.Capability{
			vocab.CapImportAttrGuarded,
			vocab.CapImportAttrTypeChecking,
		},
		Suppression: SuppressProjectDep,
		FixTier:     Tier3,
		PlannedFixes: []PlannedFix{
			{Tier: Tier2, Description: "Add the declaration to the manifest."},
		},
	},
	{
		ID:          "deps-runtime-test-only",
		Severity:    SeverityWarning,
		Description: "A runtime-scoped dependency imported only by test code — should be dev-scoped.",
		Requires: []vocab.Capability{
			vocab.CapImportExtraction,
			vocab.CapResolveImportsInternal,
			vocab.CapDeclaredDependencyExtraction,
			vocab.CapTestContextClassification,
		},
		Uses:        []vocab.Capability{vocab.CapImportAttrGuarded},
		Suppression: SuppressProjectDep,
		FixTier:     Tier3,
		PlannedFixes: []PlannedFix{
			{Tier: Tier2, Description: "Rescope the declaration to dev."},
		},
	},
	{
		ID:          "deps-dev-in-production",
		Severity:    SeverityError,
		Description: "A dev-scoped dependency imported by production code.",
		Requires: []vocab.Capability{
			vocab.CapImportExtraction,
			vocab.CapResolveImportsInternal,
			vocab.CapDeclaredDependencyExtraction,
			vocab.CapTestContextClassification,
		},
		Uses:        []vocab.Capability{vocab.CapImportAttrGuarded},
		Suppression: SuppressProjectDep,
		FixTier:     Tier3,
		PlannedFixes: []PlannedFix{
			{Tier: Tier2, Description: "Rescope the declaration to runtime."},
		},
	},

	{
		ID:          "dead-modules",
		Severity:    SeverityWarning,
		Description: "Source units unreachable or unreferenced, per the per-language algorithms pinned in DESIGN.md section 6.2.",
		Requires: []vocab.Capability{
			vocab.CapModuleEnumeration,
			vocab.CapImportExtraction,
			vocab.CapResolveImportsModules,
			vocab.CapTestContextClassification,
		},

		Uses:        []vocab.Capability{vocab.CapExportExtraction, vocab.CapEntryPointDiscovery},
		Suppression: SuppressPath,
		FixTier:     Tier3,
		PlannedFixes: []PlannedFix{
			{Tier: Tier2, Description: "Delete the dead unit (consent-gated: deletion is behavior-relevant)."},
		},
	},
	{
		ID:          "dead-workspace-packages",
		Severity:    SeverityWarning,
		Description: "A library workspace member no sibling imports; test-only importers reported distinctly from zero importers.",
		Requires: []vocab.Capability{
			vocab.CapImportExtraction,
			vocab.CapResolveImportsInternal,
			vocab.CapDeclaredDependencyExtraction,
			vocab.CapTestContextClassification,
		},
		Suppression: SuppressMember,
		FixTier:     Tier3,
	},

	{
		ID:          "import-cycles",
		Severity:    SeverityWarning,
		Description: "Import cycles within a project: Tarjan SCC over the module imports projection, SCCs of size >= 2 only.",
		Requires: []vocab.Capability{
			vocab.CapModuleEnumeration,
			vocab.CapImportExtraction,
			vocab.CapResolveImportsModules,
		},
		Suppression: SuppressMemberSet,
		FixTier:     Tier3,
		NotApplicable: map[vocab.Lang]string{
			vocab.LangGo: "the Go compiler rejects import cycles; re-checking is noise",
		},
	},

	{
		ID:          "stale-suppression",
		Severity:    SeverityError,
		Description: "A suppression in strictcode.toml referencing a path, rule, or (project, dep) pair that no longer exists on disk or in the registry.",
		Suppression: SuppressNone,
		FixTier:     Tier3,
	},

	{
		ID:          "library-forbidden-imports",
		Severity:    SeverityError,
		Description: "A library importing an application-concern module (per-language default lists, replaceable; workspace and per-language allow lists subtracted).",
		Requires:    []vocab.Capability{vocab.CapImportExtraction},
		Uses:        []vocab.Capability{vocab.CapTestContextClassification},
		Groups:      []string{"library"},
		Suppression: SuppressNone,
		FixTier:     Tier3,
	},
	{
		ID:          "library-stdout",
		Severity:    SeverityError,
		Description: "A library writing to standard streams (print, sys.stdout.write, fmt.Print*, console.log family).",
		Requires: []vocab.Capability{
			vocab.CapCallableExtraction,
			vocab.CapCallResolutionSyntactic,
		},
		Groups:      []string{"library"},
		Suppression: SuppressNone,
		FixTier:     Tier3,
	},
	{
		ID:          "library-direct-logging",
		Severity:    SeverityWarning,
		Description: "A Python library calling the root logger directly instead of taking a logger.",
		Requires: []vocab.Capability{
			vocab.CapCallableExtraction,
			vocab.CapCallResolutionSyntactic,
		},
		Groups:      []string{"library"},
		Suppression: SuppressNone,
		FixTier:     Tier3,
		NotApplicable: map[vocab.Lang]string{
			vocab.LangGo: "the diagnosis is specific to Python's root-logger idiom",
			vocab.LangTS: "the diagnosis is specific to Python's root-logger idiom",
		},
	},
	{
		ID:          "library-entry-point",
		Severity:    SeverityError,
		Description: "A library declaring a CLI entry point ([project.scripts], func main in package main, npm bin).",
		Requires:    []vocab.Capability{vocab.CapEntryPointDiscovery},
		Groups:      []string{"library"},
		Suppression: SuppressNone,
		FixTier:     Tier3,
	},

	{
		ID:          "unreachable-code",
		Severity:    SeverityError,
		Description: "Statements following an unconditional terminator in the same block (comment-aware; nested scopes independent). All projects, not only libraries.",
		Requires:    []vocab.Capability{vocab.CapUnreachableStatementAnalysis},
		Suppression: SuppressPath,

		FixTier: Tier1,
		NotApplicable: map[vocab.Lang]string{
			vocab.LangGo: "go vet reports unreachable code natively",
		},
	},
}

var Tombstones = []Tombstone{}