Functors

Functor modules contain the metric probes and structural comparisons that feed evaluation. Probes measure a single representation, such as CFG complexity or MDG coupling; profunctors compare programs or program/test structure, such as UAST edit distance and structural coverage.

topos.functors.probes.ast.complexity

Per-Function Complexity Analysis

topos.functors.probes.ast.entropy

Entropy Module Approximates the 'Algorithmic Debt' via Kolmogorov complexity proxy.

topos.functors.probes.cfg.complexity

CFG complexity probes.

topos.functors.probes.cfg.paths

CFG path probes.

topos.functors.probes.cpg.danger

Dangerous-API reachability probe (CPG → ℝ).

topos.functors.probes.cpg.taint

Taint-flow probe (CPG → ℝ).

topos.functors.probes.mdg.coupling

Coupling Metrics Quantifies the structural coupling of a module within the dependency graph.

topos.functors.probes.mdg.fan

Fan-in / Fan-out Metrics Counts incoming and outgoing CALLS edges for a file and its symbols.

topos.functors.probes.uast.compare

UAST Comparison Module Cross-language structural comparison built on top of UAST kind values.

topos.functors.probes.uast.signature

UAST Signature Module Cheap, language-agnostic structural fingerprints of a UAST root.

topos.functors.profunctors.ast.compare

Distance Module Provides two structural distance metrics between program ASTs.

topos.functors.profunctors.cfg.compare

CFG Comparison — profunctor D : E × E^op → ℝ restricted to CFGs.

topos.functors.profunctors.cpg.compare

CPG Comparison — profunctor D : E × E^op restricted to the Code Property Graph.

topos.functors.profunctors.cpg.topological_coverage

Topological Semantic Test Coverage via Euler Characteristic Transform (ECT).

topos.functors.profunctors.mdg.compare

MDG Comparison — profunctor D : E × E^op restricted to the inter-module dependency graph.

topos.functors.profunctors.pdg.compare

PDG Comparison — profunctor D : E × E^op restricted to the academic intra-procedural Program Dependence Graph.

topos.functors.profunctors.uast.compare

UAST Comparison Module Cross-language structural comparison built on top of UAST kind values.

topos.functors.profunctors.uast.structural_test_coverage

Structural test coverage (UAST) PUT-directed recall: how much of the program-under-test's UAST structure is represented in the test suite's UAST, using kind histograms, control-flow profiles, and optional k-gram path overlap.