errors

const (

	// PAR001 indicates an unexpected token was encountered during parsing
	PAR001 = "PAR001"

	// PAR002 indicates a missing closing delimiter (paren, bracket, brace)
	PAR002 = "PAR002"

	// PAR003 indicates invalid function declaration syntax
	PAR003 = "PAR003"

	// PAR004 indicates invalid module declaration syntax
	PAR004 = "PAR004"

	// PAR005 indicates invalid import statement syntax
	PAR005 = "PAR005"

	// PAR006 indicates invalid test block syntax
	PAR006 = "PAR006"

	// PAR007 indicates invalid property block syntax
	PAR007 = "PAR007"

	// PAR008 indicates invalid pattern match syntax
	PAR008 = "PAR008"

	// PAR009 indicates invalid type annotation syntax
	PAR009 = "PAR009"

	// PAR010 indicates unexpected token after func signature (likely missing {)
	PAR010 = "PAR010"

	// PAR011 indicates missing ) in parameter list
	PAR011 = "PAR011"

	// PAR012 indicates reserved keyword used as identifier
	PAR012 = "PAR012"

	// PAR013 indicates unexpected token before tests/properties (common missing })
	PAR013 = "PAR013"

	// PAR014 indicates 'const' keyword used (JavaScript/TypeScript pattern)
	PAR014 = "PAR014"

	// PAR015 indicates bare assignment without 'let' keyword (Python pattern)
	PAR015 = "PAR015"

	// PAR999 indicates internal parser error/panic
	PAR999 = "PAR999"

	// MOD001 indicates module name doesn't match file path
	MOD001 = "MOD001"

	// MOD002 indicates multiple module declarations in single file
	MOD002 = "MOD002"

	// MOD003 indicates unsupported re-export attempt
	MOD003 = "MOD003"

	// MOD004 indicates duplicate export in module
	MOD004 = "MOD004"

	// MOD005 indicates invalid module path format
	MOD005 = "MOD005"

	// MOD006 indicates attempted export of underscore-prefixed (private) name
	MOD006 = "MOD006"

	// MOD010 indicates module/path mismatch (e.g., module foo/bar but file is foo/baz.ail)
	MOD010 = "MOD010"

	// MOD011 indicates multiple module declarations per file
	MOD011 = "MOD011"

	// MOD012 indicates implicit module (file without module declaration)
	MOD012 = "MOD012"

	// LDR001 indicates module file not found
	LDR001 = "LDR001"

	// LDR002 indicates circular module dependency detected
	LDR002 = "LDR002"

	// LDR003 indicates duplicate module definition
	LDR003 = "LDR003"

	// LDR004 indicates import of non-existent export
	LDR004 = "LDR004"

	// LDR005 indicates ambiguous import (multiple modules export same name)
	LDR005 = "LDR005"

	// IMP001 indicates invalid import syntax
	IMP001 = "IMP001"

	// IMP002 indicates import of non-existent module
	IMP002 = "IMP002"

	// IMP003 indicates cyclic import dependency
	IMP003 = "IMP003"

	// IMP004 indicates invalid selective import syntax
	IMP004 = "IMP004"

	// IMP005 indicates importing from non-module file
	IMP005 = "IMP005"

	// IMP010 indicates unknown import form (reject aliasing for MVP)
	IMP010 = "IMP010"

	// IMP011 indicates unknown symbol in selective import
	IMP011 = "IMP011"

	// IMP012 indicates duplicate binding introduced by import
	IMP012 = "IMP012"

	// DSG001 indicates invalid desugaring transformation
	DSG001 = "DSG001"

	// DSG002 indicates alpha-renaming conflict
	DSG002 = "DSG002"

	// DSG003 indicates recursive function without proper binding
	DSG003 = "DSG003"

	// DSG010 indicates pure func calls effectful things (warning placeholder)
	DSG010 = "DSG010"

	// TC008 indicates recursive type without base case
	TC008 = "TC008"

	// TC009 indicates effect constraint violation
	TC009 = "TC009"

	// TC010 indicates missing type class instance
	TC010 = "TC010"

	// ELB005 indicates invalid Core AST structure after elaboration
	ELB005 = "ELB005"

	// ELB006 indicates failed ANF normalization
	ELB006 = "ELB006"

	// LNK005 indicates version mismatch in linked modules
	LNK005 = "LNK005"

	// EVA001 indicates unbound variable at runtime
	EVA001 = "EVA001"

	// EVA002 indicates pattern match failure at runtime
	EVA002 = "EVA002"

	// EVA003 indicates type assertion failed
	EVA003 = "EVA003"

	// EVA004 indicates effect capability not provided
	EVA004 = "EVA004"

	// EVA005 indicates infinite recursion detected
	EVA005 = "EVA005"

	// RT007 indicates out of memory
	RT007 = "RT007"

	// RT008 indicates timeout exceeded
	RT008 = "RT008"

	// RT009 indicates value initialization cycle detected
	RT009 = "RT009"
)

const (
	// Type checking errors (TC###)
	TC001 = "TC001" // Type mismatch
	TC002 = "TC002" // Unbound variable
	TC003 = "TC003" // Constraint solving failed
	TC004 = "TC004" // Occurs check failed
	TC005 = "TC005" // Kind mismatch
	TC006 = "TC006" // Missing type annotation
	TC007 = "TC007" // Defaulting ambiguity

	// Elaboration errors (ELB###)
	ELB001 = "ELB001" // Invalid AST structure
	ELB002 = "ELB002" // Dictionary resolution failed
	ELB003 = "ELB003" // ANF transformation error
	ELB004 = "ELB004" // Pattern match exhaustiveness

	// Linking errors (LNK###)
	LNK001 = "LNK001" // Missing dictionary instance
	LNK002 = "LNK002" // Ambiguous instance
	LNK003 = "LNK003" // Module not found
	LNK004 = "LNK004" // Circular dependency

	// Runtime errors (RT###)
	RT001 = "RT001" // Division by zero
	RT002 = "RT002" // Pattern match failure
	RT003 = "RT003" // Index out of bounds
	RT004 = "RT004" // Null pointer
	RT005 = "RT005" // Stack overflow
	RT006 = "RT006" // Type assertion failed
)