Roles folio-assistant-sci-scenarios
Derived: every role a declared `scenarios` graph defines, with the description it declares. Sub-graph folio-assistant-sci/scenarios.
This is an index, not the documentation. It says what exists and what each
artefact declares about itself. What a process is for, when you would be in it, and
what it is not, is authored beside it and reuses these entries rather than restating them —
see the
auto-docs skill.
- folio-assistant-core-scenarios folio-assistant-core/scenarios 3
- folio-assistant-sci-scenarios folio-assistant-sci/scenarios 3
- scenarios cat-harness/scenarios 47
- smart-base-scenarios smart-base/scenarios 1
| Artefact | What it declares about itself |
|---|---|
Compute authoring agentfolio-assistant-sci/scenarios/roles.json#compute-authoring-agent | Writes and audits the computation scripts and simulators that produce witnessed values, and keeps the paper's numbers and its computations from drifting apart. |
Lean authoring agentfolio-assistant-sci/scenarios/roles.json#lean-authoring-agent | Writes and repairs the Lean 4 formalization — translating narrative mathematics into declarations, keeping the build green, and curating what is staged for upstream. |
Proof review agentfolio-assistant-sci/scenarios/roles.json#proof-review-agent | Reviews proofs — narrative and formal — for gaps, vacuity, redundancy and divergence between the two renderings of the same claim. |