On REJECT verdict, write a structured entry to the failure ledger so future executors skip the closed branch.
On REJECT verdict, write a structured entry to the failure ledger so future executors skip the closed branch.
npx skills add https://github.com/PAMF2/oniro-colab --skill post-mortem复制此命令并粘贴到 Claude Code 中以安装该技能
Stage 1 audit (ARIS §3.1). Verify the training run actually converged, seeds were logged, no data leakage.
Stage 3 audit (ARIS §3.1). Fresh zero-context reviewer re-reads wiki narrative; cross-checks against raw results.
Stage 2 audit (ARIS §3.1). For each experimental claim, decide supported / partially / invalidated against the logs.
Compute novelty score for a candidate descriptor via k-NN distance in archive descriptor space.
Read wiki frontier + failure ledger, emit one typed mutation as unified diff. Used by Executor agent.
After a mutation passes (or just falls in an empty novelty cell), update the MAP-Elites archive.
| name | post-mortem |
| description | On REJECT verdict, write a structured entry to the failure ledger so future executors skip the closed branch. |
| trigger | orchestrator-after-gate |
| allowed_tools | ["python","bash"] |
| output | jsonl-line appended to oniro/wiki/failures.jsonl |
When the Gödel gate REJECTS a mutation OR a downstream review invalidates a claim, this skill records the cause so future Executor calls skip the closed branch.
{"id":"F-0142","variant":"V-0427","cause":"latent_collapse",
"signature":{"vicreg_var":0.003,"slot_purity":0.31},
"closed_branches":["sparse-prior-α>1e-3"],"date":"2026-08-14"}
cause — short slug: latent_collapse | gate_borderline | nan_inf | regression...signature — observed metric values at failure (lets future runs detect recurrence).closed_branches — pattern strings the Executor must avoid; matched literally.