automath: add Q2 focus — Open Problem Outreach + Social Auto-Publish

regions.json

@@ -1190,26 +1190,27 @@
     },
     "Automath-Oracle-Pipeline": {
       "label": {
-        "en": "Oracle Auto-Publish Pipeline",
-        "zh": "Oracle 自动发表流水线"
+        "en": "Automated Paper Pipeline (Oracle)",
+        "zh": "自动化论文流水线 (Oracle)"
       },
       "desc": {
-        "en": "End-to-end paper generation → AI review → submission via ChatGPT Oracle + Tampermonkey",
-        "zh": "端到端论文生成 → AI 审查 → 投稿, ChatGPT Oracle + Tampermonkey 驱动"
+        "en": "End-to-end paper authoring → AI review → journal submission, driven by ChatGPT Oracle + Tampermonkey. 27 papers / 9 submitted to JNT, ETDS, SIADS, APAL. 2026 Q2 focus #1.",
+        "zh": "端到端论文撰写 → AI 审稿 → 期刊投稿, ChatGPT Oracle + Tampermonkey 驱动。已生成 27 篇 / 投稿 9 篇 (JNT / ETDS / SIADS / APAL)。2026 Q2 三大焦点之一。"
       },
       "closure": "public",
       "formal": "checked",
       "product": "automath",
       "milestone": "Q2-2026",
       "owner": "loning",
       "issue_count": 0,
-      "focus": false,
+      "focus": true,
       "archived": false,
       "promoted_at": {
         "public": "2026-04-01"
       },
       "deps": [
-        "Automath-Theorem-Library"
+        "Automath-Theorem-Library",
+        "Automath-AI-Derive-Loop"
       ],
       "gh_query": "is:issue is:open repo:the-omega-institute/automath oracle in:title"
     },
@@ -1238,6 +1239,56 @@
       ],
       "gh_query": "is:issue is:open repo:the-omega-institute/automath derive in:title"
     },
+    "Automath-Open-Problem-Outreach": {
+      "label": {
+        "en": "Open Problem Outreach",
+        "zh": "公开问题攻坚与社区对接"
+      },
+      "desc": {
+        "en": "Direct Automath's derive-loop at named external open problems (SAIR list, Erdős problems, sub-questions of millennium problems). Output: Lean 4 formalized proofs + arXiv preprints + targeted community engagement (DM/PR). 2026 Q2 focus #2.",
+        "zh": "把 Automath 推导循环对准外部公开 open problem (SAIR 名单 / Erdős problems / 千禧难题子问题)。产出 Lean 4 形式化证明 + arXiv 预印本 + 针对性社区对接 (DM/PR)。2026 Q2 三大焦点之二。"
+      },
+      "closure": "seed",
+      "formal": "none",
+      "product": "automath",
+      "milestone": "Q2-2026",
+      "owner": "loning",
+      "issue_count": 0,
+      "focus": true,
+      "archived": false,
+      "promoted_at": {},
+      "deps": [
+        "Automath-AI-Derive-Loop",
+        "Automath-Oracle-Pipeline"
+      ],
+      "gh_query": "is:issue is:open repo:the-omega-institute/automath outreach OR open-problem in:title"
+    },
+    "Automath-Social-Auto-Publish": {
+      "label": {
+        "en": "Automated Social Media Publishing",
+        "zh": "自动化社交媒体宣发管线"
+      },
+      "desc": {
+        "en": "NotebookLM (narration) + SlideSync (visuals) + Playwright (Douyin upload) + creator-backend queue verify + metrics ingest. 13 I-Ching videos already scheduled (2026-05-09 → 05-22). douyin-publisher v2 scaffolded with three-leg verdict (JUDGEMENT+COVER_VERIFY+QUEUE_VERIFY). 2026 Q2 focus #3.",
+        "zh": "NotebookLM (旁白) + SlideSync (画面) + Playwright (抖音上传) + 创作者后台队列核验 + 数据回收。已有 13 条易经视频排定 (2026-05-09 → 05-22)。douyin-publisher v2 已 scaffold, 三元组验收 (JUDGEMENT+COVER_VERIFY+QUEUE_VERIFY)。2026 Q2 三大焦点之三。"
+      },
+      "closure": "public",
+      "formal": "sop",
+      "product": "automath",
+      "milestone": "Q2-2026",
+      "owner": "loning",
+      "issue_count": 0,
+      "focus": true,
+      "archived": false,
+      "promoted_at": {
+        "public": "2026-05-09"
+      },
+      "deps": [
+        "Automath-Theorem-Library",
+        "Automath-AI-Derive-Loop"
+      ],
+      "gh_query": "is:issue is:open repo:the-omega-institute/automath social OR douyin in:title"
+    },
     "Symphony-Core": {
       "label": {
         "en": "Symphony Core (EXPLORING)",