Processes sci-processes

Derived: every BPMN process, with its own documentation, its lanes, and the skills its activities name. Sub-graph folio-assistant-sci/processes.

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.
ArtefactWhat it declares about itself
Is AtomicMass.lean still in sync with its data table?
folio-assistant-sci/processes/content/atomic-mass-drift-check.bpmn
Check that AtomicMass.lean is still in sync with the data table it is generated from.
activities 1
lanes CI/CD Pipeline
Authoring a paper
folio-assistant-sci/processes/content/authoring-a-paper.bpmn
How a scientific paper or book folio is authored end to end, with Lean for its formal claims and LaTeX for its typesetting.
activities 9
lanes Author (person) · Work plan — beans (shared by humans and agents) · Authoring agent (system) · Lean toolchain (lean-mcp) · Build pipeline — validate · render · publish · Reviewer / SME
skills content-author, content-plan, content-publish, content-review, content-validate, latex-authoring, lean-formalization, proof-verification, todo-manager
Publish a folio's Lean render with the harness chrome
folio-assistant-sci/processes/content/lean-docs-publish.bpmn
Build the visualiser of a folio's declared lean directory — the Lake package's doc-gen4 HTML render — and put it inside the folio's built site with the harness navbar and rail.
activities 2
lanes Lean toolchain · CI/CD Pipeline
skills lean-html-docs

folio-assistant — code under the Apache License 2.0, documentation under CC BY 3.0. Generated schema and API references are rebuilt from source on every push to main.

deployed dev