docs(decisions): sign ADR 0005 — keel does not trade options (#637)

[eaitbrahim]

Closes #637. The maintainer signed Option A; Status: decided.

What was decided, and what deliberately was not

keel does not trade options. Rail 19, the cash rail and the screen are unamended. The refusal rests on operational grounds — unexecutable at this deployment's size (F7), no rehearsal path because rail 19 runs in paper too (F5), and a venue posture that may be incompatible and would take the working equities path with it (F1).

The permissibility question is expressly not reached, and Consequences now says so in the strongest terms available:

These are reasons that would hold for a non-Muslim operator running keel on the same account. Anyone citing this record as keel's jurisprudential answer on options is citing it wrongly — trigger 3 is what would produce that answer.

Both alternatives stay in the record

Option B is not deleted. A decision record showing only the chosen branch records an outcome, not a decision — the reader two years from now needs to see what was weighed. The Decision section names B explicitly as the road not taken.

Two formatting faults caught while signing

• The signed title wrapped onto a second line, which markdown renders as an H1 plus a stray paragraph
• "What this record refuses to do" pointed at "Option A below" — a label that stopped existing the moment the verdict replaced the two branches

Both would have shipped as small lies about the document's own shape.

Checks

A script asserts every relative link resolves and that all three options remain recorded. 6,424 passed / 3 skipped.

🤖 Generated with Claude Code

https://claude.ai/code/session_01KZZxmspQXe5qJ9FAsG13s6