Struct FallowConfig 

pub struct FallowConfig {

    pub schema: Option<String>,
    pub extends: Vec<String>,
    pub entry: Vec<String>,
    pub ignore_patterns: Vec<String>,
    pub framework: Vec<ExternalPluginDef>,
    pub workspaces: Option<WorkspaceConfig>,
    pub ignore_dependencies: Vec<String>,
    pub ignore_unresolved_imports: Vec<String>,
    pub ignore_exports: Vec<IgnoreExportRule>,
    pub ignore_catalog_references: Vec<IgnoreCatalogReferenceRule>,
    pub ignore_dependency_overrides: Vec<IgnoreDependencyOverrideRule>,
    pub ignore_exports_used_in_file: IgnoreExportsUsedInFileConfig,
    pub ignore_decorators: Vec<String>,
    pub used_class_members: Vec<UsedClassMemberRule>,
    pub duplicates: DuplicatesConfig,
    pub health: HealthConfig,
    pub rules: RulesConfig,
    pub boundaries: BoundaryConfig,
    pub flags: FlagsConfig,
    pub security: SecurityConfig,
    pub fix: FixConfig,
    pub resolve: ResolveConfig,
    pub production: ProductionConfig,
    pub plugins: Vec<String>,
    pub dynamically_loaded: Vec<String>,
    pub overrides: Vec<ConfigOverride>,
    pub codeowners: Option<String>,
    pub public_packages: Vec<String>,
    pub regression: Option<RegressionConfig>,
    pub audit: AuditConfig,
    pub sealed: bool,
    pub include_entry_exports: bool,
    pub auto_imports: bool,
    pub cache: CacheConfig,
}

Fields

schema: Option<String>

extends: Vec<String>

entry: Vec<String>

ignore_patterns: Vec<String>

framework: Vec<ExternalPluginDef>

workspaces: Option<WorkspaceConfig>

ignore_dependencies: Vec<String>

ignore_unresolved_imports: Vec<String>

ignore_exports: Vec<IgnoreExportRule>

ignore_catalog_references: Vec<IgnoreCatalogReferenceRule>

ignore_dependency_overrides: Vec<IgnoreDependencyOverrideRule>

ignore_exports_used_in_file: IgnoreExportsUsedInFileConfig

ignore_decorators: Vec<String>

used_class_members: Vec<UsedClassMemberRule>

duplicates: DuplicatesConfig

health: HealthConfig

rules: RulesConfig

boundaries: BoundaryConfig

flags: FlagsConfig

security: SecurityConfig

fix: FixConfig

resolve: ResolveConfig

production: ProductionConfig

plugins: Vec<String>

dynamically_loaded: Vec<String>

overrides: Vec<ConfigOverride>

codeowners: Option<String>

public_packages: Vec<String>

regression: Option<RegressionConfig>

audit: AuditConfig

sealed: bool

include_entry_exports: bool

auto_imports: bool

cache: CacheConfig

Implementations

impl FallowConfig

pub fn load(path: &Path) -> Result<Self, Report>

Load config from a fallow config file (TOML or JSON/JSONC).

The format is detected from the file extension:

• .toml → TOML
• .json → JSON (with JSONC comment stripping)

Supports extends for config inheritance. Extended configs are loaded and deep-merged before this config’s values are applied.

User-supplied glob patterns (entry, ignorePatterns, dynamicallyLoaded, duplicates.ignore, health.ignore, boundaries.zones[].patterns, overrides[].files, ignoreExports[].file, ignoreCatalogReferences[].consumer) are validated against absolute paths, .. traversal segments, and invalid glob syntax. Loading fails loud on any rejection so silent no-match configs surface to the user. See issue #463.

Errors

Returns an error when the config file cannot be read, merged, or deserialized, or when any user-supplied glob pattern is rejected.

pub fn validate_user_globs(&self) -> Result<(), Vec<GlobValidationError>>

Validate all user-supplied glob patterns and directory paths in this config.

Accumulates errors from every glob- or path-bearing field so the user sees ALL offending values in one run rather than fixing them one at a time.

Covered filesystem glob fields: entry, ignorePatterns, dynamicallyLoaded, duplicates.ignore, health.ignore, overrides[].files, ignoreExports[].file, ignoreCatalogReferences[].consumer, boundaries.zones[].patterns, plus every glob-bearing field on inline framework[] plugin definitions (entry points, always-used, config patterns, used-exports patterns, and fileExists detection patterns; the last reaches glob::glob on disk so a .. segment there is a real path traversal).

Covered specifier glob fields: ignoreUnresolvedImports. These match raw import strings, so parent-relative specifiers like ../generated/** are valid and only glob syntax is checked.

Covered directory-path fields: boundaries.zones[].root and boundaries.zones[].autoDiscover. These are literal paths (not globs), so only the absolute-path + traversal checks apply.

Errors

Returns a non-empty Vec of glob_validation::GlobValidationError when any field contains a rejected value.

pub fn find_config_path(start: &Path) -> Option<PathBuf>

Find the config file path without loading it. Searches the same locations as find_and_load.

pub fn find_and_load(start: &Path) -> Result<Option<(Self, PathBuf)>, String>

Find and load config, searching from start up to the project root.

Errors

Returns an error if a config file is found but cannot be read or parsed.

pub fn json_schema() -> Value

Generate JSON Schema for the configuration format.

pub fn validate_resolved_boundaries( &self, root: &Path, ) -> Result<(), Vec<ZoneValidationError>>

Validate boundary zone references and zone-root-prefix conflicts AFTER preset and auto-discover expansion.

Runs the same expand sequence as FallowConfig::resolve (preset expansion gated on tsconfig rootDir, then expand_auto_discover) before invoking BoundaryConfig::validate_zone_references and BoundaryConfig::validate_root_prefixes, so Bulletproof-style presets whose authored rule references logical groups (features) still load cleanly.

Call sites (runtime_support::load_config_for_analysis in the CLI, core::lib::config_for_project for LSP and programmatic embedders) surface every collected error in a single rendered diagnostic, then exit with code 2. Previously these failures emitted tracing::error! and continued, producing a flood of false-positive boundary violations at analysis time (#468).

root is the project root used by expand_auto_discover to scan for child directories. Caller is responsible for passing the same root it later hands to resolve().

Errors

Returns a non-empty Vec<ZoneValidationError> aggregating every offending zone reference and redundant-root-prefix pattern; the empty case becomes Ok(()).

impl FallowConfig

pub fn resolve( self, root: PathBuf, output: OutputFormat, threads: usize, no_cache: bool, quiet: bool, cache_max_size_mb: Option<u32>, ) -> ResolvedConfig

Resolve into a fully resolved config with compiled globs.

Trait Implementations

impl Debug for FallowConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FallowConfig

fn default() -> FallowConfig

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FallowConfig

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for FallowConfig

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl Serialize for FallowConfig

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.