type reference

      type ScopeFile = {
  spec: SpecDefinition;
  plan: PlanDefinition;
};
    

      type SpecDefinition = {
  title: string;
  tutorial: { goal: string; outcome: string };
  howTo: { task: string; done: string };
  explanation: { summary: string };
};
    

      type PlanDefinition = {
  goals: readonly PlanGoal[];
  loop?: {
    maxIterations?: number;
    stopOnFailure?: boolean;
  };
};
    

      type PlanGoal = {
  id: string;
  title: string;
  gate: GateDefinition;
};
    

      type VerificationResult = {
  status: "pass" | "fail" | "skip" | "inconclusive";
  proofStrength: "strong" | "moderate" | "weak" | "none";
};