Spaces:
Running
Running
| <html lang="en" class="no-js"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width,initial-scale=1"> | |
| <meta name="description" content="Validation intelligence for CI — failure-signature RCA, ML flaky-vs-real classification, and attested test-selection with a verifiable confidence bound."> | |
| <link rel="canonical" href="https://amitpatole.github.io/assaylab/selection/"> | |
| <link rel="prev" href="../rca/"> | |
| <link rel="next" href="../llm/"> | |
| <link rel="icon" href="../assets/images/favicon.png"> | |
| <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.7.6"> | |
| <title>Attested selection - assaylab</title> | |
| <link rel="stylesheet" href="../assets/stylesheets/main.484c7ddc.min.css"> | |
| <link rel="stylesheet" href="../assets/stylesheets/palette.ab4e12ef.min.css"> | |
| <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin> | |
| <link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Inter:300,300i,400,400i,700,700i%7CJetBrains+Mono:400,400i,700,700i&display=fallback"> | |
| <style>:root{--md-text-font:"Inter";--md-code-font:"JetBrains Mono"}</style> | |
| <link rel="stylesheet" href="../assets/_mkdocstrings.css"> | |
| <link rel="stylesheet" href="../stylesheets/extra.css"> | |
| <script>__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script> | |
| </head> | |
| <body dir="ltr" data-md-color-scheme="default" data-md-color-primary="indigo" data-md-color-accent="indigo"> | |
| <input class="md-toggle" data-md-toggle="drawer" type="checkbox" id="__drawer" autocomplete="off"> | |
| <input class="md-toggle" data-md-toggle="search" type="checkbox" id="__search" autocomplete="off"> | |
| <label class="md-overlay" for="__drawer"></label> | |
| <div data-md-component="skip"> | |
| <a href="#attested-test-selection" class="md-skip"> | |
| Skip to content | |
| </a> | |
| </div> | |
| <div data-md-component="announce"> | |
| </div> | |
| <header class="md-header md-header--shadow" data-md-component="header"> | |
| <nav class="md-header__inner md-grid" aria-label="Header"> | |
| <a href=".." title="assaylab" class="md-header__button md-logo" aria-label="assaylab" data-md-component="logo"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 0 0 3-3 3 3 0 0 0-3-3 3 3 0 0 0-3 3 3 3 0 0 0 3 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54"/></svg> | |
| </a> | |
| <label class="md-header__button md-icon" for="__drawer"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M3 6h18v2H3zm0 5h18v2H3zm0 5h18v2H3z"/></svg> | |
| </label> | |
| <div class="md-header__title" data-md-component="header-title"> | |
| <div class="md-header__ellipsis"> | |
| <div class="md-header__topic"> | |
| <span class="md-ellipsis"> | |
| assaylab | |
| </span> | |
| </div> | |
| <div class="md-header__topic" data-md-component="header-topic"> | |
| <span class="md-ellipsis"> | |
| Attested selection | |
| </span> | |
| </div> | |
| </div> | |
| </div> | |
| <label class="md-header__button md-icon" for="__search"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.52 6.52 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5"/></svg> | |
| </label> | |
| <div class="md-search" data-md-component="search" role="dialog"> | |
| <label class="md-search__overlay" for="__search"></label> | |
| <div class="md-search__inner" role="search"> | |
| <form class="md-search__form" name="search"> | |
| <input type="text" class="md-search__input" name="query" aria-label="Search" placeholder="Search" autocapitalize="off" autocorrect="off" autocomplete="off" spellcheck="false" data-md-component="search-query" required> | |
| <label class="md-search__icon md-icon" for="__search"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M9.5 3A6.5 6.5 0 0 1 16 9.5c0 1.61-.59 3.09-1.56 4.23l.27.27h.79l5 5-1.5 1.5-5-5v-.79l-.27-.27A6.52 6.52 0 0 1 9.5 16 6.5 6.5 0 0 1 3 9.5 6.5 6.5 0 0 1 9.5 3m0 2C7 5 5 7 5 9.5S7 14 9.5 14 14 12 14 9.5 12 5 9.5 5"/></svg> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11z"/></svg> | |
| </label> | |
| <nav class="md-search__options" aria-label="Search"> | |
| <button type="reset" class="md-search__icon md-icon" title="Clear" aria-label="Clear" tabindex="-1"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41 17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12z"/></svg> | |
| </button> | |
| </nav> | |
| <div class="md-search__suggest" data-md-component="search-suggest"></div> | |
| </form> | |
| <div class="md-search__output"> | |
| <div class="md-search__scrollwrap" tabindex="0" data-md-scrollfix> | |
| <div class="md-search-result" data-md-component="search-result"> | |
| <div class="md-search-result__meta"> | |
| Initializing search | |
| </div> | |
| <ol class="md-search-result__list" role="presentation"></ol> | |
| </div> | |
| </div> | |
| </div> | |
| </div> | |
| </div> | |
| <div class="md-header__source"> | |
| <a href="https://github.com/amitpatole/assaylab" title="Go to repository" class="md-source" data-md-component="source"> | |
| <div class="md-source__icon md-icon"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><!--! Font Awesome Free 7.1.0 by @fontawesome - https://fontawesome.com License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License) Copyright 2025 Fonticons, Inc.--><path d="M173.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6m-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3m44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9M252.8 8C114.1 8 8 113.3 8 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C436.2 457.8 504 362.9 504 252 504 113.3 391.5 8 252.8 8M105.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1m-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7m32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1m-11.4-14.7c-1.6 1-1.6 3.6 0 5.9s4.3 3.3 5.6 2.3c1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2"/></svg> | |
| </div> | |
| <div class="md-source__repository"> | |
| amitpatole/assaylab | |
| </div> | |
| </a> | |
| </div> | |
| </nav> | |
| </header> | |
| <div class="md-container" data-md-component="container"> | |
| <main class="md-main" data-md-component="main"> | |
| <div class="md-main__inner md-grid"> | |
| <div class="md-sidebar md-sidebar--primary" data-md-component="sidebar" data-md-type="navigation" > | |
| <div class="md-sidebar__scrollwrap"> | |
| <div class="md-sidebar__inner"> | |
| <nav class="md-nav md-nav--primary" aria-label="Navigation" data-md-level="0"> | |
| <label class="md-nav__title" for="__drawer"> | |
| <a href=".." title="assaylab" class="md-nav__button md-logo" aria-label="assaylab" data-md-component="logo"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 8a3 3 0 0 0 3-3 3 3 0 0 0-3-3 3 3 0 0 0-3 3 3 3 0 0 0 3 3m0 3.54C9.64 9.35 6.5 8 3 8v11c3.5 0 6.64 1.35 9 3.54 2.36-2.19 5.5-3.54 9-3.54V8c-3.5 0-6.64 1.35-9 3.54"/></svg> | |
| </a> | |
| assaylab | |
| </label> | |
| <div class="md-nav__source"> | |
| <a href="https://github.com/amitpatole/assaylab" title="Go to repository" class="md-source" data-md-component="source"> | |
| <div class="md-source__icon md-icon"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><!--! Font Awesome Free 7.1.0 by @fontawesome - https://fontawesome.com License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License) Copyright 2025 Fonticons, Inc.--><path d="M173.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6m-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3m44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9M252.8 8C114.1 8 8 113.3 8 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C436.2 457.8 504 362.9 504 252 504 113.3 391.5 8 252.8 8M105.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1m-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7m32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1m-11.4-14.7c-1.6 1-1.6 3.6 0 5.9s4.3 3.3 5.6 2.3c1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2"/></svg> | |
| </div> | |
| <div class="md-source__repository"> | |
| amitpatole/assaylab | |
| </div> | |
| </a> | |
| </div> | |
| <ul class="md-nav__list" data-md-scrollfix> | |
| <li class="md-nav__item"> | |
| <a href=".." class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Home | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="../quickstart/" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Quickstart | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="../rca/" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Root-cause analysis | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item md-nav__item--active"> | |
| <input class="md-nav__toggle md-toggle" type="checkbox" id="__toc"> | |
| <label class="md-nav__link md-nav__link--active" for="__toc"> | |
| <span class="md-ellipsis"> | |
| Attested selection | |
| </span> | |
| <span class="md-nav__icon md-icon"></span> | |
| </label> | |
| <a href="./" class="md-nav__link md-nav__link--active"> | |
| <span class="md-ellipsis"> | |
| Attested selection | |
| </span> | |
| </a> | |
| <nav class="md-nav md-nav--secondary" aria-label="Table of contents"> | |
| <label class="md-nav__title" for="__toc"> | |
| <span class="md-nav__icon md-icon"></span> | |
| Table of contents | |
| </label> | |
| <ul class="md-nav__list" data-md-component="toc" data-md-scrollfix> | |
| <li class="md-nav__item"> | |
| <a href="#the-confidence-bound" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| The confidence bound | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#select-attest" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Select + attest | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#verify-signature-and-reproduction" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Verify — signature and reproduction | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#security" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Security | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#honest-limits" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Honest limits | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#external-verification-ed25519" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| External verification (ed25519) | |
| </span> | |
| </a> | |
| </li> | |
| </ul> | |
| </nav> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="../llm/" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Test generation & self-healing | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="../evaluation/" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Evaluation | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="../api/" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| API | |
| </span> | |
| </a> | |
| </li> | |
| </ul> | |
| </nav> | |
| </div> | |
| </div> | |
| </div> | |
| <div class="md-sidebar md-sidebar--secondary" data-md-component="sidebar" data-md-type="toc" > | |
| <div class="md-sidebar__scrollwrap"> | |
| <div class="md-sidebar__inner"> | |
| <nav class="md-nav md-nav--secondary" aria-label="Table of contents"> | |
| <label class="md-nav__title" for="__toc"> | |
| <span class="md-nav__icon md-icon"></span> | |
| Table of contents | |
| </label> | |
| <ul class="md-nav__list" data-md-component="toc" data-md-scrollfix> | |
| <li class="md-nav__item"> | |
| <a href="#the-confidence-bound" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| The confidence bound | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#select-attest" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Select + attest | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#verify-signature-and-reproduction" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Verify — signature and reproduction | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#security" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Security | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#honest-limits" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| Honest limits | |
| </span> | |
| </a> | |
| </li> | |
| <li class="md-nav__item"> | |
| <a href="#external-verification-ed25519" class="md-nav__link"> | |
| <span class="md-ellipsis"> | |
| External verification (ed25519) | |
| </span> | |
| </a> | |
| </li> | |
| </ul> | |
| </nav> | |
| </div> | |
| </div> | |
| </div> | |
| <div class="md-content" data-md-component="content"> | |
| <article class="md-content__inner md-typeset"> | |
| <h1 id="attested-test-selection">Attested test-selection<a class="headerlink" href="#attested-test-selection" title="Permanent link">¶</a></h1> | |
| <p>This is <code>assaylab</code>'s distinctive contribution: reduce a test suite <strong>and</strong> emit a | |
| signed receipt that bounds the confidence lost — a claim a consumer can | |
| independently re-derive.</p> | |
| <h2 id="the-confidence-bound">The confidence bound<a class="headerlink" href="#the-confidence-bound" title="Permanent link">¶</a></h2> | |
| <p>Each candidate test <code>t</code> has a detection probability <code>q_t</code> — the modelled chance | |
| it fails (catches a regression) on this run, estimated from history (the P2 | |
| forecast). If we run a subset <code>S</code> and skip <code>U = All \ S</code>, the probability that | |
| <em>at least one</em> skipped test would have failed is</p> | |
| <p>$$ \varepsilon = 1 - \prod_{t \in U}(1 - q_t) $$</p> | |
| <p>under an independence assumption. <code>ε</code> is the <strong>confidence lost</strong> by skipping. | |
| Selection keeps the highest value-density tests (<code>q_t</code> per second) until either | |
| <code>ε ≤ target</code> or the time budget is spent; the achieved <code>ε</code> is always reported.</p> | |
| <h2 id="select-attest">Select + attest<a class="headerlink" href="#select-attest" title="Permanent link">¶</a></h2> | |
| <div class="highlight"><pre><span></span><code><a id="__codelineno-0-1" name="__codelineno-0-1" href="#__codelineno-0-1"></a><span class="gp">$ </span><span class="nb">export</span><span class="w"> </span><span class="nv">ASSAYLAB_SIGNING_KEY</span><span class="o">=</span><span class="k">$(</span>python<span class="w"> </span>-c<span class="w"> </span><span class="s2">"import secrets;print(secrets.token_hex(32))"</span><span class="k">)</span> | |
| <a id="__codelineno-0-2" name="__codelineno-0-2" href="#__codelineno-0-2"></a><span class="gp">$ </span>assaylab<span class="w"> </span><span class="k">select</span><span class="w"> </span>history.csv<span class="w"> </span>--target-epsilon<span class="w"> </span><span class="m">0</span>.05<span class="w"> </span>--receipt<span class="w"> </span>receipt.json | |
| <a id="__codelineno-0-3" name="__codelineno-0-3" href="#__codelineno-0-3"></a><span class="go">selected 3/43 tests speedup 9.0x confidence 1.0000 (epsilon 0.0000)</span> | |
| <a id="__codelineno-0-4" name="__codelineno-0-4" href="#__codelineno-0-4"></a><span class="go"> run: svc.Hot::t0, svc.Hot::t1, svc.Hot::t2</span> | |
| <a id="__codelineno-0-5" name="__codelineno-0-5" href="#__codelineno-0-5"></a><span class="go"> skip: svc.Cold::t0, svc.Cold::t1, svc.Cold::t10, ...</span> | |
| <a id="__codelineno-0-6" name="__codelineno-0-6" href="#__codelineno-0-6"></a><span class="go"> receipt d9f197c5e91d sig daa3bd1ae81f…</span> | |
| <a id="__codelineno-0-7" name="__codelineno-0-7" href="#__codelineno-0-7"></a><span class="go"> wrote signed receipt -> receipt.json</span> | |
| </code></pre></div> | |
| <p>Code-touched tests can be force-kept with <code>--changed a.py,b.py</code>.</p> | |
| <h2 id="verify-signature-and-reproduction">Verify — signature <em>and</em> reproduction<a class="headerlink" href="#verify-signature-and-reproduction" title="Permanent link">¶</a></h2> | |
| <p>The receipt is HMAC-SHA256 over the <strong>outcome</strong> (inputs hash, selected/skipped | |
| hashes, and the computed <code>ε</code>), so the signature binds the real result. Because | |
| selection is deterministic in its committed inputs, a consumer can also <em>recompute</em> | |
| the bound from history and confirm it reproduces:</p> | |
| <div class="highlight"><pre><span></span><code><a id="__codelineno-1-1" name="__codelineno-1-1" href="#__codelineno-1-1"></a><span class="gp">$ </span>assaylab<span class="w"> </span>verify<span class="w"> </span>receipt.json<span class="w"> </span>--against<span class="w"> </span>history.csv | |
| <a id="__codelineno-1-2" name="__codelineno-1-2" href="#__codelineno-1-2"></a><span class="go">receipt d9f197c5e91d: signature VALID (epsilon 0.0000, confidence 1.0000, selected 3/43, speedup 9.0x)</span> | |
| <a id="__codelineno-1-3" name="__codelineno-1-3" href="#__codelineno-1-3"></a><span class="go"> reproduction: OK — reproduced: selection and confidence bound are genuine</span> | |
| </code></pre></div> | |
| <p>Tamper with the receipt's <code>epsilon</code> and it fails closed — both the signature | |
| check and the reproduction reject a forged bound.</p> | |
| <h2 id="security">Security<a class="headerlink" href="#security" title="Permanent link">¶</a></h2> | |
| <ul> | |
| <li>The signing key resolves from <code>ASSAYLAB_SIGNING_KEY</code> (hex/base64/raw, ≥16 | |
| bytes) → else a persisted per-installation key at <code><config>/assaylab/signing.key</code> | |
| written <code>0600</code>. <strong>Never a hardcoded default.</strong></li> | |
| <li>Verification is constant-time (<code>hmac.compare_digest</code>).</li> | |
| </ul> | |
| <h2 id="honest-limits">Honest limits<a class="headerlink" href="#honest-limits" title="Permanent link">¶</a></h2> | |
| <p>The bound's residual assumptions — stated, not hidden:</p> | |
| <ul> | |
| <li><strong>Independence</strong> of test failures.</li> | |
| <li><strong>Stationarity</strong> of <code>q_t</code> (history predicts the next run).</li> | |
| <li>Coverage only of <strong>regression classes seen historically</strong>.</li> | |
| </ul> | |
| <h2 id="external-verification-ed25519">External verification (ed25519)<a class="headerlink" href="#external-verification-ed25519" title="Permanent link">¶</a></h2> | |
| <p>HMAC receipts are a symmetric trust domain — the verifier needs the signing key, | |
| so it could also forge. For <strong>external</strong> verification, sign asymmetrically | |
| (needs the <code>crypto</code> extra): the producer signs with a private key and publishes | |
| the public key; anyone verifies against the (trusted, out-of-band) public key | |
| without any secret.</p> | |
| <div class="highlight"><pre><span></span><code><a id="__codelineno-2-1" name="__codelineno-2-1" href="#__codelineno-2-1"></a><span class="gp">$ </span>pip<span class="w"> </span>install<span class="w"> </span><span class="s2">"assaylab[crypto]"</span> | |
| <a id="__codelineno-2-2" name="__codelineno-2-2" href="#__codelineno-2-2"></a><span class="gp">$ </span>assaylab<span class="w"> </span>pubkey<span class="w"> </span><span class="c1"># share this with verifiers</span> | |
| <a id="__codelineno-2-3" name="__codelineno-2-3" href="#__codelineno-2-3"></a><span class="go">2fb218ec0e8e3993...</span> | |
| <a id="__codelineno-2-4" name="__codelineno-2-4" href="#__codelineno-2-4"></a><span class="gp">$ </span>assaylab<span class="w"> </span><span class="k">select</span><span class="w"> </span>history.csv<span class="w"> </span>--target-epsilon<span class="w"> </span><span class="m">0</span>.05<span class="w"> </span>--alg<span class="w"> </span>ed25519<span class="w"> </span>-o<span class="w"> </span>receipt.json | |
| <a id="__codelineno-2-5" name="__codelineno-2-5" href="#__codelineno-2-5"></a><span class="gp">$ </span>assaylab<span class="w"> </span>verify<span class="w"> </span>receipt.json<span class="w"> </span>--pubkey<span class="w"> </span>2fb218ec...<span class="w"> </span>--against<span class="w"> </span>history.csv | |
| <a id="__codelineno-2-6" name="__codelineno-2-6" href="#__codelineno-2-6"></a><span class="go">receipt 9ab3d19b4dcd [ed25519]: signature VALID (...)</span> | |
| <a id="__codelineno-2-7" name="__codelineno-2-7" href="#__codelineno-2-7"></a><span class="go"> reproduction: OK — reproduced: selection and confidence bound are genuine</span> | |
| </code></pre></div> | |
| <p>The private key resolves from <code>ASSAYLAB_ED25519_PRIVATE_KEY</code> or a persisted | |
| per-install key; verifiers only ever need the public key.</p> | |
| <p><strong>Remaining residual:</strong> receipts are stateless — a valid receipt re-verifies | |
| indefinitely (no built-in freshness/replay window; enforce that consumer-side | |
| with a nonce ledger + <code>created_ts</code> max-age if you need it).</p> | |
| </article> | |
| </div> | |
| <script>var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))</script> | |
| </div> | |
| <button type="button" class="md-top md-icon" data-md-component="top" hidden> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 20h-2V8l-5.5 5.5-1.42-1.42L12 4.16l7.92 7.92-1.42 1.42L13 8z"/></svg> | |
| Back to top | |
| </button> | |
| </main> | |
| <footer class="md-footer"> | |
| <nav class="md-footer__inner md-grid" aria-label="Footer" > | |
| <a href="../rca/" class="md-footer__link md-footer__link--prev" aria-label="Previous: Root-cause analysis"> | |
| <div class="md-footer__button md-icon"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11z"/></svg> | |
| </div> | |
| <div class="md-footer__title"> | |
| <span class="md-footer__direction"> | |
| Previous | |
| </span> | |
| <div class="md-ellipsis"> | |
| Root-cause analysis | |
| </div> | |
| </div> | |
| </a> | |
| <a href="../llm/" class="md-footer__link md-footer__link--next" aria-label="Next: Test generation & self-healing"> | |
| <div class="md-footer__title"> | |
| <span class="md-footer__direction"> | |
| Next | |
| </span> | |
| <div class="md-ellipsis"> | |
| Test generation & self-healing | |
| </div> | |
| </div> | |
| <div class="md-footer__button md-icon"> | |
| <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M4 11v2h12l-5.5 5.5 1.42 1.42L19.84 12l-7.92-7.92L10.5 5.5 16 11z"/></svg> | |
| </div> | |
| </a> | |
| </nav> | |
| <div class="md-footer-meta md-typeset"> | |
| <div class="md-footer-meta__inner md-grid"> | |
| <div class="md-copyright"> | |
| <div class="md-copyright__highlight"> | |
| MIT © Amit Patole | |
| </div> | |
| Made with | |
| <a href="https://squidfunk.github.io/mkdocs-material/" target="_blank" rel="noopener"> | |
| Material for MkDocs | |
| </a> | |
| </div> | |
| </div> | |
| </div> | |
| </footer> | |
| </div> | |
| <div class="md-dialog" data-md-component="dialog"> | |
| <div class="md-dialog__inner md-typeset"></div> | |
| </div> | |
| <script id="__config" type="application/json">{"annotate": null, "base": "..", "features": ["navigation.sections", "navigation.top", "navigation.tracking", "navigation.instant", "navigation.footer", "content.code.copy", "content.code.annotate", "toc.follow", "search.suggest", "search.highlight"], "search": "../assets/javascripts/workers/search.2c215733.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}</script> | |
| <script src="../assets/javascripts/bundle.79ae519e.min.js"></script> | |
| </body> | |
| </html> |