pi-coding-master 0.2.7

package/core/technology.phone/apps.preinstalled/notes/notes.ts

@@ -0,0 +1,239 @@
+import { shareApps, shareDestinations, shareTo } from "../../system.share/share.ts";
+// apps.preinstalled/notes/notes.ts — Notes app (备忘录)
+// v0.2 spec: "备忘录也是，就是有事可以记在本地"
+// Simple persistent note-taking with tags and search
+
+import * as fs from "fs";
+import * as path from "path";
+
+interface Note {
+  id: string;
+  title: string;
+  content: string;
+  tags: string[];
+  pinned: boolean;
+  created: string;
+  updated: string;
+}
+
+function notesPath(personDir: string): string {
+  return path.join(personDir, "notes.json");
+}
+
+function loadNotes(personDir: string): Note[] {
+  try {
+    return JSON.parse(fs.readFileSync(notesPath(personDir), "utf8"));
+  } catch {
+    return [];
+  }
+}
+
+function saveNotes(personDir: string, notes: Note[]) {
+  fs.writeFileSync(notesPath(personDir), JSON.stringify(notes, null, 2));
+}
+
+function genId(): string {
+  return `note-${Date.now().toString(36)}-${Math.random().toString(36).slice(2, 6)}`;
+}
+
+export async function notesCmd(args: any, _ctx: any, personDir: string): Promise<any> {
+  const notes = loadNotes(personDir);
+
+  // --add: create note
+  if (args.action === "add" || args.add) {
+    const title = args.title || (typeof args.add === "string" ? args.add : args._?.[1]);
+    if (!title) return { content: [{ type: "text", text: "Usage: notes --add <title> [--content <text>] [--tags tag1,tag2]" }] };
+
+    const note: Note = {
+      id: genId(),
+      title,
+      content: (args.content as string) || "",
+      tags: args.tags ? (args.tags as string).split(",").map((t: string) => t.trim()) : [],
+      pinned: false,
+      created: new Date().toISOString(),
+      updated: new Date().toISOString(),
+    };
+
+    notes.push(note);
+    saveNotes(personDir, notes);
+    return { content: [{ type: "text", text: `Created: **${title}**\n   ID: \`${note.id}\`` }] };
+  }
+
+  // --edit <id>: edit content
+  if (args.action === "edit" || args.edit) {
+    const id = args.edit as string;
+    const note = notes.find(n => n.id === id);
+    if (!note) return { content: [{ type: "text", text: `Note not found: ${id}` }] };
+
+    if (args.content) note.content = args.content as string;
+    if (args.title) note.title = args.title as string;
+    if (args.tags) note.tags = (args.tags as string).split(",").map((t: string) => t.trim());
+    note.updated = new Date().toISOString();
+    saveNotes(personDir, notes);
+
+    return { content: [{ type: "text", text: `Updated: **${note.title}**` }] };
+  }
+
+  // --show <id>: full note
+  if (args.action === "view" || args.action === "show" || args.show) {
+    const id = args.show as string;
+    const note = notes.find(n => n.id === id);
+    if (!note) return { content: [{ type: "text", text: `Note not found: ${id}` }] };
+
+    const lines = [
+      `**${note.title}**`,
+      note.content ? `\n${note.content}` : "(empty)",
+      `\n---`,
+      `ID: \`${note.id}\``,
+      `Tags: ${note.tags.join(", ") || "—"}`,
+      `${note.pinned ? "PIN Pinned · " : ""}Created: ${note.created.slice(0, 16)} · Updated: ${note.updated.slice(0, 16)}`,
+    ];
+    return { content: [{ type: "text", text: lines.join("\n") }] };
+  }
+
+  // --delete <id>
+  if (args.action === "delete" || args.delete) {
+    const id = args.delete as string;
+    const idx = notes.findIndex(n => n.id === id);
+    if (idx === -1) return { content: [{ type: "text", text: `Note not found: ${id}` }] };
+
+    const title = notes[idx].title;
+    notes.splice(idx, 1);
+    saveNotes(personDir, notes);
+    return { content: [{ type: "text", text: `Deleted: **${title}**` }] };
+  }
+
+  // --pin / --unpin <id>
+  if (args.action === "pin" || args.pin) {
+    const id = args.pin as string;
+    const note = notes.find(n => n.id === id);
+    if (!note) return { content: [{ type: "text", text: `Note not found: ${id}` }] };
+    note.pinned = true;
+    note.updated = new Date().toISOString();
+    saveNotes(personDir, notes);
+    return { content: [{ type: "text", text: `PIN Pinned: **${note.title}**` }] };
+  }
+  if (args.unpin) {
+    const id = args.unpin as string;
+    const note = notes.find(n => n.id === id);
+    if (!note) return { content: [{ type: "text", text: `Note not found: ${id}` }] };
+    note.pinned = false;
+    note.updated = new Date().toISOString();
+    saveNotes(personDir, notes);
+    return { content: [{ type: "text", text: `PIN Unpinned: **${note.title}**` }] };
+  }
+
+  // --search <q>
+  if (args.action === "search" || args.search) {
+    const q = (args.search as string).toLowerCase();
+    const results = notes.filter(n =>
+      n.title.toLowerCase().includes(q) ||
+      n.content.toLowerCase().includes(q) ||
+      n.tags.some(t => t.toLowerCase().includes(q))
+    ).sort((a, b) => new Date(b.updated).getTime() - new Date(a.updated).getTime());
+
+    if (results.length === 0) return { content: [{ type: "text", text: `No notes matching "${args.search}".` }] };
+    const lines = [`**Search: "${args.search}" (${results.length})**`];
+    results.forEach(n => {
+      const preview = n.content.slice(0, 80);
+      lines.push(`  ${n.pinned ? "PIN" : "*"} **${n.title}** — ${preview}${n.content.length > 80 ? "..." : ""}`);
+    });
+    return { content: [{ type: "text", text: lines.join("\n") }] };
+  }
+
+  // default: list recent, pinned first
+  const pinned = notes.filter(n => n.pinned);
+  const unpinned = notes.filter(n => !n.pinned).sort((a, b) => new Date(b.updated).getTime() - new Date(a.updated).getTime());
+  const display = [...pinned, ...unpinned];
+
+  const lines = [`**Notes (${notes.length})**`];
+  if (display.length === 0) {
+    lines.push("  No notes. Use `notes --add <title>` to create one.");
+  } else {
+    display.slice(0, 20).forEach(n => {
+      const preview = n.content.slice(0, 80);
+      const pin = n.pinned ? "PIN" : "  ";
+      lines.push(`${pin} **${n.title}** — ${preview}${n.content.length > 80 ? "..." : ""}  ·  \`${n.id}\``);
+    });
+    if (display.length > 20) lines.push(`  ... and ${display.length - 20} more`);
+  }
+
+  lines.push("\nCommands: `--add` · `--edit <id>` · `--show <id>` · `--delete <id>` · `--pin <id>` · `--search <q>`");
+  return { content: [{ type: "text", text: lines.join("\n") }] };
+}
+
+// ── PhoneApp wrapper ──────────────────────────────────────────
+import type { PhoneApp } from "../../system.kernel/kernel.ts";
+
+export const app: PhoneApp = {
+  name: "备忘录",
+  icon: "备忘录",
+  messageDescription: "记录备忘、笔记管理",
+
+  onOpen(state, personDir) {
+    const notes = loadNotes(personDir);
+    const pinned = notes.filter(n => n.pinned).length;
+    const lines = [
+      "═══ 备忘录 ═══",
+      "",
+      `  笔记: ${notes.length} 篇${pinned > 0 ? ` (${pinned} 篇置顶)` : ""}`,
+      "",
+      "  操作:",
+      "  · 列表               — 查看所有笔记",
+      "  · 新建 <标题>        — 创建笔记",
+      "  · 查看 <id>          — 阅读笔记",
+      "  · 编辑 <id> <内容>   — 编辑笔记内容",
+      "  · 删除 <id>          — 删除笔记",
+      "  · 置顶 <id>          — 置顶/取消置顶",
+      "  · 搜索 <关键词>      — 搜索笔记",
+      "",
+      "  返回 — 回主屏幕",
+    ];
+    return { screen: lines.join("\n"), state: state ?? {} };
+  },
+
+  async onAction(input, state, personDir) {
+    const trimmed = input.trim();
+    let args: any = {};
+
+    if (/^(列表|list)$/i.test(trimmed)) {
+      args = {};
+    } else if (/^(新建|添加|add)\s+(.+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:新建|添加|add)\s+(.+)$/i)!;
+      args = { add: m[1] };
+    } else if (/^(查看|show)\s+(\S+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:查看|show)\s+(\S+)$/i)!;
+      args = { show: m[1] };
+    } else if (/^(编辑|edit)\s+(\S+)\s+(.+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:编辑|edit)\s+(\S+)\s+(.+)$/i)!;
+      args = { edit: m[1], content: m[2] };
+    } else if (/^(删除|delete)\s+(\S+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:删除|delete)\s+(\S+)$/i)!;
+      args = { delete: m[1] };
+    } else if (/^(置顶|pin)\s+(\S+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:置顶|pin)\s+(\S+)$/i)!;
+      // toggle: if already pinned, unpin
+      const notes = loadNotes(personDir);
+      const note = notes.find(n => n.id === m[1]);
+      if (note && note.pinned) {
+        args = { unpin: m[1] };
+      } else {
+        args = { pin: m[1] };
+      }
+    } else if (/^(取消置顶|unpin)\s+(\S+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:取消置顶|unpin)\s+(\S+)$/i)!;
+      args = { unpin: m[1] };
+    } else if (/^(搜索|search)\s+(.+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:搜索|search)\s+(.+)$/i)!;
+      args = { search: m[1] };
+    }
+
+    const st = (state as any) || {};
+    if (/^分享\s+/.test(trimmed) && !st._shareContent) { const m = trimmed.match(/^分享\s+(.+)/); if (m) { const id=m[1].trim(); const notes=loadNotes(personDir); const note=notes.find(n=>n.id===id); if (!note) return { screen:"未找到该笔记.", state }; const c=note.title+"\n"+note.content; return { screen: shareApps()+"\n\n分享内容:\n"+c.slice(0,200), state:{...st,_shareContent:c} }; } }
+    if (/^\d+$/.test(trimmed) && st._shareContent && !st._shareApp) { const n=parseInt(trimmed); const d=shareDestinations(n); if (!d) return { screen:"无效.", state }; return { screen:d.screen+"\n\n分享内容:\n"+st._shareContent.slice(0,200), state:{...st,_shareApp:n} }; }
+    if (/^\d+$/.test(trimmed) && st._shareContent && st._shareApp) { const dn=parseInt(trimmed); const r=shareTo(st._shareApp, dn, st._shareContent, personDir); return { screen:r, state:{...st,_shareContent:undefined,_shareApp:undefined} }; }
+
+    const result = await notesCmd(args, {}, personDir);
+    return { screen: result.content[0].text, state: state ?? {} };
+  },
+};

package/core/technology.phone/apps.preinstalled/notes/notes.ts.SPEC

@@ -0,0 +1,21 @@
+source: notes.ts @ 8bb18187
+
+# Notes -- 备忘录
+
+## 功能
+本地持久化笔记，支持创建、编辑、置顶、标签、搜索。
+
+## 操作
+- `--add <title>` -- 新建笔记（可选 `--content`, `--tags tag1,tag2`）
+- `--edit <id>` -- 编辑笔记（可传 `--content`, `--title`, `--tags`）
+- `--show <id>` -- 查看笔记全文
+- `--delete <id>` -- 删除笔记
+- `--pin <id>` / `--unpin <id>` -- 置顶/取消置顶
+- `--search <q>` -- 按标题/内容/标签搜索
+- 无参数 -- 列出全部笔记（置顶优先，最多 20 条）
+
+## 数据
+`{personDir}/notes.json` -- Note[] JSON 数组。
+
+## 备注
+列表默认按更新时间倒序，置顶笔记始终排前。

package/core/technology.phone/apps.preinstalled/polymarket/polymarket.ts

@@ -0,0 +1,261 @@
+// apps.preinstalled/prediction/prediction.ts — 预测市场 app
+// agent 之间用 dollar 互相下注，预测未来事件
+
+import type { PhoneApp } from "../../system.kernel/kernel.ts";
+import { readFileSync, writeFileSync, mkdirSync } from "node:fs";
+import { join } from "node:path";
+import { homedir } from "node:os";
+
+const DOLLAR_SERVICE = process.env.PI_DOLLAR || "http://localhost:9223";
+
+interface Market {
+  id: string;
+  question: string;
+  creator: string;
+  createdAt: string;
+  deadline: string;
+  resolved: boolean;
+  outcome: "yes" | "no" | null;
+  bets: { agent: string; side: "yes" | "no"; amount: number; ts: string }[];
+}
+
+function marketsFile(): string {
+  const dir = join(homedir(), ".pi/prediction");
+  mkdirSync(dir, { recursive: true });
+  return join(dir, "markets.json");
+}
+
+function loadMarkets(): Market[] {
+  try { return JSON.parse(readFileSync(marketsFile(), "utf8")); } catch { return []; }
+}
+
+function saveMarkets(markets: Market[]): void {
+  writeFileSync(marketsFile(), JSON.stringify(markets, null, 2));
+}
+
+async function dollarCall(action: string, params: Record<string, any>): Promise<any> {
+  try {
+    const res = await fetch(DOLLAR_SERVICE, {
+      method: "POST",
+      headers: { "Content-Type": "application/json" },
+      body: JSON.stringify({ action, ...params }),
+      signal: AbortSignal.timeout(10000),
+    });
+    return await res.json();
+  } catch (e: any) {
+    return { error: `dollar-service 不可达: ${e.message}` };
+  }
+}
+
+export async function predictionCmd(
+  args: any, _ctx: any, _personDir: string
+): Promise<{ content: any[]; details: any }> {
+  const a = args.action || "";
+  const agentId = args.agent_id || "unknown";
+
+  if (a === "list") {
+    const markets = loadMarkets();
+    const open = markets.filter(m => !m.resolved);
+    if (!open.length) return { content: [{ type: "text", text: "没有进行中的预测市场。用 prediction create 创建。" }], details: {} };
+    const lines = open.map(m => {
+      const yesTotal = m.bets.filter(b => b.side === "yes").reduce((s, b) => s + b.amount, 0);
+      const noTotal = m.bets.filter(b => b.side === "no").reduce((s, b) => s + b.amount, 0);
+      const total = yesTotal + noTotal;
+      const yesPct = total > 0 ? Math.round((yesTotal / total) * 100) : 50;
+      return `  [${m.id}] ${m.question}\n    Yes ${yesPct}% ($${yesTotal}) / No ${100 - yesPct}% ($${noTotal}) | 截止 ${m.deadline.slice(0, 10)} | ${m.bets.length} 笔下注`;
+    });
+    return { content: [{ type: "text", text: `预测市场\n\n${lines.join("\n\n")}` }], details: {} };
+  }
+
+  if (a === "create") {
+    const question = args.question;
+    const deadline = args.deadline;
+    if (!question) return { content: [{ type: "text", text: "需要 question 参数" }], details: {} };
+    if (!deadline) return { content: [{ type: "text", text: "需要 deadline 参数（YYYY-MM-DD）" }], details: {} };
+
+    const markets = loadMarkets();
+    const id = `m${markets.length + 1}`;
+    const market: Market = {
+      id, question, creator: agentId,
+      createdAt: new Date().toISOString(),
+      deadline, resolved: false, outcome: null, bets: [],
+    };
+    markets.push(market);
+    saveMarkets(markets);
+    return { content: [{ type: "text", text: `市场 [${id}] 已创建\n「${question}」\n截止: ${deadline}` }], details: { id } };
+  }
+
+  if (a === "bet") {
+    const marketId = args.market_id;
+    const side = args.side;
+    const amount = Number(args.amount);
+    if (!marketId || !side || !amount) {
+      return { content: [{ type: "text", text: "用法: prediction bet market_id=m1 side=yes amount=10" }], details: {} };
+    }
+    if (side !== "yes" && side !== "no") {
+      return { content: [{ type: "text", text: "side 必须是 yes 或 no" }], details: {} };
+    }
+    if (amount <= 0) return { content: [{ type: "text", text: "金额必须大于 0" }], details: {} };
+
+    const markets = loadMarkets();
+    const market = markets.find(m => m.id === marketId);
+    if (!market) return { content: [{ type: "text", text: `市场 ${marketId} 不存在` }], details: {} };
+    if (market.resolved) return { content: [{ type: "text", text: "该市场已结算" }], details: {} };
+
+    // 确保钱包存在
+    const bal = await dollarCall("balance", { agent_id: agentId });
+    if (bal.error) {
+      await dollarCall("create", { agent_id: agentId });
+    }
+    // 扣钱
+    const debit = await dollarCall("debit", { agent_id: agentId, amount, reason: `预测下注 [${marketId}] ${side}` });
+    if (debit.error) return { content: [{ type: "text", text: `下注失败: ${debit.error}` }], details: {} };
+
+    market.bets.push({ agent: agentId, side, amount, ts: new Date().toISOString() });
+    saveMarkets(markets);
+
+    const yesTotal = market.bets.filter(b => b.side === "yes").reduce((s, b) => s + b.amount, 0);
+    const noTotal = market.bets.filter(b => b.side === "no").reduce((s, b) => s + b.amount, 0);
+    return {
+      content: [{ type: "text", text: `下注成功: $${amount} on ${side}\n「${market.question}」\nYes $${yesTotal} / No $${noTotal}` }],
+      details: {},
+    };
+  }
+
+  if (a === "resolve") {
+    const marketId = args.market_id;
+    const outcome = args.outcome;
+    if (!marketId || !outcome) {
+      return { content: [{ type: "text", text: "用法: prediction resolve market_id=m1 outcome=yes" }], details: {} };
+    }
+    if (outcome !== "yes" && outcome !== "no") {
+      return { content: [{ type: "text", text: "outcome 必须是 yes 或 no" }], details: {} };
+    }
+
+    const markets = loadMarkets();
+    const market = markets.find(m => m.id === marketId);
+    if (!market) return { content: [{ type: "text", text: `市场 ${marketId} 不存在` }], details: {} };
+    if (market.resolved) return { content: [{ type: "text", text: "已结算" }], details: {} };
+
+    market.resolved = true;
+    market.outcome = outcome;
+
+    // 分钱给赢家
+    const winners = market.bets.filter(b => b.side === outcome);
+    const losers = market.bets.filter(b => b.side !== outcome);
+    const pool = market.bets.reduce((s, b) => s + b.amount, 0);
+    const winnerTotal = winners.reduce((s, b) => s + b.amount, 0);
+
+    const payouts: string[] = [];
+    for (const w of winners) {
+      const share = winnerTotal > 0 ? (w.amount / winnerTotal) * pool : 0;
+      const payout = Math.round(share * 100) / 100;
+      if (payout > 0) {
+        await dollarCall("credit", { agent_id: w.agent, amount: payout, reason: `预测赢 [${marketId}] ${outcome}` });
+        payouts.push(`  ${w.agent}: +$${payout.toFixed(2)}`);
+      }
+    }
+
+    saveMarkets(markets);
+
+    const lines = [
+      `市场 [${marketId}] 已结算: ${outcome.toUpperCase()}`,
+      `「${market.question}」`,
+      `总池: $${pool}`,
+      winners.length > 0 ? `赢家:\n${payouts.join("\n")}` : "无人押中",
+      losers.length > 0 ? `输家: ${losers.map(l => `${l.agent} -$${l.amount}`).join(", ")}` : "",
+    ];
+    return { content: [{ type: "text", text: lines.filter(Boolean).join("\n") }], details: {} };
+  }
+
+  if (a === "view") {
+    const marketId = args.market_id;
+    if (!marketId) return { content: [{ type: "text", text: "需要 market_id" }], details: {} };
+    const markets = loadMarkets();
+    const m = markets.find(x => x.id === marketId);
+    if (!m) return { content: [{ type: "text", text: `市场 ${marketId} 不存在` }], details: {} };
+
+    const lines = [
+      `[${m.id}] ${m.question}`,
+      `创建: ${m.creator} @ ${m.createdAt.slice(0, 10)}`,
+      `截止: ${m.deadline}`,
+      `状态: ${m.resolved ? `已结算 → ${m.outcome}` : "进行中"}`,
+      "",
+      "下注:",
+    ];
+    for (const b of m.bets) {
+      lines.push(`  ${b.agent}: $${b.amount} on ${b.side} (${b.ts.slice(0, 16)})`);
+    }
+    return { content: [{ type: "text", text: lines.join("\n") }], details: {} };
+  }
+
+  return {
+    content: [{
+      type: "text",
+      text: [
+        "预测市场",
+        "  prediction list                    查看所有市场",
+        "  prediction create question=... deadline=2026-07-01  创建",
+        "  prediction bet market_id=m1 side=yes amount=10      下注",
+        "  prediction view market_id=m1                        详情",
+        "  prediction resolve market_id=m1 outcome=yes         结算",
+      ].join("\n"),
+    }],
+    details: {},
+  };
+}
+
+// ── PhoneApp wrapper ──────────────────────────────────────────
+
+export const app: PhoneApp = {
+  name: "Polymarket",
+  icon: "预测",
+  messageDescription: "预测市场 — 用 AGENT¥ 下注预测未来事件",
+
+  onOpen(state, _personDir) {
+    const markets = loadMarkets();
+    const open = markets.filter(m => !m.resolved).length;
+    const lines = [
+      "═══ 预测市场 ═══",
+      "",
+      `  进行中: ${open} 个市场`,
+      "",
+      "  操作:",
+      "  · 列表                          — 查看所有市场",
+      "  · 创建 <问题> <截止日期>        — 创建市场",
+      "  · 下注 <市场id> <yes|no> <金额> — 下注",
+      "  · 详情 <市场id>                 — 查看市场详情",
+      "  · 结算 <市场id> <yes|no>        — 结算市场",
+      "",
+      "  返回 — 回主屏幕",
+    ];
+    return { screen: lines.join("\n"), state: state ?? {} };
+  },
+
+  async onAction(input, state, personDir) {
+    const trimmed = input.trim();
+    // extract agent_id from personDir (last path segment before /.data)
+    const agentId = personDir.match(/([a-f0-9]+)\/\.data/)?.[1] || "pi-agent";
+    let args: any = { agent_id: agentId };
+
+    if (/^(列表|list)$/i.test(trimmed)) {
+      args = { ...args, action: "list" };
+    } else if (/^(创建|create)\s+(.+)\s+(\d{4}-\d{2}-\d{2})$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:创建|create)\s+(.+)\s+(\d{4}-\d{2}-\d{2})$/i)!;
+      args = { ...args, action: "create", question: m[1], deadline: m[2] };
+    } else if (/^(下注|bet)\s+(\S+)\s+(yes|no)\s+(\d+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:下注|bet)\s+(\S+)\s+(yes|no)\s+(\d+)$/i)!;
+      args = { ...args, action: "bet", market_id: m[1], side: m[2].toLowerCase(), amount: m[3] };
+    } else if (/^(详情|view)\s+(\S+)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:详情|view)\s+(\S+)$/i)!;
+      args = { ...args, action: "view", market_id: m[1] };
+    } else if (/^(结算|resolve)\s+(\S+)\s+(yes|no)$/i.test(trimmed)) {
+      const m = trimmed.match(/^(?:结算|resolve)\s+(\S+)\s+(yes|no)$/i)!;
+      args = { ...args, action: "resolve", market_id: m[1], outcome: m[2].toLowerCase() };
+    }
+    // default: show help
+
+    const result = await predictionCmd(args, {}, personDir);
+    return { screen: result.content[0].text, state: state ?? {} };
+  },
+};

package/core/technology.phone/apps.preinstalled/polymarket/polymarket.ts.SPEC

@@ -0,0 +1,7 @@
+source: polymarket.ts
+
+# polymarket — Polymarket 预测市场
+
+## 职责
+Polymarket 预测市场查询和操作工具。
+允许 agent 查看市场、下注、查询结果。