Crate codehelion_core 

Analysis core for codehelion: engine-side logic that the CLI layer drives.

This is the engine layer of the workspace. The dependency direction is strictly cli -> core: nothing here may reach back into the CLI, the store or any frontend crate. Keeping the boundary at the crate level makes it mechanically enforceable.

Modules

boilerplate

Boilerplate classification: recognising units whose duplication is expected rather than a finding.

candidate

Structural-mode candidate generation: the inverted-index seed layer.

clone_class

The clone classification vocabulary, shared by every analysis mode.

conditional

Which arm of a preprocessor conditional a unit sits in.

control_flow

Structural-mode candidate generation from the control-flow skeleton.

discovery

Project discovery: turning a directory tree into the set of source units the Fast source-audit engine will analyse.

doctor

Environment diagnostics.

engine

The Fast-mode clone-detection engine.

execution

What a run is allowed to run, and what it reads instead.

features

Structural-mode candidate-extraction features over the Syntax IR.

frontend

The Fast-frontend interface.

grouping

Structural-mode clone grouping: turning verified pairs into cohesive groups.

ir

The Syntax IR: a language-neutral structural view of one source file.

maximal

Folding overlapping seed matches back into maximal shared statement runs.

near_match

Structural-mode near-match candidate generation: MinHash + LSH.

paths

Resolving a path to the single spelling everything else compares against.

priority

What a clone group is worth attending to, as separated measures.

semantic

Restricted Semantic Operation Graphs.

stable_id

Stable, position-free identifiers for clone-audit entities.

structural

Structural-mode analysis: the whole Type-2/Type-3 pipeline, wired end to end over already-parsed IR.

substitution

What normalization erased: which name became which.

test_code

Recognising units that exist to test other code.

types

Type evidence: what a compiler knows about a unit’s types, in the form the verifier compares.

verify

Structural-mode weighted verification: the precise judgment of a candidate pair.