菜单
SOP: Read context/INDEX.md and sort the whole directory into three ARA material types (report line, process line, images), locate the north-star file, and draft a feeding plan for the ARA compiler
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Strategy: Attack an isomorphism claim by demanding an explicit structure-preserving map and trying to break it. Targets any multi-language claim of the form 'X ≅ Y ≅ … across N mathematical languages'. Forces the claim to either earn the word 'isomorphism' or be demoted to 'analogy'. Methods: category theory (functor/natural-iso criteria), model theory, Lakatos monster-barring.
Strategy: Dialectic engine retuned for truth-seeking, not survival. A defender steelmans a claim into its MOST falsifiable form, a critic attacks to refute it, a judge classifies the exchange into BROKEN/CORROBORATED/UNFALSIFIABLE — the judge does NOT pick a winner or score persuasiveness. Methods: Irving debate (repurposed), Toulmin argumentation, Mayo severe testing.
Strategy: Run BEFORE building any validator (sandbox/simulation/benchmark). Builds a non-circularity matrix of theory-claim × validator-assumption to detect when a validator would 'confirm' a theory only because it was built on the theory's own premises. A circular validator's PASS carries zero evidential weight. Methods: Cartwright nomological machines, Winsberg sanctioning-of-simulations, tautology detection.
Strategy: Attack a beautiful unified result on the suspicion that its beauty is the bug. Distinguishes EARNED simplicity (forbids/predicts/subsumes) from DECORATIVE simplicity (re-describes/relabels/accommodates). Directly serves the Occam aesthetic by making it a falsifiable bar, not a vibe. Methods: Sober parsimony-as-evidence, MDL, Meehl risky prediction, accommodation-vs-prediction.
Campaign: Truth-seeking adversarial validation for scientific research artifacts (NOT publication defense). Core question: Where have we fooled ourselves, and is each load-bearing claim even falsifiable? Win-condition is INVERTED from survival/resilience to active refutation. Methods: Popper falsificationism, Lakatos Proofs and Refutations, Mayo severe testing, Platt strong inference.
Strategy: Attack the evidential weight of an 'independent convergence' claim. When N reasoning paths all reach the same conclusion, the confidence boost is real only if the paths were actually independent. Measures shared-prior / shared-blindspot contamination and corrects the over-counted confidence. Methods: Bayesian agreement-as-evidence, correlated-error analysis, jury theorem assumptions.
| name | context-exploring |
| description | SOP: Read context/INDEX.md and sort the whole directory into three ARA material types (report line, process line, images), locate the north-star file, and draft a feeding plan for the ARA compiler |
| version | 1.0.0 |
| category | ara-from-context |
| type | sop |
| campaign | ara-from-context |
| input | A context/ directory containing INDEX.md + timestamped .md research records (+ any produced images) |
| output | A feeding plan (markdown block, headings 投喂计划/主干文件/trace 素材/图片清单/arc 范围/大方向) + the located north-star file path |
| dependencies | {} |
Key question: 这批 context/ 里,对生成一份 ARA 最重要的素材分别是哪些,怎么分类喂给 compiler?
ARA 的 compiler 是逆向抽取器:它只抽源里已有的探索过程,绝不补写
(compiler Rule 9/14)。所以 ARA 的 exploration_tree 丰不丰满,不取决于 compiler,
取决于 context/ 有没有记下失败路径 / 被否方案 / 迭代 pivot。这把担子精确落在本
SOP:必须主动打捞过程线,而不是只挑末次成功 report。
读 context/INDEX.md。 它是总账:列 File / Phase / Topic / Checkpoints /
Last Updated。正常 context 必有 INDEX;若缺失,停下并提示用户先维护 INDEX
(不做无-INDEX 降级)。
默认整目录 = 一份 ARA。 同时把文件按 Phase/Topic 聚成 arc 候选 (一条研究弧 = 一组连续推进同一 Topic 的文件)。
三类素材分拣(这是本 SOP 的核心判断):
logic/claims.md + logic/problem.md 的源。trace/exploration_tree.yaml 的源。
主动打捞:逐个 checkpoint 扫,凡是 dead_end / decision / pivot 痕迹都收。evidence/figures +
evidence/tables 的源。(正常 context 会有;没有就这类为空,不报错。)定位 north-star 文件:INDEX 里 Phase 标含 "North Star" 的那篇(通常是
*-north-star-*.md)。交给下游 north-star-align 深读。
草拟投喂计划(交接物,markdown 块,严格用下列 heading):
## 投喂计划
### 主干文件
- <path> — 报告线,claims/problem 源
### trace 素材
- <path> — 过程线:<失败/被否/pivot 一句话>
### 图片清单
- <path> — <图表/图示 一句话>
### arc 范围
- 默认整目录;或用户手挑的 arc/文件子集
### 大方向
- (留空,由 north-star-align 填)
把投喂计划 + north-star 文件路径交给本 tactic 的下一步(north-star-align),
不落新文件。