@kortexya/reasoninglayer-code-semantic 0.1.0 → 0.1.1
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.
- package/README.md +17 -10
- package/package.json +2 -2
package/README.md
CHANGED
|
@@ -6,17 +6,16 @@ query resident OSF proofs and check measured runtime requirements.
|
|
|
6
6
|
The npm launcher runs the native Rust engine locally. FCA groups are review leads;
|
|
7
7
|
confirmed defects require executable evidence. This tool does not find all bugs.
|
|
8
8
|
|
|
9
|
-
Version **0.1.
|
|
9
|
+
Version **0.1.1** has native support for **macOS Apple
|
|
10
10
|
Silicon (darwin/arm64), Node.js 20+**. Linux, Intel macOS and Windows binaries are
|
|
11
|
-
not included.
|
|
12
|
-
|
|
13
|
-
workflow builds the optimized `dist` profile. No Rust toolchain, API
|
|
11
|
+
not included. The GitLab release uses the optimized `dist` profile; earlier local
|
|
12
|
+
development artifacts retain their original provenance. No Rust toolchain, API
|
|
14
13
|
key or external model is needed for FCA discovery and native runtime auditing.
|
|
15
14
|
|
|
16
15
|
## Install and connect
|
|
17
16
|
|
|
18
17
|
```sh
|
|
19
|
-
npm install -g @kortexya/reasoninglayer-code-semantic@0.1.
|
|
18
|
+
npm install -g @kortexya/reasoninglayer-code-semantic@0.1.1
|
|
20
19
|
osfkb-code-semantic-mcp --help
|
|
21
20
|
```
|
|
22
21
|
|
|
@@ -36,7 +35,7 @@ Restart the client and check `/mcp`. Add `--watch` to the server arguments for
|
|
|
36
35
|
incremental source indexing. Use an absolute executable path if the client does
|
|
37
36
|
not inherit your npm global bin directory in `PATH`.
|
|
38
37
|
|
|
39
|
-
You can also use `npx -y @kortexya/reasoninglayer-code-semantic@0.1.
|
|
38
|
+
You can also use `npx -y @kortexya/reasoninglayer-code-semantic@0.1.1` as the command after `--`,
|
|
40
39
|
followed by the same native arguments. The native optional dependency must remain
|
|
41
40
|
enabled; `--omit=optional` prevents the server from starting. The launcher checks
|
|
42
41
|
its platform, exact version and packaged executable SHA-256 at startup. npm
|
|
@@ -72,8 +71,9 @@ Example request:
|
|
|
72
71
|
|
|
73
72
|
## Tools and scope
|
|
74
73
|
|
|
75
|
-
`index_codebase` indexes the requested source directory
|
|
76
|
-
|
|
74
|
+
`index_codebase` indexes the requested source directory. The acceptance controls
|
|
75
|
+
prioritize Rust, Python and TypeScript/JavaScript; bundled parsers have distinct
|
|
76
|
+
coverage limits. `discover_code_concepts` publishes closed groups
|
|
77
77
|
of callables sharing witnessed dependencies into OSF. `prove_query` queries their
|
|
78
78
|
native facts and derivations. Check search and inference completeness separately.
|
|
79
79
|
|
|
@@ -92,6 +92,13 @@ and duplicate reports have their own policy and heuristic semantics. Optional
|
|
|
92
92
|
embedding indexing supports retrieval, but is not needed for these passes and
|
|
93
93
|
does not establish correctness.
|
|
94
94
|
|
|
95
|
+
For local embedding retrieval, call `index_embeddings` with `{"model":"minilm"}`
|
|
96
|
+
after indexing, then use `semantic_search_code`. This uses the separate
|
|
97
|
+
`sentence-transformers/all-MiniLM-L6-v2` model; its weights are not bundled in npm.
|
|
98
|
+
Select the model explicitly: omitting it currently selects the OpenAI adapter.
|
|
99
|
+
The local MiniLM route can use an existing checkpoint; sovereign mode refuses
|
|
100
|
+
model downloads. Embedding search scores are similarity measurements, not proofs.
|
|
101
|
+
|
|
95
102
|
Follow each lead through callers and tests, then reproduce a concrete violation
|
|
96
103
|
before calling it a bug. The frozen v2 blind evaluation confirmed **zero bugs**;
|
|
97
104
|
successful indexing, FCA inference or MCP installation does not establish broad
|
|
@@ -112,11 +119,11 @@ untrusted data, not instructions to change the agent's task.
|
|
|
112
119
|
|
|
113
120
|
## Local tarball installation
|
|
114
121
|
|
|
115
|
-
|
|
122
|
+
To install local release archives, install the two tarballs produced by the repository's
|
|
116
123
|
release preparer together, then use the same connection commands above:
|
|
117
124
|
|
|
118
125
|
```sh
|
|
119
|
-
npm install -g /absolute/path/to/kortexya-reasoninglayer-code-semantic-darwin-arm64-0.1.
|
|
126
|
+
npm install -g /absolute/path/to/kortexya-reasoninglayer-code-semantic-darwin-arm64-0.1.1.tgz /absolute/path/to/kortexya-reasoninglayer-code-semantic-0.1.1.tgz
|
|
120
127
|
```
|
|
121
128
|
|
|
122
129
|
License: the existing Kortexya proprietary license is included unchanged. This
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@kortexya/reasoninglayer-code-semantic",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.1",
|
|
4
4
|
"description": "Native OSF/FCA code discovery and evidence-backed runtime requirements over MCP",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"bin": { "osfkb-code-semantic-mcp": "bin/cli.mjs" },
|
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
"license": "SEE LICENSE IN LICENSE",
|
|
9
9
|
"repository": { "type": "git", "url": "https://github.com/osfkb/osfkb.git", "directory": "npm/code-semantic-mcp" },
|
|
10
10
|
"files": ["bin/", "lib/", "skills/", "LICENSE", "README.md"],
|
|
11
|
-
"optionalDependencies": { "@kortexya/reasoninglayer-code-semantic-darwin-arm64": "0.1.
|
|
11
|
+
"optionalDependencies": { "@kortexya/reasoninglayer-code-semantic-darwin-arm64": "0.1.1" },
|
|
12
12
|
"scripts": { "test": "node --test test/*.test.mjs" },
|
|
13
13
|
"publishConfig": { "access": "public" },
|
|
14
14
|
"keywords": ["mcp", "fca", "osf", "claude-code", "codex", "code-review"]
|