@orangepro/orangepro-mcp 0.2.41 → 0.2.43
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/dist/local/analyze/analyzer.js +415 -42
- package/dist/local/analyze/classify.js +5 -1
- package/dist/local/analyze/confirm.js +90 -6
- package/dist/local/analyze/frameworks.js +3 -0
- package/dist/local/analyze/treeSitter/engine.js +425 -5
- package/dist/local/flows/flowWalker.js +1 -1
- package/dist/local/graph/ontology.js +3 -3
- package/dist/local/operations.js +30 -5
- package/dist/local/proofDoctor.js +5 -4
- package/dist/local/provenance.js +84 -0
- package/dist/local/resolve/importGraph.js +15 -1
- package/dist/local/score/rankEligibility.js +15 -0
- package/dist/local/score/risk.js +99 -26
- package/dist/local/viz/behaviorReportData.js +91 -12
- package/dist/local/viz/behaviorReportHtml.js +19 -2
- package/dist/local/viz/html.js +3 -3
- package/package.json +2 -2
package/dist/local/viz/html.js
CHANGED
|
@@ -415,7 +415,7 @@ function initViz() {
|
|
|
415
415
|
function dotTip(e){
|
|
416
416
|
var label = (dt.tier === 'proven') ? 'Proven — dynamic targeted proof'
|
|
417
417
|
: (dt.tier === 'runtime') ? 'Runtime-covered — executed by a coverage report, not proof'
|
|
418
|
-
: (dt.tier === 'associated') ? 'Associated —
|
|
418
|
+
: (dt.tier === 'associated') ? 'Associated — resolved static test-to-behavior invocation; not execution or mutation proof'
|
|
419
419
|
: 'No link — no static or runtime signal';
|
|
420
420
|
showTip('<div class="tt">' + esc(dt.area) + ' · symbol</div>' +
|
|
421
421
|
'<div class="trow"><span>tier</span><span class="v" style="color:' + col + '">' + TIER[dt.tier].label + '</span></div>' +
|
|
@@ -1022,12 +1022,12 @@ const HTML_TEMPLATE = `<!DOCTYPE html>
|
|
|
1022
1022
|
<h3>Tiers</h3>
|
|
1023
1023
|
<div class="legend-row"><svg class="gly" viewBox="0 0 16 16" aria-hidden="true"><circle cx="8" cy="8" r="5.2" fill="var(--proven)"/></svg><div><div class="lt">Dynamic Proven</div><div class="ld">disc · dynamic targeted proof</div></div></div>
|
|
1024
1024
|
<div class="legend-row"><svg class="gly" viewBox="0 0 16 16" aria-hidden="true"><circle cx="8" cy="8" r="5.2" fill="var(--runtime)"/></svg><div><div class="lt">Runtime-covered</div><div class="ld">disc · executed by coverage, not proof</div></div></div>
|
|
1025
|
-
<div class="legend-row"><svg class="gly" viewBox="0 0 16 16" aria-hidden="true"><circle cx="8" cy="8" r="5" fill="none" stroke="var(--assoc)" stroke-width="2.4"/></svg><div><div class="lt">Associated</div><div class="ld">ring ·
|
|
1025
|
+
<div class="legend-row"><svg class="gly" viewBox="0 0 16 16" aria-hidden="true"><circle cx="8" cy="8" r="5" fill="none" stroke="var(--assoc)" stroke-width="2.4"/></svg><div><div class="lt">Associated</div><div class="ld">ring · invocation-backed static signal, not proof</div></div></div>
|
|
1026
1026
|
<div class="legend-row"><svg class="gly" viewBox="0 0 16 16" aria-hidden="true"><circle cx="8" cy="8" r="4.4" fill="none" stroke="var(--none)" stroke-width="2.2"/><circle cx="8" cy="8" r="7" fill="none" stroke="var(--none)" stroke-width="1" opacity=".55"/></svg><div><div class="lt">No link</div><div class="ld">glowing ring · no test signal</div></div></div>
|
|
1027
1027
|
</div>
|
|
1028
1028
|
<div><h3>Code areas</h3><div class="areafilters" id="areafilters"></div></div>
|
|
1029
1029
|
<div class="explain">
|
|
1030
|
-
<b>Tier definitions.</b> Proven = dynamic targeted mutation proof recorded in the local ledger, not static matching or LLM. Runtime-covered = executed by a repo coverage report. Associated signal =
|
|
1030
|
+
<b>Tier definitions.</b> Proven = dynamic targeted mutation proof recorded in the local ledger, not static matching or LLM. Runtime-covered = executed by a repo coverage report. Associated signal = a resolved static test-to-behavior invocation. It is not execution evidence and does not prove the test detects failure. No link = no direct static or runtime signal found. Broad e2e or integration coverage may still exist.
|
|
1031
1031
|
</div>
|
|
1032
1032
|
</div>
|
|
1033
1033
|
<div class="stage" id="stage">
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@orangepro/orangepro-mcp",
|
|
3
|
-
"version": "0.2.
|
|
3
|
+
"version": "0.2.43",
|
|
4
4
|
"private": false,
|
|
5
5
|
"description": "OrangePro (`opro`) — a local-first, BYOK CLI + MCP server that builds an evidence graph from a local checkout, ingests runtime coverage, and generates grounded tests. Metadata-only exports; no source upload; generated tests stay local.",
|
|
6
6
|
"license": "MIT",
|
|
@@ -101,7 +101,7 @@
|
|
|
101
101
|
"smoke:generate-prove-v5": "npm run build && node scripts/smoke-generate-prove-v5.mjs",
|
|
102
102
|
"smoke:db-sqljs": "npm run build && node scripts/smoke-db-sqljs-prove.mjs",
|
|
103
103
|
"release": "node scripts/release.mjs",
|
|
104
|
-
"prepublishOnly": "npm run build && npm test"
|
|
104
|
+
"prepublishOnly": "npm run typecheck && npm run build && npm test"
|
|
105
105
|
},
|
|
106
106
|
"engines": {
|
|
107
107
|
"node": ">=20"
|