Function executeContractTool

src/session/contract_tools.js:75–141

(name, args, ctx)

// ─── tool branches ───────────────────────────────────────────────────────────

async function executeContractTool(name, args, ctx) {
  const store = getStore(ctx.cwd || process.cwd());

  switch (name) {
    case 'contract_status': {
      const payload = statusPayload(store);
      return { result: formatStatus(payload), payload };
    }

    case 'contract_create': {
      const title = String(args.title || '').trim() || 'Untitled contract';
      const brief = String(args.brief || '').trim();
      const assertions = args.assertions;
      if (!assertions || (Array.isArray(assertions) && assertions.length === 0)) {
        return { error: 'contract_create requires at least one assertion (array of strings).' };
      }
      const c = store.create({ title, brief, assertions });
      store.activate(c.id);
      const payload = statusPayload(store);
      return {
        result: `Created and activated contract ${c.id} with ${c.assertions.length} assertions.\n\n${formatStatus(payload)}`,
        contract_id: c.id,
        payload,
      };
    }

    case 'contract_assert_pass':
    case 'contract_assert_fail':
    case 'contract_assert_skip': {
      const aid = String(args.assertion_id || '').trim();
      if (!aid) return { error: `${name}: assertion_id is required.` };

      const state = name === 'contract_assert_pass' ? STATES.PASSED
        : name === 'contract_assert_fail' ? STATES.FAILED
        : STATES.SKIPPED;

      const evidence = args.evidence || args.reason || '';
      const lastCheck = (args.command || args.exit_code !== undefined)
        ? {
            command: String(args.command || ''),
            exit_code: Number.isFinite(args.exit_code) ? args.exit_code : 0,
            observation: String(args.evidence || args.reason || '').slice(0, 200),
            timestamp: new Date().toISOString(),
          }
        : null;

      let updated;
      try {
        updated = store.markAssertion(aid, state, { evidence, lastCheck });
      } catch (e) {
        return { error: `${name}: ${e.message}` };
      }

      const payload = statusPayload(store);
      const verb = state === STATES.PASSED ? 'passed'
        : state === STATES.FAILED ? 'failed'
        : 'skipped';
      return {