fix(content): withdraw the break-even claim, correct the slippage range, sync to v0.13.3 (#137, #138, #139) - #140
Merged
Conversation
….13.3 (#139) Working-tree copy brought up to what the engine actually ships. - Get Started: seven console views become eight, with Orders -- the ledger of every order placed, each carrying the venue's own bid and ask at submission -- and a new step for `keel scope attest --trading`, the rail-20 gate that ships closed. - The comparison matrix reads 20 rails rather than 18, in all three locales: `guards.py` gained rail 20 (trade scope, #233) and rail 21 (base balance, #667), numbered 1-14 and 16-21 because rail 15 was retired and its number never reused. - Engine-docs manifest: adds `docs/architecture.md` and `docs/decisions/0004-monetisation-not-now.md`. - Regenerated web-console screenshots.
… range (#137, #138) The front page's honest-result block carried three figures that no longer describe what keel measures, and one of them its own cost model now falsifies. **The matrices were superseded.** "0 of 90 ... 0 of 82" covered THREE rule families on a flat-5bp engine. Five signal families ship at v0.13.3, and this site's own rendered changelog for that release already says 0 of 90 -> 0 of 114 -> 0 of 138 -- so the front page was understating a measurement published two clicks away. Now 0 of 120 at shipped defaults, 0 of 138 across every matrix run. **The break-even claim is withdrawn, explicitly, on the page.** We said the rules sit indistinguishably at break-even inside the venue's fee-free allowance -- a 14.9% win rate against a 14.88% break-even. That 14.88% was computed at psi=5bp, and the 09-01 per-product restatement measured that 0 of 24 assets reach that floor: the range is 1.1x to 36.8x, median near 10x. The source note's OWN sensitivity row already fails the claim at psi=10bp, a fifth of the measured median. So "at best they touch break-even inside the fee-free allowance" is not true, and neither is "the allowance rail is the profitability boundary" -- it is the boundary between decisively negative and clearly negative. It is retracted in the copy rather than quietly edited, because on this site the withdrawal is the credibility, not the number. **Fees are no longer described as the whole cost.** The block said "the taker fee is the entire result". Since #334/#335 that is not the project's own position: the cost-model error was worth 0.090 of median profit factor, larger than the best genuine improvement any rule change has produced. A third link -- "How execution is priced" -> the 09-01 restatement -- puts the new cost claims one click from the record that measured them. Every figure the copy now states is sourced from a document that is IN v0.13.3, so a reader can check it at the tag the site pins; both links resolve 200. Also fixes, on the Features page (#138): - The slippage range read "from 5 to 50 basis points". `SLIPPAGE_CAP_PCT` has been 0.01838 -- 183.8bp -- since #523, which re-derived the cap as the corpus tail; the round 50bp was the defect that change removed. Understating the ceiling by 3.7x on the page that promises "if a claim ever drifts from the code, the link is how you catch us". - The same sentence read as though the whole `keel simulate` pass is liquidity-priced. At v0.13.3 only the edge table is; the account pass and the DCA benchmark -- one of which that sentence names -- stay flat, as `simulate.py` says beside its own numbers. Now stated. - The Arabic meta description still said 18 rails while the Arabic body beside it, and every EN/FR string, said twenty. All copy changes are EN/AR/FR. This commit also carries the rails 18 -> 20 pass and the trade-scope, order-ledger and research-front-door sections for #139, because those edits were already in the working tree in the same three files and could not be split out without reconstructing them. `npm run check`: 0 errors. Build: 73 pages. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01EXz13qp1UM3pBa6BqsRqvC
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.



Closes #137. Closes #138. Closes #139.
Why
The front page's "The honest result, stated first" block carried three figures that no longer describe what keel measures — and one that keel's own cost model now falsifies.
1. The matrices were superseded (#137)
Those covered three rule families on a flat-5bp engine. Five signal families ship at
v0.13.3, and this site's own rendered changelog for that release already says0 of 90 → 0 of 114 → 0 of 138. The front page was understating a measurement published two clicks away.Now: 0 of 120 at shipped defaults, 0 of 138 across every matrix run.
2. The break-even claim is withdrawn — explicitly, on the page (#137)
That 14.88% comes from
docs/research/2026-08-20-quant-lab-note-cross-verification.md§5, computed at ψ = 5bp. The 09-01 per-product restatement measured that 0 of 24 assets reach that floor — 1.1× to 36.8×, median ≈10×. The note's own sensitivity row already fails the claim at ψ = 10bp, a fifth of the measured median.So the summary badge's "at best they touch break-even inside the venue's fee-free allowance" was not true, and neither was "the allowance rail is the profitability boundary". It is the boundary between decisively negative and clearly negative.
It is retracted in the copy rather than quietly edited. On this site the withdrawal is the credibility, not the number.
3. Fees are no longer described as the whole cost (#137)
The block said "the taker fee is the entire result". Since #334/#335 that is not the project's own position: the cost-model error was worth 0.090 of median profit factor — larger than the best genuine improvement any rule change has produced.
4. Features page drift (#138)
SLIPPAGE_CAP_PCThas been 0.01838 (183.8bp) since #523, which re-derived the cap as the corpus tail; the round 50bp was the defect that change removed. Understating the ceiling by 3.7× on the page that promises "if a claim ever drifts from the code, the link is how you catch us".keel simulatepass is liquidity-priced. At v0.13.3 only the edge table is; the account pass and the DCA benchmark (which that same sentence names) stay flat, assimulate.pystates beside its own numbers.Verifiability
Every figure the new copy states is sourced from a document that is in
v0.13.3, so a reader can check it at the tag the site pins. A third link — "How execution is priced" → the 09-01 restatement — puts the cost claims one click from the record that measured them. Both experiment links return 200.The confirming measurement (
0 of 240,p_be 20.52%) is CodeGateSoftware/keel#739. It is deliberately not cited here: it is not in a release yet, so the link would 404. Worth a follow-up to sharpen this copy once it ships in a tag.Commit structure — please read
3aed993— the v0.13.3 sync (Sync site copy to v0.13.3: rails 18 → 20, trade scope, the order ledger, eight console views #139): guides seven→eight views with Orders,keel scope attest, rails 18→20 in the comparison matrix, manifest additions, regenerated screenshots. This was already in the working tree and is not my work; it is committed separately so authorship stays legible.9a6f309— the corrections above. It also carries the rails 18→20 pass and the trade-scope / order-ledger / research-front-door sections for Sync site copy to v0.13.3: rails 18 → 20, trade scope, the order ledger, eight console views #139, because those edits were already in the tree in the same three files and could not be split out without reconstructing them.Verification
npm run check: 0 errors, 0 warnings (4 pre-existing hints in untouchednews/[page].astrofiles)npm run build: 73 pagesdist/; all three locales carry matching four-paragraph structureOne thing to check before merge
I wrote the Arabic and French copy rather than leaving
translatedFromRevstale. The retraction paragraph is delicate in both — worth a native read.🤖 Generated with Claude Code
https://claude.ai/code/session_01EXz13qp1UM3pBa6BqsRqvC