code-oracle 0.1.0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- code_oracle/__init__.py +30 -0
- code_oracle/cli.py +795 -0
- code_oracle/config.py +145 -0
- code_oracle/dataset.py +5325 -0
- code_oracle/dead_code/__init__.py +32 -0
- code_oracle/dead_code/detector.py +379 -0
- code_oracle/dead_code/entrypoints.py +333 -0
- code_oracle/dead_code/models.py +255 -0
- code_oracle/dead_code/semantics.py +416 -0
- code_oracle/decision.py +906 -0
- code_oracle/engine.py +430 -0
- code_oracle/export_onnx.py +436 -0
- code_oracle/hook.py +531 -0
- code_oracle/indexer.py +894 -0
- code_oracle/languages/__init__.py +114 -0
- code_oracle/languages/common.py +127 -0
- code_oracle/languages/go.py +395 -0
- code_oracle/languages/python.py +336 -0
- code_oracle/languages/rust.py +474 -0
- code_oracle/languages/typescript.py +775 -0
- code_oracle/linearizer.py +166 -0
- code_oracle/locator.py +301 -0
- code_oracle/models.py +237 -0
- code_oracle/perf_lint/__init__.py +38 -0
- code_oracle/perf_lint/engine.py +234 -0
- code_oracle/perf_lint/models.py +229 -0
- code_oracle/perf_lint/rules/__init__.py +31 -0
- code_oracle/perf_lint/rules/async_blocking.py +143 -0
- code_oracle/perf_lint/rules/n_plus_one.py +232 -0
- code_oracle/perf_lint/rules/nested_loops.py +137 -0
- code_oracle/perf_lint/rules/unclosed_res.py +494 -0
- code_oracle/perf_lint/visitor.py +299 -0
- code_oracle/server.py +184 -0
- code_oracle/slicer.py +225 -0
- code_oracle/symbolic.py +459 -0
- code_oracle-0.1.0.dist-info/METADATA +225 -0
- code_oracle-0.1.0.dist-info/RECORD +40 -0
- code_oracle-0.1.0.dist-info/WHEEL +4 -0
- code_oracle-0.1.0.dist-info/entry_points.txt +2 -0
- code_oracle-0.1.0.dist-info/licenses/LICENSE +190 -0
code_oracle/__init__.py
ADDED
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
"""
|
|
2
|
+
Code Oracle: Sub-50ms Neuro-Symbolic Verification Oracle for AI Coding Agents.
|
|
3
|
+
"""
|
|
4
|
+
|
|
5
|
+
from code_oracle.dead_code import detect_dead_code
|
|
6
|
+
from code_oracle.engine import TopoSliceEngine
|
|
7
|
+
from code_oracle.indexer import WorkspaceIndexer
|
|
8
|
+
from code_oracle.linearizer import estimate_tokens, linearize_subgraph
|
|
9
|
+
from code_oracle.locator import extract_symbols_from_ast, locate_affected_symbols
|
|
10
|
+
from code_oracle.server import verify_patch
|
|
11
|
+
from code_oracle.slicer import slice_neighborhood
|
|
12
|
+
from code_oracle.symbolic import find_cycles_tarjan, verify_symbolic_gate
|
|
13
|
+
|
|
14
|
+
__version__ = "0.1.0"
|
|
15
|
+
__author__ = "Wahyu Febri Tamtomo"
|
|
16
|
+
|
|
17
|
+
__all__ = [
|
|
18
|
+
"TopoSliceEngine",
|
|
19
|
+
"verify_patch",
|
|
20
|
+
"detect_dead_code",
|
|
21
|
+
"WorkspaceIndexer",
|
|
22
|
+
"find_cycles_tarjan",
|
|
23
|
+
"verify_symbolic_gate",
|
|
24
|
+
"locate_affected_symbols",
|
|
25
|
+
"extract_symbols_from_ast",
|
|
26
|
+
"slice_neighborhood",
|
|
27
|
+
"linearize_subgraph",
|
|
28
|
+
"estimate_tokens",
|
|
29
|
+
"__version__",
|
|
30
|
+
]
|