2026-05-10 23:12:26 +02:00
|
|
|
#!/usr/bin/env node
|
|
|
|
|
|
2026-05-13 12:00:08 +02:00
|
|
|
import { mkdir as fsMkdir, readFile as fsReadFile, writeFile as fsWriteFile } from 'node:fs/promises';
|
2026-05-10 23:12:26 +02:00
|
|
|
import { execFile as childExecFile } from 'node:child_process';
|
|
|
|
|
import { dirname, resolve } from 'node:path';
|
|
|
|
|
import { fileURLToPath, pathToFileURL } from 'node:url';
|
|
|
|
|
import { promisify } from 'node:util';
|
2026-05-10 23:51:24 +02:00
|
|
|
import { runWorkspaceKtx } from './run-ktx.mjs';
|
2026-05-10 23:12:26 +02:00
|
|
|
|
|
|
|
|
const scriptDir = dirname(fileURLToPath(import.meta.url));
|
2026-05-10 23:51:24 +02:00
|
|
|
const ktxRootDir = resolve(scriptDir, '..');
|
|
|
|
|
const repoRootDir = resolve(ktxRootDir, '..');
|
|
|
|
|
const defaultProjectDir = resolve(ktxRootDir, 'examples/orbit-relationship-verification');
|
2026-05-10 23:12:26 +02:00
|
|
|
const defaultReportPath = resolve(
|
2026-05-10 23:51:24 +02:00
|
|
|
ktxRootDir,
|
2026-05-10 23:12:26 +02:00
|
|
|
'examples/orbit-relationship-verification/reports/orbit-verification.md',
|
|
|
|
|
);
|
|
|
|
|
const defaultExecFile = promisify(childExecFile);
|
|
|
|
|
|
|
|
|
|
class BufferWriter {
|
|
|
|
|
chunks = [];
|
|
|
|
|
|
|
|
|
|
write(chunk) {
|
|
|
|
|
this.chunks.push(String(chunk));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
text() {
|
|
|
|
|
return this.chunks.join('');
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function dateOnly(date) {
|
|
|
|
|
return date.toISOString().slice(0, 10);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function trimForReport(value) {
|
|
|
|
|
const trimmed = value.trim();
|
|
|
|
|
return trimmed.length > 0 ? trimmed : 'none';
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export function defaultOrbitVerificationProjectDir() {
|
|
|
|
|
return defaultProjectDir;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function shellCommand(argv) {
|
2026-05-10 23:51:24 +02:00
|
|
|
return ['pnpm', 'run', 'ktx', '--', ...argv].join(' ');
|
2026-05-10 23:12:26 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function firstNonEmptyLine(...values) {
|
|
|
|
|
for (const value of values) {
|
|
|
|
|
const line = value
|
|
|
|
|
.split('\n')
|
|
|
|
|
.map((candidate) => candidate.trim())
|
|
|
|
|
.find((candidate) => candidate.length > 0);
|
|
|
|
|
if (line) {
|
|
|
|
|
return line;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
return 'Orbit scan command failed before producing diagnostic output';
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function parseArgs(argv) {
|
|
|
|
|
const options = {
|
2026-05-10 23:51:24 +02:00
|
|
|
connectionId: process.env.KTX_ORBIT_CONNECTION_ID ?? 'orbit',
|
2026-05-12 11:21:37 +02:00
|
|
|
projectDir: process.env.KTX_PROJECT_DIR ?? defaultProjectDir,
|
2026-05-10 23:12:26 +02:00
|
|
|
reportPath: defaultReportPath,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
for (let index = 0; index < argv.length; index += 1) {
|
|
|
|
|
const arg = argv[index];
|
|
|
|
|
if (arg === '--connection-id' || arg === '--connection') {
|
|
|
|
|
options.connectionId = argv[index + 1];
|
|
|
|
|
index += 1;
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
if (arg === '--project-dir') {
|
|
|
|
|
options.projectDir = argv[index + 1];
|
|
|
|
|
index += 1;
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
if (arg === '--report-path') {
|
|
|
|
|
options.reportPath = argv[index + 1];
|
|
|
|
|
index += 1;
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
throw new Error(`Unknown option: ${arg}`);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return options;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export function buildOrbitScanArgv(input) {
|
2026-05-13 12:00:08 +02:00
|
|
|
return ['scan', input.connectionId, '--mode', 'relationships', '--project-dir', input.projectDir];
|
2026-05-10 23:12:26 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export function extractRunId(stdout) {
|
|
|
|
|
const match = stdout.match(/^Run:\s*(\S+)/m);
|
|
|
|
|
return match?.[1] ?? null;
|
|
|
|
|
}
|
|
|
|
|
|
2026-05-13 12:00:08 +02:00
|
|
|
export function extractReportPath(stdout) {
|
|
|
|
|
const match = stdout.match(/^\s*Report:\s*(\S+)/m);
|
|
|
|
|
return match?.[1] ?? null;
|
|
|
|
|
}
|
|
|
|
|
|
2026-05-10 23:12:26 +02:00
|
|
|
function listLines(values) {
|
|
|
|
|
if (!values || values.length === 0) {
|
|
|
|
|
return ['- none'];
|
|
|
|
|
}
|
|
|
|
|
return values.map((value) => `- \`${value}\``);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function warningLines(report) {
|
|
|
|
|
if (!Array.isArray(report.warnings) || report.warnings.length === 0) {
|
|
|
|
|
return ['- none'];
|
|
|
|
|
}
|
|
|
|
|
return report.warnings.map((warning) => `- \`${warning.code}\`: ${warning.message}`);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function formatSuccess(result) {
|
|
|
|
|
const relationships = result.report.relationships ?? { accepted: 0, review: 0, rejected: 0, skipped: 0 };
|
|
|
|
|
const enrichment = result.report.enrichment ?? {};
|
|
|
|
|
const artifactPaths = result.report.artifactPaths ?? {};
|
|
|
|
|
|
|
|
|
|
return [
|
|
|
|
|
'## Outcome',
|
|
|
|
|
'',
|
|
|
|
|
'- Exit code: 0',
|
|
|
|
|
`- Run: \`${result.report.runId ?? 'unknown'}\``,
|
|
|
|
|
`- Connection: \`${result.report.connectionId ?? result.connectionId}\``,
|
|
|
|
|
`- Mode: \`${result.report.mode ?? 'unknown'}\``,
|
|
|
|
|
`- Sync: \`${result.report.syncId ?? 'unknown'}\``,
|
|
|
|
|
'',
|
|
|
|
|
'## Relationship Summary',
|
|
|
|
|
'',
|
|
|
|
|
`- Accepted: ${relationships.accepted ?? 0}`,
|
|
|
|
|
`- Review: ${relationships.review ?? 0}`,
|
|
|
|
|
`- Rejected: ${relationships.rejected ?? 0}`,
|
|
|
|
|
`- Skipped: ${relationships.skipped ?? 0}`,
|
|
|
|
|
'',
|
|
|
|
|
'## Enrichment Summary',
|
|
|
|
|
'',
|
|
|
|
|
`- Deterministic relationships: \`${enrichment.deterministicRelationships ?? 'unknown'}\``,
|
|
|
|
|
`- Statistical validation: \`${enrichment.statisticalValidation ?? 'unknown'}\``,
|
|
|
|
|
`- LLM relationship validation: \`${enrichment.llmRelationshipValidation ?? 'unknown'}\``,
|
|
|
|
|
'',
|
|
|
|
|
'## Artifacts',
|
|
|
|
|
'',
|
|
|
|
|
`- Report: \`${artifactPaths.reportPath ?? 'none'}\``,
|
|
|
|
|
`- Raw sources: \`${artifactPaths.rawSourcesDir ?? 'none'}\``,
|
|
|
|
|
'',
|
|
|
|
|
'Manifest shards:',
|
|
|
|
|
'',
|
|
|
|
|
...listLines(artifactPaths.manifestShards),
|
|
|
|
|
'',
|
|
|
|
|
'Enrichment artifacts:',
|
|
|
|
|
'',
|
|
|
|
|
...listLines(artifactPaths.enrichmentArtifacts),
|
|
|
|
|
'',
|
|
|
|
|
'Warnings:',
|
|
|
|
|
'',
|
|
|
|
|
...warningLines(result.report),
|
|
|
|
|
];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function formatBlocked(result) {
|
|
|
|
|
return [
|
|
|
|
|
'## Outcome',
|
|
|
|
|
'',
|
|
|
|
|
`- Exit code: ${result.scanExitCode}`,
|
|
|
|
|
`- Blocker: \`${result.blocker}\``,
|
|
|
|
|
'',
|
|
|
|
|
'## Evidence',
|
|
|
|
|
'',
|
|
|
|
|
'- Orbit verification was not executed because the current local Orbit scan command failed.',
|
|
|
|
|
'- Re-run with `--report-path` to write verification evidence to a custom location.',
|
|
|
|
|
'',
|
|
|
|
|
'Scan stdout:',
|
|
|
|
|
'',
|
|
|
|
|
'```text',
|
|
|
|
|
trimForReport(result.scanStdout),
|
|
|
|
|
'```',
|
|
|
|
|
'',
|
|
|
|
|
'Scan stderr:',
|
|
|
|
|
'',
|
|
|
|
|
'```text',
|
|
|
|
|
trimForReport(result.scanStderr),
|
|
|
|
|
'```',
|
|
|
|
|
];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export function formatOrbitVerificationMarkdown(result) {
|
|
|
|
|
const lines = [
|
2026-05-10 23:51:24 +02:00
|
|
|
'# KTX Relationship Discovery Orbit Verification',
|
2026-05-10 23:12:26 +02:00
|
|
|
'',
|
|
|
|
|
`Date: ${result.date}`,
|
|
|
|
|
'',
|
|
|
|
|
'## Command',
|
|
|
|
|
'',
|
|
|
|
|
'```bash',
|
|
|
|
|
result.scanCommand,
|
|
|
|
|
'```',
|
|
|
|
|
'',
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
if (result.status === 'success') {
|
|
|
|
|
lines.push(
|
2026-05-13 12:00:08 +02:00
|
|
|
'## Scan Report Artifact',
|
2026-05-10 23:12:26 +02:00
|
|
|
'',
|
2026-05-13 12:00:08 +02:00
|
|
|
`- ${result.reportPath}`,
|
2026-05-10 23:12:26 +02:00
|
|
|
'',
|
|
|
|
|
...formatSuccess(result),
|
|
|
|
|
);
|
|
|
|
|
} else {
|
|
|
|
|
lines.push(...formatBlocked(result));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return `${lines.join('\n')}\n`;
|
|
|
|
|
}
|
|
|
|
|
|
2026-05-10 23:51:24 +02:00
|
|
|
async function runBufferedWorkspaceKtx(runner, argv, rootDir, execFile) {
|
2026-05-10 23:12:26 +02:00
|
|
|
const stdout = new BufferWriter();
|
|
|
|
|
const stderr = new BufferWriter();
|
|
|
|
|
const exitCode = await runner(argv, { rootDir, execFile, stdout, stderr });
|
|
|
|
|
return {
|
|
|
|
|
exitCode,
|
|
|
|
|
stdout: stdout.text(),
|
|
|
|
|
stderr: stderr.text(),
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function orbitVerificationEnv(projectDir) {
|
|
|
|
|
if (projectDir !== defaultProjectDir) {
|
|
|
|
|
return process.env;
|
|
|
|
|
}
|
|
|
|
|
return {
|
|
|
|
|
...process.env,
|
|
|
|
|
GIT_CEILING_DIRECTORIES: dirname(defaultProjectDir),
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export async function runOrbitVerification(options = {}) {
|
2026-05-10 23:51:24 +02:00
|
|
|
const connectionId = options.connectionId ?? process.env.KTX_ORBIT_CONNECTION_ID ?? 'orbit';
|
2026-05-12 11:21:37 +02:00
|
|
|
const projectDir = options.projectDir ?? process.env.KTX_PROJECT_DIR ?? defaultProjectDir;
|
2026-05-10 23:12:26 +02:00
|
|
|
const reportPath = options.reportPath ?? defaultReportPath;
|
2026-05-10 23:51:24 +02:00
|
|
|
const rootDir = options.rootDir ?? ktxRootDir;
|
|
|
|
|
const runner = options.runWorkspaceKtx ?? runWorkspaceKtx;
|
2026-05-10 23:12:26 +02:00
|
|
|
const execFile = options.execFile ?? defaultExecFile;
|
|
|
|
|
const now = options.now ?? (() => new Date());
|
|
|
|
|
const mkdir = options.mkdir ?? fsMkdir;
|
|
|
|
|
const writeFile = options.writeFile ?? fsWriteFile;
|
2026-05-13 12:00:08 +02:00
|
|
|
const readFile = options.readFile ?? fsReadFile;
|
2026-05-10 23:12:26 +02:00
|
|
|
const date = dateOnly(now());
|
|
|
|
|
const env = options.env ?? orbitVerificationEnv(projectDir);
|
|
|
|
|
const runWithEnv = (argv, runnerOptions) => runner(argv, { ...runnerOptions, env });
|
|
|
|
|
|
|
|
|
|
const scanArgv = buildOrbitScanArgv({ connectionId, projectDir });
|
2026-05-10 23:51:24 +02:00
|
|
|
const scan = await runBufferedWorkspaceKtx(runWithEnv, scanArgv, rootDir, execFile);
|
2026-05-10 23:12:26 +02:00
|
|
|
let result;
|
|
|
|
|
|
|
|
|
|
if (scan.exitCode !== 0) {
|
|
|
|
|
result = {
|
|
|
|
|
status: 'blocked',
|
|
|
|
|
date,
|
|
|
|
|
connectionId,
|
|
|
|
|
projectDir,
|
|
|
|
|
scanCommand: shellCommand(scanArgv),
|
|
|
|
|
scanExitCode: scan.exitCode,
|
|
|
|
|
blocker: firstNonEmptyLine(scan.stderr, scan.stdout),
|
|
|
|
|
scanStdout: scan.stdout,
|
|
|
|
|
scanStderr: scan.stderr,
|
|
|
|
|
};
|
|
|
|
|
} else {
|
|
|
|
|
const runId = extractRunId(scan.stdout);
|
|
|
|
|
if (!runId) {
|
|
|
|
|
result = {
|
|
|
|
|
status: 'blocked',
|
|
|
|
|
date,
|
|
|
|
|
connectionId,
|
|
|
|
|
projectDir,
|
|
|
|
|
scanCommand: shellCommand(scanArgv),
|
|
|
|
|
scanExitCode: scan.exitCode,
|
2026-05-10 23:51:24 +02:00
|
|
|
blocker: 'KTX scan completed without printing a Run id',
|
2026-05-10 23:12:26 +02:00
|
|
|
scanStdout: scan.stdout,
|
|
|
|
|
scanStderr: scan.stderr,
|
|
|
|
|
};
|
|
|
|
|
} else {
|
2026-05-13 12:00:08 +02:00
|
|
|
const scanReportPath = extractReportPath(scan.stdout);
|
|
|
|
|
if (!scanReportPath) {
|
2026-05-10 23:12:26 +02:00
|
|
|
result = {
|
|
|
|
|
status: 'blocked',
|
|
|
|
|
date,
|
|
|
|
|
connectionId,
|
|
|
|
|
projectDir,
|
|
|
|
|
scanCommand: shellCommand(scanArgv),
|
2026-05-13 12:00:08 +02:00
|
|
|
scanExitCode: scan.exitCode,
|
|
|
|
|
blocker: 'KTX scan completed without printing a report artifact path',
|
|
|
|
|
scanStdout: scan.stdout,
|
|
|
|
|
scanStderr: scan.stderr,
|
2026-05-10 23:12:26 +02:00
|
|
|
};
|
|
|
|
|
} else {
|
2026-05-13 12:00:08 +02:00
|
|
|
const fullScanReportPath = resolve(projectDir, scanReportPath);
|
2026-05-10 23:12:26 +02:00
|
|
|
result = {
|
|
|
|
|
status: 'success',
|
|
|
|
|
date,
|
|
|
|
|
connectionId,
|
|
|
|
|
projectDir,
|
|
|
|
|
scanCommand: shellCommand(scanArgv),
|
2026-05-13 12:00:08 +02:00
|
|
|
reportPath: fullScanReportPath,
|
2026-05-10 23:12:26 +02:00
|
|
|
scanExitCode: scan.exitCode,
|
|
|
|
|
scanStdout: scan.stdout,
|
|
|
|
|
scanStderr: scan.stderr,
|
2026-05-13 12:00:08 +02:00
|
|
|
report: JSON.parse(await readFile(fullScanReportPath, 'utf8')),
|
2026-05-10 23:12:26 +02:00
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
await mkdir(dirname(reportPath), { recursive: true });
|
|
|
|
|
await writeFile(reportPath, formatOrbitVerificationMarkdown(result));
|
|
|
|
|
return result;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (import.meta.url === pathToFileURL(process.argv[1]).href) {
|
|
|
|
|
const options = parseArgs(process.argv.slice(2));
|
|
|
|
|
const result = await runOrbitVerification(options);
|
|
|
|
|
process.stdout.write(`Wrote ${options.reportPath}\n`);
|
|
|
|
|
process.stdout.write(`Outcome: ${result.status}\n`);
|
|
|
|
|
}
|