// Type-checks the contract examples (backend/contract/*.json) against
// AutodiffApi 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 { AutodiffApi } from "./python.ts";
import constants from "../../../backend/contract/constants.json";
import courseExample from "../../../backend/contract/course_example.json";
import forwardMode from "../../../backend/contract/forward_mode.json";
import invalidFunction from "../../../backend/contract/invalid_function.json";
import pastTheEnd from "../../../backend/contract/past_the_end.json";
import reverseMode from "../../../backend/contract/reverse_mode.json";
import sharedSubexpression from "../../../backend/contract/shared_subexpression.json";
import undefinedValue from "../../../backend/contract/undefined_value.json";

constants satisfies ContractExample<AutodiffApi, typeof constants>;
courseExample satisfies ContractExample<AutodiffApi, typeof courseExample>;
forwardMode satisfies ContractExample<AutodiffApi, typeof forwardMode>;
invalidFunction satisfies ContractExample<AutodiffApi, typeof invalidFunction>;
pastTheEnd satisfies ContractExample<AutodiffApi, typeof pastTheEnd>;
reverseMode satisfies ContractExample<AutodiffApi, typeof reverseMode>;
sharedSubexpression satisfies ContractExample<AutodiffApi, typeof sharedSubexpression>;
undefinedValue satisfies ContractExample<AutodiffApi, typeof undefinedValue>;