import type { Static } from "typebox";
import { reviewSubmissionSchema } from "./review-submission.ts";
import { roleSubmissionDeclaration } from "./role-submission-declarations.ts";
import {
  INSPECTOR_OUTPUT_TOOL_NAME,
  validateRecordedInspectorOutput,
  type InspectorOutput,
} from "./inspector-contracts.ts";

export {
  INSPECTOR_OUTPUT_TOOL_NAME,
};
export { INSPECTOR_OUTPUT_TOOL_NAME as INSPECTOR_OUTPUT_TOOL };
export type { InspectorOutput };
export { validateRecordedInspectorOutput };

/** 台院事后察举交卷形状。 */
export const inspectorOutputSchema = reviewSubmissionSchema;

export type InspectorOutputParameters = Static<typeof inspectorOutputSchema>;

export type InspectorRuntimeDependencies = {
  loadSoul(): Promise<string>;
};

/**
 * 决定工具规格。生命周期装配归注册信封 owner——src/role-runtime.ts（ADR 0018）。
 */
export const INSPECTOR_TOOL_SPEC = roleSubmissionDeclaration("inspector");