@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.
@@ -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.0",
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
- "validate:distribution": "node scripts/validate-distribution-metadata.mjs",
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.0.0",
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",