docs: RESOURCES.md — add dispatch mechanism, formula inventory, and constraints

Planner needs to know HOW to use resources, not just that they exist.
Adds action dispatch instructions, lists all available formulas, and
documents the port 8545 constraint for concurrent formula runs.

Supports disinto #544 (planner formula dispatch awareness).

RESOURCES.md

@@ -6,6 +6,8 @@
 - agents: dev, review, action, gardener, supervisor, planner, predictor
 - ram: 8GB
 - note: dedicated to harb — all agent and formula workloads run here
+- dispatch: file an issue with the `action` label. The action-poll picks it up and runs the referenced formula. See `formulas/*.toml` in this repo for available formulas.
+- constraint: only one formula can run at a time (port 8545 shared by red-team, evolution, holdout, user-test). Dev agents run concurrently with formulas.
 
 ## codeberg-johba
 - type: source-control
@@ -29,3 +31,12 @@
 - capability: Base L2 mainnet access for on-chain queries, event logs, pool data
 - env: INFURA_API_KEY
 - note: used by evidence formulas (red-team, evolution)
+
+## Available formulas (this repo)
+- run-red-team.toml — adversarial attack suite against the optimizer
+- run-evolution.toml — Push3 evolution pipeline, mutate and select optimizer candidates
+- run-holdout.toml — holdout evaluation of evolved candidates
+- run-user-test.toml — simulated user interaction testing
+- run-resources.toml — collect disk/RAM/API usage metrics
+- run-protocol.toml — query on-chain protocol health (TVL, fees, positions)
+- dispatch: create an issue with `action` label, body references the formula name