fragment = "check"
[aliases]
expr = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:expr/**'"
expr_collection = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:expr/*:collection/**'"
expr_pairs = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:expr/*:pairs/**'"
expr_metrics = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:expr/*:metrics/**'"
eval = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:eval/**'"
eval_local = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:eval/*:local/**'"
eval_value = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:eval/*:value/**'"
eval_collection = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:eval/*:collection/**'"
eval_pairs = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:eval/*:pairs/**'"
eval_metrics = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:eval/*:metrics/**'"
config = "moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:config/**'"
[[refs.where]]
id = "expr-parser-only"
expr = """
$expr AND kind = 'imports_symbol'
=> NOT target ~ '**/*:/^(eval|config|workspace)$/**'
"""
message = "`check::expr` owns DSL syntax only; evaluation, config loading, and workspace/project indexes stay outside the parser."
rationale = """
The parser should produce syntax and AST shapes that are deterministic from the rule text.
Pulling runtime evaluation or workspace data into parsing would make rule loading stateful
and harder to test in isolation.
"""
[[rust.shape.callable.where]]
id = "expr-parser-tests-use-corpus-snapshots"
severity = "error"
expr = """
$expr AND kind = 'test'
=> moniker ~ '**/module:/^(snapshots|fuzz)$/**'
"""
message = "`check::expr` parser test `{name}` is an internal unit test; parser behavior should be covered by corpus/snapshot tests or parser fuzz properties."
rationale = """
Parser tests should survive refactors of grammar functions and parser state. Corpus
snapshots cover expected AST and diagnostics; fuzz tests cover robustness properties without
coupling to parser internals.
"""
[[rust.shape.callable.where]]
id = "expr-parser-snapshot-tests-use-insta"
severity = "error"
expr = """
moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:expr/*:snapshots/**'
AND kind = 'test'
=> any(out_refs, kind = 'calls' AND target.name = 'assert_json_snapshot')
"""
message = "`check::expr::snapshots` test `{name}` must use `insta::assert_json_snapshot!`."
rationale = """
Parser corpus tests should produce reviewable golden diffs through insta. This keeps parser
tests black-box and prevents hand-written assertions from re-coupling the suite to parser
internals.
"""
[[rust.module.where]]
id = "expr-parser-fuzz-tests-use-proptest"
severity = "error"
expr = """
moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:expr/*:fuzz'
=> any(out_refs, kind = 'calls' AND target ~ '**/macro:proptest')
"""
message = "`check::expr::fuzz` must define parser fuzz properties through `proptest!`."
rationale = """
Parser fuzz coverage should express generated-input robustness properties. Keeping those
tests behind `proptest!` separates them from example-based corpus snapshots and ordinary
unit tests.
"""
[[rust.shape.callable.where]]
id = "expr-parser-fuzz-tests-are-robustness-properties"
severity = "error"
expr = """
moniker ~ '**/dir:crates/dir:check/dir:src/*:check/*:expr/*:fuzz/**'
AND kind = 'test'
=> name =~ never_panics
"""
message = "`check::expr::fuzz` test `{name}` should assert parser robustness, not parser internals."
rationale = """
Fuzz tests are allowed outside the corpus snapshot module only for generated-input
robustness checks. Expected AST shape and diagnostics belong in the snapshot corpus.
"""
[[refs.where]]
id = "eval-local-graph-only"
expr = """
$eval AND kind = 'imports_symbol'
=> NOT (target ~ '**/*:/^(workspace|linkage)$/**'
OR target ~ '**/path:/^(SessionIndex|LinkageIndex)$/')
"""
message = "`check::eval` evaluates local `CodeGraph` facts only; project-wide indexes and linkage stay out of the local DSL evaluator."
rationale = """
Rule expressions currently evaluate against one local graph item at a time. Keeping project
indexes out of this layer preserves predictable cost and leaves cross-file semantics to
explicit higher-level features.
"""
[[refs.where]]
id = "config-no-runtime-eval"
expr = """
$config AND kind = 'imports_symbol'
=> NOT target ~ '**/*:/^(eval|workspace)$/**'
"""
message = "`check::config` owns TOML/profile/alias loading; it must not evaluate rules or reach workspace indexes."
rationale = """
Config loading must stay a pure compilation step from TOML to rule specs. If it starts
evaluating against workspaces, `rules show`, hooks, and tests inherit runtime dependencies
they do not need.
"""
[[refs.where]]
id = "config-fragments-private"
expr = """
(kind = 'imports_symbol' OR kind = 'imports_module')
AND target ~ '**/*:check/*:config/*:fragments/**'
=> $config OR $rust_inline_tests
"""
message = "`check::config::fragments` is loader internals; callers should use the public `check::config` loading API."
rationale = """
Fragment discovery and namespacing are merge internals. Keeping callers on the public config
API lets the loader change fragment mechanics without leaking partial or unmerged rule
state.
"""
[[refs.where]]
id = "dsl-layer1-eval-value-is-graph-free"
expr = """
$eval_value AND kind = 'imports_symbol'
=> NOT (target ~ '**/path:/^(CodeGraph|DefRecord|RefRecord)$/'
OR target ~ '**/*:/^(workspace|linkage)$/**')
"""
message = "`check::eval::value` is the typed comparison/rendering layer; local graph traversal belongs to `check::eval::local`."
rationale = """
Value evaluation should compare and render already-projected values. Keeping raw graph
traversal out of it avoids a second traversal owner beside `eval::local`.
"""
[[refs.where]]
id = "dsl-layer2-expr-collection-parser-isolated"
expr = """
$expr_collection AND kind = 'imports_symbol'
=> NOT target ~ '**/*:/^(eval|config|workspace)$/**'
"""
message = "`check::expr::collection` must remain syntax/AST only; multiset evaluation belongs outside the parser."
rationale = """
Collection syntax is part of rule parsing, but collection contents are runtime facts.
Keeping the parser AST-only lets `rules show` and config validation run without workspace
data.
"""
[[refs.where]]
id = "dsl-layer2-eval-collection-local-only"
expr = """
$eval_collection AND kind = 'imports_symbol'
=> NOT (target ~ '**/*:/^(workspace|linkage)$/**'
OR target ~ '**/path:/^(SessionIndex|LinkageIndex)$/')
"""
message = "`check::eval::collection` must evaluate local multisets only; project-wide linkage stays outside local analysis."
rationale = """
Multiset operators should be predictable local analytics over the current graph item.
Project-wide linkage would change their cost model and blur the boundary with impact/linkage
indexes.
"""
[[refs.where]]
id = "dsl-layer2-eval-local-does-not-own-multiset-algebra"
expr = """
$eval_local
AND kind = 'method_call'
=> NOT target ~ '**/method:/^(unique|intersect|union|difference|is_subset)$/'
"""
message = "`check::eval::local` owns domain traversal and numeric local metrics; multiset algebra belongs to `check::eval::collection`."
rationale = """
Local evaluation may enumerate domains, but set operations need their own algebra and
equality semantics. Centralizing them in `eval::collection` avoids duplicate multiset
behavior.
"""
[[refs.where]]
id = "dsl-layer3-pairs-parser-isolated"
expr = """
$expr_pairs AND kind = 'imports_symbol'
=> NOT target ~ '**/*:/^(eval|config|workspace)$/**'
"""
message = "`check::expr::pairs` must only parse pair domains/bindings; evaluation and graph traversal stay outside the parser."
rationale = """
`pairs(D)` introduces binding syntax for `a.*` and `b.*`. Parsing those bindings separately
keeps pair grammar explicit without making the parser depend on graph contents.
"""
[[refs.where]]
id = "dsl-layer3-eval-pairs-local-only"
expr = """
$eval_pairs AND kind = 'imports_symbol'
=> NOT (target ~ '**/*:/^(workspace|linkage)$/**'
OR target ~ '**/path:/^(SessionIndex|LinkageIndex)$/')
"""
message = "`check::eval::pairs` must evaluate pair domains from the local `CodeGraph`; project-wide linkage stays outside local analysis."
rationale = """
Pair rules are combinatorial even when local. Keeping them local protects hook latency and
avoids accidental all-project pair scans.
"""
[[refs.where]]
id = "dsl-layer3-eval-local-does-not-own-pair-iteration"
expr = """
$eval_local
AND kind = 'method_call'
=> NOT target ~ '**/method:/^(eval_pair_count|eval_pair_quantifier)$/'
"""
message = "`check::eval::local` owns domain traversal and numeric local metrics; pair iteration belongs to `check::eval::pairs`."
rationale = """
Pair iteration has different cardinality and binding rules from ordinary domain traversal.
Isolating it makes cost and diagnostics easier to reason about.
"""
[[refs.where]]
id = "dsl-layer4-expr-metrics-parser-isolated"
expr = """
$expr_metrics AND kind = 'imports_symbol'
=> NOT target ~ '**/*:/^(eval|config|workspace)$/**'
"""
message = "`check::expr::metrics` must only parse named metric calls; metric formulas belong outside the parser."
rationale = """
Named metrics are syntax in the parser and algorithms in evaluation. Separating the two
keeps metric parsing cheap and prevents formulas from affecting rule loading.
"""
[[refs.where]]
id = "dsl-layer4-metrics-local-only"
expr = """
$eval_metrics AND kind = 'imports_symbol'
=> NOT (target ~ '**/*:/^(workspace|linkage)$/**'
OR target ~ '**/path:/^(SessionIndex|LinkageIndex)$/')
"""
message = "`check::eval::metrics` must compute named metrics from the local `CodeGraph`; cross-file/project indexes remain out of scope."
rationale = """
Current metrics are local structural signals. Keeping them project-index-free makes their
meaning stable in per-file hooks and full project checks.
"""
[[refs.where]]
id = "dsl-layer4-eval-local-does-not-own-named-metrics"
expr = """
$eval_local
AND kind = 'method_call'
=> NOT target ~ '**/method:/^(eval_metric|lcom4|cbo|rfc|wmc|dit|noc|fan_in|fan_out)$/'
"""
message = "`check::eval::local` owns reusable local traversal/stat helpers; named metric formulas belong to `check::eval::metrics`."
rationale = """
Named metrics have domain-specific formulas and should be discoverable in one module.
Leaving them in `eval::local` would turn the shared traversal layer into a metrics grab bag.
"""