<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Software-Engineering on Mulham Fetna</title>
    <link>https://mulhamfetna.com/tags/software-engineering/</link>
    <description>Recent content in Software-Engineering on Mulham Fetna</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>en</language>
    <managingEditor>contact@mulhamfetna.com (Mulham Fetna)</managingEditor>
    <webMaster>contact@mulhamfetna.com (Mulham Fetna)</webMaster>
    <copyright>© 2026 Mulham Fetna</copyright>
    <lastBuildDate>Mon, 07 Sep 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://mulhamfetna.com/tags/software-engineering/index.xml" rel="self" type="application/rss+xml" />
    
    <item>
      <title>Every number we publish is machine-verified. Here&#39;s the machinery</title>
      <link>https://mulhamfetna.com/projects/trading-strategy-finder/claims-ledger/</link>
      <pubDate>Mon, 07 Sep 2026 00:00:00 +0000</pubDate>
      <author>contact@mulhamfetna.com (Mulham Fetna)</author>
      <guid>https://mulhamfetna.com/projects/trading-strategy-finder/claims-ledger/</guid>
      <description>&lt;p&gt;The hardest problem in trading research isn&amp;rsquo;t statistics — it&amp;rsquo;s that the researcher grades their&#xA;own homework. You choose what to try, what costs to assume, when to stop, and what to show. After&#xA;three and a half months of running a research programme under that temptation, we&amp;rsquo;re convinced the&#xA;only defense that holds is &lt;strong&gt;mechanical&lt;/strong&gt;: make it impossible to publish a number that doesn&amp;rsquo;t&#xA;re-derive from evidence.&lt;/p&gt;&#xA;&lt;p&gt;This post describes the system we built and now run everything through. The full methodology paper&#xA;is at &lt;a href=&#34;https://papers.ssrn.com/sol3/papers.cfm?abstract_id=7428478;&#34;  target=&#34;_blank&#34; rel=&#34;noreferrer&#34;&gt;https://papers.ssrn.com/sol3/papers.cfm?abstract_id=7428478;&lt;/a&gt; the code is public.&lt;/p&gt;&#xA;&#xA;&lt;h2 class=&#34;relative group&#34;&gt;A claim is an object, not a sentence&#xA;    &lt;div id=&#34;a-claim-is-an-object-not-a-sentence&#34; class=&#34;anchor&#34;&gt;&lt;/div&gt;&#xA;    &#xA;    &lt;span&#xA;        class=&#34;absolute top-0 w-6 transition-opacity opacity-0 -start-6 not-prose group-hover:opacity-100 select-none&#34;&gt;&#xA;        &lt;a class=&#34;text-primary-300 dark:text-neutral-700 !no-underline&#34; href=&#34;#a-claim-is-an-object-not-a-sentence&#34; aria-label=&#34;Anchor&#34;&gt;#&lt;/a&gt;&#xA;    &lt;/span&gt;&#xA;    &#xA;&lt;/h2&gt;&#xA;&lt;p&gt;In our repository, a published number isn&amp;rsquo;t prose — it&amp;rsquo;s a registered object with required fields:&#xA;the statement with its numbers inline; the &lt;strong&gt;evidence files&lt;/strong&gt; that produced it (committed to git —&#xA;a claim whose evidence isn&amp;rsquo;t version-controlled is rejected structurally); an &lt;strong&gt;executable&#xA;re-derivation&lt;/strong&gt; compared to the published value within an explicit tolerance; &lt;strong&gt;three independent&#xA;verifications that must fail for different reasons&lt;/strong&gt;, one of which is a &lt;em&gt;falsifier&lt;/em&gt; — a test built&#xA;so that a specific way of being wrong would trip it; and a &lt;strong&gt;mandatory declared blind spot&lt;/strong&gt;,&#xA;because &amp;ldquo;verified, with no stated limitation&amp;rdquo; is itself a defect.&lt;/p&gt;</description>
      <media:content xmlns:media="http://search.yahoo.com/mrss/" url="https://mulhamfetna.com/projects/trading-strategy-finder/claims-ledger/featured.png" />
    </item>
    
  </channel>
</rss>
