/** CSO's versioned, host-independent evidence contract. Runtime claims are helper-owned. */
import { createHash } from 'node:crypto';

export const ABI = 3;
export const MAX_OUTPUT = 1024 * 1024;
const UNSAFE_STRING_CONTROLS =
  /[\x00-\x08\x0b\x0c\x0e-\x1f\x7f-\x9f\u061c\u200e\u200f\u2028-\u202e\u2066-\u2069]/u;
const UNSAFE_PROPERTY_CONTROLS = /[\x00-\x1f\x7f-\x9f\u061c\u200e\u200f\u2028-\u202e\u2066-\u2069]/u;
export type Completeness = 'complete' | 'partial' | 'not assessed';
export type Severity = 'critical' | 'high' | 'medium' | 'low' | 'informational';
export type ErrorCode =
  | 'INVALID_ARGUMENT'
  | 'INVALID_SCHEMA'
  | 'MISSING_INPUT'
  | 'SNAPSHOT_RACE'
  | 'UNSAFE_PATH'
  | 'REDACTION_FAILED'
  | 'PERSISTENCE_FAILED'
  | 'TOOL_UNAVAILABLE'
  | 'TOOL_FAILED'
  | 'ISOLATION_FAILED'
  | 'INSUFFICIENT_CAPACITY'
  | 'DEADLINE'
  | 'CANCELLED'
  | 'PREREQUISITE'
  | 'INCOMPATIBLE_INPUT'
  | 'ASSERTION_FAILED';
export class CsoError extends Error {
  constructor(
    public code: ErrorCode,
    message: string,
  ) {
    super(message);
    this.name = 'CsoError';
  }
}
export const sha256 = (value: string | Buffer): string => createHash('sha256').update(value).digest('hex');
export const canonical = (value: unknown): string => {
  if (Array.isArray(value)) return `[${value.map(canonical).join(',')}]`;
  if (value && typeof value === 'object')
    return `{${Object.keys(value)
      .sort()
      .map((k) => `${JSON.stringify(k)}:${canonical((value as any)[k])}`)
      .join(',')}}`;
  return JSON.stringify(value);
};
export interface CoverageRecord {
  domain: string;
  scope: string;
  status: 'assessed' | 'partial' | 'not_assessed' | 'not_applicable';
  method: string;
  gaps: string[];
  exclusions: string[];
  evidence: string[];
  tool?: { name: string; version: string; freshness: string; outcome: string };
}
export interface ApplicationModel {
  actors: string[];
  assets: string[];
  entrypoints: string[];
  tenantBoundaries: string[];
  sensitiveOperations: string[];
  invariants: string[];
}
export interface FindingV3 {
  id: string;
  fingerprint: string;
  title: string;
  rootCause: string;
  location: { path: string; line: number; symbol: string };
  advisoryIds: string[];
  severity: Severity;
  confidence: 'high' | 'medium' | 'low';
  confidenceRationale: string;
  evidence: 'supported' | 'hypothesis' | 'legacy_review';
  attackerControl: string;
  impact: string;
  scenario: string;
  trace: string[];
  references: string[];
  recommendation: string;
  challenge: {
    reviewer: string;
    independent: boolean;
    mode: 'independent_agent' | 'sequential_fallback';
    callers: string;
    controls: string;
    counterevidence: string;
    conclusion: string;
  };
  dependency?: {
    affectedVersion: string;
    reachability: 'reachable' | 'unreachable' | 'unknown';
    exposure: string;
    exploitation: string;
  };
  reproduction: 'not_attempted' | 'blocked' | 'inconclusive' | 'disproved' | 'reproduced';
  repair: 'not_attempted' | 'proposed' | 'failed' | 'runtime_tested' | 'tested';
  closure: 'open' | 'resolved' | 'unknown';
  verificationId?: string;
  reproductionAttemptId?: string;
  verificationAssurance?: {
    assertions: 'authenticated_out_of_process';
    testCompletion: 'self_reported' | 'authenticated_out_of_process';
    review: 'self_attested' | 'host_verified';
  };
}
export interface RunPolicy {
  mode: 'daily' | 'comprehensive';
  scope: string;
  diff: boolean;
  base: string;
  offline: boolean;
  budgetSeconds: number;
  maxWorkers: 3;
  maxRepairs: 3;
}
export interface RunReportV3 {
  schemaVersion: 3;
  runId: string;
  repoId: string;
  createdAt: string;
  deadline: string;
  status: 'running' | 'finished' | 'interrupted';
  completeness: Completeness;
  policy: RunPolicy;
  source: {
    root: string;
    snapshotHash: string;
    originalHash: string;
    baseCommit?: string;
    transformations?: Array<{ path: string; handling: string }>;
  };
  application: ApplicationModel;
  coverage: CoverageRecord[];
  findings: FindingV3[];
  gaps: string[];
  events: { at: string; kind: string; message: string }[];
  parent?: { runId: string; findingId: string; kind: 'recheck' };
  modelUsage?: { source: string; tokens: number; cost?: number };
}
export interface SnapshotEntry {
  path: string;
  pathId: string;
  originalHash: string;
  executionHash?: string;
  bytes: number;
  mode: number;
  transformation?: string;
}
export interface SnapshotPathIdentity {
  path: string;
  pathId: string;
}
export interface SnapshotManifest {
  version: 3;
  createdAt: string;
  expiresAt: string;
  root: string;
  originalHash: string;
  executionHash: string;
  entries: SnapshotEntry[];
  deletedPaths?: SnapshotPathIdentity[];
  headCommit?: string;
  baseCommit?: string;
  changedPaths?: string[];
}
export interface HttpAssertion {
  name: string;
  path: string;
  method: 'GET' | 'POST' | 'PUT' | 'PATCH' | 'DELETE';
  headers?: Record<string, string>;
  body?: string;
  expected: { status: number; includes?: string; excludes?: string };
  vulnerable?: { status: number; includes?: string; excludes?: string };
}
export interface Command {
  executable: string;
  args: string[];
}
export interface VerificationRequest {
  findingId: string;
  runtimeProfile: string;
  port: number;
  start: Command;
  legitimate: HttpAssertion[];
  security: HttpAssertion;
  existingTests: Command[];
  fixtures: Record<string, string>;
  boundaryFiles: string[];
  testFiles: string[];
  changes: {
    path: string;
    beforeSha256: string | null;
    after: string | null;
    effect: 'source' | 'configuration' | 'dependency';
  }[];
  review: {
    reviewer: string;
    independent: boolean;
    rootCauseRepaired: boolean;
    featurePreserved: boolean;
    boundaryMocks: boolean;
    rationale: string;
    reviewedPatchHash: string;
    artifactId?: string;
  };
}
export interface RepairReviewArtifact {
  schemaVersion: 3;
  id: string;
  runId: string;
  findingId: string;
  createdAt: string;
  producer: string;
  reviewer: string;
  assurance: 'self_attested' | 'host_verified';
  requestHash: string;
  patchHash: string;
  rootCauseRepaired: boolean;
  featurePreserved: boolean;
  boundaryMocks: boolean;
  rationale: string;
}
export interface RecheckEvidenceV3 {
  kind: 'caller' | 'security_boundary';
  path: string;
  line: number;
  observation: string;
}
export interface SubmissionV3 {
  application?: ApplicationModel;
  findings?: unknown[];
  coverage?: unknown[];
  gaps?: string[];
  modelUsage?: { source: string; tokens: number; cost?: number };
  recheck?: {
    findingId: string;
    outcome: 'open' | 'resolved' | 'unknown';
    evidence: RecheckEvidenceV3[];
    rootCause: string;
  };
}
export interface VerificationObservation {
  booted: boolean;
  legitimate: boolean;
  security: 'pass' | 'intended_failure' | 'inconclusive';
  existingTests: boolean;
  output: string;
  inputHash: string;
}
export interface AssertionWitnessBinding {
  schemaVersion: 1;
  protocol: 'gstack-cso-assertion-witness-v1';
  nonce: string;
  phase: 'before' | 'after';
  issuedAt: string;
  expiresAt: string;
  runId: string;
  findingId: string;
  policyHash: string;
  auditPolicyHash: string;
  runtime: { image: string; verifierImage: string; platform: string; profile: string };
  runner: {
    testToolchain: 'runtime' | 'project';
    startPlanHash: string;
    testPlanHash: string;
    commandsHash: string;
    minimumPassingTestsHash: string;
  };
  sourceHash: string;
  dependencyHash: string;
  configurationHash: string;
  requestHash: string;
  patchHash: string;
  harnessHash: string;
  assertionHash: string;
  fixturesHash: string;
}
export interface AssertionWitnessReceipt {
  schemaVersion: 1;
  binding: AssertionWitnessBinding;
  keyId: string;
  publicKey: string;
  observationHash: string;
  externalAssertionsPassed: boolean;
  diagnosticTestsPassed: boolean;
  executions: Array<{
    commandHash: string;
    exitCode: number;
    outputHash: string;
    minimumPassingTests: number;
    executedTests: number;
    passingTests: number;
    reportedPassed: boolean;
  }>;
  signature: string;
}
export interface PreparationProof {
  schemaVersion: 1;
  dependencyClosureHash: string;
  configurationHash: string;
  sourceProjectionHash: string;
  preparedManifestHash: string;
  preparedDependencyHash: string;
  receiptHash: string;
  executionEnvironmentHash: string;
  databaseHash: string;
  transformations: Array<{ path: string; sha256: string; mode: number; reason: string }>;
}
export interface VerificationManifest {
  version: 3;
  id: string;
  runId: string;
  findingId: string;
  createdAt: string;
  helperAbi: 3;
  runtime: { image: string; platform: string; profile: string };
  testToolchain: 'runtime' | 'project';
  policyHash: string;
  harnessHash: string;
  requestHash: string;
  startPlanHash: string;
  testPlanHash: string;
  fixturesHash: string;
  patchHash: string;
  auditPolicyHash: string;
  originalSourceHash: string;
  transformationsHash: string;
  archivesHash: string;
  preparationHash?: string;
  beforeSourceHash: string;
  afterSourceHash: string;
  beforeDependencies: string;
  afterDependencies: string;
  beforeConfiguration: string;
  afterConfiguration: string;
  before: VerificationObservation;
  after: VerificationObservation;
  review: VerificationRequest['review'];
  reviewAssurance: 'self_attested' | 'host_verified';
  assertionAssurance?: 'authenticated_out_of_process';
  testCompletionAssurance: 'self_reported' | 'authenticated_out_of_process';
  witnessHash?: string;
  result: 'runtime_tested' | 'tested' | 'failed' | 'inconclusive';
}
export interface RepairBundle {
  schemaVersion: 3;
  runId: string;
  id: string;
  createdAt: string;
  expiresAt: string;
  requiredInputs: {
    sourceHash: string;
    originalHash: string;
    runtimeImage: string;
    platform: string;
    archives: string[];
    dependencyClosures?: { before: unknown; after: unknown };
  };
  request: VerificationRequest;
  verification: VerificationManifest;
  transformations: SnapshotEntry[];
  preparation?: { before: PreparationProof; after: PreparationProof };
  reviewArtifact?: RepairReviewArtifact;
  witness?: { before: AssertionWitnessReceipt; after: AssertionWitnessReceipt };
}

export function object(value: unknown, name = 'input'): Record<string, any> {
  if (!value || typeof value !== 'object' || Array.isArray(value))
    throw new CsoError('INVALID_SCHEMA', `${name} must be an object`);
  return value as Record<string, any>;
}
function exact(value: Record<string, any>, allowed: readonly string[], name: string): void {
  for (const key of Object.keys(value))
    if (!allowed.includes(key)) throw new CsoError('INVALID_SCHEMA', `Unexpected ${name} field: ${key}`);
}
function boolean(value: unknown, name: string): boolean {
  if (typeof value !== 'boolean') throw new CsoError('INVALID_SCHEMA', `${name} must be a boolean`);
  return value;
}
export function string(value: unknown, name: string, max = 8192): string {
  if (typeof value !== 'string' || !value.trim() || value.length > max || UNSAFE_STRING_CONTROLS.test(value))
    throw new CsoError(
      'INVALID_SCHEMA',
      `${name} must be a nonempty string without unsafe control characters (maximum ${max})`,
    );
  return value;
}
export function strings(value: unknown, name: string): string[] {
  if (!Array.isArray(value) || value.length > 1000)
    throw new CsoError('INVALID_SCHEMA', `${name} must be an array`);
  return value.map((v, i) => string(v, `${name}[${i}]`));
}
export function oneOf<T extends string>(value: unknown, choices: readonly T[], name: string): T {
  if (!choices.includes(value as T))
    throw new CsoError('INVALID_SCHEMA', `${name} must be one of ${choices.join(', ')}`);
  return value as T;
}
export function relativePath(value: unknown): string {
  const p = string(value, 'relative path', 4096);
  if (
    p.startsWith('/') ||
    p.includes('\\') ||
    /^[A-Za-z]:/.test(p) ||
    p.split('/').some((x) => !x || x === '.' || x === '..') ||
    /[\x00-\x1f\x7f]/.test(p)
  )
    throw new CsoError('UNSAFE_PATH', 'Expected a contained relative path');
  return p;
}
const SNAPSHOT_PATH_HANDLE = /^@cso-path\/\/([a-f0-9]{32})$/;
export function snapshotPathId(root: string, path: string): string {
  // Validate the root for callers, but do not salt the opaque identity with its
  // absolute checkout path. Replay must resolve the same retained path after a
  // matching source tree is supplied from another checkout.
  string(root, 'snapshot root', 8192);
  const relative = relativePath(path);
  return sha256(canonical({ kind: 'cso-path-v3', path: relative })).slice(0, 32);
}
export function snapshotPathHandle(pathId: string): string {
  if (!/^[a-f0-9]{32}$/.test(pathId))
    throw new CsoError('INVALID_SCHEMA', 'Snapshot path ID must be 32 lowercase hexadecimal characters');
  return `@cso-path//${pathId}`;
}
export function snapshotPathHandleId(value: unknown): string | undefined {
  if (typeof value !== 'string') return;
  return SNAPSHOT_PATH_HANDLE.exec(value)?.[1];
}
export function snapshotReference(value: unknown): string {
  const reference = string(value, 'snapshot path or handle', 4096);
  return snapshotPathHandleId(reference) ? reference : relativePath(reference);
}
export function snapshotOriginalIdentity(
  entries: Array<Pick<SnapshotEntry, 'path' | 'originalHash' | 'mode'>>,
  deletedPaths: Array<Pick<SnapshotPathIdentity, 'path'>> = [],
): string {
  const present = entries.map((entry) => [entry.path, entry.originalHash, entry.mode]);
  // Preserve the original no-deletion identity for v3 artifacts already
  // retained by pre-release builds. Any deletion changes the identity and is
  // therefore impossible to strip from a manifest without detection.
  return sha256(
    canonical(
      deletedPaths.length
        ? { entries: present, deletedPaths: deletedPaths.map((item) => item.path).sort() }
        : present,
    ),
  );
}
export function rootCauseIdentity(value: string): string {
  return value.normalize('NFKC').trim().replace(/\s+/g, ' ').toLowerCase();
}
function advisoryIdentities(values: string[]): string[] {
  return [...new Set(values.map((value) => value.normalize('NFKC').trim().toUpperCase()))].sort();
}
export function fingerprint(f: Pick<FindingV3, 'rootCause' | 'location' | 'advisoryIds'>): string {
  // Titles, line shifts, severity, and generated descriptions are deliberately absent.
  return sha256(
    canonical({
      rootCause: rootCauseIdentity(f.rootCause),
      path: f.location.path,
      symbol: f.location.symbol,
      advisories: advisoryIdentities(f.advisoryIds),
    }),
  ).slice(0, 32);
}
export function validateFinding(input: unknown): FindingV3 {
  const v = object(input, 'finding'),
    loc = object(v.location, 'location'),
    c = object(v.challenge, 'challenge');
  for (const reserved of [
    'reproduction',
    'repair',
    'closure',
    'verificationId',
    'reproductionAttemptId',
    'verificationAssurance',
  ])
    if (reserved in v) throw new CsoError('INVALID_SCHEMA', `${reserved} is helper-owned`);
  exact(
    v,
    [
      'title',
      'rootCause',
      'location',
      'advisoryIds',
      'severity',
      'confidence',
      'confidenceRationale',
      'evidence',
      'attackerControl',
      'impact',
      'scenario',
      'trace',
      'references',
      'recommendation',
      'challenge',
      'dependency',
    ],
    'finding',
  );
  exact(loc, ['path', 'line', 'symbol'], 'location');
  exact(
    c,
    ['reviewer', 'independent', 'mode', 'callers', 'controls', 'counterevidence', 'conclusion'],
    'challenge',
  );
  const f: FindingV3 = {
    id: '',
    fingerprint: '',
    title: string(v.title, 'title'),
    rootCause: string(v.rootCause, 'rootCause'),
    location: { path: snapshotReference(loc.path), line: loc.line, symbol: string(loc.symbol, 'symbol') },
    advisoryIds: advisoryIdentities(strings(v.advisoryIds ?? [], 'advisoryIds')),
    severity: oneOf(v.severity, ['critical', 'high', 'medium', 'low', 'informational'], 'severity'),
    confidence: oneOf(v.confidence, ['high', 'medium', 'low'], 'confidence'),
    confidenceRationale: string(v.confidenceRationale, 'confidenceRationale'),
    evidence: oneOf(v.evidence, ['supported', 'hypothesis'], 'evidence'),
    attackerControl: string(v.attackerControl, 'attackerControl'),
    impact: string(v.impact, 'impact'),
    scenario: string(v.scenario, 'scenario'),
    trace: strings(v.trace, 'trace'),
    references: strings(v.references, 'references'),
    recommendation: string(v.recommendation, 'recommendation'),
    challenge: {
      reviewer: string(c.reviewer, 'reviewer'),
      independent: boolean(c.independent, 'challenge.independent'),
      mode: oneOf(c.mode, ['independent_agent', 'sequential_fallback'], 'challenge.mode'),
      callers: string(c.callers, 'callers'),
      controls: string(c.controls, 'controls'),
      counterevidence: string(c.counterevidence, 'counterevidence'),
      conclusion: string(c.conclusion, 'conclusion'),
    },
    reproduction: 'not_attempted',
    repair: 'not_attempted',
    closure: 'open',
  };
  if (!Number.isInteger(f.location.line) || f.location.line < 1)
    throw new CsoError('INVALID_SCHEMA', 'line must be a positive integer');
  const fallbackLabel = 'sequential challenge; independent agent unavailable';
  if (
    (f.challenge.independent &&
      (f.challenge.mode !== 'independent_agent' || f.challenge.reviewer === fallbackLabel)) ||
    (!f.challenge.independent &&
      (f.challenge.mode !== 'sequential_fallback' || f.challenge.reviewer !== fallbackLabel))
  )
    throw new CsoError(
      'INVALID_SCHEMA',
      `Challenge mode must bind either an independent agent or the exact fallback label: ${fallbackLabel}`,
    );
  if (f.evidence === 'supported' && (f.confidence === 'low' || !f.trace.length || !f.references.length))
    throw new CsoError(
      'INVALID_SCHEMA',
      'Supported findings require a challenge, a trace, supporting references, and medium/high confidence',
    );
  if (v.dependency) {
    const d = object(v.dependency);
    exact(d, ['affectedVersion', 'reachability', 'exposure', 'exploitation'], 'dependency');
    f.dependency = {
      affectedVersion: string(d.affectedVersion, 'affectedVersion'),
      reachability: oneOf(d.reachability, ['reachable', 'unreachable', 'unknown'], 'reachability'),
      exposure: string(d.exposure, 'exposure'),
      exploitation: string(d.exploitation, 'exploitation'),
    };
  }
  f.fingerprint = fingerprint(f);
  f.id = f.fingerprint;
  return f;
}
export function validateCoverage(input: unknown): CoverageRecord {
  const v = object(input, 'coverage');
  exact(v, ['domain', 'scope', 'status', 'method', 'gaps', 'exclusions', 'evidence', 'tool'], 'coverage');
  const c: CoverageRecord = {
    domain: string(v.domain, 'domain'),
    scope: string(v.scope, 'scope'),
    status: oneOf(v.status, ['assessed', 'partial', 'not_assessed', 'not_applicable'], 'coverage status'),
    method: string(v.method, 'method'),
    gaps: strings(v.gaps, 'gaps'),
    exclusions: strings(v.exclusions, 'exclusions'),
    evidence: strings(v.evidence, 'evidence'),
  };
  if (c.status === 'assessed' && (c.gaps.length || !c.evidence.length))
    throw new CsoError('INVALID_SCHEMA', 'Assessed coverage needs evidence and no outstanding gaps');
  if (c.status === 'partial' && (!c.gaps.length || !c.evidence.length))
    throw new CsoError('INVALID_SCHEMA', 'Partial coverage needs assessed evidence and a concrete gap');
  if (c.status === 'not_assessed' && !c.gaps.length)
    throw new CsoError('INVALID_SCHEMA', 'Unassessed coverage needs a concrete gap');
  if (c.status === 'not_applicable' && (!c.evidence.length || c.gaps.length))
    throw new CsoError(
      'INVALID_SCHEMA',
      'Non-applicability requires evidence and cannot retain an assessment gap',
    );
  if (v.tool) {
    const t = object(v.tool);
    exact(t, ['name', 'version', 'freshness', 'outcome'], 'coverage tool');
    c.tool = {
      name: string(t.name, 'tool name'),
      version: string(t.version, 'tool version'),
      freshness: string(t.freshness, 'freshness'),
      outcome: string(t.outcome, 'outcome'),
    };
  }
  return c;
}
export function validateCommand(value: unknown, name: string): Command {
  const v = object(value, name),
    executable = string(v.executable, `${name}.executable`, 4096),
    args = strings(v.args ?? [], `${name}.args`);
  exact(v, ['executable', 'args'], name);
  if (!executable.startsWith('/') || executable.includes('..'))
    throw new CsoError('INVALID_SCHEMA', `${name}.executable must be an absolute in-container path`);
  return { executable, args };
}
export function validateVerificationObservation(value: unknown): VerificationObservation {
  const v = object(value, 'verification observation');
  for (const key of Object.keys(v))
    if (!['booted', 'legitimate', 'security', 'existingTests', 'output', 'inputHash'].includes(key))
      throw new CsoError('INVALID_SCHEMA', `Unexpected verification observation field: ${key}`);
  if (
    typeof v.booted !== 'boolean' ||
    typeof v.legitimate !== 'boolean' ||
    typeof v.existingTests !== 'boolean'
  )
    throw new CsoError('INVALID_SCHEMA', 'Verification observation outcomes must be booleans');
  if (typeof v.output !== 'string' || v.output.length > 8192 || v.output.includes('\0'))
    throw new CsoError('INVALID_SCHEMA', 'Verification observation output must be a bounded string');
  if (typeof v.inputHash !== 'string' || (!/^$/.test(v.inputHash) && !/^[a-f0-9]{64}$/.test(v.inputHash)))
    throw new CsoError('INVALID_SCHEMA', 'Verification observation inputHash must be empty or a sha256 hash');
  return {
    booted: v.booted,
    legitimate: v.legitimate,
    security: oneOf(
      v.security,
      ['pass', 'intended_failure', 'inconclusive'],
      'verification security outcome',
    ),
    existingTests: v.existingTests,
    output: v.output,
    inputHash: v.inputHash,
  };
}
function assertion(value: unknown, name: string): HttpAssertion {
  const v = object(value, name),
    expected = object(v.expected, `${name}.expected`);
  exact(v, ['name', 'path', 'method', 'headers', 'body', 'expected', 'vulnerable'], name);
  const oracle = (x: Record<string, any>, n: string) => {
    exact(x, ['status', 'includes', 'excludes'], n);
    if (!Number.isInteger(x.status) || x.status < 100 || x.status > 599)
      throw new CsoError('INVALID_SCHEMA', `${n}.status must be an HTTP status`);
    return {
      status: x.status,
      ...(x.includes === undefined ? {} : { includes: string(x.includes, `${n}.includes`) }),
      ...(x.excludes === undefined ? {} : { excludes: string(x.excludes, `${n}.excludes`) }),
    };
  };
  const path = string(v.path, `${name}.path`, 4096);
  if (!path.startsWith('/') || path.startsWith('//') || /[\r\n]/.test(path))
    throw new CsoError('INVALID_SCHEMA', `${name}.path must stay on numeric loopback`);
  const headers: Record<string, string> = {};
  if (v.headers !== undefined)
    for (const [k, val] of Object.entries(object(v.headers, `${name}.headers`))) {
      if (
        !/^[A-Za-z0-9-]{1,100}$/.test(k) ||
        typeof val !== 'string' ||
        val.length > 8192 ||
        /[\r\n]/.test(val)
      )
        throw new CsoError('INVALID_SCHEMA', `Invalid ${name} header`);
      headers[k] = val;
    }
  return {
    name: string(v.name, `${name}.name`),
    path,
    method: oneOf(v.method, ['GET', 'POST', 'PUT', 'PATCH', 'DELETE'], `${name}.method`),
    ...(Object.keys(headers).length ? { headers } : {}),
    ...(v.body === undefined ? {} : { body: string(v.body, `${name}.body`, 65536) }),
    expected: oracle(expected, `${name}.expected`),
    ...(v.vulnerable === undefined ? {} : { vulnerable: oracle(object(v.vulnerable), `${name}.vulnerable`) }),
  };
}
export function validateVerificationRequest(input: unknown): VerificationRequest {
  const v = object(input, 'verification request'),
    changes = v.changes,
    fixtures = object(v.fixtures ?? {}, 'fixtures'),
    review = object(v.review, 'review');
  exact(
    v,
    [
      'findingId',
      'runtimeProfile',
      'port',
      'start',
      'legitimate',
      'security',
      'existingTests',
      'fixtures',
      'boundaryFiles',
      'testFiles',
      'changes',
      'review',
    ],
    'verification request',
  );
  exact(
    review,
    [
      'reviewer',
      'independent',
      'rootCauseRepaired',
      'featurePreserved',
      'boundaryMocks',
      'rationale',
      'reviewedPatchHash',
      'artifactId',
    ],
    'review',
  );
  if (!Array.isArray(changes) || !changes.length || changes.length > 100)
    throw new CsoError('INVALID_SCHEMA', 'changes must contain 1..100 declared patch effects');
  const cleanFixtures: Record<string, string> = {};
  for (const [p, body] of Object.entries(fixtures)) {
    cleanFixtures[relativePath(p)] = string(body, `fixture ${p}`, 1024 * 1024);
  }
  const request: VerificationRequest = {
    findingId: string(v.findingId, 'findingId'),
    runtimeProfile: string(v.runtimeProfile, 'runtimeProfile', 100),
    port: v.port,
    start: validateCommand(v.start, 'start'),
    legitimate: (Array.isArray(v.legitimate) ? v.legitimate : []).map((x, i) =>
      assertion(x, `legitimate[${i}]`),
    ),
    security: assertion(v.security, 'security'),
    existingTests: (Array.isArray(v.existingTests) ? v.existingTests : []).map((x, i) =>
      validateCommand(x, `existingTests[${i}]`),
    ),
    fixtures: cleanFixtures,
    boundaryFiles: strings(v.boundaryFiles, 'boundaryFiles').map(snapshotReference),
    testFiles: strings(v.testFiles, 'testFiles').map(snapshotReference),
    changes: changes.map((raw: any, i: number) => {
      const x = object(raw, `changes[${i}]`),
        before = x.beforeSha256;
      exact(x, ['path', 'beforeSha256', 'after', 'effect'], `changes[${i}]`);
      if (before !== null && (typeof before !== 'string' || !/^[a-f0-9]{64}$/.test(before)))
        throw new CsoError('INVALID_SCHEMA', `changes[${i}].beforeSha256 must be a hash or null`);
      return {
        path: snapshotReference(x.path),
        beforeSha256: before,
        after: x.after === null ? null : string(x.after, `changes[${i}].after`, 1024 * 1024),
        effect: oneOf(x.effect, ['source', 'configuration', 'dependency'], `changes[${i}].effect`),
      };
    }),
    review: {
      reviewer: string(review.reviewer, 'reviewer'),
      independent: boolean(review.independent, 'review.independent'),
      rootCauseRepaired: boolean(review.rootCauseRepaired, 'review.rootCauseRepaired'),
      featurePreserved: boolean(review.featurePreserved, 'review.featurePreserved'),
      boundaryMocks: boolean(review.boundaryMocks, 'review.boundaryMocks'),
      rationale: string(review.rationale, 'review rationale'),
      reviewedPatchHash: string(review.reviewedPatchHash, 'reviewedPatchHash'),
      ...(review.artifactId === undefined
        ? {}
        : { artifactId: string(review.artifactId, 'review artifact ID') }),
    },
  };
  if (!/^[a-f0-9]{32}$/.test(request.findingId))
    throw new CsoError('INVALID_SCHEMA', 'findingId must be a helper-issued identifier');
  if (request.review.artifactId !== undefined && !/^[a-f0-9]{32}$/.test(request.review.artifactId))
    throw new CsoError('INVALID_SCHEMA', 'review artifact ID must be a helper-issued identifier');
  if (!Number.isInteger(request.port) || request.port < 1024 || request.port > 65535)
    throw new CsoError('INVALID_SCHEMA', 'port must be 1024..65535');
  if (
    !request.legitimate.length ||
    !request.security.vulnerable ||
    !request.existingTests.length ||
    !request.boundaryFiles.length ||
    !request.testFiles.length
  )
    throw new CsoError(
      'INVALID_SCHEMA',
      'Verification needs a legitimate control, distinct before/fixed security oracles, existing tests, immutable test files, and boundary files',
    );
  const secure = request.security.expected,
    vulnerable = request.security.vulnerable;
  const mutuallyExclusive =
    secure.status !== vulnerable.status ||
    (secure.includes !== undefined &&
      vulnerable.excludes !== undefined &&
      secure.includes.includes(vulnerable.excludes)) ||
    (vulnerable.includes !== undefined &&
      secure.excludes !== undefined &&
      vulnerable.includes.includes(secure.excludes));
  if (!mutuallyExclusive)
    throw new CsoError(
      'INVALID_SCHEMA',
      'The vulnerable and fixed security oracles must be provably mutually exclusive',
    );
  if (new Set(request.changes.map((x) => x.path)).size !== request.changes.length)
    throw new CsoError('INVALID_SCHEMA', 'Patch paths must be unique');
  if (
    new Set(request.testFiles).size !== request.testFiles.length ||
    request.changes.some((change) => request.testFiles.includes(change.path))
  )
    throw new CsoError(
      'INVALID_SCHEMA',
      'Existing-test source files must be unique and unchanged by the repair',
    );
  if (
    request.existingTests.some((command) =>
      /(?:^|\/)(?:true|false|echo|printf|env|sh|bash)$/.test(command.executable),
    )
  )
    throw new CsoError(
      'INVALID_SCHEMA',
      'Generic success or shell commands cannot stand in for a project test suite',
    );
  if (
    !request.changes.some(
      (change) =>
        change.beforeSha256 === null || change.after === null || sha256(change.after) !== change.beforeSha256,
    )
  )
    throw new CsoError('INVALID_SCHEMA', 'A tested repair must contain at least one material patch effect');
  return request;
}
export function completeness(report: Pick<RunReportV3, 'coverage' | 'gaps'>): Completeness {
  // Scanner adapters preserve operational outcomes, but scanner output is only
  // candidate evidence. The corresponding investigation domain decides whether
  // assessment work remains; an optional tool failure cannot override it.
  // A successful snapshot is a prerequisite, not security assessment work by
  // itself. Its helper-owned partial/not-assessed state remains material.
  const work = report.coverage.filter(
    (c) =>
      c.status !== 'not_applicable' &&
      !c.domain.startsWith('scanner:') &&
      !(['snapshot-inputs', 'history-inputs'].includes(c.domain) && c.status === 'assessed'),
  );
  if (!report.gaps.length && work.length && work.every((c) => c.status === 'assessed')) return 'complete';
  return work.some((c) => c.status === 'assessed' || c.status === 'partial') ? 'partial' : 'not assessed';
}
export function renderReport(report: RunReportV3): string {
  const supported = report.findings.filter((f) => f.evidence === 'supported');
  const gaps = [
    ...new Set([
      ...report.gaps,
      ...report.coverage.filter((c) => !c.domain.startsWith('scanner:')).flatMap((c) => c.gaps),
    ]),
  ];
  const transformations = report.source.transformations ?? [];
  // Report JSON is canonical evidence. Markdown is a safe plain-text view:
  // collapse line breaks and escape all Markdown control characters so model,
  // repository, scanner, and advisory strings cannot forge report structure.
  const plain = (value: unknown): string =>
    String(value)
      .replace(/[\x00-\x1f\x7f-\x9f\u061c\u200e\u200f\u2028\u2029\u202a-\u202e\u2066-\u2069]+/gu, ' ')
      .replace(/\s{2,}/g, ' ')
      .trim()
      .replace(/[\\`*_[\]{}()#+!|<>]/g, '\\$&');
  const list = (values: string[]): string => (values.length ? values.map(plain).join('; ') : 'none');
  const terminal = [...report.events].reverse().find((item) => item.kind === 'terminal'),
    startedAt = Date.parse(report.createdAt),
    terminalAt = terminal ? Date.parse(terminal.at) : NaN;
  const elapsed =
    Number.isFinite(startedAt) && Number.isFinite(terminalAt) && terminalAt >= startedAt
      ? `; elapsed ${terminalAt - startedAt} ms`
      : '';
  const timing = `Timing: started ${plain(report.createdAt)}; deadline ${plain(report.deadline)}${terminal ? `; terminal ${plain(terminal.at)}${elapsed}` : ''}.`;
  const usage = report.modelUsage
    ? `Model usage: ${report.modelUsage.tokens} host-reported tokens from ${plain(report.modelUsage.source)}${report.modelUsage.cost === undefined ? '' : `; host-reported cost ${report.modelUsage.cost}`}.`
    : undefined;
  const findingLines = (f: FindingV3): string[] => [
    `- ${plain(f.severity.toUpperCase())} ${plain(f.title)} [${plain(f.id)}]`,
    `  Location: ${plain(f.location.path)}:${f.location.line} (${plain(f.location.symbol)}). Confidence: ${plain(f.confidence)} — ${plain(f.confidenceRationale)}. Evidence: ${plain(f.evidence)}.`,
    `  Attacker scenario: ${plain(f.scenario)}`,
    `  Attacker control: ${plain(f.attackerControl)}. Impact: ${plain(f.impact)}.`,
    `  Trace: ${list(f.trace)}. Supporting references: ${list(f.references)}.`,
    `  Counterevidence considered: ${plain(f.challenge.counterevidence)}. Challenge: ${plain(f.challenge.mode)} by ${plain(f.challenge.reviewer)}. Conclusion: ${plain(f.challenge.conclusion)}.`,
    `  Repair recommendation: ${plain(f.recommendation)}`,
    `  Reproduction: ${plain(f.reproduction)}${f.reproductionAttemptId ? ` (attempt ${plain(f.reproductionAttemptId)})` : ''}. Repair: ${plain(f.repair)}. Closure: ${plain(f.closure)}.`,
    ...(f.verificationId
      ? [
          `  Verification: ${plain(f.verificationId)}. Bundle: bundles/${plain(f.verificationId)}.json. Assertion assurance: ${plain(f.verificationAssurance?.assertions ?? 'unknown')}. Test completion assurance: ${plain(f.verificationAssurance?.testCompletion ?? 'unknown')}. Review assurance: ${plain(f.verificationAssurance?.review ?? 'unknown')}.`,
        ]
      : []),
  ];
  const model = report.application;
  return [
    `${report.completeness} — ${plain(report.policy.scope)}${report.policy.diff ? ` (diff against ${plain(report.policy.base)})` : ''}`,
    `Run: ${plain(report.runId)}. Mode: ${plain(report.policy.mode)}.`,
    timing,
    ...(usage ? [usage] : []),
    `Material gaps: ${gaps.length ? list(gaps) : 'none reported'}.`,
    '',
    'Application model:',
    `- Actors: ${list(model.actors)}.`,
    `- Assets: ${list(model.assets)}.`,
    `- Entrypoints: ${list(model.entrypoints)}.`,
    `- Tenant boundaries: ${list(model.tenantBoundaries)}.`,
    `- Sensitive operations: ${list(model.sensitiveOperations)}.`,
    `- Security invariants: ${list(model.invariants)}.`,
    '',
    ...(supported.length
      ? ['Supported findings:', ...supported.flatMap(findingLines)]
      : ['No supported findings in the assessed scope.']),
    ...(report.policy.mode === 'comprehensive'
      ? [
          '',
          'Hypotheses (unconfirmed):',
          ...report.findings.filter((f) => f.evidence === 'hypothesis').flatMap(findingLines),
        ]
      : []),
    '',
    'Snapshot transformations:',
    ...(transformations.length
      ? transformations.map((item) => `- ${plain(item.path)}: ${plain(item.handling)}`)
      : ['- none']),
    '',
    'Coverage:',
    ...report.coverage.flatMap((c) => [
      `- ${plain(c.domain)}: ${plain(c.status)}; ${plain(c.method)}${c.tool ? `; tool ${plain(c.tool.name)} ${plain(c.tool.version)}, freshness ${plain(c.tool.freshness)}, outcome ${plain(c.tool.outcome)}` : ''}.`,
      `  Scope: ${plain(c.scope)}. Evidence: ${list(c.evidence)}. Gaps: ${list(c.gaps)}. Exclusions: ${list(c.exclusions)}.`,
    ]),
    '',
  ].join('\n');
}
type LegacyJson = null | boolean | number | string | LegacyJson[] | { [key: string]: LegacyJson };
function legacyJson(value: unknown, depth = 0, seen = new WeakSet<object>()): LegacyJson {
  if (depth > 32) throw new CsoError('INVALID_SCHEMA', 'Legacy report nesting is too deep');
  if (value === null || typeof value === 'boolean') return value;
  if (typeof value === 'number') {
    if (!Number.isFinite(value)) throw new CsoError('INVALID_SCHEMA', 'Legacy report numbers must be finite');
    return value;
  }
  if (typeof value === 'string') {
    if (value.length > MAX_OUTPUT || UNSAFE_STRING_CONTROLS.test(value))
      throw new CsoError(
        'INVALID_SCHEMA',
        'Legacy report strings must be bounded and free of unsafe control characters',
      );
    return value;
  }
  if (!value || typeof value !== 'object')
    throw new CsoError('INVALID_SCHEMA', 'Legacy report contains a non-JSON value');
  if (seen.has(value)) throw new CsoError('INVALID_SCHEMA', 'Legacy report cannot be cyclic');
  seen.add(value);
  try {
    if (Array.isArray(value)) {
      if (value.length > 10_000) throw new CsoError('INVALID_SCHEMA', 'Legacy report array is too large');
      return value.map((item) => legacyJson(item, depth + 1, seen));
    }
    const entries = Object.entries(value as Record<string, unknown>);
    if (entries.length > 10_000) throw new CsoError('INVALID_SCHEMA', 'Legacy report object is too large');
    const out: Record<string, LegacyJson> = Object.create(null);
    for (const [key, item] of entries) {
      if (
        key.length > 1024 ||
        ['__proto__', 'prototype', 'constructor'].includes(key) ||
        UNSAFE_PROPERTY_CONTROLS.test(key)
      )
        throw new CsoError('INVALID_SCHEMA', 'Legacy report contains an unsafe property');
      out[key] = legacyJson(item, depth + 1, seen);
    }
    return out;
  } finally {
    seen.delete(value);
  }
}
export function importLegacy(input: unknown): {
  schemaVersion: 2;
  readOnly: true;
  findings: any[];
  warning: string;
} {
  const v = object(input, 'legacy report');
  if (
    !Array.isArray(v.findings) ||
    ![2, '2', '2.0', '2.0.0'].includes(v.schemaVersion ?? v.schema_version ?? v.version)
  )
    throw new CsoError('INVALID_SCHEMA', 'Expected a v2 report with findings');
  return {
    schemaVersion: 2,
    readOnly: true,
    warning:
      'Legacy VERIFIED is review evidence only; it does not establish reproduction, tested repair, or closure.',
    findings: v.findings.map((raw: any, index: number) => {
      const f = object(raw, `legacy finding ${index + 1}`);
      return {
        title: typeof f.title === 'string' ? string(f.title, 'legacy title') : `Legacy finding ${index + 1}`,
        status: typeof f.status === 'string' ? string(f.status, 'legacy status') : 'unknown',
        ...(typeof f.severity === 'string' ? { severity: string(f.severity, 'legacy severity') } : {}),
        ...(typeof f.description === 'string'
          ? { description: string(f.description, 'legacy description') }
          : {}),
        legacy: legacyJson(f),
        evidence: 'legacy_review',
        reproduction: 'not_attempted',
        repair: 'not_attempted',
        closure: 'unknown',
      };
    }),
  };
}