// Type-checks the contract examples (backend/contract/*.json) against
// DecisionBoundaryApi when tsc runs. Never imported by the app.
// The Python side is checked by backend/tests/test_contract.py.
import type { ContractExample } from "@elvis/pyodide";

import type { DecisionBoundaryApi } from "./python.ts";
import boundaryBeforeFit from "../../../backend/contract/boundary_before_fit.json";
import fitLogisticRegression from "../../../backend/contract/fit_logistic_regression.json";
import fitWithProjection from "../../../backend/contract/fit_with_projection.json";
import invalidModelSettings from "../../../backend/contract/invalid_model_settings.json";

boundaryBeforeFit satisfies ContractExample<DecisionBoundaryApi, typeof boundaryBeforeFit>;
fitLogisticRegression satisfies ContractExample<DecisionBoundaryApi, typeof fitLogisticRegression>;
fitWithProjection satisfies ContractExample<DecisionBoundaryApi, typeof fitWithProjection>;
invalidModelSettings satisfies ContractExample<DecisionBoundaryApi, typeof invalidModelSettings>;