Kernel rig: the construction area, with what reruns it

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
jyviko
2026-10-29 17:10:12 -04:00
committed by Irakli Kourtis
parent 70f695c6ba
commit 5c0db8e825
2 changed files with 14 additions and 0 deletions
@@ -0,0 +1,4 @@
# The construction cases that fail today, one a line: `<case> <why it fails today>`. Sorted. A run
# with --known-failing fails on a case that fails and is not listed here, and on a listed case
# that passes: a fix removes its line in the same pull request.
# Baseline: rig-cases-construction-inspect 45f69c0e5 with SMLib 60b1c6a, aarch64 Linux.
+10
View File
@@ -0,0 +1,10 @@
# Source files whose change must rerun the construction area: one git pathspec glob a line.
# The construct.* commands (the plane at an angle and offset plane live in features.rs).
crates/engine/src/cmd/construct.rs
crates/engine/src/cmd/features.rs
# How a construction reference resolves, and the planes the document resolves.
crates/doc/src/construct.rs
crates/doc/src/document.rs
# The constructions as evaluated, which the grader reads.
crates/engine/src/view.rs
tests/kernel-cases/construction/**