f340ff941f
Initial import of the codespaces skill: query .belief_map.sexp for module boundaries, dependencies, blast radius, and the minimal files to read before non-trivial code changes. Includes the belief-map and infra-topology builders, the belief-search query engine and its tests, and reference docs for the S-expression notation and query patterns.
89 lines
2.8 KiB
Markdown
89 lines
2.8 KiB
Markdown
# Scheme Query Language Reference
|
|
|
|
Use `query '<expr>'` for one-shot or `repl` for interactive mode.
|
|
|
|
## Primitives (return module sets)
|
|
|
|
```scheme
|
|
(resolve "pattern") ; find module IDs matching pattern (suffix > substring)
|
|
(boundary "id") ; target + imports + dependents (change boundary)
|
|
(deps "id" depth) ; outgoing dependencies (default depth 2)
|
|
(rdeps "id" depth) ; reverse dependencies (default depth 1)
|
|
(imports "id") ; direct import targets only
|
|
(dependents "id") ; direct dependents only
|
|
(entity "Name") ; modules defining an entity
|
|
(refs-to "Name") ; modules referencing an entity
|
|
```
|
|
|
|
## Set Operations
|
|
|
|
```scheme
|
|
(intersect A B) ; set intersection
|
|
(union A B ...) ; set union (variadic)
|
|
(diff A B) ; A minus B
|
|
(filter SET "pattern") ; keep members matching regex (case-insensitive)
|
|
```
|
|
|
|
## Boundary Analysis
|
|
|
|
```scheme
|
|
(layer "id") ; architecture layer: domain/api/service/infra/shared/test/ui/config/other
|
|
(layer-of SET "layer") ; filter set to modules in a specific layer
|
|
(violations) ; all modules with boundary violations
|
|
(violations "id") ; violations for a specific module's scope
|
|
```
|
|
|
|
## Function & Type Search (return module-set)
|
|
|
|
```scheme
|
|
(find-function "name") ; modules containing matching function definitions
|
|
(find-type "name") ; modules containing matching type/class/ifc/enum defs
|
|
(find-callers "fn" depth) ; modules that call a function (default depth 2)
|
|
(find-calls "fn" depth) ; modules that a function calls (default depth 2)
|
|
(diff-functions "ref") ; print changed functions (side-effect, returns empty)
|
|
```
|
|
|
|
## Output Transforms
|
|
|
|
```scheme
|
|
(files SET) ; resolve module IDs to file paths
|
|
(count SET) ; count set members (returns int)
|
|
(analyze "id") ; run full analysis (prints sexp, returns empty set)
|
|
(search "pattern") ; grep .belief_map.sexp (prints matches, returns empty set)
|
|
```
|
|
|
|
## Composition Examples
|
|
|
|
```scheme
|
|
; Files shared between two modules
|
|
(intersect (deps "controller" 2) (deps "service" 2))
|
|
|
|
; Only DTOs in a boundary
|
|
(filter (boundary "operatives.service") "dto")
|
|
|
|
; How many files in the blast radius?
|
|
(count (deps "drive_schema" 3))
|
|
|
|
; Which TS modules reference a Python entity?
|
|
(filter (refs-to "DrivePath") "app-service")
|
|
|
|
; Domain modules that violate boundaries
|
|
(violations "all")
|
|
|
|
; Infra files in the boundary
|
|
(layer-of (boundary "operatives.service") "infra")
|
|
|
|
; Files to read (resolved paths)
|
|
(files (filter (boundary "X") "service"))
|
|
```
|
|
|
|
## Result Format
|
|
|
|
```scheme
|
|
(result <module-or-path>) ; one per set member
|
|
(result-empty) ; empty set
|
|
(result-count 42) ; from (count ...)
|
|
```
|
|
|
|
String results (from `layer`) print as `(result <value>)`.
|