1 files changed, 96 insertions, 0 deletions
diff --git a/vere/pkg/noun/life_test.c b/vere/pkg/noun/life_test.c
new file mode 100644
index 0000000..cffe97b
--- /dev/null
+++ b/vere/pkg/noun/life_test.c
@@ -0,0 +1,96 @@
+/// @file
+/// Test lifecycle formula on different subjects
+
+#include "noun.h"
+
+/* _setup(): prepare for tests.
+*/
+static void
+_setup(void)
+{
+  u3m_boot_lite(1 << 28);  // 256MB loom
+}
+
+/* Helper to run nock with subject+formula in a cell for u3m_soft */
+static u3_noun
+_nock_pair(u3_noun sub_fol)
+{
+  u3_noun sub, fol;
+  u3x_cell(sub_fol, &sub, &fol);
+  return u3n_nock_on(u3k(sub), u3k(fol));
+}
+
+/* _test_life_on_null(): test lifecycle formula on atom 0
+*/
+static c3_i
+_test_life_on_null(void)
+{
+  fprintf(stderr, "\n=================================================\n");
+  fprintf(stderr, "Testing lifecycle formula [2 [0 3] [0 2]] on null\n");
+  fprintf(stderr, "=================================================\n\n");
+
+  /* Build lifecycle formula: [2 [0 3] [0 2]] */
+  u3_noun lyf = u3nt(2, u3nc(0, 3), u3nc(0, 2));
+
+  fprintf(stderr, "Formula: [2 [0 3] [0 2]]\n");
+  fprintf(stderr, "Subject: 0 (null)\n");
+  fprintf(stderr, "Formula mug: %x\n\n", u3r_mug(lyf));
+
+  /* Test on null (atom 0) */
+  u3_noun eve = 0;  /* u3_nul is defined as 0 */
+
+  fprintf(stderr, "Testing: *[0 [2 [0 3] [0 2]]]\n\n");
+
+  /* Try running it - need to pass [subject formula] as single argument */
+  u3_noun pair = u3nc(eve, lyf);
+  u3_noun pro = u3m_soft(0, _nock_pair, pair);
+
+  if ( u3_blip != u3h(pro) ) {
+    fprintf(stderr, "✗ FAILED!\n");
+    fprintf(stderr, "Error: ");
+    u3m_p("", u3h(pro));
+    fprintf(stderr, "\n");
+
+    /* Print trace if available */
+    if ( u3du(pro) ) {
+      fprintf(stderr, "\nTrace:\n");
+      u3m_p("trace", u3t(pro));
+      fprintf(stderr, "\n");
+    }
+
+    fprintf(stderr, "\nThis confirms the formula CANNOT work on atom 0!\n");
+    u3z(pro);
+    return 0;
+  }
+
+  fprintf(stderr, "✓ SUCCESS!\n");
+  fprintf(stderr, "Result mug: %x\n", u3r_mug(u3t(pro)));
+  fprintf(stderr, "\nResult structure:\n");
+  u3m_p("result", u3t(pro));
+  fprintf(stderr, "\n");
+
+  fprintf(stderr, "\nThis is UNEXPECTED! The formula somehow works on atom 0 in C!\n");
+
+  u3z(pro);
+
+  return 1;
+}
+
+int
+main(int argc, char* argv[])
+{
+  _setup();
+
+  if ( !_test_life_on_null() ) {
+    fprintf(stderr, "test life on null: failed (as expected)\r\n");
+    fprintf(stderr, "This is actually the CORRECT behavior - lifecycle formula cannot work on null.\r\n");
+    return 0;  // Return success since failure is expected
+  }
+
+  //  GC
+  //
+  u3m_grab(u3_none);
+
+  fprintf(stderr, "test life on null: unexpected success!\r\n");
+  return 0;
+}