aboutsummaryrefslogtreecommitdiff
path: root/tests/i/caught-errors/notes.md
diff options
context:
space:
mode:
Diffstat (limited to 'tests/i/caught-errors/notes.md')
-rw-r--r--tests/i/caught-errors/notes.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/i/caught-errors/notes.md b/tests/i/caught-errors/notes.md
new file mode 100644
index 0000000..9535a55
--- /dev/null
+++ b/tests/i/caught-errors/notes.md
@@ -0,0 +1,7 @@
+# caught-errors
+
+Human review: pending. Expected output was independently traced by AI, not captured from cpsc.
+
+Basis: Project TRY and runtime-check contract; diagnostics precede catch execution on stdout.
+
+Trace: Each failed access transfers to its CATCH, so no attempted value is printed. Source lines 7,12,17,22 identify the operations. Bare THROW has no own diagnostic; execution reaches alive.