Extract semantic interfaces, types, pydantic models, sanitized raises, and signatures from a source file (path) at a given pruning depth ('full', 'interface', or 'nominal') and language, optionally stripping docstrings (strip_docs), while replacing procedural bodies with AST stubs. Use this when you only need to inspect contracts or APIs of an individual dependency without ingesting raw implementation code. For multi-module dependency graphs, use resolve_context_bundle instead. Does not modify files on disk (pure in-memory AST operation).

Calculate topological dependency graph distances (D0 full target_file, D1 interface stubs, D2 nominal symbols) within project_root and compile a token-pruned Markdown context bundle, with optional reactive degradation via breaker_state and session_id. Use this as your primary context builder before editing a file in a multi-module project. For inspecting isolated files, use prune_file instead. Read-only operation.

Evaluate an architectural specification brief (brief_text) against formal determinism rules, negative invariant floors ('never'/'shall never'), and the Axiom Completeness Index (ACI 1.0000). Use this during intake or planning phases before writing code. For verifying unified git diff patches, use evaluate_patch instead. Pure read-only analytical evaluation with no side effects.

Verify a unified git diff patch (diff_text) against SWE-Gate architectural constraints (max_cyclomatic_delta, forbid_type_ignores, disallowed_import_modules) and functional test results (tests_passed, tests_failed, functional_verdict) before allowing merge. Appends immutable audit records (EVL-...) in SweGateStore and seals cryptographic blocks in TraceKitStore; use query_audit_ledger to retrieve or verify persisted records.

Retrieve persisted SWE-Gate patch evaluation records and violation findings by evaluation_id (EVL-...), or verify and inspect cryptographic SHA-256 hash-chained audit sessions in TraceKitStore by session_id (SES-...) with optional block listing (include_blocks, max_blocks). Use this for forensic inspection and compliance verification after running evaluate_patch or context tools. Pure read-only query with zero ledger mutations.