ktx/packages/cli/src/context/scan/relationship-benchmark-report.test.ts
Andrey Avtomonov 2366b00301
chore(workspace): gate dead-code with knip production mode (#196)
* refactor(workspace): relocate @ktx/llm source into packages/cli/src/llm

* refactor(workspace): rewrite @ktx/llm imports to relative paths

* refactor(workspace): fold internal packages into cli

* chore(workspace): gate dead-code with knip production mode

Turn on production-mode knip plus an autofix run in pre-commit and the
`pnpm dead-code` script, document the `/** @internal */` convention for
test-only exports in AGENTS.md, annotate test-only exports across the
CLI with that JSDoc, and drop dead exports/wrappers the new gate
surfaced (e.g. `cli-project.ts`, `lookerRuntimeSourceToFileAdapterSource`,
`createLocalScanEnrichmentProvidersFromConfig`,
`PGLITE_OWNER_PROCESS_BACKEND_CAPABILITIES`, stale type re-exports).
Replace the loose `ignoreIssues` allowlist in `knip.json` with explicit
production entries so cross-package barrel leaks are caught.

* refactor(cli): delete internal barrel index.ts files

The 34 `index.ts` re-export barrels inside `packages/cli/src/` were
holdovers from the pre-fold multi-workspace structure. Post-fold-in they
served no production purpose: external consumers go through the single
package main entry, and in-repo callers mostly imported through them
only because the path was short. Internally, knip flagged most barrel
re-exports as production-dead (only reached via tests).

This change:
- Deletes every internal barrel except `packages/cli/src/index.ts`
  (the published package entry).
- Rewrites ~270 source/test files to import each name directly from
  the file that defines it.
- Moves `tools/warehouse-verification/index.ts` to
  `create-warehouse-verification-tools.ts` (the function it defined
  locally) and updates its single consumer.
- Renames `search/backend-conformance.ts` → `.test-utils.ts` to match
  the existing test-helper file convention.
- Deletes 13 dead test-only chains (dbt-descriptions/*,
  live-database/extracted-schema, live-database/structural-sync,
  relationship-* feedback/review chain) plus their tests and a
  cascading orphan integration test.
- Updates test mocks that pointed at deleted barrel paths
  (notion-client, connector barrels in scan/local-scan-connectors
  tests) to mock the source files instead.
- Points the maintainer benchmark script
  (`scripts/relationship-benchmark-report.mjs`) at source files
  instead of `dist/context/scan/index.js`.
- Drops the barrel `!` entries from `knip.json`; adds explicit
  production entries only for the benchmark code reached via dist by
  the maintainer script.

Net: 413 files changed, ~1.2k insertions, ~9.4k deletions.

`pnpm run dead-code` (Biome + knip default + knip production) and
`pnpm run type-check` are clean; 2277 tests pass.

* refactor(workspace): rename @ktx/cli to @kaelio/ktx and pack it directly

Promote the CLI workspace package to the public name `@kaelio/ktx` and
drop the separate `scripts/build-public-npm-package.mjs` wrapper. The
CLI package is now publishable in place (`publishConfig.access: public`,
`provenance: true`), so artifact packing uses `pnpm pack` against
`packages/cli/` instead of assembling a parallel package tree.

Updates all workspace filter invocations, docs, tests, and release
readiness checks to reference the new package name, and folds the
tarball-name helper into `scripts/public-npm-release-metadata.mjs`.

* docs: align "agent clients" and "data agents" terminology

Replace "client agents" with "agent clients" and "database agents" with
"data agents" across AGENTS.md, README.md, the docs-site copy, and the
matching setup-agents test description, matching the canonical
vocabulary in docs/terminology.md.

Also moves packages/cli/tsconfig.json's tsBuildInfoFile from
node_modules/.cache/ to dist/.tsbuildinfo so incremental builds survive
node_modules reinstalls.

* refactor(release): single source of truth for package version

Make packages/cli/package.json the single source of truth for the
@kaelio/ktx version. publicNpmPackageVersion() now reads it directly,
so artifact filenames, release-readiness checks, and the Python wheel
version all derive from one field. The duplicate
release-policy.json.publicNpmPackageVersion is removed.

Previously the two fields could drift: tarballs were named
kaelio-ktx-0.4.1.tgz while internally containing
@kaelio/ktx@0.0.0-private.

- update-public-release-version.mjs rewrites both Python pyproject.toml
  files (ktx-daemon, ktx-sl) alongside the npm package.jsons,
  normalizing the version for PEP 440 (e.g. 0.1.0-rc.2 -> 0.1.0rc2).
- semantic-release-config.cjs adds the two pyproject.toml files to
  @semantic-release/git assets so the release commit back to main
  carries every version source in lockstep.
- The six "?? '0.0.0-private'" fallback literals across the CLI are
  replaced with "?? getKtxCliPackageInfo().version", and
  createDefaultKtxMcpServer makes its version arg required.
- docs/release.md describes the actual commit-back model: the dev tree
  always reflects the most recent release; no sentinel pin to
  maintain.

Verified: pnpm run artifacts:build now produces
kaelio-ktx-0.4.1.tgz and kaelio_ktx-0.4.1-py3-none-any.whl with
@kaelio/ktx@0.4.1 inside. Full type-check, dead-code, and
2287 vitests + 173 script tests pass.

* refactor(cli): inject embedding provider resolution and detect sentence-transformers runtime

Make resolveProjectEmbeddingProvider and runtimeIo injectable in ingest and
scan command entrypoints so tests can stub them, and teach
resolvePublicIngestRuntimeRequirements to flag the local-embeddings runtime
feature when ktx.yaml selects sentence-transformers.

* chore(cli): mark buildLocalStatsStatus and LocalStatsStatus as @internal

Both symbols are consumed only by status-project.test.ts. Annotating with
/** @internal */ keeps knip's production-mode check clean without changing
runtime behavior.

* fix(cli): use real package metadata in print-command-tree

The stubbed package name embedded a forbidden product identifier that
tripped the boundary check in CI. Read the metadata from package.json
instead — keeps the rendered tree unchanged and removes a duplicate
source of truth.

* feat(cli): show embedding coverage in `ktx status`, drop duplicate disk counts

Inline `(N embedded)` next to the Wiki scope counts and Semantic-layer
source counts, computed with `SUM(embedding_json IS NOT NULL)` over
`knowledge_pages` and `local_sl_sources`. Rename the "Knowledge" label to
"Wiki" (canonical per `docs/terminology.md`) and rename the matching
`localStats.knowledgePages` field to `localStats.wikiPages`.

Drop `wiki=N md` and `semantic-layer=N yaml` from the Disk row — those
duplicated the per-surface rows above. Disk now reports only actual byte
usage (db, cache, raw-sources). The unused `wikiGlobalMarkdownCount` /
`semanticLayerYamlCount` fields, the `isMarkdownEntry` / `isYamlEntry`
helpers, and the `filter` arg on `summarizeDir` are removed.
2026-05-21 15:28:58 +02:00

451 lines
16 KiB
TypeScript

import { describe, expect, it } from 'vitest';
import {
buildKtxRelationshipBenchmarkReport,
formatKtxRelationshipBenchmarkReportMarkdown,
} from './relationship-benchmark-report.js';
import type {
KtxRelationshipBenchmarkCaseResult,
KtxRelationshipBenchmarkFixture,
KtxRelationshipBenchmarkSuiteResult,
} from './relationship-benchmarks.js';
type CaseResultOverrides = Omit<Partial<KtxRelationshipBenchmarkCaseResult>, 'metrics'> & {
metrics?: Partial<KtxRelationshipBenchmarkCaseResult['metrics']>;
};
function caseResult(overrides: CaseResultOverrides = {}): KtxRelationshipBenchmarkCaseResult {
return {
fixtureId: overrides.fixtureId ?? 'demo_b2b_no_declared_constraints',
mode: overrides.mode ?? 'declared_pks_and_declared_fks_removed',
metrics: {
pkPrecision: 1,
pkRecall: 0.5,
pkF1: 0.6666666666666666,
fkPrecision: 1,
fkRecall: 1,
fkF1: 1,
acceptedFalsePositiveCount: 0,
reviewRecall: 0,
acceptedOrReviewRecall: 1,
runtimeSeconds: 0.012345,
sqlQueries: 14,
llmCalls: 0,
...(overrides.metrics ?? {}),
},
expected: overrides.expected ?? {
pk: ['accounts.(id)', 'users.(id)'],
fk: ['users.(account_id)->accounts.(id)'],
},
predicted: overrides.predicted ?? {
pk: ['accounts.(id)'],
fk: ['users.(account_id)->accounts.(id)'],
acceptedFk: ['users.(account_id)->accounts.(id)'],
reviewFk: [],
},
falsePositives: overrides.falsePositives ?? { pk: [], fk: [] },
falseNegatives: overrides.falseNegatives ?? { pk: ['users.(id)'], fk: [] },
skippedComposite: overrides.skippedComposite ?? { pk: [], fk: [] },
validationBlocked: overrides.validationBlocked ?? false,
};
}
function fixture(overrides: Partial<KtxRelationshipBenchmarkFixture> = {}): KtxRelationshipBenchmarkFixture {
return {
id: overrides.id ?? 'demo_b2b_no_declared_constraints',
name: overrides.name ?? 'Packaged B2B demo with declared PK and FK metadata masked',
tier: overrides.tier ?? 'smoke',
origin: overrides.origin ?? 'synthetic',
thresholdEligible: overrides.thresholdEligible,
validationBudget: overrides.validationBudget,
snapshot: overrides.snapshot ?? {
connectionId: 'demo_b2b',
driver: 'sqlite',
extractedAt: '2026-05-07T00:00:00.000Z',
scope: {},
metadata: {},
tables: [],
},
expected: overrides.expected ?? { expectedPks: [], expectedLinks: [] },
defaultModes: overrides.defaultModes ?? ['declared_pks_and_declared_fks_removed', 'validation_disabled'],
dataPath: overrides.dataPath ?? '/tmp/demo.sqlite',
columnEmbeddings: overrides.columnEmbeddings ?? {},
};
}
describe('relationship benchmark report', () => {
it('classifies run, validation-blocked, and not-run benchmark cases', () => {
const suite: KtxRelationshipBenchmarkSuiteResult = {
cases: [
caseResult(),
caseResult({
mode: 'validation_disabled',
validationBlocked: true,
metrics: { fkRecall: 0, acceptedOrReviewRecall: 1, sqlQueries: 0 },
predicted: {
pk: ['accounts.(id)'],
fk: ['users.(account_id)->accounts.(id)'],
acceptedFk: [],
reviewFk: ['users.(account_id)->accounts.(id)'],
},
}),
],
validationBlockedCases: ['demo_b2b_no_declared_constraints:validation_disabled'],
aggregate: {
caseCount: 2,
headlineCaseCount: 1,
headlinePkRecall: 0.5,
headlineFkRecall: 1,
headlineAcceptedOrReviewRecall: 1,
meanPkRecall: 0.5,
meanFkRecall: 0.5,
meanAcceptedOrReviewRecall: 1,
},
};
const report = buildKtxRelationshipBenchmarkReport({
fixtures: [fixture()],
suite,
modes: ['declared_pks_and_declared_fks_removed', 'validation_disabled', 'profiling_disabled'],
});
expect(report.headline).toEqual({
caseCount: 2,
headlineCaseCount: 1,
headlinePkRecall: 0.5,
headlineFkRecall: 1,
headlineAcceptedOrReviewRecall: 1,
acceptedFalsePositiveCount: 0,
validationBlockedCount: 1,
});
expect(report.cases.map((item) => `${item.fixtureId}:${item.mode}:${item.status}`)).toEqual([
'demo_b2b_no_declared_constraints:declared_pks_and_declared_fks_removed:run',
'demo_b2b_no_declared_constraints:validation_disabled:validation_blocked',
'demo_b2b_no_declared_constraints:profiling_disabled:not_run',
]);
expect(report.cases[2]?.reason).toBe('mode not selected by fixture defaultModes');
});
it('surfaces validation budget review candidates in the report reason', () => {
const suite: KtxRelationshipBenchmarkSuiteResult = {
cases: [
caseResult({
fixtureId: 'scale_stress_no_declared_constraints',
metrics: { fkRecall: 0.5, acceptedOrReviewRecall: 1 },
predicted: {
pk: ['dim_entity_00.(entity_00_key)'],
fk: [
'fact_activity_000.(entity_00_key)->dim_entity_00.(entity_00_key)',
'fact_activity_001.(entity_00_key)->dim_entity_00.(entity_00_key)',
],
acceptedFk: ['fact_activity_000.(entity_00_key)->dim_entity_00.(entity_00_key)'],
reviewFk: ['fact_activity_001.(entity_00_key)->dim_entity_00.(entity_00_key)'],
},
}),
],
validationBlockedCases: [],
aggregate: {
caseCount: 1,
headlineCaseCount: 0,
headlinePkRecall: 1,
headlineFkRecall: 0.5,
headlineAcceptedOrReviewRecall: 1,
meanPkRecall: 1,
meanFkRecall: 0.5,
meanAcceptedOrReviewRecall: 1,
},
};
const report = buildKtxRelationshipBenchmarkReport({
fixtures: [
fixture({
id: 'scale_stress_no_declared_constraints',
name: 'Scale stress fixture',
tier: 'row_bearing',
validationBudget: 800,
defaultModes: ['declared_pks_and_declared_fks_removed'],
}),
],
suite,
modes: ['declared_pks_and_declared_fks_removed'],
});
expect(report.cases[0]?.reason).toBe('review candidate validation reasons: validation_unattempted (1)');
expect(formatKtxRelationshipBenchmarkReportMarkdown(report)).toContain('validation_unattempted');
});
it('uses benchmark suite eligibility for product and smoke report rows', () => {
const productCase = caseResult({ fixtureId: 'product_curated' });
const productBlocked = caseResult({
fixtureId: 'product_curated',
mode: 'validation_disabled',
validationBlocked: true,
metrics: { fkRecall: 0, acceptedOrReviewRecall: 1, sqlQueries: 0 },
});
const smokeCase = caseResult({ fixtureId: 'smoke_even_if_marked' });
const suite: KtxRelationshipBenchmarkSuiteResult = {
cases: [productCase, productBlocked, smokeCase],
validationBlockedCases: ['product_curated:validation_disabled'],
aggregate: {
caseCount: 3,
headlineCaseCount: 1,
headlinePkRecall: 0.5,
headlineFkRecall: 1,
headlineAcceptedOrReviewRecall: 1,
meanPkRecall: 0.5,
meanFkRecall: 0.6666666666666666,
meanAcceptedOrReviewRecall: 1,
},
};
const report = buildKtxRelationshipBenchmarkReport({
fixtures: [
fixture({
id: 'product_curated',
name: 'Curated product fixture',
tier: 'product',
thresholdEligible: true,
defaultModes: ['declared_pks_and_declared_fks_removed', 'validation_disabled'],
}),
fixture({
id: 'smoke_even_if_marked',
name: 'Marked smoke fixture',
tier: 'smoke',
thresholdEligible: true,
defaultModes: ['declared_pks_and_declared_fks_removed'],
}),
],
suite,
modes: ['declared_pks_and_declared_fks_removed', 'validation_disabled'],
});
expect(report.cases.map((item) => `${item.fixtureId}:${item.mode}:${item.tuningEligible}`)).toEqual([
'product_curated:declared_pks_and_declared_fks_removed:true',
'product_curated:validation_disabled:false',
'smoke_even_if_marked:declared_pks_and_declared_fks_removed:false',
'smoke_even_if_marked:validation_disabled:false',
]);
expect(formatKtxRelationshipBenchmarkReportMarkdown(report)).toContain(
'| product_curated | product | declared_pks_and_declared_fks_removed | run | yes |',
);
});
it('formats a compact Markdown report with false negatives and blocked modes', () => {
const suite: KtxRelationshipBenchmarkSuiteResult = {
cases: [
caseResult({
metrics: { fkRecall: 0, acceptedOrReviewRecall: 0 },
falseNegatives: { pk: ['users.(id)'], fk: ['users.(account_id)->accounts.(id)'] },
}),
],
validationBlockedCases: [],
aggregate: {
caseCount: 1,
headlineCaseCount: 1,
headlinePkRecall: 0.5,
headlineFkRecall: 0,
headlineAcceptedOrReviewRecall: 0,
meanPkRecall: 0.5,
meanFkRecall: 0,
meanAcceptedOrReviewRecall: 0,
},
};
const markdown = formatKtxRelationshipBenchmarkReportMarkdown(
buildKtxRelationshipBenchmarkReport({
fixtures: [fixture()],
suite,
modes: ['declared_pks_and_declared_fks_removed'],
}),
);
expect(markdown).toContain('# KTX Relationship Discovery Benchmark Evidence');
expect(markdown).toContain(
'| demo_b2b_no_declared_constraints | smoke | declared_pks_and_declared_fks_removed | run | no | 0.500 | 0.000 | 0.000 | 0 |',
);
expect(markdown).toContain(
'- `demo_b2b_no_declared_constraints` / `declared_pks_and_declared_fks_removed` / `run`: users.(id)',
);
expect(markdown).toContain(
'- `demo_b2b_no_declared_constraints` / `declared_pks_and_declared_fks_removed` / `run`: users.(account_id)->accounts.(id)',
);
});
it('keeps headline failures separate from non-headline failure details', () => {
const suite: KtxRelationshipBenchmarkSuiteResult = {
cases: [
caseResult({
fixtureId: 'product_curated',
falseNegatives: { pk: [], fk: [] },
metrics: { pkRecall: 1, fkRecall: 1, acceptedOrReviewRecall: 1 },
}),
caseResult({
fixtureId: 'product_curated',
mode: 'embeddings_disabled',
falseNegatives: {
pk: ['customers.(id)'],
fk: ['orders.(buyer_ref)->customers.(id)'],
},
metrics: { pkRecall: 0.5, fkRecall: 0, acceptedOrReviewRecall: 0 },
}),
],
validationBlockedCases: [],
aggregate: {
caseCount: 2,
headlineCaseCount: 1,
headlinePkRecall: 1,
headlineFkRecall: 1,
headlineAcceptedOrReviewRecall: 1,
meanPkRecall: 0.75,
meanFkRecall: 0.5,
meanAcceptedOrReviewRecall: 0.5,
},
};
const markdown = formatKtxRelationshipBenchmarkReportMarkdown(
buildKtxRelationshipBenchmarkReport({
fixtures: [
fixture({
id: 'product_curated',
name: 'Curated product fixture',
tier: 'product',
thresholdEligible: true,
defaultModes: ['declared_pks_and_declared_fks_removed', 'embeddings_disabled'],
}),
],
suite,
modes: ['declared_pks_and_declared_fks_removed', 'embeddings_disabled'],
}),
);
expect(markdown).toContain('## Failure Details');
expect(markdown).toContain('### Headline False Negative FKs\n\n- none');
expect(markdown).toContain(
'- `product_curated` / `embeddings_disabled` / `run`: orders.(buyer_ref)->customers.(id)',
);
expect(markdown).toContain('- `product_curated` / `embeddings_disabled` / `run`: customers.(id)');
});
it('formats headline failure context from remaining headline false negatives', () => {
const suite: KtxRelationshipBenchmarkSuiteResult = {
cases: [
caseResult({
fixtureId: 'public_headline_fixture',
metrics: { pkRecall: 0.5, fkRecall: 0, acceptedOrReviewRecall: 0 },
falseNegatives: {
pk: ['parent_table.(opaque_key)'],
fk: ['child_table.(parent_table_id)->parent_table.(opaque_key)'],
},
}),
],
validationBlockedCases: [],
aggregate: {
caseCount: 1,
headlineCaseCount: 1,
headlinePkRecall: 0.5,
headlineFkRecall: 0,
headlineAcceptedOrReviewRecall: 0,
meanPkRecall: 0.5,
meanFkRecall: 0,
meanAcceptedOrReviewRecall: 0,
},
};
const markdown = formatKtxRelationshipBenchmarkReportMarkdown(
buildKtxRelationshipBenchmarkReport({
fixtures: [
fixture({
id: 'public_headline_fixture',
name: 'Public headline fixture',
tier: 'row_bearing',
thresholdEligible: true,
defaultModes: ['declared_pks_and_declared_fks_removed'],
}),
],
suite,
modes: ['declared_pks_and_declared_fks_removed'],
}),
);
expect(markdown).toContain('## Headline Failure Context');
expect(markdown).toContain('- Remaining headline false-negative PKs: 1');
expect(markdown).toContain('- Remaining headline false-negative FKs: 1');
expect(markdown).toContain(
'- `public_headline_fixture` / `declared_pks_and_declared_fks_removed` / `run`: parent_table.(opaque_key)',
);
expect(markdown).toContain(
'- `public_headline_fixture` / `declared_pks_and_declared_fks_removed` / `run`: child_table.(parent_table_id)->parent_table.(opaque_key)',
);
});
it('formats skipped composite ground truth separately from false-negative details', () => {
const compositePk = 'order_lines.(order_id,line_number)';
const compositeFk = 'order_line_allocations.(order_id,line_number)->order_lines.(order_id,line_number)';
const suite: KtxRelationshipBenchmarkSuiteResult = {
cases: [
caseResult({
fixtureId: 'composite_keys_no_declared_constraints',
metrics: { pkRecall: 0, fkRecall: 0, acceptedOrReviewRecall: 0 },
expected: {
pk: [compositePk],
fk: [compositeFk],
},
predicted: {
pk: [],
fk: [],
acceptedFk: [],
reviewFk: [],
},
falseNegatives: {
pk: [compositePk],
fk: [compositeFk],
},
skippedComposite: {
pk: [compositePk],
fk: [compositeFk],
},
}),
],
validationBlockedCases: [],
aggregate: {
caseCount: 1,
headlineCaseCount: 1,
headlinePkRecall: 0,
headlineFkRecall: 0,
headlineAcceptedOrReviewRecall: 0,
meanPkRecall: 0,
meanFkRecall: 0,
meanAcceptedOrReviewRecall: 0,
},
};
const report = buildKtxRelationshipBenchmarkReport({
fixtures: [
fixture({
id: 'composite_keys_no_declared_constraints',
name: 'Composite key fixture with no declared constraints',
tier: 'row_bearing',
defaultModes: ['declared_pks_and_declared_fks_removed'],
}),
],
suite,
modes: ['declared_pks_and_declared_fks_removed'],
});
expect(report.cases[0]?.skippedComposite).toEqual({
pk: [compositePk],
fk: [compositeFk],
});
const markdown = formatKtxRelationshipBenchmarkReportMarkdown(report);
expect(markdown).toContain('## Composite Ground Truth Skips');
expect(markdown).toContain(
'### Skipped Composite PKs\n\n- `composite_keys_no_declared_constraints` / `declared_pks_and_declared_fks_removed` / `run`: order_lines.(order_id,line_number)',
);
expect(markdown).toContain(
'### Skipped Composite FKs\n\n- `composite_keys_no_declared_constraints` / `declared_pks_and_declared_fks_removed` / `run`: order_line_allocations.(order_id,line_number)->order_lines.(order_id,line_number)',
);
expect(markdown).toContain(
'### Headline False Negative FKs\n\n- `composite_keys_no_declared_constraints` / `declared_pks_and_declared_fks_removed` / `run`: order_line_allocations.(order_id,line_number)->order_lines.(order_id,line_number)',
);
});
});