@cejel/cejel 0.6.0 → 0.6.2
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 +61 -11
- package/dist/calibration/llm-detector.js +23 -1
- package/dist/{chunk-2453M7C2.js → chunk-KG62JCJZ.js} +148 -20
- package/dist/chunk-QDP7QWA7.js +17358 -0
- package/dist/index.js +39 -3
- package/dist/mcp/index.js +7 -17332
- package/dist/packs/d-series/index.js +42 -0
- package/dist/packs/decision-contracts/index.js +11 -0
- package/package.json +6 -3
|
@@ -19,6 +19,41 @@ import {
|
|
|
19
19
|
// src/packs/d-series/index.ts
|
|
20
20
|
init_esm_shims();
|
|
21
21
|
|
|
22
|
+
// src/packs/d-series/tiers.ts
|
|
23
|
+
init_esm_shims();
|
|
24
|
+
var D_SERIES_RULE_TIERS = {
|
|
25
|
+
D1: {
|
|
26
|
+
tier: "semantic",
|
|
27
|
+
sourceFile: "src/packs/d-series/declared-but-unread-config.ts",
|
|
28
|
+
evidence: "resolvedSymbol() follows import aliases with checker.getAliasedSymbol across the first-party module graph to find read sites of a declared key"
|
|
29
|
+
},
|
|
30
|
+
D2: {
|
|
31
|
+
tier: "structural",
|
|
32
|
+
sourceFile: "src/packs/d-series/swallowed-error.ts",
|
|
33
|
+
evidence: "walks the TypeScript AST for catch clauses; bindingIsUnused() compares checker symbols for the catch binding inside its own block"
|
|
34
|
+
},
|
|
35
|
+
D3: {
|
|
36
|
+
tier: "structural",
|
|
37
|
+
sourceFile: "src/packs/d-series/unasserted-set-transform.ts",
|
|
38
|
+
evidence: "walks each file's TypeScript AST for a direct-parameter .filter call, an empty ledger and a literal-success return; no symbol resolution"
|
|
39
|
+
},
|
|
40
|
+
D4: {
|
|
41
|
+
tier: "semantic",
|
|
42
|
+
sourceFile: "src/packs/d-series/empty-failure-conflation.ts",
|
|
43
|
+
evidence: "calleeContract() resolves a call to its declaration in another first-party file via checker.getAliasedSymbol and reads that callee's return states"
|
|
44
|
+
},
|
|
45
|
+
D5: {
|
|
46
|
+
tier: "semantic",
|
|
47
|
+
sourceFile: "src/packs/d-series/self-referential-verification.ts",
|
|
48
|
+
evidence: "importedBinding() resolves test imports to their declaring source files with checker.getAliasedSymbol and compares the module under test across files"
|
|
49
|
+
},
|
|
50
|
+
D6: {
|
|
51
|
+
tier: "lexical",
|
|
52
|
+
sourceFile: "src/packs/d-series/unobserved-control.ts",
|
|
53
|
+
evidence: "exitStatusAnalysis() regex-matches single shell lines plus the next line, with a whole-file presence test for set -e; no parse, no name resolution, no flow"
|
|
54
|
+
}
|
|
55
|
+
};
|
|
56
|
+
|
|
22
57
|
// src/packs/d-series/declared-but-unread-config.ts
|
|
23
58
|
init_esm_shims();
|
|
24
59
|
var import_typescript2 = __toESM(require_typescript(), 1);
|
|
@@ -1111,7 +1146,14 @@ function scanUnobservedControls(repoRoot) {
|
|
|
1111
1146
|
}
|
|
1112
1147
|
return inspectionFromAnalyses(analyses, findings, anchorAbstentions);
|
|
1113
1148
|
}
|
|
1149
|
+
|
|
1150
|
+
// src/packs/d-series/index.ts
|
|
1151
|
+
process.emitWarning(
|
|
1152
|
+
"@cejel/cejel/d-series is deprecated and will be removed in 0.7.0. D-series detection was retired: its rules are a taxonomy, not a production detector, and a zero-result scan does not mean a repository is clean. See https://github.com/BargLabs/cejel/issues/419.",
|
|
1153
|
+
{ type: "DeprecationWarning", code: "CEJEL_DEP_D_SERIES" }
|
|
1154
|
+
);
|
|
1114
1155
|
export {
|
|
1156
|
+
D_SERIES_RULE_TIERS,
|
|
1115
1157
|
detectDeclaredButUnreadConfig,
|
|
1116
1158
|
detectEmptyFailureConflation,
|
|
1117
1159
|
detectSelfReferentialVerification,
|
|
@@ -16,6 +16,16 @@ import {
|
|
|
16
16
|
// src/packs/decision-contracts/index.ts
|
|
17
17
|
init_esm_shims();
|
|
18
18
|
|
|
19
|
+
// src/packs/decision-contracts/tiers.ts
|
|
20
|
+
init_esm_shims();
|
|
21
|
+
var DECISION_CONTRACT_RULE_TIERS = {
|
|
22
|
+
"DECISION-CONTRACT-EDGE": {
|
|
23
|
+
tier: "semantic",
|
|
24
|
+
sourceFile: "src/packs/decision-contracts/decision-contract-conformance.ts",
|
|
25
|
+
evidence: "parses one file with ts.createSourceFile (structural), but transitiveDecisionReferences() expands local initializers to follow which premises the returned decision depends on (data flow, within one function); ambiguous, so the higher tier"
|
|
26
|
+
}
|
|
27
|
+
};
|
|
28
|
+
|
|
19
29
|
// src/packs/decision-contracts/decision-contract-conformance.ts
|
|
20
30
|
init_esm_shims();
|
|
21
31
|
var import_typescript = __toESM(require_typescript(), 1);
|
|
@@ -308,6 +318,7 @@ function scanDecisionContracts(repoRoot) {
|
|
|
308
318
|
}
|
|
309
319
|
export {
|
|
310
320
|
DECISION_CONTRACT_MANIFEST_PATH,
|
|
321
|
+
DECISION_CONTRACT_RULE_TIERS,
|
|
311
322
|
decisionContractManifestSchema,
|
|
312
323
|
decisionContractSchema,
|
|
313
324
|
evaluateDecisionContracts,
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cejel/cejel",
|
|
3
|
-
"version": "0.6.
|
|
3
|
+
"version": "0.6.2",
|
|
4
4
|
"mcpName": "io.github.BargLabs/cejel",
|
|
5
5
|
"private": false,
|
|
6
6
|
"publishConfig": {
|
|
@@ -62,7 +62,10 @@
|
|
|
62
62
|
"gate:d4": "pnpm run build && node scripts/d4-precision-gate.mjs",
|
|
63
63
|
"gate:d5": "pnpm run build && node scripts/d5-precision-gate.mjs",
|
|
64
64
|
"gate:d6": "pnpm run build && node scripts/d6-precision-gate.mjs",
|
|
65
|
-
"
|
|
65
|
+
"sbom:generate": "node scripts/sbom/generate-bundle-sbom.mjs",
|
|
66
|
+
"sbom:check": "node scripts/sbom/check-sbom-inventory.mjs",
|
|
67
|
+
"test:sbom": "node --test scripts/sbom/sbom.node-test.mjs",
|
|
68
|
+
"validate:distribution":"node scripts/validate-distribution-metadata.mjs",
|
|
66
69
|
"test:release": "bash scripts/release_tests.sh",
|
|
67
70
|
"pnpm:devPreinstall": "node scripts/assert-dev-environment.mjs --phase=preinstall",
|
|
68
71
|
"prepublishOnly": "pnpm run build",
|
|
@@ -73,7 +76,7 @@
|
|
|
73
76
|
"test": "vitest run"
|
|
74
77
|
},
|
|
75
78
|
"devDependencies": {
|
|
76
|
-
"@modelcontextprotocol/sdk": "^1.
|
|
79
|
+
"@modelcontextprotocol/sdk": "^1.29.0",
|
|
77
80
|
"@types/node": "^25.9.1",
|
|
78
81
|
"postject": "^1.0.0-alpha.6",
|
|
79
82
|
"tsup": "^8.0.0",
|