@velum-labs/routekit-eval-setup 1.3.2 → 1.5.0

package/dist/case-pipeline-protocol.js

@@ -0,0 +1,371 @@
+import { createHash } from "node:crypto";
+import { Data, Schema } from "effect";
+import { RepositoryBenchmarkCaseV1, RepositoryCandidateVisibleTaskV1 } from "./repository-benchmark-protocol.js";
+import { RepositoryHiddenFixtureSuiteV1, RepositoryOracleFixtureV1 } from "./repository-fixture-protocol.js";
+import { RepositoryFoundryModelPlanV1, RepositoryFoundryReasoningEffortV1, repositoryFoundryModelPlanV1 } from "./repository-language-model-protocol.js";
+import { RepositoryHiddenOracleV1, RepositoryOracleAdequacyReportV1, RepositoryReferenceSolutionV1 } from "./repository-oracle-protocol.js";
+import { RepositorySeedCrossBatchQualificationV1, RepositoryTaskSeedV1 } from "./repository-task-seed-protocol.js";
+/**
+ * Additive case-generation pipeline protocol. Every stage persists one
+ * checkpoint; the orchestrator resumes from the first stage without one.
+ * Model output is advisory everywhere; executed observations are the only
+ * admission evidence.
+ */
+export const PIPELINE_STAGES = [
+    "seed",
+    "spec",
+    "oracle",
+    "controls",
+    "tournament",
+    "challenge",
+    "admit"
+];
+export const PipelineStageV1 = Schema.Literals(PIPELINE_STAGES);
+export const PipelineStatusV1 = Schema.Literals([
+    "running",
+    "admitted",
+    "rejected",
+    "exhausted",
+    "failed"
+]);
+export const DimensionContractV1 = Schema.Struct({
+    id: Schema.String,
+    description: Schema.String,
+    includes: Schema.Array(Schema.String),
+    excludes: Schema.Array(Schema.String)
+});
+/** The single budget. No per-stage or per-role allowances exist. */
+export const PipelineBudgetV1 = Schema.Struct({
+    maxModelCalls: Schema.Finite,
+    maxWallMs: Schema.Finite
+});
+export const PipelineStateV1 = Schema.Struct({
+    version: Schema.Literal(1),
+    caseId: Schema.String,
+    repositoryRoot: Schema.String,
+    dimension: DimensionContractV1,
+    model: Schema.String,
+    /**
+     * Digest of the immutable scientific inputs. The requested cumulative budget
+     * is deliberately excluded so an exhausted case can resume with a larger
+     * ceiling without changing its identity.
+     */
+    identityDigest: Schema.optionalKey(Schema.String),
+    stage: Schema.Literals([...PIPELINE_STAGES, "done"]),
+    status: PipelineStatusV1,
+    reason: Schema.optionalKey(Schema.String),
+    startedAt: Schema.String,
+    updatedAt: Schema.String,
+    modelCalls: Schema.Finite,
+    /** Cumulative across resumes; the budget wrapper persists it on every received call. */
+    elapsedMs: Schema.Finite,
+    resumeCount: Schema.Finite,
+    folds: Schema.Finite
+});
+export const PipelineLedgerPhaseV1 = Schema.Literals([
+    "start",
+    "received",
+    "validated",
+    "failed",
+    "retry"
+]);
+export const PipelineLedgerEntryV1 = Schema.Struct({
+    at: Schema.String,
+    operationId: Schema.String,
+    role: Schema.String,
+    model: Schema.String,
+    phase: PipelineLedgerPhaseV1,
+    attempt: Schema.Finite,
+    callId: Schema.optionalKey(Schema.String),
+    detail: Schema.optionalKey(Schema.String),
+    inputBytes: Schema.optionalKey(Schema.Finite),
+    outputBytes: Schema.optionalKey(Schema.Finite)
+});
+export const PIPELINE_DEFAULT_ORACLE_REPETITIONS = 2;
+export const PIPELINE_DEFAULT_ORACLE_CONCURRENCY = 2;
+export const PIPELINE_DEFAULT_FOLD_LIMIT = 2;
+export const PipelineCaseContextV1 = Schema.Struct({
+    repositoryRoot: Schema.String,
+    caseId: Schema.String,
+    caseDirectory: Schema.String,
+    dimension: DimensionContractV1,
+    primaryModel: Schema.String,
+    reasoningEffort: RepositoryFoundryReasoningEffortV1,
+    /** Legacy plan so substrate services that still take a plan keep working. */
+    modelPlan: RepositoryFoundryModelPlanV1,
+    budget: PipelineBudgetV1,
+    referenceCommit: Schema.optionalKey(Schema.String),
+    requestedRef: Schema.optionalKey(Schema.String),
+    oracleRepetitions: Schema.Finite,
+    oracleConcurrency: Schema.Finite,
+    foldLimit: Schema.Finite
+});
+/**
+ * Build a context with defaults and a legacy model plan. Legacy primary roles
+ * require high or stronger reasoning, so weaker efforts are lifted to "high"
+ * inside the plan only; `reasoningEffort` keeps the requested value.
+ */
+export const makePipelineCaseContextV1 = (input) => {
+    const reasoningEffort = input.reasoningEffort ?? "high";
+    const planEffort = reasoningEffort === "low" || reasoningEffort === "medium" ? "high" : reasoningEffort;
+    return {
+        repositoryRoot: input.repositoryRoot,
+        caseId: input.caseId,
+        caseDirectory: input.caseDirectory,
+        dimension: input.dimension,
+        primaryModel: input.primaryModel,
+        reasoningEffort,
+        modelPlan: repositoryFoundryModelPlanV1({
+            primaryModel: input.primaryModel,
+            oracleCriticModel: input.primaryModel,
+            primaryReasoningEffort: planEffort,
+            reviewReasoningEffort: planEffort
+        }),
+        budget: input.budget,
+        ...(input.referenceCommit === undefined ? {} : { referenceCommit: input.referenceCommit }),
+        ...(input.requestedRef === undefined ? {} : { requestedRef: input.requestedRef }),
+        oracleRepetitions: input.oracleRepetitions ?? PIPELINE_DEFAULT_ORACLE_REPETITIONS,
+        oracleConcurrency: input.oracleConcurrency ?? PIPELINE_DEFAULT_ORACLE_CONCURRENCY,
+        foldLimit: input.foldLimit ?? PIPELINE_DEFAULT_FOLD_LIMIT
+    };
+};
+// Schemas for substrate values that only exist as TypeScript types today.
+export const RepositoryCommandFileOverrideSchemaV1 = Schema.Union([
+    Schema.Struct({ path: Schema.String, content: Schema.String }),
+    Schema.Struct({ path: Schema.String, delete: Schema.Literal(true) })
+]);
+export const RepositoryExecutableSolutionSchemaV1 = Schema.Struct({
+    ...RepositoryReferenceSolutionV1.fields,
+    commit: Schema.String,
+    fileOverrides: Schema.optionalKey(Schema.Array(RepositoryCommandFileOverrideSchemaV1))
+});
+const RepositoryTestEvidenceSchemaV1 = Schema.Struct({
+    outcome: Schema.Literals(["pass", "fail", "unknown"]),
+    detail: Schema.String,
+    inconclusiveReason: Schema.optionalKey(Schema.Literal("unattributed-test-failure"))
+});
+const RepositoryFixtureOverlaySchemaV1 = Schema.Struct({
+    path: Schema.String,
+    content: Schema.String,
+    fixtureIds: Schema.Array(Schema.String)
+});
+export const RepositoryOracleCoverageWitnessSchemaV1 = Schema.Struct({
+    scopeId: Schema.String,
+    hypothesis: Schema.String,
+    outcome: Schema.Literals(["already-detected", "confirmed-escape"]),
+    explanation: Schema.String,
+    referenceCommit: Schema.String,
+    fileOverrides: Schema.Array(Schema.Struct({ path: Schema.String, content: Schema.String })),
+    fixture: RepositoryOracleFixtureV1,
+    overlay: RepositoryFixtureOverlaySchemaV1,
+    referenceEvidence: RepositoryTestEvidenceSchemaV1,
+    mutantEvidence: RepositoryTestEvidenceSchemaV1,
+    incumbentEvidence: Schema.Array(Schema.Struct({ fixtureId: Schema.String, evidence: RepositoryTestEvidenceSchemaV1 })),
+    executionOperationId: Schema.String
+});
+const checkpointHeader = (stage) => ({
+    version: Schema.Literal(1),
+    stage: Schema.Literal(stage),
+    /** sha256 of the previous checkpoint's stable JSON, or of the context for seed. */
+    parentDigest: Schema.String,
+    createdAt: Schema.String
+});
+export const SeedCheckpointV1 = Schema.Struct({
+    ...checkpointHeader("seed"),
+    seed: RepositoryTaskSeedV1,
+    qualification: RepositorySeedCrossBatchQualificationV1,
+    repository: Schema.Struct({
+        root: Schema.String,
+        commit: Schema.String,
+        tree: Schema.String
+    }),
+    selection: Schema.Struct({
+        candidates: Schema.Array(Schema.Struct({
+            commit: Schema.String,
+            subject: Schema.String,
+            score: Schema.Finite,
+            rationale: Schema.String
+        })),
+        selectedCommit: Schema.String,
+        rejected: Schema.Array(Schema.Struct({ commit: Schema.String, reason: Schema.String }))
+    })
+});
+export const SpecScopeEntryV1 = Schema.Struct({
+    id: Schema.String,
+    kind: Schema.Literals(["changed", "preserved"]),
+    behaviorIds: Schema.Array(Schema.String),
+    description: Schema.String
+});
+export const SpecCheckpointV1 = Schema.Struct({
+    ...checkpointHeader("spec"),
+    visible: RepositoryCandidateVisibleTaskV1,
+    analysis: Schema.Struct({
+        summary: Schema.String,
+        userObservableBehaviors: Schema.Array(Schema.String),
+        constraints: Schema.Array(Schema.String),
+        risks: Schema.Array(Schema.String)
+    }),
+    scope: Schema.Array(SpecScopeEntryV1),
+    contextSources: Schema.Array(Schema.Struct({ path: Schema.String, content: Schema.String })),
+    /** Advisory model reviews; write RepositorySpecificationReviewV1 values where possible. */
+    reviews: Schema.Array(Schema.Unknown),
+    revisions: Schema.Finite,
+    leakFindings: Schema.Array(Schema.String)
+});
+export const OracleFixtureMetadataV1 = Schema.Struct({
+    id: Schema.String,
+    kind: Schema.Literals(["historical-regression", "boundary", "counterfactual", "metamorphic"]),
+    expectationMode: Schema.Literals(["changes", "preserved"]),
+    description: Schema.String,
+    expectedBehavior: Schema.String,
+    testPath: Schema.String
+});
+export const OracleScopeCoverageV1 = Schema.Struct({
+    scopeId: Schema.String,
+    outcome: Schema.Literals(["covered", "unsupported", "contradictory", "uncertain"]),
+    fixtureIds: Schema.Array(Schema.String),
+    detail: Schema.String
+});
+export const OracleCheckpointV1 = Schema.Struct({
+    ...checkpointHeader("oracle"),
+    suite: RepositoryHiddenFixtureSuiteV1,
+    fixtureMetadata: Schema.Array(OracleFixtureMetadataV1),
+    /** Advisory model self-report; witnesses are the executed evidence. */
+    scopeCoverage: Schema.Array(OracleScopeCoverageV1),
+    preflight: Schema.Struct({ passed: Schema.Literal(true), repairs: Schema.Finite }),
+    witnesses: Schema.Array(RepositoryOracleCoverageWitnessSchemaV1),
+    coverageRounds: Schema.Finite
+});
+export const SolutionCritiqueV1 = Schema.Struct({
+    solutionId: Schema.String,
+    classification: Schema.Literals(["valid", "wrong", "uncertain"]),
+    detail: Schema.String,
+    violatedBehaviorIds: Schema.Array(Schema.String)
+});
+export const ControlsCheckpointV1 = Schema.Struct({
+    ...checkpointHeader("controls"),
+    valid: Schema.Array(RepositoryExecutableSolutionSchemaV1),
+    wrong: Schema.Array(RepositoryExecutableSolutionSchemaV1),
+    /** Advisory. */
+    critiques: Schema.Array(SolutionCritiqueV1),
+    regenerations: Schema.Finite
+});
+export const TournamentHistoryEntryV1 = Schema.Struct({
+    sequence: Schema.Finite,
+    decision: Schema.Literals(["accepted", "rejected"]),
+    targeted: Schema.Array(Schema.String),
+    rejectionReasons: Schema.Array(Schema.String),
+    candidateAdequacy: Schema.optionalKey(RepositoryOracleAdequacyReportV1)
+});
+export const TournamentCheckpointV1 = Schema.Struct({
+    ...checkpointHeader("tournament"),
+    /** The incumbent suite after the last accepted iteration. */
+    suite: RepositoryHiddenFixtureSuiteV1,
+    adequacy: RepositoryOracleAdequacyReportV1,
+    oracle: RepositoryHiddenOracleV1,
+    valid: Schema.Array(RepositoryExecutableSolutionSchemaV1),
+    wrong: Schema.Array(RepositoryExecutableSolutionSchemaV1),
+    /** Lazy advisory control reviews, checkpointed after every completed critic round. */
+    critiques: Schema.optionalKey(Schema.Array(SolutionCritiqueV1)),
+    history: Schema.Array(TournamentHistoryEntryV1),
+    iterations: Schema.Finite
+});
+export const ChallengeCheckpointV1 = Schema.Struct({
+    ...checkpointHeader("challenge"),
+    heldOut: Schema.Array(RepositoryExecutableSolutionSchemaV1),
+    adequacy: RepositoryOracleAdequacyReportV1,
+    oracle: RepositoryHiddenOracleV1,
+    verdict: Schema.Literals(["passed", "failed"]),
+    fold: Schema.Finite
+});
+export const AdmitCheckpointV1 = Schema.Struct({
+    ...checkpointHeader("admit"),
+    benchmarkCase: RepositoryBenchmarkCaseV1,
+    verdict: Schema.Literals(["admitted", "rejected"]),
+    reasons: Schema.Array(Schema.String),
+    evidence: Schema.Struct({
+        validCount: Schema.Finite,
+        wrongCount: Schema.Finite,
+        heldOutWrongCount: Schema.Finite,
+        semanticKills: Schema.Array(Schema.String)
+    })
+});
+export const PIPELINE_CHECKPOINT_SCHEMAS = {
+    seed: SeedCheckpointV1,
+    spec: SpecCheckpointV1,
+    oracle: OracleCheckpointV1,
+    controls: ControlsCheckpointV1,
+    tournament: TournamentCheckpointV1,
+    challenge: ChallengeCheckpointV1,
+    admit: AdmitCheckpointV1
+};
+export const HostFeedbackFindingKindV1 = Schema.Literals([
+    "schema",
+    "contract",
+    "materialization",
+    "compile",
+    "execution",
+    "critique"
+]);
+export const HostFeedbackFindingV1 = Schema.Struct({
+    kind: HostFeedbackFindingKindV1,
+    message: Schema.String,
+    path: Schema.optionalKey(Schema.String)
+});
+/** Sent back to the SAME role with its prior output; never a terminal outcome. */
+export const HostFeedbackV1 = Schema.Struct({
+    attempt: Schema.Finite,
+    findings: Schema.Array(HostFeedbackFindingV1),
+    priorOutput: Schema.Unknown
+});
+export class PipelineBudgetExhaustedError extends Data.TaggedError("PipelineBudgetExhaustedError") {
+    get message() {
+        return (`RouteKit case pipeline exhausted its budget during ${this.stage}: ` +
+            `modelCalls=${String(this.modelCalls)}/${String(this.budget.maxModelCalls)} ` +
+            `elapsedMs=${String(this.elapsedMs)}/${String(this.budget.maxWallMs)}`);
+    }
+}
+export class PipelineStageError extends Data.TaggedError("PipelineStageError") {
+    get message() {
+        return `RouteKit case pipeline stage ${this.stage} ${this.terminal ? "failed" : "did not complete"}: ${this.detail}`;
+    }
+}
+const stableJson = (value) => JSON.stringify(value, (_key, entry) => {
+    if (entry === null || typeof entry !== "object" || Array.isArray(entry))
+        return entry;
+    const record = entry;
+    return Object.fromEntries(Object.keys(record)
+        .sort()
+        .map((key) => [key, record[key]]));
+});
+/** sha256 over key-sorted JSON so equal checkpoints digest equally. */
+export const checkpointDigestV1 = (value) => createHash("sha256").update(stableJson(value)).digest("hex");
+/** Stable admission identity; cumulative budget is intentionally extendable. */
+export const pipelineScientificIdentityDigestV1 = (context, map) => checkpointDigestV1({
+    version: 1,
+    caseId: context.caseId,
+    repositoryRoot: context.repositoryRoot,
+    caseDirectory: context.caseDirectory,
+    dimension: context.dimension,
+    primaryModel: context.primaryModel,
+    reasoningEffort: context.reasoningEffort,
+    modelPlan: context.modelPlan,
+    referenceCommit: context.referenceCommit,
+    requestedRef: context.requestedRef,
+    oracleRepetitions: context.oracleRepetitions,
+    oracleConcurrency: context.oracleConcurrency,
+    foldLimit: context.foldLimit,
+    repository: map.repository
+});
+const PROGRESS_STAGE_BY_PIPELINE_STAGE = {
+    seed: "replay-qualify",
+    spec: "author-specification",
+    oracle: "oracle-design",
+    controls: "valid-solutions",
+    tournament: "tournament",
+    challenge: "held-out-tournament",
+    admit: "admit"
+};
+export const pipelineStageToProgressStageV1 = (stage) => PROGRESS_STAGE_BY_PIPELINE_STAGE[stage];
+export const pipelineStageIndexV1 = (stage) => PIPELINE_STAGES.indexOf(stage);
+export const nextPipelineStageV1 = (stage) => PIPELINE_STAGES[pipelineStageIndexV1(stage) + 1] ?? "done";

package/dist/effect-api.d.ts

@@ -1,22 +1,86 @@
-export { projectRoutingBasisV3, projectRoutingDimensionV3 } from "./basis-projection.js";
+export { evalAuthoringRequestByteLimit, evalAuthoringResponsesRequestBody } from "./adapters/authoring-responses-request.js";
 export { captureFrozenRepositorySnapshotV3 } from "./adapters/git-basis-snapshot.js";
-export type { BasisAuthoringShape } from "./services/basis-authoring/service.js";
-export { BasisAuthoring, BasisAuthoringLive, makeBasisAuthoring } from "./services/basis-authoring/service.js";
-export type { BasisOnboardingShape } from "./services/basis-onboarding/service.js";
-export { BasisOnboarding, BasisOnboardingLive, makeBasisOnboarding } from "./services/basis-onboarding/service.js";
-export type { BasisRepairShape } from "./services/basis-repair/service.js";
-export { BasisRepair, BasisRepairLive, makeBasisRepair } from "./services/basis-repair/service.js";
+export { captureGitTreeSnapshotV1, readGitChangeEpisodesV1, readGitTreeFileV1 } from "./adapters/git-task-history.js";
+export { inspectRepositorySolutionPathsV1, replayRepositoryCommandsV1, replayRepositoryCommandV1 } from "./adapters/repository-command-runner.js";
+export { decodeRepositoryReviewEvidenceV1, decodeRepositoryReviewEvidenceV2, encodeRepositoryReviewEvidenceV1, encodeRepositoryReviewEvidenceV2, REPOSITORY_REVIEW_EVIDENCE_INSTRUCTIONS, REPOSITORY_REVIEW_EVIDENCE_V2_INSTRUCTIONS, type RepositoryReviewEvidenceV1, type RepositoryReviewEvidenceV2 } from "./adapters/repository-review-evidence.js";
+export { discoverRepositoryTestsV1 } from "./adapters/test-discovery.js";
+export { indexTypeScriptRepositoryV1 } from "./adapters/typescript-repository-index.js";
+export { projectRoutingBasisV3, projectRoutingDimensionV3 } from "./basis-projection.js";
+export type { PipelineCheckpointOfV1, PipelineCheckpointsV1, PipelineStageInputV1, PipelineStageRunV1 } from "./case-pipeline-protocol.js";
+export { AdmitCheckpointV1, ChallengeCheckpointV1, ControlsCheckpointV1, checkpointDigestV1, DimensionContractV1, HostFeedbackFindingKindV1, HostFeedbackFindingV1, HostFeedbackV1, makePipelineCaseContextV1, nextPipelineStageV1, OracleCheckpointV1, OracleFixtureMetadataV1, OracleScopeCoverageV1, PIPELINE_CHECKPOINT_SCHEMAS, PIPELINE_DEFAULT_FOLD_LIMIT, PIPELINE_DEFAULT_ORACLE_CONCURRENCY, PIPELINE_DEFAULT_ORACLE_REPETITIONS, PIPELINE_STAGES, PipelineBudgetExhaustedError, PipelineBudgetV1, PipelineCaseContextV1, PipelineLedgerEntryV1, PipelineLedgerPhaseV1, PipelineStageError, PipelineStageV1, PipelineStateV1, PipelineStatusV1, pipelineStageIndexV1, pipelineStageToProgressStageV1, SeedCheckpointV1, SolutionCritiqueV1, SpecCheckpointV1, SpecScopeEntryV1, TournamentCheckpointV1, TournamentHistoryEntryV1 } from "./case-pipeline-protocol.js";
+export type { EvalCaseCursor, EvalNamedEvent, EvalNamedEventLog, EvalRunCallEvent, EvalRunFailurePhase } from "./eval-event-log.js";
+export { assertEvalRunCanComplete, assertEvalRunCanFail, evalEventLabel, presentEvalEventLog, resumeEvalCaseCursors } from "./eval-event-log.js";
 export { EvalRepositoryInspector, EvalRepositoryInspectorLive, inspectRepository } from "./inspection.js";
 export { OriEvalAuthoring, oriAuthoringFromApi } from "./ori-authoring.js";
 export type { OriEvalAuthoringApi, OriEvalResult } from "./ori-result.js";
 export { EvalProjectArtifacts, EvalProjectArtifactsLive, evaluationProposalDigest, makeFileEvalProjectArtifacts, routingBasisDigest } from "./project-artifacts.js";
 export type { EvalAuthoringCompletion, EvalAuthoringSource, EvalAuthoringTransportShape, EvalProjectAuthorShape } from "./project-authoring.js";
-export { EvalAuthoringTransport, EvalProjectAuthor, EvalProjectAuthorLive, makeEvalProjectAuthor, readProjectAuthoringSources, selectProjectAuthoringSourceFiles } from "./project-authoring.js";
+export { EVAL_AUTHORING_PREFLIGHT_OUTPUT_TOKENS, EVAL_AUTHORING_REVIEW_REQUEST_BYTES, EvalAuthoringTransport, EvalProjectAuthor, EvalProjectAuthorLive, makeEvalProjectAuthor, readProjectAuthoringSources, selectProjectAuthoringSourceFiles } from "./project-authoring.js";
 export { EvalProjectStore, EvalProjectStoreLive, makeFileEvalProjectStore } from "./project-store.js";
 export type { EvalProjectWorkflowError, EvalProjectWorkflowShape } from "./project-workflow.js";
 export { EvalProjectWorkflow, EvalProjectWorkflowLive, makeEvalProjectWorkflow } from "./project-workflow.js";
-export type { EvalModelCatalogShape } from "./services/model-catalog/service.js";
-export { EvalModelCatalog } from "./services/model-catalog/service.js";
+export { assertRepositoryAdversaryGenerationReportV1 } from "./repository-adversary-protocol.js";
+export { assertRepositoryBehaviorMapV1 } from "./repository-behavior-protocol.js";
+export { assertRepositoryHiddenFixtureSuiteV1 } from "./repository-fixture-protocol.js";
+export { assertRepositoryFoundryGenerationPlanV1, assertRepositoryFoundryReferenceExclusionsV1, REPOSITORY_FOUNDRY_BASE_MODEL_CALLS, REPOSITORY_FOUNDRY_BASE_OUTPUT_CEILING, REPOSITORY_FOUNDRY_DEFAULT_WALL_TIME_MS, REPOSITORY_FOUNDRY_EXPANSIVE_OUTPUT_CEILING, REPOSITORY_FOUNDRY_HELD_OUT_REPAIR_CALLS, REPOSITORY_FOUNDRY_HILL_CLIMB_OUTPUT_CEILING, REPOSITORY_FOUNDRY_MAXIMUM_HILL_CLIMB_ATTEMPTS, REPOSITORY_FOUNDRY_MAXIMUM_VALID_CONTROL_REGENERATIONS, REPOSITORY_FOUNDRY_MAXIMUM_WALL_TIME_MS, REPOSITORY_FOUNDRY_MINIMUM_WALL_TIME_MS, REPOSITORY_FOUNDRY_PER_CALL_OUTPUT_CEILING, REPOSITORY_FOUNDRY_REQUEST_INPUT_CEILING, REPOSITORY_FOUNDRY_STANDARD_OUTPUT_CEILING, REPOSITORY_FOUNDRY_TRAJECTORY_REPAIR_ATTEMPTS, REPOSITORY_FOUNDRY_TRAJECTORY_REPAIR_CALLS, REPOSITORY_FOUNDRY_VALID_SOLUTION_REPAIR_ATTEMPTS, REPOSITORY_FOUNDRY_VALID_SOLUTION_REPAIR_CALLS, repositoryFoundryGenerationBudgetV1, repositoryFoundryGenerationPlanDigestV1, repositoryFoundryRoleOutputCeilingV1 } from "./repository-foundry-plan-protocol.js";
+export type { RepositoryFoundryAuthoringArtifactV1, RepositoryFoundryProgressEventV1, RepositoryFoundryProgressSnapshotV1, RepositoryFoundryProgressStageV1 } from "./repository-foundry-progress-protocol.js";
+export { boundRepositoryFoundryIdleStallMsV1, formatRepositoryFoundryProgressLineV1, REPOSITORY_FOUNDRY_DEFAULT_IDLE_STALL_MS, REPOSITORY_FOUNDRY_MAXIMUM_IDLE_STALL_MS, REPOSITORY_FOUNDRY_MINIMUM_IDLE_STALL_MS, REPOSITORY_FOUNDRY_PROGRESS_STAGES } from "./repository-foundry-progress-protocol.js";
+export { assertRepositoryFoundryImprovementCycleV1 } from "./repository-improvement-protocol.js";
+export { assertRepositoryFoundryModelPlanV1, gpt56RepositoryFoundryModelPlanV1, REPOSITORY_FOUNDRY_MODEL_ROLES, repositoryFoundryModelAssignmentV1, repositoryFoundryModelPlanV1 } from "./repository-language-model-protocol.js";
+export { assertRepositoryHiddenOracleV1 } from "./repository-oracle-protocol.js";
+export { admitRepositoryBenchmarkCaseV1, compileValidatedBenchmarkLibraryV1, evaluateRepositoryOracleAdequacyV1, repositoryBehavioralFingerprintV1 } from "./repository-quality-policy.js";
+export type { RepositoryDimensionLabelReviewV1, RepositoryReviewedDimensionLabelV1, RepositoryRoutingBenchmarkV1, RepositoryRoutingCaseAssignmentV1, RepositoryRoutingDimensionSliceV1, RepositoryRoutingEligibilityPolicyV1 } from "./repository-routing-benchmark-protocol.js";
+export { assertRepositoryReviewedDimensionLabelV1, assertRepositoryRoutingEligibilityPolicyV1 } from "./repository-routing-benchmark-protocol.js";
+export type { RepositoryRoutingModelAssignmentV1, RepositoryRoutingModelCallV1, RepositoryRoutingModelPlanV1, RepositoryRoutingModelRoleV1 } from "./repository-routing-model-protocol.js";
+export { assertRepositoryRoutingModelPlanV1, gpt56RepositoryRoutingModelPlanV1, REPOSITORY_ROUTING_MODEL_ROLES, repositoryRoutingModelAssignmentV1 } from "./repository-routing-model-protocol.js";
+export type { RepositoryRoutingLabelingBudgetV1, RepositoryRoutingLabelingPlanV1 } from "./repository-routing-plan-protocol.js";
+export { assertRepositoryRoutingLabelingPlanV1, REPOSITORY_ROUTING_LABEL_INPUT_CEILING, REPOSITORY_ROUTING_LABEL_OUTPUT_CEILING, REPOSITORY_ROUTING_LABEL_SEMANTIC_CALLS, REPOSITORY_ROUTING_LABEL_TRANSIENT_RETRIES, REPOSITORY_ROUTING_LABEL_WALL_TIME_MS, repositoryRoutingLabelingBudgetV1, repositoryRoutingLabelingPlanDigestV1 } from "./repository-routing-plan-protocol.js";
+export { compileRepositoryRoutingBenchmarkV1 } from "./repository-routing-quality-policy.js";
+export { assertRepositorySemanticCalibrationPlanV1, assertRepositorySemanticCalibrationReportV1, compileRepositorySemanticCalibrationPlanV1, compileRepositorySemanticCalibrationReportV1, executeRepositorySemanticCalibrationPlanV1, repositorySemanticCalibrationExampleDigestV1, repositorySemanticCalibrationInputDigestV1 } from "./repository-semantic-calibration.js";
+export { REPOSITORY_SEMANTIC_CALIBRATION_MAXIMUM_EXAMPLES, REPOSITORY_SEMANTIC_CALIBRATION_MAXIMUM_REPETITIONS, REPOSITORY_SEMANTIC_CALIBRATION_POLICY_VERSION, RepositorySemanticCalibrationCountsV1, RepositorySemanticCalibrationExampleV1, RepositorySemanticCalibrationExecutableCheckV1, RepositorySemanticCalibrationInputV1, RepositorySemanticCalibrationManifestV1, RepositorySemanticCalibrationObservationV1, RepositorySemanticCalibrationOutcomeV1, RepositorySemanticCalibrationPlanV1, RepositorySemanticCalibrationReportV1, RepositorySemanticCalibrationThresholdsV1 } from "./repository-semantic-calibration-protocol.js";
+export { assertRepositorySpecificationCritiqueV1 } from "./repository-specification-critique-protocol.js";
+export { assertRepositoryTaskFamilyV1 } from "./repository-task-family-protocol.js";
+export { assertRepositorySeedCrossBatchQualificationV1, assertRepositoryTaskSeedV1 } from "./repository-task-seed-protocol.js";
+export { assertRepositoryTrajectoryPolicyV1 } from "./repository-trajectory-protocol.js";
 export { EvalSetupRunner, EvalSetupRunnerNoop } from "./runner.js";
 export { EvalSetup, EvalSetupLive, makeEvalSetup } from "./service.js";
+export { Adversary, AdversaryLive, generateDeterministicAdversariesV1, makeAdversary } from "./services/adversary/service.js";
+export type { BasisAuthoringShape } from "./services/basis-authoring/service.js";
+export { BasisAuthoring, BasisAuthoringLive, makeBasisAuthoring } from "./services/basis-authoring/service.js";
+export type { BasisOnboardingShape } from "./services/basis-onboarding/service.js";
+export { BasisOnboarding, BasisOnboardingLive, makeBasisOnboarding } from "./services/basis-onboarding/service.js";
+export type { BasisRepairShape } from "./services/basis-repair/service.js";
+export { BasisRepair, BasisRepairLive, makeBasisRepair } from "./services/basis-repair/service.js";
+export { BenchmarkCompiler, BenchmarkCompilerLive, compileRepositoryBenchmarkV1, makeBenchmarkCompiler } from "./services/benchmark-compiler/service.js";
+export { authorRepositoryCaseSpecificationV1, CaseAuthoring, CaseAuthoringLive, makeCaseAuthoring } from "./services/case-authoring/service.js";
+export { assertRepositoryFoundryFinalizationInputV1, finalizeRepositoryGeneratedCaseV1, type RepositoryFoundryFinalizationInputV1 } from "./services/case-finalization/service.js";
+export type { RepositorySemanticReviewInputV1, RepositorySemanticReviewRoleV1, RepositorySolutionReviewProposalV1 } from "./services/case-generation/service.js";
+export { CaseGeneration, CaseGenerationLive, executeRepositorySemanticReviewV1, generateHistoricalRepositoryCaseV1, makeCaseGeneration, prepareRepositoryCaseQualityReviewV1, prepareRepositorySemanticReviewV1, repositorySemanticReviewIndependenceFindingsV1 } from "./services/case-generation/service.js";
+export type { CasePipelineRunInputV1, CasePipelineRunResultV1, CasePipelineStatusResultV1 } from "./services/case-pipeline/service.js";
+export { readCasePipelineStatusV1, readRepositoryCasePipelineStatusV1, runCasePipelineV1, runRepositoryCasePipelineV1 } from "./services/case-pipeline/service.js";
+export type { DimensionLabelingShape, RepositoryDimensionLabelingResultV1 } from "./services/dimension-labeling/service.js";
+export { authorRepositoryReviewedDimensionLabelV1, DimensionLabeling, DimensionLabelingLive, makeDimensionLabeling } from "./services/dimension-labeling/service.js";
+export { makeRepositoryFoundryEvidenceReconstructionV1, RepositoryFoundryEvidenceReconstruction } from "./services/evidence-reconstruction/service.js";
+export { compileReviewedHiddenFixtureSuiteV1, FixtureBuilder, FixtureBuilderLive, makeFixtureBuilder } from "./services/fixture-builder/service.js";
+export { executeHistoricalRepositoryCaseGenerationV1, makeRepositoryFoundry, planHistoricalRepositoryCaseGenerationV1, RepositoryFoundry, RepositoryFoundryLive, reconstructHistoricalRepositoryCaseCheckpointV1, smokeHistoricalRepositoryQualificationV1 } from "./services/foundry/service.js";
+export type { RepositoryFoundryArtifactEmit, RepositoryFoundryProgressEmit, RepositoryFoundryProgressShape } from "./services/foundry-progress/service.js";
+export { makeRepositoryFoundryProgress, RepositoryFoundryIdleStallError, RepositoryFoundryProgress, RepositoryFoundryProgressLive, renderRepositoryFoundryProgressLineV1, reportFoundryAuthoringArtifactV1, reportFoundryHeartbeatV1, reportFoundryModelCallV1, reportFoundryStageV1, withRepositoryFoundryIdleStall } from "./services/foundry-progress/service.js";
+export type { HistoricalCaseShape, RepositoryHistoricalWeakOracleTrialV1, RepositoryReviewedHistoricalCaseBlueprintV1, RepositoryReviewedHistoricalCaseResultV1 } from "./services/historical-case/service.js";
+export { compileReviewedHistoricalCaseV1, HistoricalCase, HistoricalCaseLive, makeHistoricalCase } from "./services/historical-case/service.js";
+export { compileRepositoryFoundryImprovementCycleV1, ImprovementLoop, ImprovementLoopLive, makeImprovementLoop } from "./services/improvement-loop/service.js";
+export type { RepositoryAssignedStructuredGenerationV1, RepositoryStructuredModelAssignmentV1 } from "./services/language-model/service.js";
+export { makeRepositoryFoundryLanguageModel, RepositoryFoundryLanguageModel, RepositoryFoundryLanguageModelLive } from "./services/language-model/service.js";
+export type { EvalModelCatalogShape } from "./services/model-catalog/service.js";
+export { EvalModelCatalog } from "./services/model-catalog/service.js";
+export { buildHistoricalHiddenOracleV1, makeOracleBuilder, OracleBuilder, OracleBuilderLive } from "./services/oracle-builder/service.js";
+export { evaluateRepositoryBenchmarkDraftV1, makeQualityGate, QualityGate, QualityGateLive } from "./services/quality-gate/service.js";
+export { buildRepositoryBehaviorMapV1, makeRepositoryModel, RepositoryModel, RepositoryModelLive } from "./services/repository-model/service.js";
+export type { RepositoryRoutingLabelingExecutionResultV1, RoutingBenchmarkShape } from "./services/routing-benchmark/service.js";
+export { executeRepositoryRoutingLabelingV1, makeRoutingBenchmark, planRepositoryRoutingLabelingV1, RoutingBenchmark, RoutingBenchmarkLive } from "./services/routing-benchmark/service.js";
+export { critiqueRepositoryTaskSpecificationV1, makeSpecificationCritic, SpecificationCritic, SpecificationCriticLive } from "./services/specification-critic/service.js";
+export { deriveRepositoryTaskFamiliesV1, makeTaskFamily, TaskFamily, TaskFamilyLive } from "./services/task-family/service.js";
+export { extractHistoricalTaskSeedsV1, makeTaskSeed, qualifyHistoricalTaskSeedAcrossBatchesV1, qualifyHistoricalTaskSeedV1, TaskSeed, TaskSeedLive } from "./services/task-seed/service.js";
+export { constructRepositoryAgentTaskV1, makeTaskSpecification, TaskSpecification, TaskSpecificationLive } from "./services/task-specification/service.js";
+export type { RepositoryTrajectoryAuthoringResultV1, RepositoryTrajectoryPolicyProposalV1, RepositoryTrajectoryPolicyReviewV1, RepositoryTrajectoryRevisionAttemptV1, TrajectoryPolicyShape } from "./services/trajectory-policy/service.js";
+export { authorReviewedRepositoryTrajectoryPolicyV1, makeTrajectoryPolicy, TrajectoryPolicy, TrajectoryPolicyLive } from "./services/trajectory-policy/service.js";
 export { EvalSetupStateStore, EvalSetupStateStoreLive, initialSetupState, makeFileEvalSetupStateStore } from "./state-store.js";

package/dist/effect-api.js

@@ -1,15 +1,65 @@
-export { projectRoutingBasisV3, projectRoutingDimensionV3 } from "./basis-projection.js";
+export { evalAuthoringRequestByteLimit, evalAuthoringResponsesRequestBody } from "./adapters/authoring-responses-request.js";
 export { captureFrozenRepositorySnapshotV3 } from "./adapters/git-basis-snapshot.js";
-export { BasisAuthoring, BasisAuthoringLive, makeBasisAuthoring } from "./services/basis-authoring/service.js";
-export { BasisOnboarding, BasisOnboardingLive, makeBasisOnboarding } from "./services/basis-onboarding/service.js";
-export { BasisRepair, BasisRepairLive, makeBasisRepair } from "./services/basis-repair/service.js";
+export { captureGitTreeSnapshotV1, readGitChangeEpisodesV1, readGitTreeFileV1 } from "./adapters/git-task-history.js";
+export { inspectRepositorySolutionPathsV1, replayRepositoryCommandsV1, replayRepositoryCommandV1 } from "./adapters/repository-command-runner.js";
+export { decodeRepositoryReviewEvidenceV1, decodeRepositoryReviewEvidenceV2, encodeRepositoryReviewEvidenceV1, encodeRepositoryReviewEvidenceV2, REPOSITORY_REVIEW_EVIDENCE_INSTRUCTIONS, REPOSITORY_REVIEW_EVIDENCE_V2_INSTRUCTIONS } from "./adapters/repository-review-evidence.js";
+export { discoverRepositoryTestsV1 } from "./adapters/test-discovery.js";
+export { indexTypeScriptRepositoryV1 } from "./adapters/typescript-repository-index.js";
+export { projectRoutingBasisV3, projectRoutingDimensionV3 } from "./basis-projection.js";
+export { AdmitCheckpointV1, ChallengeCheckpointV1, ControlsCheckpointV1, checkpointDigestV1, DimensionContractV1, HostFeedbackFindingKindV1, HostFeedbackFindingV1, HostFeedbackV1, makePipelineCaseContextV1, nextPipelineStageV1, OracleCheckpointV1, OracleFixtureMetadataV1, OracleScopeCoverageV1, PIPELINE_CHECKPOINT_SCHEMAS, PIPELINE_DEFAULT_FOLD_LIMIT, PIPELINE_DEFAULT_ORACLE_CONCURRENCY, PIPELINE_DEFAULT_ORACLE_REPETITIONS, PIPELINE_STAGES, PipelineBudgetExhaustedError, PipelineBudgetV1, PipelineCaseContextV1, PipelineLedgerEntryV1, PipelineLedgerPhaseV1, PipelineStageError, PipelineStageV1, PipelineStateV1, PipelineStatusV1, pipelineStageIndexV1, pipelineStageToProgressStageV1, SeedCheckpointV1, SolutionCritiqueV1, SpecCheckpointV1, SpecScopeEntryV1, TournamentCheckpointV1, TournamentHistoryEntryV1 } from "./case-pipeline-protocol.js";
+export { assertEvalRunCanComplete, assertEvalRunCanFail, evalEventLabel, presentEvalEventLog, resumeEvalCaseCursors } from "./eval-event-log.js";
 export { EvalRepositoryInspector, EvalRepositoryInspectorLive, inspectRepository } from "./inspection.js";
 export { OriEvalAuthoring, oriAuthoringFromApi } from "./ori-authoring.js";
 export { EvalProjectArtifacts, EvalProjectArtifactsLive, evaluationProposalDigest, makeFileEvalProjectArtifacts, routingBasisDigest } from "./project-artifacts.js";
-export { EvalAuthoringTransport, EvalProjectAuthor, EvalProjectAuthorLive, makeEvalProjectAuthor, readProjectAuthoringSources, selectProjectAuthoringSourceFiles } from "./project-authoring.js";
+export { EVAL_AUTHORING_PREFLIGHT_OUTPUT_TOKENS, EVAL_AUTHORING_REVIEW_REQUEST_BYTES, EvalAuthoringTransport, EvalProjectAuthor, EvalProjectAuthorLive, makeEvalProjectAuthor, readProjectAuthoringSources, selectProjectAuthoringSourceFiles } from "./project-authoring.js";
 export { EvalProjectStore, EvalProjectStoreLive, makeFileEvalProjectStore } from "./project-store.js";
 export { EvalProjectWorkflow, EvalProjectWorkflowLive, makeEvalProjectWorkflow } from "./project-workflow.js";
-export { EvalModelCatalog } from "./services/model-catalog/service.js";
+export { assertRepositoryAdversaryGenerationReportV1 } from "./repository-adversary-protocol.js";
+export { assertRepositoryBehaviorMapV1 } from "./repository-behavior-protocol.js";
+export { assertRepositoryHiddenFixtureSuiteV1 } from "./repository-fixture-protocol.js";
+export { assertRepositoryFoundryGenerationPlanV1, assertRepositoryFoundryReferenceExclusionsV1, REPOSITORY_FOUNDRY_BASE_MODEL_CALLS, REPOSITORY_FOUNDRY_BASE_OUTPUT_CEILING, REPOSITORY_FOUNDRY_DEFAULT_WALL_TIME_MS, REPOSITORY_FOUNDRY_EXPANSIVE_OUTPUT_CEILING, REPOSITORY_FOUNDRY_HELD_OUT_REPAIR_CALLS, REPOSITORY_FOUNDRY_HILL_CLIMB_OUTPUT_CEILING, REPOSITORY_FOUNDRY_MAXIMUM_HILL_CLIMB_ATTEMPTS, REPOSITORY_FOUNDRY_MAXIMUM_VALID_CONTROL_REGENERATIONS, REPOSITORY_FOUNDRY_MAXIMUM_WALL_TIME_MS, REPOSITORY_FOUNDRY_MINIMUM_WALL_TIME_MS, REPOSITORY_FOUNDRY_PER_CALL_OUTPUT_CEILING, REPOSITORY_FOUNDRY_REQUEST_INPUT_CEILING, REPOSITORY_FOUNDRY_STANDARD_OUTPUT_CEILING, REPOSITORY_FOUNDRY_TRAJECTORY_REPAIR_ATTEMPTS, REPOSITORY_FOUNDRY_TRAJECTORY_REPAIR_CALLS, REPOSITORY_FOUNDRY_VALID_SOLUTION_REPAIR_ATTEMPTS, REPOSITORY_FOUNDRY_VALID_SOLUTION_REPAIR_CALLS, repositoryFoundryGenerationBudgetV1, repositoryFoundryGenerationPlanDigestV1, repositoryFoundryRoleOutputCeilingV1 } from "./repository-foundry-plan-protocol.js";
+export { boundRepositoryFoundryIdleStallMsV1, formatRepositoryFoundryProgressLineV1, REPOSITORY_FOUNDRY_DEFAULT_IDLE_STALL_MS, REPOSITORY_FOUNDRY_MAXIMUM_IDLE_STALL_MS, REPOSITORY_FOUNDRY_MINIMUM_IDLE_STALL_MS, REPOSITORY_FOUNDRY_PROGRESS_STAGES } from "./repository-foundry-progress-protocol.js";
+export { assertRepositoryFoundryImprovementCycleV1 } from "./repository-improvement-protocol.js";
+export { assertRepositoryFoundryModelPlanV1, gpt56RepositoryFoundryModelPlanV1, REPOSITORY_FOUNDRY_MODEL_ROLES, repositoryFoundryModelAssignmentV1, repositoryFoundryModelPlanV1 } from "./repository-language-model-protocol.js";
+export { assertRepositoryHiddenOracleV1 } from "./repository-oracle-protocol.js";
+export { admitRepositoryBenchmarkCaseV1, compileValidatedBenchmarkLibraryV1, evaluateRepositoryOracleAdequacyV1, repositoryBehavioralFingerprintV1 } from "./repository-quality-policy.js";
+export { assertRepositoryReviewedDimensionLabelV1, assertRepositoryRoutingEligibilityPolicyV1 } from "./repository-routing-benchmark-protocol.js";
+export { assertRepositoryRoutingModelPlanV1, gpt56RepositoryRoutingModelPlanV1, REPOSITORY_ROUTING_MODEL_ROLES, repositoryRoutingModelAssignmentV1 } from "./repository-routing-model-protocol.js";
+export { assertRepositoryRoutingLabelingPlanV1, REPOSITORY_ROUTING_LABEL_INPUT_CEILING, REPOSITORY_ROUTING_LABEL_OUTPUT_CEILING, REPOSITORY_ROUTING_LABEL_SEMANTIC_CALLS, REPOSITORY_ROUTING_LABEL_TRANSIENT_RETRIES, REPOSITORY_ROUTING_LABEL_WALL_TIME_MS, repositoryRoutingLabelingBudgetV1, repositoryRoutingLabelingPlanDigestV1 } from "./repository-routing-plan-protocol.js";
+export { compileRepositoryRoutingBenchmarkV1 } from "./repository-routing-quality-policy.js";
+export { assertRepositorySemanticCalibrationPlanV1, assertRepositorySemanticCalibrationReportV1, compileRepositorySemanticCalibrationPlanV1, compileRepositorySemanticCalibrationReportV1, executeRepositorySemanticCalibrationPlanV1, repositorySemanticCalibrationExampleDigestV1, repositorySemanticCalibrationInputDigestV1 } from "./repository-semantic-calibration.js";
+export { REPOSITORY_SEMANTIC_CALIBRATION_MAXIMUM_EXAMPLES, REPOSITORY_SEMANTIC_CALIBRATION_MAXIMUM_REPETITIONS, REPOSITORY_SEMANTIC_CALIBRATION_POLICY_VERSION, RepositorySemanticCalibrationCountsV1, RepositorySemanticCalibrationExampleV1, RepositorySemanticCalibrationExecutableCheckV1, RepositorySemanticCalibrationInputV1, RepositorySemanticCalibrationManifestV1, RepositorySemanticCalibrationObservationV1, RepositorySemanticCalibrationOutcomeV1, RepositorySemanticCalibrationPlanV1, RepositorySemanticCalibrationReportV1, RepositorySemanticCalibrationThresholdsV1 } from "./repository-semantic-calibration-protocol.js";
+export { assertRepositorySpecificationCritiqueV1 } from "./repository-specification-critique-protocol.js";
+export { assertRepositoryTaskFamilyV1 } from "./repository-task-family-protocol.js";
+export { assertRepositorySeedCrossBatchQualificationV1, assertRepositoryTaskSeedV1 } from "./repository-task-seed-protocol.js";
+export { assertRepositoryTrajectoryPolicyV1 } from "./repository-trajectory-protocol.js";
 export { EvalSetupRunner, EvalSetupRunnerNoop } from "./runner.js";
 export { EvalSetup, EvalSetupLive, makeEvalSetup } from "./service.js";
+export { Adversary, AdversaryLive, generateDeterministicAdversariesV1, makeAdversary } from "./services/adversary/service.js";
+export { BasisAuthoring, BasisAuthoringLive, makeBasisAuthoring } from "./services/basis-authoring/service.js";
+export { BasisOnboarding, BasisOnboardingLive, makeBasisOnboarding } from "./services/basis-onboarding/service.js";
+export { BasisRepair, BasisRepairLive, makeBasisRepair } from "./services/basis-repair/service.js";
+export { BenchmarkCompiler, BenchmarkCompilerLive, compileRepositoryBenchmarkV1, makeBenchmarkCompiler } from "./services/benchmark-compiler/service.js";
+export { authorRepositoryCaseSpecificationV1, CaseAuthoring, CaseAuthoringLive, makeCaseAuthoring } from "./services/case-authoring/service.js";
+export { assertRepositoryFoundryFinalizationInputV1, finalizeRepositoryGeneratedCaseV1 } from "./services/case-finalization/service.js";
+export { CaseGeneration, CaseGenerationLive, executeRepositorySemanticReviewV1, generateHistoricalRepositoryCaseV1, makeCaseGeneration, prepareRepositoryCaseQualityReviewV1, prepareRepositorySemanticReviewV1, repositorySemanticReviewIndependenceFindingsV1 } from "./services/case-generation/service.js";
+export { readCasePipelineStatusV1, readRepositoryCasePipelineStatusV1, runCasePipelineV1, runRepositoryCasePipelineV1 } from "./services/case-pipeline/service.js";
+export { authorRepositoryReviewedDimensionLabelV1, DimensionLabeling, DimensionLabelingLive, makeDimensionLabeling } from "./services/dimension-labeling/service.js";
+export { makeRepositoryFoundryEvidenceReconstructionV1, RepositoryFoundryEvidenceReconstruction } from "./services/evidence-reconstruction/service.js";
+export { compileReviewedHiddenFixtureSuiteV1, FixtureBuilder, FixtureBuilderLive, makeFixtureBuilder } from "./services/fixture-builder/service.js";
+export { executeHistoricalRepositoryCaseGenerationV1, makeRepositoryFoundry, planHistoricalRepositoryCaseGenerationV1, RepositoryFoundry, RepositoryFoundryLive, reconstructHistoricalRepositoryCaseCheckpointV1, smokeHistoricalRepositoryQualificationV1 } from "./services/foundry/service.js";
+export { makeRepositoryFoundryProgress, RepositoryFoundryIdleStallError, RepositoryFoundryProgress, RepositoryFoundryProgressLive, renderRepositoryFoundryProgressLineV1, reportFoundryAuthoringArtifactV1, reportFoundryHeartbeatV1, reportFoundryModelCallV1, reportFoundryStageV1, withRepositoryFoundryIdleStall } from "./services/foundry-progress/service.js";
+export { compileReviewedHistoricalCaseV1, HistoricalCase, HistoricalCaseLive, makeHistoricalCase } from "./services/historical-case/service.js";
+export { compileRepositoryFoundryImprovementCycleV1, ImprovementLoop, ImprovementLoopLive, makeImprovementLoop } from "./services/improvement-loop/service.js";
+export { makeRepositoryFoundryLanguageModel, RepositoryFoundryLanguageModel, RepositoryFoundryLanguageModelLive } from "./services/language-model/service.js";
+export { EvalModelCatalog } from "./services/model-catalog/service.js";
+export { buildHistoricalHiddenOracleV1, makeOracleBuilder, OracleBuilder, OracleBuilderLive } from "./services/oracle-builder/service.js";
+export { evaluateRepositoryBenchmarkDraftV1, makeQualityGate, QualityGate, QualityGateLive } from "./services/quality-gate/service.js";
+export { buildRepositoryBehaviorMapV1, makeRepositoryModel, RepositoryModel, RepositoryModelLive } from "./services/repository-model/service.js";
+export { executeRepositoryRoutingLabelingV1, makeRoutingBenchmark, planRepositoryRoutingLabelingV1, RoutingBenchmark, RoutingBenchmarkLive } from "./services/routing-benchmark/service.js";
+export { critiqueRepositoryTaskSpecificationV1, makeSpecificationCritic, SpecificationCritic, SpecificationCriticLive } from "./services/specification-critic/service.js";
+export { deriveRepositoryTaskFamiliesV1, makeTaskFamily, TaskFamily, TaskFamilyLive } from "./services/task-family/service.js";
+export { extractHistoricalTaskSeedsV1, makeTaskSeed, qualifyHistoricalTaskSeedAcrossBatchesV1, qualifyHistoricalTaskSeedV1, TaskSeed, TaskSeedLive } from "./services/task-seed/service.js";
+export { constructRepositoryAgentTaskV1, makeTaskSpecification, TaskSpecification, TaskSpecificationLive } from "./services/task-specification/service.js";
+export { authorReviewedRepositoryTrajectoryPolicyV1, makeTrajectoryPolicy, TrajectoryPolicy, TrajectoryPolicyLive } from "./services/trajectory-policy/service.js";
 export { EvalSetupStateStore, EvalSetupStateStoreLive, initialSetupState, makeFileEvalSetupStateStore } from "./state-store.js";

package/dist/errors.d.ts

@@ -106,6 +106,15 @@ export declare class EvalProjectAuthoringError extends EvalProjectAuthoringError
 }> {
     get message(): string;
 }
+declare const EvalEvaluationEvidenceFreshnessError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "EvalEvaluationEvidenceFreshnessError";
+} & Readonly<A>;
+export declare class EvalEvaluationEvidenceFreshnessError extends EvalEvaluationEvidenceFreshnessError_base<{
+    readonly detail: string;
+    readonly cause?: unknown;
+}> {
+    get message(): string;
+}
 declare const EvalBasisSnapshotError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "EvalBasisSnapshotError";
 } & Readonly<A>;
@@ -116,4 +125,26 @@ export declare class EvalBasisSnapshotError extends EvalBasisSnapshotError_base<
 }> {
     get message(): string;
 }
+declare const RepositoryFoundryError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "RepositoryFoundryError";
+} & Readonly<A>;
+export declare class RepositoryFoundryError extends RepositoryFoundryError_base<{
+    readonly operation: "resolve-repository" | "read-git-tree" | "read-git-history" | "index-repository" | "extract-task-seeds" | "select-generation-context" | "prepare-checkout" | "run-command" | "invoke-language-model" | "plan-generation" | "execute-generation" | "compile-reviewed-case" | "compile-improvement-cycle" | "run-pipeline-stage" | "checkpoint-store";
+    readonly detail: string;
+    /** Typed response-shape failure; absence does not imply a successful submission. */
+    readonly modelResponseFailure?: "invalid-json" | "normalization" | "schema";
+    /** Host decision after validated specification criticism, never provider error prose. */
+    readonly generationRejection?: {
+        readonly code: "specification-dimension-mismatch" | "specification-review-exhausted";
+        readonly completedRevisions: number;
+    };
+    /**
+     * Scientific execution classification retained independently from private
+     * command output. Environment failures mean no grade was established.
+     */
+    readonly classification?: "environment_blocked";
+    readonly cause?: unknown;
+}> {
+    get message(): string;
+}
 export {};

package/dist/errors.js

@@ -54,8 +54,18 @@ export class EvalProjectAuthoringError extends Data.TaggedError("EvalProjectAuth
         return `RouteKit Eval could not complete ${this.operation}: ${this.detail}`;
     }
 }
+export class EvalEvaluationEvidenceFreshnessError extends Data.TaggedError("EvalEvaluationEvidenceFreshnessError") {
+    get message() {
+        return `RouteKit Eval evidence is stale: ${this.detail}`;
+    }
+}
 export class EvalBasisSnapshotError extends Data.TaggedError("EvalBasisSnapshotError") {
     get message() {
         return `RouteKit Eval could not ${this.operation}: ${this.detail}`;
     }
 }
+export class RepositoryFoundryError extends Data.TaggedError("RepositoryFoundryError") {
+    get message() {
+        return `RouteKit repository benchmark foundry could not ${this.operation}: ${this.detail}`;
+    }
+}