test(core): add integration test for import-required guard with wheat

Demonstrates the key use case: a wheat test depends on the student
having a particular import (`import image as I`). The DAG is:
  wf → import-required → fn-def → wheat

Includes example student file, wheat implementation, and npm script.

Co-authored-by: IRONM00N <me@ironmoon.dev>

Author: claude

pkgs/core/package.json

@@ -15,6 +15,7 @@
     "integration:gcd": "pnpm run pyret-trove -- -p tests/integration/inspect-gcd.arr",
     "integration:fold": "pnpm run pyret-trove -- -p tests/integration/inspect-fold.arr",
     "integration:tower": "pnpm run pyret-trove -- -p tests/integration/inspect-tower.arr",
+    "integration:imports": "pnpm run pyret-trove -- -p tests/integration/inspect-imports.arr",
     "clean": "rm -rf -- ./pyret"
   },
   "dependencies": {

pkgs/core/tests/examples/double-grading/wheat.arr

@@ -0,0 +1,3 @@
+fun double(x):
+  x * 2
+end

pkgs/core/tests/examples/double.arr

@@ -0,0 +1,8 @@
+import image as I
+
+fun double(x):
+  x * 2
+where:
+  double(3) is 6
+  double(0) is 0
+end

pkgs/core/tests/integration/inspect-imports.arr

@@ -0,0 +1,34 @@
+import file("../meta/path-utils.arr") as P
+include file("../meta/inspect-grade.arr")
+include file("../../src/main.arr")
+include file("../../src/tools/main.arr")
+
+student-path = P.example("double.arr")
+wheat-path = P.example("double-grading/wheat.arr")
+
+graders =
+  [list:
+    mk-well-formed("wf", [list:], student-path),
+    mk-import-required(
+      "import-image",
+      [list: "wf"],
+      student-path, "image", some("I")
+    ),
+    mk-fn-def(
+      "double-defined",
+      [list: "import-image"],
+      student-path, "double", 1
+    ),
+    mk-wheat(
+      "double-wheat",
+      [list: "double-defined"],
+      student-path, wheat-path, "double",
+      1
+    )
+  ]
+
+result = inspect-grade(graders, true, false)
+
+check "aggregate-to-flat smoke":
+  grading-helpers.aggregate-to-flat(result.aggregated) does-not-raise
+end