Variable UNKNOWN_CONTRACT_EXAMPLESConst

Type Declaration

• list_unknowns: {}

• record_unknown: {
      approved: true;
      domain: string;
      question: string;
      recommended_probes: { operation: string; rationale: string }[];
      relationships: never[];
      required_authority: string;
      required_confidence: string;
      required_environment: null;
      severity: string;
  }

• update_unknown: {
      approved: true;
      contradicting_evidence_ids: never[];
      expected_revision: number;
      recommended_probes: never[];
      relationships: never[];
      required_authority: string;
      required_confidence: string;
      required_environment: null;
      resolution: null;
      severity: string;
      status: string;
      supporting_evidence_ids: never[];
      unknown_id: string;
  }

• verify_unknown_resolution: { unknown_id: string }