| name | research-shared |
| description | Shared research-campaign references. Use when writing or reviewing research skills, campaign files, experiment writeups, evaluators, proofs, or technical research prose. Read these files before inventing terms or SKILL.md sections. |
Research shared references
This skill is an index. It is not a workflow. It does not create campaign files.
The agent must read the linked file that owns the fact. The agent must not copy these files into a skill procedure.
References
- terminology.md — campaign, experiment, trial, candidate, baseline, evaluator, comparator, issue, evidence, synthesis, promotion. Trial outcomes versus hypothesis verdicts.
- prompt-contract.md — the 15 required
SKILL.md sections. Output discipline. Fail loud. Untrusted evaluator logs.
- evidence-standard.md — provenance fields. Predictions before results. No backfilling.
- formal-methods.md — evidence hierarchy. Z3 versus Lean. Proof documentation. Forbidden certainty language.
- ste100-style.md — Simplified Technical English principles. Exceptions for code, mathematics, and identifiers. Includes the Edit checklist (preserve protected spans, revise prose, report term changes) formerly owned by
edit-technical-prose.
Catalog
Workflow selection lives in ../README.md.
Contract
This index does not use the 15-section research-skill anatomy. Workflow skills must. See prompt-contract.md.