/// @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;
}