docs(experiments): correct the equities assessment after independent review

[eaitbrahim]

Corrections to the equities decision record merged in #211, from an independent review that landed after the merge. The verdict is unchanged — keel still cannot add US equities, and the binding gate is still §71.6's screening capability. Every change here is about accuracy of evidence and internal consistency.

Feasibility only. No code changed, no adapter added, no dependency introduced.

The two that mattered

Rails 18 and 19 were inverted in the verdict table. Verified against keel/execution/guards.py: rail 18 is what actually rejects Coinbase equities — quote_currency_of returns None on a 64-char hash — and its own comment calls it "an INSTRUMENT-CLASS gate wearing a currency's clothes." Rail 19 is a grammar check that a sane adapter's AAPL-USD would pass. §5/E2 had this right; the verdict table was the sole outlier.

"Two independent refusals, each sufficient on its own" was overstated. It contradicted §7's own "the whole verdict rests on this single step," and refusal 2 is Coinbase-specific — the document concedes it "would be answered by choosing Alpaca." Only refusal 1 answers the question as posed. The verdict stands on one leg, and now says so.

Evidence-integrity corrections

• F1 — attribution, not fabrication. The decisive 2026-08-09 market-data measurements were attributed to the committed probe script, which contains no recent_trading_days, equity_trading_flags, or per-product price fields. They came from ad-hoc queries written for the fact-check. The numbers are not in doubt; their reproducibility was overclaimed. Now marked ⚠️ ad-hoc, not re-runnable — the one class of evidence a future reader cannot reproduce from the tree.
• Two withdrawals were wrong and are restored: equit occurs 150 times in the spec, and named equity error codes exist (INVALID_EQUITY_TRADING_SESSION, PREVIEW_INVALID_EQUITY_TRADING_SESSION). Both were greppable the whole time.
• A retraction retracted something true. EquityTradingSession is the real schema name; only its five value spellings were invented. Added as a fourth research-integrity rule.
• 19,188 ids hit the script's 20-page cap (probe.py:231) — termination was never established, only that the same walk now returns 47% more ids with zero drift.
• "All 1000 products" is a first-page ~5% sample of a 19,188-id universe. Qualified at all nine sites.

AAOIFI §3 corrections — these change the implementation spec

• Clause 3/19 is a regime selector, not a fourth screening ratio. Falling below 30% tangible assets does not forbid the share; it means the sarf and debt-trading rules must be observed. The Appendix says so explicitly. It was listed as a peer ratio and specced as an attestation field.
• Clauses 3/17, 3/18 and 3/20 were omitted entirely — a screen built to §3's spec would have shipped without them, including 3/18's bar on shares of a corporation whose assets are entirely debts.
• The "SS 21 contradicts itself on the 3/19 floor" claim was overstated: the footnote's numerator is "tangible and cash assets" against 3/19's "assets, benefits and rights" with cash in the denominator. Different measures. The quotation had stopped just before the words that show it.

External-source corrections

• Alpaca is not market-orders-only for notional orders — limit, stop, stop-limit and extended hours since 2024-02. This sat inside the sentence justifying the Alpaca recommendation. The real constraints are narrower: TIF must be day, 2-decimal notional cap, cannot be replaced.
• The Schwab citation described a page containing none of what it was cited for — developer.schwab.com/terms-and-conditions is a JS shell rendering no text to a fetcher. The real terms are on contentdelivery.schwab.com, 16,455 bytes, last updated 2023-02-14. The refutation survives (zero AI/ML matches), and the terms do carry an automation clause — robots and spiders, governing the website, not the API. Failing "opened at source" in the section that codifies it.
• DJIM's two retirement dates could not be confirmed at source and are now hedged to "during 2023" with the S&P DJI announcement of 2023-08-04; the 12→24-month framing was wrong causally, since DJIM moved long before 2023 and Ayub's 2007 text simply predates it.
• Schwab's "two business days" governs API product access, not app promotion; the SEO cluster is six pages, not five.

Reviewer note

create_order on an equity has still never been called, and §71.6 applied to real US shares remains an inference — both labelled prominently, in five and four places respectively. F13 was dropped as verified-correct style only; the "not read at source" hedge on the FINRA identifiers was deliberately kept.

🤖 Generated with Claude Code