test(compiler): cover fixed CIE behavior and runtime boundaries

Record independently traced outputs with pending human review. Keep
standard syntax and naming conflicts as real failures.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

4 files changed, 16 insertions, 0 deletions

diff --git a/tests/i/uncaught-error/case.json b/tests/i/uncaught-error/case.json
new file mode 100644
index 0000000..9dc1e30
--- /dev/null
+++ b/tests/i/uncaught-error/case.json
@@ -0,0 +1,3 @@
+{
+  "exit_code": 1
+}
diff --git a/tests/i/uncaught-error/expected.txt b/tests/i/uncaught-error/expected.txt
new file mode 100644
index 0000000..8b66756
--- /dev/null
+++ b/tests/i/uncaught-error/expected.txt
@@ -0,0 +1,2 @@
+[Fatal] line 3: Division by zero
+Unhandled exception. Program terminated.
diff --git a/tests/i/uncaught-error/notes.md b/tests/i/uncaught-error/notes.md
new file mode 100644
index 0000000..d4e2d65
--- /dev/null
+++ b/tests/i/uncaught-error/notes.md
@@ -0,0 +1,7 @@
+# uncaught-error
+
+Human review: pending. Expected output was independently traced by AI, not captured from cpsc.
+
+Basis: Project runtime-check and final-handler contract.
+
+Trace: MOD by zero throws on line 3. The final handler prints termination and returns 1; unreachable is never printed.
diff --git a/tests/i/uncaught-error/program.cps b/tests/i/uncaught-error/program.cps
new file mode 100644
index 0000000..dd6e53f
--- /dev/null
+++ b/tests/i/uncaught-error/program.cps
@@ -0,0 +1,4 @@
+DECLARE Zero : INTEGER
+Zero <- 0
+OUTPUT 1 MOD Zero
+OUTPUT "unreachable"