run.ts

// Run two passes through runDialecticResolver. No LLM calls — all stubbed.
//
//   npx tsx examples/code-review/run.ts

import {
    defaultAuthorityRank,
    defaultMinSourceKindForSeverity,
    defaultThresholdsByCategory,
    runDialecticResolver,
    type ResolverConfig,
} from "../../src";
import {
    buildPass1Artifact,
    buildPass2Artifact,
    researchWorkerEvidencePass2,
} from "./mocks";

const config: ResolverConfig = {
    thresholdsByCategory: defaultThresholdsByCategory,
    authorityRank: defaultAuthorityRank,
    maxRounds: 3,
    minSourceKindForSeverity: defaultMinSourceKindForSeverity,
};

function header(label: string): void {
    console.log("\n" + "=".repeat(72));
    console.log(label);
    console.log("=".repeat(72));
}

function showResult(label: string, result: ReturnType<typeof runDialecticResolver>): void {
    header(label);
    console.log("readyToAdvance:    ", result.artifact.validation.readyToAdvance);
    console.log("gatesFailed:       ", result.artifact.validation.gatesFailed);
    console.log("blockingOpen:      ", result.artifact.validation.blockingObjectionsOpen);
    console.log("needsAnotherRound: ", result.needsAnotherRound);
    console.log("resolutions:");
    for (const r of result.artifact.resolutions) {
        console.log(`  - ${r.objectionId.padEnd(12)} ${r.action.padEnd(22)} ${r.note}`);
    }
    console.log("receipts:");
    for (const rec of result.receipts) {
        console.log(`  - ${rec.receiptKind.padEnd(20)} ${JSON.stringify(rec.payload)}`);
    }
}

// ---------- Pass 1 ----------

const pass1Artifact = buildPass1Artifact();
const pass1 = runDialecticResolver({
    artifact: pass1Artifact,
    evidenceChain: pass1Artifact.evidenceChain,
    config,
});
showResult(
    "PASS 1 — Proposer says OK, only llm-inference backs the safety claim",
    pass1,
);

// ---------- Pass 2 ----------

const pass2Artifact = buildPass2Artifact(pass1.artifact);
const pass2 = runDialecticResolver({
    artifact: pass2Artifact,
    evidenceChain: pass2Artifact.evidenceChain,
    config,
});
showResult(
    `PASS 2 — Research workers appended ${researchWorkerEvidencePass2.length} live-api evidence items`,
    pass2,
);

if (pass2.artifact.validation.readyToAdvance) {
    console.log("\n✅ Artifact ready to advance.");
    process.exit(0);
} else if (pass2.needsAnotherRound) {
    console.log("\n⏳ Needs another round.");
    process.exit(0);
} else {
    console.log("\n🛑 Blocking objections remain — escalate to human review.");
    process.exit(1);
}