Function validateEvidence

test/contract/p5-schema.test.ts:85–100

(value: unknown, label = 'Evidence')

}

function validateEvidence(value: unknown, label = 'Evidence'): asserts value is CliEvidence {
  expect(value, `${label}: must be an object`).toBeTypeOf('object');
  expect(value, `${label}: not null`).not.toBeNull();
  const obj = value as Record<string, unknown>;
  expectRequired(obj, EVIDENCE_REQUIRED, label);
  expectKeysMatch(obj, new Set(EVIDENCE_REQUIRED), label);
  expect(EVIDENCE_KINDS.has(obj.kind), `${label}.kind`).toBe(true);
  expect(typeof obj.stepIndex, `${label}.stepIndex`).toBe('number');
  expect((obj.stepIndex as number) >= 1, `${label}.stepIndex >= 1`).toBe(true);
  expect(typeof obj.url, `${label}.url`).toBe('string');
  expect((obj.url as string).startsWith('https://'), `${label}.url is https`).toBe(true);
  // §6.1: summary is non-nullable. M2 ships a deterministic
  // synthesizer until the LLM pipeline lands.
  expect(typeof obj.summary, `${label}.summary`).toBe('string');
  expect((obj.summary as string).length, `${label}.summary non-empty`).toBeGreaterThan(0);
}

function validateFailureBlock(
  value: unknown,