Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions server/services/course-content/course-content-schema.ts
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,6 @@ const v2ManifestSchema = z.object({

export const courseContentManifestSchema = z.union([examplesManifestSchema, v2ManifestSchema]);

export type CourseContentManifest = z.infer<typeof courseContentManifestSchema>;
export type TutorDescriptor = z.infer<typeof tutorDescriptorSchema>;

export const courseContentTopicEntrySchema = z.object({
Expand Down Expand Up @@ -61,7 +60,6 @@ const tutorManifestV2Schema = z.object({
export const courseContentTutorManifestSchema = z.union([tutorManifestV1Schema, tutorManifestV2Schema]);

export type CourseContentTutorManifest = z.infer<typeof courseContentTutorManifestSchema>;
export type TutorPhase = "LEARN" | "DEEPEN" | "EXPAND";

type InvalidCapability = { readonly status: "invalid"; readonly reason: string };

Expand Down
2 changes: 0 additions & 2 deletions server/services/course-content/tutor-quality-schema.ts
Original file line number Diff line number Diff line change
Expand Up @@ -25,5 +25,3 @@ export const tutorQualityCasesSchema = z.object({
context.addIssue({ code: z.ZodIssueCode.custom, path: ["cases"], message: "Quality case ids must be unique" });
}
});

export type TutorQualityCases = z.infer<typeof tutorQualityCasesSchema>;
5 changes: 0 additions & 5 deletions server/services/sandbox/docker-compile-semaphore.ts
Original file line number Diff line number Diff line change
Expand Up @@ -95,8 +95,3 @@ export function getSandboxStartSemaphore(maxOverride?: number): SandboxStartSema
}
return _instance;
}

/** @deprecated Internal compatibility alias; use SandboxStartSemaphore. */
export const DockerCompileSemaphore = SandboxStartSemaphore;
/** @deprecated Internal compatibility alias; use getSandboxStartSemaphore. */
export const getDockerCompileSemaphore = getSandboxStartSemaphore;
1 change: 0 additions & 1 deletion server/services/tutor/curriculum/curriculum-schema.ts
Original file line number Diff line number Diff line change
Expand Up @@ -173,7 +173,6 @@ export type CurriculumConcept = CurriculumTopic["concepts"][number];
export type CurriculumQuestion = CurriculumTopic["questions"][number];
export type CurriculumScaffold = CurriculumTopic["scaffolds"][number];
export type TopicDeepening = z.infer<typeof deepeningSchema>;
export type TopicExtension = z.infer<typeof topicExtensionSchema>;

function assertUnique(values: readonly string[], label: string): void {
if (new Set(values).size !== values.length) throw new Error(`Duplicate ${label}`);
Expand Down
4 changes: 0 additions & 4 deletions server/services/tutor/evaluation/anchor-course-content.ts
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,3 @@ export function createAnchorCourseContent(fixtureId: AnchorCourseContentFixtureI
}
}
}

export function anchorCourseContentRevision(): string {
return REVISION;
}
4 changes: 0 additions & 4 deletions server/services/tutor/tutor-planning.ts
Original file line number Diff line number Diff line change
Expand Up @@ -79,10 +79,6 @@ export function isTutorPlanningBlocked(result: TutorPlanningResult | null): resu
return result !== null && "kind" in result && result.kind === "blocked";
}

export function isTutorPlanningTransition(result: TutorPlanningResult | null): result is TutorPlanningTransition {
return result !== null && "kind" in result && result.kind === "transition";
}

export interface TutorPlanningExtension {
resolveStrategy?(input: { readonly code?: string; readonly courseContent?: TutorPlanningContentContext }): Promise<StrategyResolution>;
planInitial(input: { readonly code: string; readonly history: readonly TutorDialogTurn[]; readonly difficulty: TutorDifficulty; readonly exampleId?: string; readonly courseContent?: TutorPlanningContentContext }): Promise<TutorPlanningResult | null>;
Expand Down
Loading