npm - @pyric/cli - Versions diffs - 0.1.0-alpha.9 - Mend

@pyric/cli 0.1.0-alpha.9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1169) hide show

package/dist/serve/docs-ui/docs/pyric-cli-assurance-reference-api/index.html ADDED Viewed

@@ -0,0 +1,2355 @@
+<!DOCTYPE html><html lang="en"> <head><meta charset="UTF-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><title>API reference: @pyric/cli/assurance · Pyric Studio</title><meta name="description" content="Published declarations for @pyric/cli/assurance."><link rel="preconnect" href="https://fonts.googleapis.com"><link rel="preconnect" href="https://fonts.gstatic.com" crossorigin><link href="https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=JetBrains+Mono:wght@400;500;700&display=swap" rel="stylesheet"><link rel="stylesheet" href="/__pyric/ui/_astro/_slug_.CQYSemvw.css"></head> <body>  <header class="studio__bar"> <div class="studio__bar-inner"> <a class="studio__brand" href="/__pyric/ui/" aria-label="Pyric Studio">Pyric</a> <nav class="studio__nav" aria-label="Studio tabs"> <a class="studio__nav-tab" href="/__pyric/ui/"> Home </a><a class="studio__nav-tab" href="/__pyric/ui/firestore"> Firestore </a><a class="studio__nav-tab" href="/__pyric/ui/auth"> Auth </a><a class="studio__nav-tab" href="/__pyric/ui/rtdb"> RTDB </a><a class="studio__nav-tab" href="/__pyric/ui/storage"> Storage </a><a class="studio__nav-tab" href="/__pyric/ui/traffic"> Traffic </a><a class="studio__nav-tab" href="/__pyric/ui/settings"> Settings </a><a class="studio__nav-tab" href="/__pyric/ui/docs" aria-current="page"> Docs </a> </nav> </div> </header> <div class="docs-shell">  <details class="docs-nav-drawer"> <summary>Navigate</summary> <nav class="docs-nav" aria-label="Documentation"> <div class="docs-search" data-index-url="/__pyric/ui/docs/index.json"> <div class="docs-search-field"> <svg class="docs-search-icon" viewBox="0 0 16 16" width="14" height="14" aria-hidden="true"> <path d="M11.5 11.5 15 15M13 7A6 6 0 1 1 1 7a6 6 0 0 1 12 0Z" fill="none" stroke="currentColor" stroke-width="1.4" stroke-linecap="round"></path> </svg> <input type="text" class="docs-search-input" placeholder="Search docs" aria-label="Search docs" autocomplete="off" spellcheck="false"> <kbd class="docs-search-kbd">⌘K</kbd> </div> <ul class="docs-search-results" hidden></ul> </div> <script type="module">let i=null;function d(t){return i||(i=fetch(t).then(e=>e.json())),i}function l(t,e){return t.title.toLowerCase().includes(e)||t.excerpt.toLowerCase().includes(e)?!0:t.headings.some(r=>r.text.toLowerCase().includes(e))}function u(t,e,r){if(e.innerHTML="",t.length===0){e.hidden=!1;{const n=document.createElement("li");n.className="docs-search-empty",n.textContent="No matches",e.appendChild(n)}return}e.hidden=!1;for(const n of t.slice(0,8)){const s=document.createElement("li"),c=document.createElement("a");c.href=n.path;const o=document.createElement("span");o.className="docs-search-result-title",o.textContent=n.title;const a=document.createElement("span");a.className="docs-search-result-meta",a.textContent=[n.group,n.section].filter(Boolean).join(" / "),c.append(o,a),s.appendChild(c),e.appendChild(s)}}document.querySelectorAll(".docs-search").forEach(t=>{const e=t.dataset.indexUrl,r=t.querySelector(".docs-search-input"),n=t.querySelector(".docs-search-results");r.addEventListener("input",async()=>{const s=r.value.trim().toLowerCase();if(!s){n.hidden=!0,n.innerHTML="";return}const{pages:c}=await d(e);r.value.trim().toLowerCase()===s&&u(c.filter(o=>l(o,s)),n)}),r.addEventListener("focus",()=>{d(e),n.childElementCount>0&&(n.hidden=!1)}),r.addEventListener("keydown",s=>{s.key==="Escape"&&(r.value="",n.hidden=!0,n.innerHTML="",r.blur())}),r.addEventListener("blur",()=>{window.setTimeout(()=>{n.hidden=!0},150)})});document.addEventListener("keydown",t=>{if(!(t.metaKey||t.ctrlKey)||t.key.toLowerCase()!=="k")return;const e=[...document.querySelectorAll(".docs-search-input")].find(r=>r.offsetParent!==null);e&&(t.preventDefault(),e.focus(),e.select())});</script> <a class="docs-nav-toplink" href="/__pyric/ui/docs/overview/"> Overview </a><details class="docs-nav-group"> <summary>Run locally</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/start-building/"> Quickstart </a> </li><li> <a href="/__pyric/ui/docs/how-the-swap-works/"> How the swap works </a> </li><li> <a href="/__pyric/ui/docs/set-up-your-agent/"> Connect an agent </a> </li><li> <a href="/__pyric/ui/docs/test-in-node/"> Test in Node </a> </li> </ul> </div> </div> </details><details class="docs-nav-group"> <summary>Develop with Firebase APIs</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/sign-in-and-manage-users/"> Sign in and manage users </a> </li><li> <a href="/__pyric/ui/docs/store-and-query-data/"> Store and query data </a> </li><li> <a href="/__pyric/ui/docs/sync-realtime-data/"> Sync realtime data </a> </li><li> <a href="/__pyric/ui/docs/store-files/"> Store files </a> </li><li> <a href="/__pyric/ui/docs/receive-messages/"> Receive messages </a> </li><li> <a href="/__pyric/ui/docs/run-ai-logic-locally/"> Run AI Logic locally </a> </li><li> <a href="/__pyric/ui/docs/pyric-cli-how-to-run-rtdb-onvaluecreated/"> Run an RTDB function locally </a> </li><li> <a href="/__pyric/ui/docs/which-data-service/"> Which data service? </a> </li> </ul> </div> </div> </details><details class="docs-nav-group"> <summary>Inspect and correct</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section"> <h2 class="docs-nav-heading"> Inspect the sandbox </h2> <ul> <li> <a href="/__pyric/ui/docs/see-whats-happening/"> Traffic &amp; rule verdicts </a> </li><li> <a href="/__pyric/ui/docs/read-a-denial/"> Read a denial and understand it </a> </li><li> <a href="/__pyric/ui/docs/shape-your-data/"> Seed, snapshot, replay </a> </li><li> <a href="/__pyric/ui/docs/watch-and-review/"> Review agent activity </a> </li> </ul> </div><div class="docs-nav-section"> <h2 class="docs-nav-heading"> Correct Security Rules </h2> <ul> <li> <a href="/__pyric/ui/docs/secure-it-with-rules/"> Security Rules </a> </li><li> <a href="/__pyric/ui/docs/simulate-and-lint/"> Simulate and lint before you deploy </a> </li><li> <a href="/__pyric/ui/docs/rules-patterns/"> Rules patterns </a> </li><li> <a href="/__pyric/ui/docs/rules-standard-library/"> The rules standard library </a> </li><li> <a href="/__pyric/ui/docs/rtdb-rules-in-typescript/"> RTDB rules in TypeScript </a> </li><li> <a href="/__pyric/ui/docs/firestore-rules-limits/"> Rules limits </a> </li><li> <a href="/__pyric/ui/docs/whats-possible/"> Case studies </a> </li> </ul> </div><div class="docs-nav-section"> <h2 class="docs-nav-heading"> Work with an agent </h2> <ul> <li> <a href="/__pyric/ui/docs/what-your-agent-can-do/"> Work through an agent </a> </li><li> <a href="/__pyric/ui/docs/skills/"> Agent skills </a> </li> </ul> </div> </div> </details><details class="docs-nav-group"> <summary>Verify the boundary</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/pyric-cli-how-to-verify-against-a-captured-session/"> Verify a captured session </a> </li><li> <a href="/__pyric/ui/docs/write-a-rules-test-suite/"> Write a rules test suite </a> </li><li> <a href="/__pyric/ui/docs/audit-your-rules/"> Audit rules and data </a> </li> </ul> </div> </div> </details><details class="docs-nav-group"> <summary>Ship unchanged</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/ship-to-production/"> Ship to production </a> </li><li> <a href="/__pyric/ui/docs/set-up-the-project/"> Set up the Firebase project </a> </li> </ul> </div> </div> </details><details class="docs-nav-group"> <summary>Conformance</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/how-we-know-it-matches-firebase/"> Conformance </a> </li><li> <a href="/__pyric/ui/docs/whats-experimental/"> What&#39;s experimental </a> </li><li> <a href="/__pyric/ui/docs/pyric-conformance-scores/"> Conformance scores </a> </li><li> <a href="/__pyric/ui/docs/pyric-app-compat/"> App </a> </li><li> <a href="/__pyric/ui/docs/pyric-firestore-compat/"> Firestore </a> </li><li> <a href="/__pyric/ui/docs/pyric-auth-compat/"> Auth </a> </li><li> <a href="/__pyric/ui/docs/pyric-database-compat/"> Realtime Database </a> </li><li> <a href="/__pyric/ui/docs/pyric-storage-compat/"> Storage </a> </li><li> <a href="/__pyric/ui/docs/pyric-rules-compat/"> Rules </a> </li><li> <a href="/__pyric/ui/docs/pyric-messaging-compat/"> Messaging </a> </li><li> <a href="/__pyric/ui/docs/pyric-ai-compat/"> AI Logic </a> </li><li> <a href="/__pyric/ui/docs/pyric-cli-functions-rtdb-compat/"> Functions · RTDB </a> </li> </ul> </div> </div> </details> <details class="docs-nav-group" open> <summary>Reference</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section"> <ul> <li> <a href="/__pyric/ui/docs/pyric-cli/"> @pyric/cli </a> </li><li> <a href="/__pyric/ui/docs/pyric-explanation-versioning-and-compatibility/"> pyric </a> </li><li> <a href="/__pyric/ui/docs/pyric-firestore/"> pyric / firestore </a> </li><li> <a href="/__pyric/ui/docs/pyric-rules/"> pyric / rules </a> </li><li> <a href="/__pyric/ui/docs/pyric-sandbox/"> pyric / sandbox </a> </li><li> <a href="/__pyric/ui/docs/pyric-storage/"> pyric / storage </a> </li><li> <a href="/__pyric/ui/docs/pyric-auth/"> pyric / auth </a> </li><li> <a href="/__pyric/ui/docs/pyric-database/"> pyric / database </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-app/"> pyric-admin / app </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-firestore/"> pyric-admin / firestore </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-auth/"> pyric-admin / auth </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-database/"> pyric-admin / database </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-storage/"> pyric-admin / storage </a> </li><li> <a href="/__pyric/ui/docs/ui/"> @pyric/ui </a> </li><li> <a href="/__pyric/ui/docs/api-reference/" aria-current="true"> API reference </a> </li> </ul> </div> </div> </details> </nav> </details> <nav class="docs-nav" aria-label="Documentation"> <div class="docs-search" data-index-url="/__pyric/ui/docs/index.json"> <div class="docs-search-field"> <svg class="docs-search-icon" viewBox="0 0 16 16" width="14" height="14" aria-hidden="true"> <path d="M11.5 11.5 15 15M13 7A6 6 0 1 1 1 7a6 6 0 0 1 12 0Z" fill="none" stroke="currentColor" stroke-width="1.4" stroke-linecap="round"></path> </svg> <input type="text" class="docs-search-input" placeholder="Search docs" aria-label="Search docs" autocomplete="off" spellcheck="false"> <kbd class="docs-search-kbd">⌘K</kbd> </div> <ul class="docs-search-results" hidden></ul> </div>  <a class="docs-nav-toplink" href="/__pyric/ui/docs/overview/" id="nav-group-overview"> Overview </a><details class="docs-nav-group" id="nav-group-run-locally"> <summary>Run locally</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/start-building/"> Quickstart </a> </li><li> <a href="/__pyric/ui/docs/how-the-swap-works/"> How the swap works </a> </li><li> <a href="/__pyric/ui/docs/set-up-your-agent/"> Connect an agent </a> </li><li> <a href="/__pyric/ui/docs/test-in-node/"> Test in Node </a> </li> </ul> </div> </div> </details><details class="docs-nav-group" id="nav-group-develop-with-firebase-apis"> <summary>Develop with Firebase APIs</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/sign-in-and-manage-users/"> Sign in and manage users </a> </li><li> <a href="/__pyric/ui/docs/store-and-query-data/"> Store and query data </a> </li><li> <a href="/__pyric/ui/docs/sync-realtime-data/"> Sync realtime data </a> </li><li> <a href="/__pyric/ui/docs/store-files/"> Store files </a> </li><li> <a href="/__pyric/ui/docs/receive-messages/"> Receive messages </a> </li><li> <a href="/__pyric/ui/docs/run-ai-logic-locally/"> Run AI Logic locally </a> </li><li> <a href="/__pyric/ui/docs/pyric-cli-how-to-run-rtdb-onvaluecreated/"> Run an RTDB function locally </a> </li><li> <a href="/__pyric/ui/docs/which-data-service/"> Which data service? </a> </li> </ul> </div> </div> </details><details class="docs-nav-group" id="nav-group-inspect-and-correct"> <summary>Inspect and correct</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section"> <h2 class="docs-nav-heading" id="nav-section-inspect-and-correct-inspect-the-sandbox"> Inspect the sandbox </h2> <ul> <li> <a href="/__pyric/ui/docs/see-whats-happening/"> Traffic &amp; rule verdicts </a> </li><li> <a href="/__pyric/ui/docs/read-a-denial/"> Read a denial and understand it </a> </li><li> <a href="/__pyric/ui/docs/shape-your-data/"> Seed, snapshot, replay </a> </li><li> <a href="/__pyric/ui/docs/watch-and-review/"> Review agent activity </a> </li> </ul> </div><div class="docs-nav-section"> <h2 class="docs-nav-heading" id="nav-section-inspect-and-correct-correct-security-rules"> Correct Security Rules </h2> <ul> <li> <a href="/__pyric/ui/docs/secure-it-with-rules/"> Security Rules </a> </li><li> <a href="/__pyric/ui/docs/simulate-and-lint/"> Simulate and lint before you deploy </a> </li><li> <a href="/__pyric/ui/docs/rules-patterns/"> Rules patterns </a> </li><li> <a href="/__pyric/ui/docs/rules-standard-library/"> The rules standard library </a> </li><li> <a href="/__pyric/ui/docs/rtdb-rules-in-typescript/"> RTDB rules in TypeScript </a> </li><li> <a href="/__pyric/ui/docs/firestore-rules-limits/"> Rules limits </a> </li><li> <a href="/__pyric/ui/docs/whats-possible/"> Case studies </a> </li> </ul> </div><div class="docs-nav-section"> <h2 class="docs-nav-heading" id="nav-section-inspect-and-correct-work-with-an-agent"> Work with an agent </h2> <ul> <li> <a href="/__pyric/ui/docs/what-your-agent-can-do/"> Work through an agent </a> </li><li> <a href="/__pyric/ui/docs/skills/"> Agent skills </a> </li> </ul> </div> </div> </details><details class="docs-nav-group" id="nav-group-verify-the-boundary"> <summary>Verify the boundary</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/pyric-cli-how-to-verify-against-a-captured-session/"> Verify a captured session </a> </li><li> <a href="/__pyric/ui/docs/write-a-rules-test-suite/"> Write a rules test suite </a> </li><li> <a href="/__pyric/ui/docs/audit-your-rules/"> Audit rules and data </a> </li> </ul> </div> </div> </details><details class="docs-nav-group" id="nav-group-ship-unchanged"> <summary>Ship unchanged</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/ship-to-production/"> Ship to production </a> </li><li> <a href="/__pyric/ui/docs/set-up-the-project/"> Set up the Firebase project </a> </li> </ul> </div> </div> </details><details class="docs-nav-group" id="nav-group-conformance"> <summary>Conformance</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section">  <ul> <li> <a href="/__pyric/ui/docs/how-we-know-it-matches-firebase/"> Conformance </a> </li><li> <a href="/__pyric/ui/docs/whats-experimental/"> What&#39;s experimental </a> </li><li> <a href="/__pyric/ui/docs/pyric-conformance-scores/"> Conformance scores </a> </li><li> <a href="/__pyric/ui/docs/pyric-app-compat/"> App </a> </li><li> <a href="/__pyric/ui/docs/pyric-firestore-compat/"> Firestore </a> </li><li> <a href="/__pyric/ui/docs/pyric-auth-compat/"> Auth </a> </li><li> <a href="/__pyric/ui/docs/pyric-database-compat/"> Realtime Database </a> </li><li> <a href="/__pyric/ui/docs/pyric-storage-compat/"> Storage </a> </li><li> <a href="/__pyric/ui/docs/pyric-rules-compat/"> Rules </a> </li><li> <a href="/__pyric/ui/docs/pyric-messaging-compat/"> Messaging </a> </li><li> <a href="/__pyric/ui/docs/pyric-ai-compat/"> AI Logic </a> </li><li> <a href="/__pyric/ui/docs/pyric-cli-functions-rtdb-compat/"> Functions · RTDB </a> </li> </ul> </div> </div> </details> <details class="docs-nav-group" id="nav-group-reference" open> <summary>Reference</summary> <div class="docs-nav-group-body"> <div class="docs-nav-section"> <ul> <li> <a href="/__pyric/ui/docs/pyric-cli/"> @pyric/cli </a> </li><li> <a href="/__pyric/ui/docs/pyric-explanation-versioning-and-compatibility/"> pyric </a> </li><li> <a href="/__pyric/ui/docs/pyric-firestore/"> pyric / firestore </a> </li><li> <a href="/__pyric/ui/docs/pyric-rules/"> pyric / rules </a> </li><li> <a href="/__pyric/ui/docs/pyric-sandbox/"> pyric / sandbox </a> </li><li> <a href="/__pyric/ui/docs/pyric-storage/"> pyric / storage </a> </li><li> <a href="/__pyric/ui/docs/pyric-auth/"> pyric / auth </a> </li><li> <a href="/__pyric/ui/docs/pyric-database/"> pyric / database </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-app/"> pyric-admin / app </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-firestore/"> pyric-admin / firestore </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-auth/"> pyric-admin / auth </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-database/"> pyric-admin / database </a> </li><li> <a href="/__pyric/ui/docs/pyric-admin-storage/"> pyric-admin / storage </a> </li><li> <a href="/__pyric/ui/docs/ui/"> @pyric/ui </a> </li><li> <a href="/__pyric/ui/docs/api-reference/" aria-current="true"> API reference </a> </li> </ul> </div> </div> </details> </nav> <main class="doc-main"> <nav class="docs-breadcrumbs" aria-label="Breadcrumb"> <ol> <li>  <a href="/__pyric/ui/docs/api-reference/">API reference</a> </li><li> <span class="docs-breadcrumbs-sep" aria-hidden="true">/</span> <span>@pyric/cli</span> </li><li> <span class="docs-breadcrumbs-sep" aria-hidden="true">/</span> <span aria-current="page">@pyric/cli/assurance</span> </li> </ol> </nav> <header class="api-reference-header"> <p class="api-reference-kicker">API reference</p> <h1><code>@pyric/cli/assurance</code></h1> <p class="api-reference-meta"> 67 published symbols from <code>@pyric/cli</code> </p> <p class="api-reference-source">
+Generated from the TypeScript declarations shipped at this import path.
+</p>  </header> <article class="prose api-reference-body">  <!-- Generated from published package declarations via TypeDoc. Do not edit by hand; run bun run docs:api:generate. -->
+<h2 id="classes">Classes</h2>
+<p><a id="assurancecampaignstore"></a></p>
+<h3 id="assurancecampaignstore">AssuranceCampaignStore</h3>
+<h4 id="constructors">Constructors</h4>
+<p><a id="constructor"></a></p>
+<h5 id="constructor">Constructor</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">new</span><span style="color:#61AFEF"> AssuranceCampaignStore</span><span style="color:#ABB2BF">(): </span><span style="color:#E06C75">AssuranceCampaignStore</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="returns">Returns</h6>
+<p><a href="#assurancecampaignstore"><code>AssuranceCampaignStore</code></a></p>
+<h4 id="methods">Methods</h4>
+<p><a id="create"></a></p>
+<h5 id="create">create()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">create</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">campaign</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">AuthorizationCampaign</span><span style="color:#ABB2BF">): </span><span style="color:#C678DD">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>campaign</code></td><td align="left"><a href="#authorizationcampaign"><code>AuthorizationCampaign</code></a></td></tr></tbody></table></div>
+<h6 id="returns-1">Returns</h6>
+<p><code>void</code></p>
+<p><a id="get"></a></p>
+<h5 id="get">get()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">get</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">id</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AuthorizationCampaign</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-1">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>id</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h6 id="returns-2">Returns</h6>
+<p><a href="#authorizationcampaign"><code>AuthorizationCampaign</code></a></p>
+<p><a id="publish"></a></p>
+<h5 id="publish">publish()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">publish</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">campaign</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">AuthorizationCampaign</span><span style="color:#ABB2BF">): </span><span style="color:#C678DD">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-2">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>campaign</code></td><td align="left"><a href="#authorizationcampaign"><code>AuthorizationCampaign</code></a></td></tr></tbody></table></div>
+<h6 id="returns-3">Returns</h6>
+<p><code>void</code></p>
+<p><a id="subscribe"></a></p>
+<h5 id="subscribe">subscribe()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">subscribe</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">listener</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">campaign</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">AssuranceVisualizationSnapshot</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#C678DD"> void</span><span style="color:#ABB2BF">): () </span><span style="color:#C678DD">=></span><span style="color:#C678DD"> void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-3">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>listener</code></td><td align="left">(<code>campaign</code>: <a href="#assurancevisualizationsnapshot"><code>AssuranceVisualizationSnapshot</code></a>) => <code>void</code></td></tr></tbody></table></div>
+<h6 id="returns-4">Returns</h6>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#ABB2BF">(): </span><span style="color:#E5C07B">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="returns-5">Returns</h6>
+<p><code>void</code></p>
+<hr>
+<p><a id="assuranceinputerror"></a></p>
+<h3 id="assuranceinputerror">AssuranceInputError</h3>
+<h4 id="extends">Extends</h4>
+<ul>
+<li><code>Error</code></li>
+</ul>
+<h4 id="constructors-1">Constructors</h4>
+<p><a id="constructor-1"></a></p>
+<h5 id="constructor-1">Constructor</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">new</span><span style="color:#61AFEF"> AssuranceInputError</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">message</span><span style="color:#C678DD">?:</span><span style="color:#E06C75"> string</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AssuranceInputError</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-4">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>message?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h6 id="returns-6">Returns</h6>
+<p><a href="#assuranceinputerror"><code>AssuranceInputError</code></a></p>
+<h6 id="inherited-from">Inherited from</h6>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#E5C07B">Error</span><span style="color:#ABB2BF">.</span><span style="color:#E06C75">constructor</span></span></code></pre>
+<h5 id="constructor-2">Constructor</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">new</span><span style="color:#61AFEF"> AssuranceInputError</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">message</span><span style="color:#C678DD">?:</span><span style="color:#E06C75"> string</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75">options</span><span style="color:#C678DD">?:</span><span style="color:#E06C75"> ErrorOptions</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AssuranceInputError</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-5">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>message?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>options?</code></td><td align="left"><code>ErrorOptions</code></td></tr></tbody></table></div>
+<h6 id="returns-7">Returns</h6>
+<p><a href="#assuranceinputerror"><code>AssuranceInputError</code></a></p>
+<h6 id="inherited-from-1">Inherited from</h6>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#E5C07B">Error</span><span style="color:#ABB2BF">.</span><span style="color:#E06C75">constructor</span></span></code></pre>
+<h4 id="properties">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Modifier</th><th align="left">Type</th><th align="left">Default value</th></tr></thead><tbody><tr><td align="left"><a id="code"></a> <code>code</code></td><td align="left"><code>readonly</code></td><td align="left"><code>"ASSURANCE_INVALID_INPUT"</code></td><td align="left"><code>"ASSURANCE_INVALID_INPUT"</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="authorizationcampaign"></a></p>
+<h3 id="authorizationcampaign">AuthorizationCampaign</h3>
+<h4 id="constructors-2">Constructors</h4>
+<p><a id="constructor-2"></a></p>
+<h5 id="constructor-3">Constructor</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">new</span><span style="color:#61AFEF"> AuthorizationCampaign</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">options</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">CreateAuthorizationCampaignOptions</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AuthorizationCampaign</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-6">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>options</code></td><td align="left"><a href="#createauthorizationcampaignoptions"><code>CreateAuthorizationCampaignOptions</code></a></td></tr></tbody></table></div>
+<h6 id="returns-8">Returns</h6>
+<p><a href="#authorizationcampaign"><code>AuthorizationCampaign</code></a></p>
+<h4 id="properties-1">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Modifier</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="context"></a> <code>context</code></td><td align="left"><code>readonly</code></td><td align="left"><a href="#assurancecampaigncontext"><code>AssuranceCampaignContext</code></a></td></tr><tr><td align="left"><a id="id"></a> <code>id</code></td><td align="left"><code>readonly</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="maxruns"></a> <code>maxRuns</code></td><td align="left"><code>readonly</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="target"></a> <code>target</code></td><td align="left"><code>readonly</code></td><td align="left"><a href="#localfirebasetarget"><code>LocalFirebaseTarget</code></a></td></tr></tbody></table></div>
+<h4 id="accessors">Accessors</h4>
+<p><a id="observations"></a></p>
+<h5 id="observations">observations</h5>
+<h6 id="get-signature">Get Signature</h6>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#E06C75">get</span><span style="color:#61AFEF"> observations</span><span style="color:#ABB2BF">(): </span><span style="color:#E06C75">AssuranceObservation</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<h6 id="returns-9">Returns</h6>
+<p><a href="#assuranceobservation"><code>AssuranceObservation</code></a>[]</p>
+<p><a id="report"></a></p>
+<h5 id="report">report</h5>
+<h6 id="get-signature-1">Get Signature</h6>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#E06C75">get</span><span style="color:#61AFEF"> report</span><span style="color:#ABB2BF">(): </span><span style="color:#E06C75">AuthorizationCampaignReport</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="returns-10">Returns</h6>
+<p><a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a></p>
+<h4 id="methods-1">Methods</h4>
+<p><a id="addactor"></a></p>
+<h5 id="addactor">addActor()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">addActor</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">actor</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">AssuranceActor</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AssuranceActor</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-7">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>actor</code></td><td align="left"><a href="#assuranceactor"><code>AssuranceActor</code></a></td></tr></tbody></table></div>
+<h6 id="returns-11">Returns</h6>
+<p><a href="#assuranceactor"><code>AssuranceActor</code></a></p>
+<p><a id="addinvariant"></a></p>
+<h5 id="addinvariant">addInvariant()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">addInvariant</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">invariant</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">SecurityInvariant</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">SecurityInvariant</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-8">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>invariant</code></td><td align="left"><a href="#securityinvariant"><code>SecurityInvariant</code></a></td></tr></tbody></table></div>
+<h6 id="returns-12">Returns</h6>
+<p><a href="#securityinvariant"><code>SecurityInvariant</code></a></p>
+<p><a id="addobservation"></a></p>
+<h5 id="addobservation">addObservation()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">addObservation</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">observation</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">AssuranceObservation</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AssuranceObservation</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-9">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>observation</code></td><td align="left"><a href="#assuranceobservation"><code>AssuranceObservation</code></a></td></tr></tbody></table></div>
+<h6 id="returns-13">Returns</h6>
+<p><a href="#assuranceobservation"><code>AssuranceObservation</code></a></p>
+<p><a id="addprobe"></a></p>
+<h5 id="addprobe">addProbe()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">addProbe</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">probe</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">AssuranceProbe</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AssuranceProbe</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-10">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>probe</code></td><td align="left"><a href="#assuranceprobe"><code>AssuranceProbe</code></a></td></tr></tbody></table></div>
+<h6 id="returns-14">Returns</h6>
+<p><a href="#assuranceprobe"><code>AssuranceProbe</code></a></p>
+<p><a id="export"></a></p>
+<h5 id="export">export()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">export</span><span style="color:#ABB2BF">(): </span><span style="color:#E5C07B">CampaignExport</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="returns-15">Returns</h6>
+<p><a href="#campaignexport"><code>CampaignExport</code></a></p>
+<p><a id="exportsecuritycases"></a></p>
+<h5 id="exportsecuritycases">exportSecurityCases()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">exportSecurityCases</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">options</span><span style="color:#C678DD">?:</span><span style="color:#ABB2BF"> {</span></span>
+<span class="line"><span style="color:#ABB2BF">  includeCandidates?: </span><span style="color:#E06C75">boolean</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#ABB2BF">}): </span><span style="color:#E06C75">SecurityCase</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<h6 id="parameters-11">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>options?</code></td><td align="left">{ <code>includeCandidates?</code>: <code>boolean</code>; }</td></tr><tr><td align="left"><code>options.includeCandidates?</code></td><td align="left"><code>boolean</code></td></tr></tbody></table></div>
+<h6 id="returns-16">Returns</h6>
+<p><a href="#securitycase"><code>SecurityCase</code></a>[]</p>
+<p><a id="inspect"></a></p>
+<h5 id="inspect">inspect()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">inspect</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">probeId</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AssuranceProbeResult</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-12">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>probeId</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h6 id="returns-17">Returns</h6>
+<p><a href="#assuranceproberesult"><code>AssuranceProbeResult</code></a></p>
+<p><a id="minimize"></a></p>
+<h5 id="minimize">minimize()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">minimize</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">probeId</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">Promise</span><span style="color:#56B6C2">&#x3C;</span><span style="color:#E06C75">MinimizationResult</span><span style="color:#56B6C2">></span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-13">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>probeId</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h6 id="returns-18">Returns</h6>
+<p><code>Promise</code>&#x3C;<a href="#minimizationresult"><code>MinimizationResult</code></a>></p>
+<p><a id="propose"></a></p>
+<h5 id="propose">propose()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">propose</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">input</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">ProposalInput</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">AssuranceProbe</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<h6 id="parameters-14">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>input</code></td><td align="left"><a href="#proposalinput"><code>ProposalInput</code></a></td></tr></tbody></table></div>
+<h6 id="returns-19">Returns</h6>
+<p><a href="#assuranceprobe"><code>AssuranceProbe</code></a>[]</p>
+<p><a id="run"></a></p>
+<h5 id="run">run()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">run</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">probeIds</span><span style="color:#C678DD">?:</span><span style="color:#E06C75"> string</span><span style="color:#ABB2BF">[]): </span><span style="color:#E5C07B">Promise</span><span style="color:#56B6C2">&#x3C;</span><span style="color:#E06C75">AuthorizationCampaignReport</span><span style="color:#56B6C2">></span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-15">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>probeIds?</code></td><td align="left"><code>string</code>[]</td></tr></tbody></table></div>
+<h6 id="returns-20">Returns</h6>
+<p><code>Promise</code>&#x3C;<a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a>></p>
+<p><a id="spec"></a></p>
+<h5 id="spec">spec()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">spec</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">probeIds</span><span style="color:#C678DD">?:</span><span style="color:#E06C75"> string</span><span style="color:#ABB2BF">[]): </span><span style="color:#E06C75">AuthorizationCampaignSpec</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-16">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>probeIds?</code></td><td align="left"><code>string</code>[]</td></tr></tbody></table></div>
+<h6 id="returns-21">Returns</h6>
+<p><a href="#authorizationcampaignspec-2"><code>AuthorizationCampaignSpec</code></a></p>
+<p><a id="verifyrules"></a></p>
+<h5 id="verifyrules">verifyRules()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">verifyRules</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">options</span><span style="color:#ABB2BF">: {</span></span>
+<span class="line"><span style="color:#ABB2BF">  id?: </span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">  includeCandidates</span><span style="color:#C678DD">?:</span><span style="color:#E06C75"> boolean</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">  rules</span><span style="color:#ABB2BF">: {</span></span>
+<span class="line"><span style="color:#ABB2BF">     firestore?: </span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">     rtdb</span><span style="color:#C678DD">?:</span><span style="color:#ABB2BF"> {</span></span>
+<span class="line"><span style="color:#E06C75">        rules</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">Record</span><span style="color:#56B6C2">&#x3C;</span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">, unknown>;</span></span>
+<span class="line"><span style="color:#ABB2BF">     };</span></span>
+<span class="line"><span style="color:#E06C75">     storage</span><span style="color:#C678DD">?:</span><span style="color:#E06C75"> string</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#ABB2BF">  };</span></span>
+<span class="line"><span style="color:#ABB2BF">}): </span><span style="color:#E5C07B">Promise</span><span style="color:#56B6C2">&#x3C;</span><span style="color:#E06C75">AuthorizationCampaignReport</span><span style="color:#56B6C2">></span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="parameters-17">Parameters</h6>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>options</code></td><td align="left">{ <code>id?</code>: <code>string</code>; <code>includeCandidates?</code>: <code>boolean</code>; <code>rules</code>: { <code>firestore?</code>: <code>string</code>; <code>rtdb?</code>: { <code>rules</code>: <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>; }; <code>storage?</code>: <code>string</code>; }; }</td></tr><tr><td align="left"><code>options.id?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>options.includeCandidates?</code></td><td align="left"><code>boolean</code></td></tr><tr><td align="left"><code>options.rules</code></td><td align="left">{ <code>firestore?</code>: <code>string</code>; <code>rtdb?</code>: { <code>rules</code>: <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>; }; <code>storage?</code>: <code>string</code>; }</td></tr><tr><td align="left"><code>options.rules.firestore?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>options.rules.rtdb?</code></td><td align="left">{ <code>rules</code>: <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>; }</td></tr><tr><td align="left"><code>options.rules.rtdb.rules</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>></td></tr><tr><td align="left"><code>options.rules.storage?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h6 id="returns-22">Returns</h6>
+<p><code>Promise</code>&#x3C;<a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a>></p>
+<p><a id="visualization"></a></p>
+<h5 id="visualization">visualization()</h5>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#61AFEF">visualization</span><span style="color:#ABB2BF">(): </span><span style="color:#E06C75">AssuranceVisualizationSnapshot</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h6 id="returns-23">Returns</h6>
+<p><a href="#assurancevisualizationsnapshot"><code>AssuranceVisualizationSnapshot</code></a></p>
+<h2 id="interfaces">Interfaces</h2>
+<p><a id="actorevidence"></a></p>
+<h3 id="actorevidence">ActorEvidence</h3>
+<h4 id="properties-2">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="acquisition"></a> <code>acquisition</code></td><td align="left">| <code>"anonymous-request"</code> | <code>"anonymous-account"</code> | <code>"password"</code> | <code>"fixture-user"</code> | <code>"synthetic"</code></td></tr><tr><td align="left"><a id="actorid"></a> <code>actorId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="error"></a> <code>error?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="reachability"></a> <code>reachability</code></td><td align="left"><code>"synthetic"</code> | <code>"reachable"</code> | <code>"unreachable"</code></td></tr><tr><td align="left"><a id="uid"></a> <code>uid?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceactor"></a></p>
+<h3 id="assuranceactor">AssuranceActor</h3>
+<h4 id="properties-3">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="acquisition-1"></a> <code>acquisition</code></td><td align="left"><a href="#actoracquisition"><code>ActorAcquisition</code></a></td></tr><tr><td align="left"><a id="id-1"></a> <code>id</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceattachment"></a></p>
+<h3 id="assuranceattachment">AssuranceAttachment</h3>
+<h4 id="properties-4">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="coveragegaps"></a> <code>coverageGaps</code></td><td align="left"><a href="#assurancecoveragegap"><code>AssuranceCoverageGap</code></a>[]</td></tr><tr><td align="left"><a id="inventory"></a> <code>inventory</code></td><td align="left"><a href="#assuranceattachmentinventory-1"><code>AssuranceAttachmentInventory</code></a></td></tr><tr><td align="left"><a id="source"></a> <code>source</code></td><td align="left"><a href="#assuranceattachmentsource-1"><code>AssuranceAttachmentSource</code></a></td></tr><tr><td align="left"><a id="target-1"></a> <code>target</code></td><td align="left"><a href="#localfirebasetarget"><code>LocalFirebaseTarget</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceattachmentinput"></a></p>
+<h3 id="assuranceattachmentinput">AssuranceAttachmentInput</h3>
+<h4 id="properties-5">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="url"></a> <code>url</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceattachmentinventory-1"></a></p>
+<h3 id="assuranceattachmentinventory">AssuranceAttachmentInventory</h3>
+<h4 id="properties-6">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="authusers"></a> <code>authUsers</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="firestoredocuments"></a> <code>firestoreDocuments</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="rtdbpresent"></a> <code>rtdbPresent</code></td><td align="left"><code>boolean</code></td></tr><tr><td align="left"><a id="storageobjects"></a> <code>storageObjects</code></td><td align="left"><code>number</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceattachmentsource-1"></a></p>
+<h3 id="assuranceattachmentsource">AssuranceAttachmentSource</h3>
+<h4 id="properties-7">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="origin"></a> <code>origin</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="readonly"></a> <code>readOnly</code></td><td align="left"><code>true</code></td></tr><tr><td align="left"><a id="requestedurl"></a> <code>requestedUrl</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="studiourl"></a> <code>studioUrl</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="transport"></a> <code>transport</code></td><td align="left"><code>"same-origin-shared-worker"</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assurancecampaigncontext"></a></p>
+<h3 id="assurancecampaigncontext">AssuranceCampaignContext</h3>
+<h4 id="properties-8">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="attachment"></a> <code>attachment?</code></td><td align="left">{ <code>coverageGaps</code>: <a href="#assurancecoveragegap"><code>AssuranceCoverageGap</code></a>[]; <code>inventory</code>: <a href="#assuranceattachmentinventory-1"><code>AssuranceAttachmentInventory</code></a>; <code>source</code>: <a href="#assuranceattachmentsource-1"><code>AssuranceAttachmentSource</code></a>; }</td></tr><tr><td align="left"><code>attachment.coverageGaps</code></td><td align="left"><a href="#assurancecoveragegap"><code>AssuranceCoverageGap</code></a>[]</td></tr><tr><td align="left"><code>attachment.inventory</code></td><td align="left"><a href="#assuranceattachmentinventory-1"><code>AssuranceAttachmentInventory</code></a></td></tr><tr><td align="left"><code>attachment.source</code></td><td align="left"><a href="#assuranceattachmentsource-1"><code>AssuranceAttachmentSource</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="assurancecoveragegap"></a></p>
+<h3 id="assurancecoveragegap">AssuranceCoverageGap</h3>
+<h4 id="properties-9">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="code-1"></a> <code>code</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="reason"></a> <code>reason</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="service"></a> <code>service</code></td><td align="left"><code>"auth"</code> | <a href="#assuranceservice"><code>AssuranceService</code></a> | <code>"attachment"</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceeventevidence"></a></p>
+<h3 id="assuranceeventevidence">AssuranceEventEvidence</h3>
+<h4 id="properties-10">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="actor"></a> <code>actor?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="at"></a> <code>at?</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="auth"></a> <code>auth?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="authlens"></a> <code>authLens?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="evaluatedrule"></a> <code>evaluatedRule?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="id-2"></a> <code>id?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="kind"></a> <code>kind?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="matchedrule"></a> <code>matchedRule?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="method"></a> <code>method?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="op"></a> <code>op?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="origin-1"></a> <code>origin?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="path"></a> <code>path?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="reasons"></a> <code>reasons?</code></td><td align="left"><code>string</code>[]</td></tr><tr><td align="left"><a id="request"></a> <code>request?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="resourcebefore"></a> <code>resourceBefore?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="result"></a> <code>result?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="rules"></a> <code>rules?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="service-1"></a> <code>service?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceobservation"></a></p>
+<h3 id="assuranceobservation">AssuranceObservation</h3>
+<h4 id="properties-11">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="actorid-1"></a> <code>actorId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="description"></a> <code>description?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="id-3"></a> <code>id</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="operation"></a> <code>operation</code></td><td align="left"><a href="#firebaseoperation"><code>FirebaseOperation</code></a></td></tr><tr><td align="left"><a id="result-1"></a> <code>result</code></td><td align="left"><code>"ALLOW"</code></td></tr><tr><td align="left"><a id="source-1"></a> <code>source</code></td><td align="left"><code>"captured"</code> | <code>"authored"</code> | <code>"discovered"</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceprobe"></a></p>
+<h3 id="assuranceprobe">AssuranceProbe</h3>
+<h4 id="properties-12">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th><th align="left">Description</th></tr></thead><tbody><tr><td align="left"><a id="actorid-2"></a> <code>actorId</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="control"></a> <code>control</code></td><td align="left"><a href="#firebaseoperation"><code>FirebaseOperation</code></a></td><td align="left">-</td></tr><tr><td align="left"><a id="id-4"></a> <code>id</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="invariantid"></a> <code>invariantId</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="mutation"></a> <code>mutation</code></td><td align="left"><a href="#probemutation"><code>ProbeMutation</code></a></td><td align="left">-</td></tr><tr><td align="left"><a id="requires"></a> <code>requires?</code></td><td align="left"><code>CapabilityDependency</code>[]</td><td align="left">Graph nodes this probe’s verdict depends on. Each is resolved live against the conformance graph statuses: a node the graph derives non-<code>supported</code> makes the engine abstain (engine-gap), and a node the graph does not model is a campaign authoring error (invalid-probe).</td></tr></tbody></table></div>
+<hr>
+<p><a id="assuranceproberesult"></a></p>
+<h3 id="assuranceproberesult">AssuranceProbeResult</h3>
+<h4 id="properties-13">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="actorevidence-1"></a> <code>actorEvidence</code></td><td align="left"><a href="#actorevidence"><code>ActorEvidence</code></a></td></tr><tr><td align="left"><a id="campaignid"></a> <code>campaignId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="classification"></a> <code>classification</code></td><td align="left"><a href="#probeclassification"><code>ProbeClassification</code></a></td></tr><tr><td align="left"><a id="control-1"></a> <code>control</code></td><td align="left"><a href="#operationevidence"><code>OperationEvidence</code></a></td></tr><tr><td align="left"><a id="invariant"></a> <code>invariant</code></td><td align="left"><a href="#securityinvariant"><code>SecurityInvariant</code></a></td></tr><tr><td align="left"><a id="mutation-1"></a> <code>mutation</code></td><td align="left"><a href="#operationevidence"><code>OperationEvidence</code></a></td></tr><tr><td align="left"><a id="mutationspec"></a> <code>mutationSpec</code></td><td align="left"><a href="#probemutation"><code>ProbeMutation</code></a></td></tr><tr><td align="left"><a id="probeid"></a> <code>probeId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="qualification"></a> <code>qualification</code></td><td align="left"><a href="#enginequalification"><code>EngineQualification</code></a></td></tr><tr><td align="left"><a id="statediff"></a> <code>stateDiff?</code></td><td align="left"><a href="#statediff-1"><code>StateDiff</code></a></td></tr><tr><td align="left"><a id="targethash"></a> <code>targetHash</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assurancereportsummary"></a></p>
+<h3 id="assurancereportsummary">AssuranceReportSummary</h3>
+<h4 id="properties-14">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="candidatesignals"></a> <code>candidateSignals</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="controlspassed"></a> <code>controlsPassed</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="enginegaps"></a> <code>engineGaps</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="invalidprobes"></a> <code>invalidProbes</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="localcounterexamples"></a> <code>localCounterexamples</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="nocounterexamples"></a> <code>noCounterexamples</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="probes"></a> <code>probes</code></td><td align="left"><code>number</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="assurancetooldeps"></a></p>
+<h3 id="assurancetooldeps">AssuranceToolDeps</h3>
+<h4 id="properties-15">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="attachmentprovider"></a> <code>attachmentProvider?</code></td><td align="left"><a href="#assuranceattachmentprovider"><code>AssuranceAttachmentProvider</code></a></td></tr><tr><td align="left"><a id="oncampaignupdate"></a> <code>onCampaignUpdate?</code></td><td align="left">(<code>campaign</code>: <a href="#assurancevisualizationsnapshot"><code>AssuranceVisualizationSnapshot</code></a>) => <code>void</code></td></tr><tr><td align="left"><a id="store"></a> <code>store?</code></td><td align="left"><a href="#assurancecampaignstore"><code>AssuranceCampaignStore</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="assurancevisualizationsnapshot"></a></p>
+<h3 id="assurancevisualizationsnapshot">AssuranceVisualizationSnapshot</h3>
+<p>Credential-free projection safe to hand to Studio visualization code.</p>
+<h4 id="properties-16">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="campaignid-1"></a> <code>campaignId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="context-1"></a> <code>context?</code></td><td align="left"><a href="#assurancecampaigncontext"><code>AssuranceCampaignContext</code></a></td></tr><tr><td align="left"><a id="observations-1"></a> <code>observations</code></td><td align="left"><a href="#assuranceobservation"><code>AssuranceObservation</code></a>[]</td></tr><tr><td align="left"><a id="probes-1"></a> <code>probes</code></td><td align="left"><a href="#assuranceprobe"><code>AssuranceProbe</code></a>[]</td></tr><tr><td align="left"><a id="report-1"></a> <code>report?</code></td><td align="left"><a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a></td></tr><tr><td align="left"><a id="schema"></a> <code>schema</code></td><td align="left"><code>"pyric.assurance.visualization.v1"</code></td></tr><tr><td align="left"><a id="verifications"></a> <code>verifications?</code></td><td align="left"><a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a>[]</td></tr></tbody></table></div>
+<hr>
+<p><a id="authfixtureuser"></a></p>
+<h3 id="authfixtureuser">AuthFixtureUser</h3>
+<h4 id="properties-17">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="customclaims"></a> <code>customClaims?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>></td></tr><tr><td align="left"><a id="disabled"></a> <code>disabled?</code></td><td align="left"><code>boolean</code></td></tr><tr><td align="left"><a id="email"></a> <code>email?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="emailverified"></a> <code>emailVerified?</code></td><td align="left"><code>boolean</code></td></tr><tr><td align="left"><a id="password"></a> <code>password?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="uid-1"></a> <code>uid</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="authorizationcampaignreport-1"></a></p>
+<h3 id="authorizationcampaignreport">AuthorizationCampaignReport</h3>
+<h4 id="properties-18">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="campaignid-2"></a> <code>campaignId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="localonly"></a> <code>localOnly</code></td><td align="left">{ <code>engine</code>: <code>"pyric-local-sandboxes"</code>; <code>network</code>: <code>"forbid"</code>; }</td></tr><tr><td align="left"><code>localOnly.engine</code></td><td align="left"><code>"pyric-local-sandboxes"</code></td></tr><tr><td align="left"><code>localOnly.network</code></td><td align="left"><code>"forbid"</code></td></tr><tr><td align="left"><a id="results"></a> <code>results</code></td><td align="left"><a href="#assuranceproberesult"><code>AssuranceProbeResult</code></a>[]</td></tr><tr><td align="left"><a id="schema-1"></a> <code>schema</code></td><td align="left"><code>"pyric.assurance.report.v1"</code></td></tr><tr><td align="left"><a id="summary"></a> <code>summary</code></td><td align="left"><a href="#assurancereportsummary"><code>AssuranceReportSummary</code></a></td></tr><tr><td align="left"><a id="targethash-1"></a> <code>targetHash</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="authorizationcampaignspec-2"></a></p>
+<h3 id="authorizationcampaignspec">AuthorizationCampaignSpec</h3>
+<h4 id="properties-19">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="actors"></a> <code>actors</code></td><td align="left"><a href="#assuranceactor"><code>AssuranceActor</code></a>[]</td></tr><tr><td align="left"><a id="id-5"></a> <code>id</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="invariants"></a> <code>invariants</code></td><td align="left"><a href="#securityinvariant"><code>SecurityInvariant</code></a>[]</td></tr><tr><td align="left"><a id="probes-2"></a> <code>probes</code></td><td align="left"><a href="#assuranceprobe"><code>AssuranceProbe</code></a>[]</td></tr><tr><td align="left"><a id="schema-2"></a> <code>schema</code></td><td align="left"><code>"pyric.assurance.campaign.v1"</code></td></tr><tr><td align="left"><a id="target-2"></a> <code>target</code></td><td align="left"><a href="#localfirebasetarget"><code>LocalFirebaseTarget</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="campaignexport"></a></p>
+<h3 id="campaignexport">CampaignExport</h3>
+<h4 id="properties-20">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="campaign"></a> <code>campaign</code></td><td align="left"><a href="#authorizationcampaignspec-2"><code>AuthorizationCampaignSpec</code></a></td></tr><tr><td align="left"><a id="cases"></a> <code>cases</code></td><td align="left"><a href="#securitycase"><code>SecurityCase</code></a>[]</td></tr><tr><td align="left"><a id="context-2"></a> <code>context?</code></td><td align="left"><a href="#assurancecampaigncontext"><code>AssuranceCampaignContext</code></a></td></tr><tr><td align="left"><a id="observations-2"></a> <code>observations</code></td><td align="left"><a href="#assuranceobservation"><code>AssuranceObservation</code></a>[]</td></tr><tr><td align="left"><a id="report-2"></a> <code>report?</code></td><td align="left"><a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a></td></tr><tr><td align="left"><a id="schema-3"></a> <code>schema</code></td><td align="left"><code>"pyric.assurance.export.v1"</code></td></tr><tr><td align="left"><a id="verifications-1"></a> <code>verifications?</code></td><td align="left"><a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a>[]</td></tr></tbody></table></div>
+<hr>
+<p><a id="capabilityrequirement"></a></p>
+<h3 id="capabilityrequirement">CapabilityRequirement</h3>
+<h4 id="properties-21">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="id-6"></a> <code>id</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="reason-1"></a> <code>reason</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="supported"></a> <code>supported</code></td><td align="left"><code>boolean</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="createauthorizationcampaignoptions"></a></p>
+<h3 id="createauthorizationcampaignoptions">CreateAuthorizationCampaignOptions</h3>
+<h4 id="properties-22">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="context-3"></a> <code>context?</code></td><td align="left"><a href="#assurancecampaigncontext"><code>AssuranceCampaignContext</code></a></td></tr><tr><td align="left"><a id="id-7"></a> <code>id</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="safety"></a> <code>safety?</code></td><td align="left">{ <code>maxRuns?</code>: <code>number</code>; <code>network?</code>: <code>"forbid"</code>; }</td></tr><tr><td align="left"><code>safety.maxRuns?</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>safety.network?</code></td><td align="left"><code>"forbid"</code></td></tr><tr><td align="left"><a id="target-3"></a> <code>target</code></td><td align="left"><a href="#localfirebasetarget"><code>LocalFirebaseTarget</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="enginequalification"></a></p>
+<h3 id="enginequalification">EngineQualification</h3>
+<h4 id="properties-23">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th><th align="left">Description</th></tr></thead><tbody><tr><td align="left"><a id="classification-1"></a> <code>classification?</code></td><td align="left"><code>"engine-gap"</code> | <code>"invalid-probe"</code></td><td align="left">How an unsupported qualification must be classified. Absent when the qualification is supported. <code>engine-gap</code> is the default abstention (a target-specific check failed, or a declared capability is derived non-supported); <code>invalid-probe</code> overrides it when the campaign declared a capability the engine does not define.</td></tr><tr><td align="left"><a id="engine"></a> <code>engine</code></td><td align="left"><code>"pyric-local-sandboxes"</code></td><td align="left">-</td></tr><tr><td align="left"><a id="requirements"></a> <code>requirements</code></td><td align="left"><a href="#capabilityrequirement"><code>CapabilityRequirement</code></a>[]</td><td align="left">-</td></tr><tr><td align="left"><a id="supported-1"></a> <code>supported</code></td><td align="left"><code>boolean</code></td><td align="left">-</td></tr></tbody></table></div>
+<hr>
+<p><a id="firestoreoperation"></a></p>
+<h3 id="firestoreoperation">FirestoreOperation</h3>
+<h4 id="properties-24">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="data"></a> <code>data?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>></td></tr><tr><td align="left"><a id="method-1"></a> <code>method</code></td><td align="left"><code>"get"</code> | <code>"list"</code> | <code>"create"</code> | <code>"set"</code> | <code>"merge"</code> | <code>"update"</code> | <code>"delete"</code></td></tr><tr><td align="left"><a id="path-1"></a> <code>path</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="query"></a> <code>query?</code></td><td align="left">{ <code>limit?</code>: <code>number</code>; <code>orderBy?</code>: { <code>direction?</code>: <code>"asc"</code> | <code>"desc"</code>; <code>field</code>: <code>string</code>; }[]; <code>where?</code>: <a href="#firestorequeryconstraint"><code>FirestoreQueryConstraint</code></a>[]; }</td></tr><tr><td align="left"><code>query.limit?</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>query.orderBy?</code></td><td align="left">{ <code>direction?</code>: <code>"asc"</code> | <code>"desc"</code>; <code>field</code>: <code>string</code>; }[]</td></tr><tr><td align="left"><code>query.where?</code></td><td align="left"><a href="#firestorequeryconstraint"><code>FirestoreQueryConstraint</code></a>[]</td></tr><tr><td align="left"><a id="service-2"></a> <code>service</code></td><td align="left"><code>"firestore"</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="firestorequeryconstraint"></a></p>
+<h3 id="firestorequeryconstraint">FirestoreQueryConstraint</h3>
+<h4 id="properties-25">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="field"></a> <code>field</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="op-1"></a> <code>op</code></td><td align="left">| <code>"&#x3C;"</code> | <code>"&#x3C;="</code> | <code>"=="</code> | <code>"!="</code> | <code>">="</code> | <code>">"</code> | <code>"array-contains"</code> | <code>"in"</code> | <code>"not-in"</code> | <code>"array-contains-any"</code></td></tr><tr><td align="left"><a id="value"></a> <code>value</code></td><td align="left"><code>unknown</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="generatedassurancecapability"></a></p>
+<h3 id="generatedassurancecapability">GeneratedAssuranceCapability</h3>
+<h4 id="properties-26">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th><th align="left">Description</th></tr></thead><tbody><tr><td align="left"><a id="dependencies"></a> <code>dependencies</code></td><td align="left"><code>GeneratedCapabilityDependency</code>[]</td><td align="left">Everything the status rests on. The ones that pinned it are the ones whose verdict equals the status; <code>capabilityReasons</code> selects and renders them.</td></tr><tr><td align="left"><a id="description-1"></a> <code>description</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="id-8"></a> <code>id</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="service-3"></a> <code>service</code></td><td align="left"><code>AssuranceCapabilityService</code></td><td align="left">-</td></tr><tr><td align="left"><a id="status"></a> <code>status</code></td><td align="left"><code>AssuranceCapabilityStatus</code></td><td align="left">-</td></tr></tbody></table></div>
+<hr>
+<p><a id="localfirebasetarget"></a></p>
+<h3 id="localfirebasetarget">LocalFirebaseTarget</h3>
+<h4 id="properties-27">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="network"></a> <code>network</code></td><td align="left"><code>"forbid"</code></td></tr><tr><td align="left"><a id="rules-1"></a> <code>rules</code></td><td align="left">{ <code>firestore?</code>: <code>string</code>; <code>rtdb?</code>: { <code>rules</code>: <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>; }; <code>storage?</code>: <code>string</code>; }</td></tr><tr><td align="left"><code>rules.firestore?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>rules.rtdb?</code></td><td align="left">{ <code>rules</code>: <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>; }</td></tr><tr><td align="left"><code>rules.rtdb.rules</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>></td></tr><tr><td align="left"><code>rules.storage?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="schema-4"></a> <code>schema</code></td><td align="left"><code>"pyric.assurance.target.v1"</code></td></tr><tr><td align="left"><a id="state"></a> <code>state</code></td><td align="left">{ <code>auth?</code>: { <code>users</code>: <a href="#authfixtureuser"><code>AuthFixtureUser</code></a>[]; }; <code>firestore?</code>: <code>Record</code>&#x3C;<code>string</code>, <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>>; <code>rtdb?</code>: <code>unknown</code>; <code>storage?</code>: <a href="#storageobjectfixture"><code>StorageObjectFixture</code></a>[]; }</td></tr><tr><td align="left"><code>state.auth?</code></td><td align="left">{ <code>users</code>: <a href="#authfixtureuser"><code>AuthFixtureUser</code></a>[]; }</td></tr><tr><td align="left"><code>state.auth.users</code></td><td align="left"><a href="#authfixtureuser"><code>AuthFixtureUser</code></a>[]</td></tr><tr><td align="left"><code>state.firestore?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>></td></tr><tr><td align="left"><code>state.rtdb?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><code>state.storage?</code></td><td align="left"><a href="#storageobjectfixture"><code>StorageObjectFixture</code></a>[]</td></tr></tbody></table></div>
+<hr>
+<p><a id="minimizationresult"></a></p>
+<h3 id="minimizationresult">MinimizationResult</h3>
+<h4 id="properties-28">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="changed"></a> <code>changed</code></td><td align="left"><code>boolean</code></td></tr><tr><td align="left"><a id="probe"></a> <code>probe</code></td><td align="left"><a href="#assuranceprobe"><code>AssuranceProbe</code></a></td></tr><tr><td align="left"><a id="probeid-1"></a> <code>probeId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="removedpayloadfields"></a> <code>removedPayloadFields</code></td><td align="left"><code>string</code>[]</td></tr><tr><td align="left"><a id="result-2"></a> <code>result</code></td><td align="left"><a href="#assuranceproberesult"><code>AssuranceProbeResult</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="mutationcandidate"></a></p>
+<h3 id="mutationcandidate">MutationCandidate</h3>
+<h4 id="extends-1">Extends</h4>
+<ul>
+<li><a href="#probemutation"><code>ProbeMutation</code></a></li>
+</ul>
+<h4 id="properties-29">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="description-2"></a> <code>description</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="dimension"></a> <code>dimension</code></td><td align="left"><a href="#mutationdimension"><code>MutationDimension</code></a></td></tr><tr><td align="left"><a id="id-9"></a> <code>id?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="operation-1"></a> <code>operation</code></td><td align="left"><a href="#firebaseoperation"><code>FirebaseOperation</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="operationevidence"></a></p>
+<h3 id="operationevidence">OperationEvidence</h3>
+<h4 id="properties-30">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="decision"></a> <code>decision</code></td><td align="left"><a href="#assurancedecision"><code>AssuranceDecision</code></a></td></tr><tr><td align="left"><a id="error-1"></a> <code>error?</code></td><td align="left">{ <code>code?</code>: <code>string</code>; <code>message</code>: <code>string</code>; }</td></tr><tr><td align="left"><code>error.code?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>error.message</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="events"></a> <code>events</code></td><td align="left"><a href="#assuranceeventevidence"><code>AssuranceEventEvidence</code></a>[]</td></tr><tr><td align="left"><a id="operation-2"></a> <code>operation</code></td><td align="left"><a href="#firebaseoperation"><code>FirebaseOperation</code></a></td></tr><tr><td align="left"><a id="output"></a> <code>output?</code></td><td align="left"><code>unknown</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="probemutation"></a></p>
+<h3 id="probemutation">ProbeMutation</h3>
+<h4 id="extended-by">Extended by</h4>
+<ul>
+<li><a href="#mutationcandidate"><code>MutationCandidate</code></a></li>
+</ul>
+<h4 id="properties-31">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="description-3"></a> <code>description</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="dimension-1"></a> <code>dimension</code></td><td align="left"><a href="#mutationdimension"><code>MutationDimension</code></a></td></tr><tr><td align="left"><a id="operation-3"></a> <code>operation</code></td><td align="left"><a href="#firebaseoperation"><code>FirebaseOperation</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="proposalinput"></a></p>
+<h3 id="proposalinput">ProposalInput</h3>
+<h4 id="properties-32">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="invariantid-1"></a> <code>invariantId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="mutations"></a> <code>mutations</code></td><td align="left"><a href="#mutationcandidate"><code>MutationCandidate</code></a>[]</td></tr><tr><td align="left"><a id="observationid"></a> <code>observationId</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdboperation"></a></p>
+<h3 id="rtdboperation">RtdbOperation</h3>
+<h4 id="properties-33">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="data-1"></a> <code>data?</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="method-2"></a> <code>method</code></td><td align="left"><code>"get"</code> | <code>"set"</code> | <code>"update"</code> | <code>"remove"</code></td></tr><tr><td align="left"><a id="path-2"></a> <code>path</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="query-1"></a> <code>query?</code></td><td align="left">{ <code>endAt?</code>: { <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }; <code>endBefore?</code>: { <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }; <code>equalTo?</code>: { <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }; <code>limitToFirst?</code>: <code>number</code>; <code>limitToLast?</code>: <code>number</code>; <code>orderBy?</code>: | { <code>kind</code>: <code>"child"</code>; <code>path</code>: <code>string</code>; } | { <code>kind</code>: <code>"key"</code>; } | { <code>kind</code>: <code>"value"</code>; }; <code>startAfter?</code>: { <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }; <code>startAt?</code>: { <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }; }</td></tr><tr><td align="left"><code>query.endAt?</code></td><td align="left">{ <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }</td></tr><tr><td align="left"><code>query.endAt.key?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>query.endAt.value</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><code>query.endBefore?</code></td><td align="left">{ <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }</td></tr><tr><td align="left"><code>query.endBefore.key?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>query.endBefore.value</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><code>query.equalTo?</code></td><td align="left">{ <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }</td></tr><tr><td align="left"><code>query.equalTo.key?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>query.equalTo.value</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><code>query.limitToFirst?</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>query.limitToLast?</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>query.orderBy?</code></td><td align="left">| { <code>kind</code>: <code>"child"</code>; <code>path</code>: <code>string</code>; } | { <code>kind</code>: <code>"key"</code>; } | { <code>kind</code>: <code>"value"</code>; }</td></tr><tr><td align="left"><code>query.startAfter?</code></td><td align="left">{ <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }</td></tr><tr><td align="left"><code>query.startAfter.key?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>query.startAfter.value</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><code>query.startAt?</code></td><td align="left">{ <code>key?</code>: <code>string</code>; <code>value</code>: <code>unknown</code>; }</td></tr><tr><td align="left"><code>query.startAt.key?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>query.startAt.value</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="service-4"></a> <code>service</code></td><td align="left"><code>"rtdb"</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="runsecuritycasesinput"></a></p>
+<h3 id="runsecuritycasesinput">RunSecurityCasesInput</h3>
+<h4 id="properties-34">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="actors-1"></a> <code>actors</code></td><td align="left"><a href="#assuranceactor"><code>AssuranceActor</code></a>[]</td></tr><tr><td align="left"><a id="campaignid-3"></a> <code>campaignId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="cases-1"></a> <code>cases</code></td><td align="left"><a href="#securitycase"><code>SecurityCase</code></a>[]</td></tr><tr><td align="left"><a id="target-4"></a> <code>target</code></td><td align="left"><a href="#localfirebasetarget"><code>LocalFirebaseTarget</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="sandboxattachmentprovideroptions"></a></p>
+<h3 id="sandboxattachmentprovideroptions">SandboxAttachmentProviderOptions</h3>
+<h4 id="properties-35">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="fetchimpl"></a> <code>fetchImpl?</code></td><td align="left"><em>typeof</em> <code>fetch</code></td></tr><tr><td align="left"><a id="origin-2"></a> <code>origin?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="securitycase"></a></p>
+<h3 id="securitycase">SecurityCase</h3>
+<h4 id="properties-36">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="actorid-3"></a> <code>actorId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="campaignid-4"></a> <code>campaignId</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="control-2"></a> <code>control</code></td><td align="left"><a href="#firebaseoperation"><code>FirebaseOperation</code></a></td></tr><tr><td align="left"><a id="expect"></a> <code>expect</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code></td></tr><tr><td align="left"><a id="id-10"></a> <code>id</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="invariant-1"></a> <code>invariant</code></td><td align="left"><a href="#securityinvariant"><code>SecurityInvariant</code></a></td></tr><tr><td align="left"><a id="mutation-2"></a> <code>mutation</code></td><td align="left"><a href="#probemutation"><code>ProbeMutation</code></a></td></tr><tr><td align="left"><a id="qualification-1"></a> <code>qualification</code></td><td align="left"><a href="#enginequalification"><code>EngineQualification</code></a></td></tr><tr><td align="left"><a id="schema-5"></a> <code>schema</code></td><td align="left"><code>"pyric.assurance.case.v1"</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="securityinvariant"></a></p>
+<h3 id="securityinvariant">SecurityInvariant</h3>
+<h4 id="properties-37">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="confidence"></a> <code>confidence</code></td><td align="left"><code>"authoritative"</code> | <code>"strong"</code> | <code>"tentative"</code></td></tr><tr><td align="left"><a id="expected"></a> <code>expected</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code></td></tr><tr><td align="left"><a id="id-11"></a> <code>id</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="service-5"></a> <code>service</code></td><td align="left"><a href="#assuranceservice"><code>AssuranceService</code></a> | <code>"cross-service"</code></td></tr><tr><td align="left"><a id="source-2"></a> <code>source</code></td><td align="left"><code>"captured"</code> | <code>"declared"</code> | <code>"authored-test"</code> | <code>"derived"</code> | <code>"agent"</code></td></tr><tr><td align="left"><a id="statement"></a> <code>statement</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="statediff-1"></a></p>
+<h3 id="statediff">StateDiff</h3>
+<h4 id="properties-38">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="after"></a> <code>after</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="before"></a> <code>before</code></td><td align="left"><code>unknown</code></td></tr><tr><td align="left"><a id="changed-1"></a> <code>changed</code></td><td align="left"><code>boolean</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="storageobjectfixture"></a></p>
+<h3 id="storageobjectfixture">StorageObjectFixture</h3>
+<h4 id="properties-39">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="contenttype"></a> <code>contentType?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="custommetadata"></a> <code>customMetadata?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>string</code>></td></tr><tr><td align="left"><a id="database64"></a> <code>dataBase64</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="path-3"></a> <code>path</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="storageoperation"></a></p>
+<h3 id="storageoperation">StorageOperation</h3>
+<h4 id="properties-40">Properties</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Property</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><a id="contenttype-1"></a> <code>contentType?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="custommetadata-1"></a> <code>customMetadata?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>string</code>></td></tr><tr><td align="left"><a id="database64-1"></a> <code>dataBase64?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="method-3"></a> <code>method</code></td><td align="left"><code>"get"</code> | <code>"list"</code> | <code>"delete"</code> | <code>"upload"</code> | <code>"updateMetadata"</code></td></tr><tr><td align="left"><a id="path-4"></a> <code>path</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="service-6"></a> <code>service</code></td><td align="left"><code>"storage"</code></td></tr></tbody></table></div>
+<h2 id="type-aliases">Type Aliases</h2>
+<p><a id="actoracquisition"></a></p>
+<h3 id="actoracquisition">ActorAcquisition</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">type</span><span style="color:#E5C07B"> ActorAcquisition</span><span style="color:#56B6C2"> =</span></span>
+<span class="line"><span style="color:#ABB2BF">  | {</span></span>
+<span class="line"><span style="color:#E06C75">  kind</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"anonymous-request"</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#ABB2BF">}</span></span>
+<span class="line"><span style="color:#ABB2BF">  | {</span></span>
+<span class="line"><span style="color:#E06C75">  kind</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"anonymous-account"</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#ABB2BF">}</span></span>
+<span class="line"><span style="color:#ABB2BF">  | {</span></span>
+<span class="line"><span style="color:#E06C75">  email</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">  kind</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"password"</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">  password</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#ABB2BF">}</span></span>
+<span class="line"><span style="color:#ABB2BF">  | {</span></span>
+<span class="line"><span style="color:#E06C75">  kind</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"fixture-user"</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">  uid</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#ABB2BF">}</span></span>
+<span class="line"><span style="color:#ABB2BF">  | {</span></span>
+<span class="line"><span style="color:#E06C75">  kind</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"synthetic"</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">  token</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Record</span><span style="color:#ABB2BF">&#x3C;</span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">, </span><span style="color:#E5C07B">unknown</span><span style="color:#ABB2BF">>;</span></span>
+<span class="line"><span style="color:#E06C75">  uid</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#ABB2BF">};</span></span></code></pre>
+<hr>
+<p><a id="assuranceattachmentprovider"></a></p>
+<h3 id="assuranceattachmentprovider">AssuranceAttachmentProvider()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">type</span><span style="color:#E5C07B"> AssuranceAttachmentProvider</span><span style="color:#56B6C2"> =</span><span style="color:#ABB2BF"> (</span><span style="color:#E06C75;font-style:italic">input</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">AssuranceAttachmentInput</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Promise</span><span style="color:#ABB2BF">&#x3C;</span><span style="color:#E5C07B">AssuranceAttachment</span><span style="color:#ABB2BF">>;</span></span></code></pre>
+<h4 id="parameters-18">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>input</code></td><td align="left"><a href="#assuranceattachmentinput"><code>AssuranceAttachmentInput</code></a></td></tr></tbody></table></div>
+<h4 id="returns-24">Returns</h4>
+<p><code>Promise</code>&#x3C;<a href="#assuranceattachment"><code>AssuranceAttachment</code></a>></p>
+<hr>
+<p><a id="assurancedecision"></a></p>
+<h3 id="assurancedecision">AssuranceDecision</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">type</span><span style="color:#E5C07B"> AssuranceDecision</span><span style="color:#56B6C2"> =</span><span style="color:#98C379"> "ALLOW"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"DENY"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"ERROR"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"UNSUPPORTED"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="assuranceservice"></a></p>
+<h3 id="assuranceservice">AssuranceService</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">type</span><span style="color:#E5C07B"> AssuranceService</span><span style="color:#56B6C2"> =</span><span style="color:#98C379"> "firestore"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"rtdb"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"storage"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="firebaseoperation"></a></p>
+<h3 id="firebaseoperation">FirebaseOperation</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">type</span><span style="color:#E5C07B"> FirebaseOperation</span><span style="color:#56B6C2"> =</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#E5C07B">FirestoreOperation</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#E5C07B">RtdbOperation</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#E5C07B">StorageOperation</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="mutationdimension"></a></p>
+<h3 id="mutationdimension">MutationDimension</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">type</span><span style="color:#E5C07B"> MutationDimension</span><span style="color:#56B6C2"> =</span><span style="color:#98C379"> "path"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"query"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"payload"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"operation"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="probeclassification"></a></p>
+<h3 id="probeclassification">ProbeClassification</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">type</span><span style="color:#E5C07B"> ProbeClassification</span><span style="color:#56B6C2"> =</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#98C379">"local-counterexample"</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#98C379">"candidate-signal"</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#98C379">"no-counterexample"</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#98C379">"engine-gap"</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#98C379">"invalid-probe"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h2 id="variables">Variables</h2>
+<p><a id="assurance_broadcast_channel"></a></p>
+<h3 id="assurance_broadcast_channel">ASSURANCE_BROADCAST_CHANNEL</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">const</span><span style="color:#E5C07B"> ASSURANCE_BROADCAST_CHANNEL</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"pyric-assurance-v1"</span><span style="color:#56B6C2"> =</span><span style="color:#98C379"> "pyric-assurance-v1"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="assurance_browser_event"></a></p>
+<h3 id="assurance_browser_event">ASSURANCE_BROWSER_EVENT</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">const</span><span style="color:#E5C07B"> ASSURANCE_BROWSER_EVENT</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"pyric:assurance-campaign"</span><span style="color:#56B6C2"> =</span><span style="color:#98C379"> "pyric:assurance-campaign"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="assurance_campaign_schema"></a></p>
+<h3 id="assurance_campaign_schema">ASSURANCE_CAMPAIGN_SCHEMA</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">const</span><span style="color:#E5C07B"> ASSURANCE_CAMPAIGN_SCHEMA</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"pyric.assurance.campaign.v1"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="assurance_engine_capabilities"></a></p>
+<h3 id="assurance_engine_capabilities">ASSURANCE_ENGINE_CAPABILITIES</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">const</span><span style="color:#E5C07B"> ASSURANCE_ENGINE_CAPABILITIES</span><span style="color:#ABB2BF">: </span><span style="color:#C678DD">readonly</span><span style="color:#E5C07B"> GeneratedAssuranceCapability</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<hr>
+<p><a id="assurance_report_schema"></a></p>
+<h3 id="assurance_report_schema">ASSURANCE_REPORT_SCHEMA</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">const</span><span style="color:#E5C07B"> ASSURANCE_REPORT_SCHEMA</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"pyric.assurance.report.v1"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="assurance_target_schema"></a></p>
+<h3 id="assurance_target_schema">ASSURANCE_TARGET_SCHEMA</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">const</span><span style="color:#E5C07B"> ASSURANCE_TARGET_SCHEMA</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"pyric.assurance.target.v1"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="defaultassurancecampaignstore"></a></p>
+<h3 id="defaultassurancecampaignstore">defaultAssuranceCampaignStore</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">const</span><span style="color:#E5C07B"> defaultAssuranceCampaignStore</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">AssuranceCampaignStore</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h2 id="functions">Functions</h2>
+<p><a id="capabilityreasons"></a></p>
+<h3 id="capabilityreasons">capabilityReasons()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> capabilityReasons</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">capability</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">GeneratedAssuranceCapability</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<p>The reasons a probe cites when it abstains: the dependencies whose verdict
+pinned the capability’s status, each rendered as a sentence.</p>
+<h4 id="parameters-19">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>capability</code></td><td align="left"><a href="#generatedassurancecapability"><code>GeneratedAssuranceCapability</code></a></td></tr></tbody></table></div>
+<h4 id="returns-25">Returns</h4>
+<p><code>string</code>[]</p>
+<hr>
+<p><a id="createassurancetools"></a></p>
+<h3 id="createassurancetools">createAssuranceTools()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> createAssuranceTools</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">deps</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">AssuranceToolDeps</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">ToolHandler</span><span style="color:#ABB2BF">&#x3C;</span><span style="color:#E5C07B">unknown</span><span style="color:#ABB2BF">, </span><span style="color:#E5C07B">unknown</span><span style="color:#ABB2BF">>[];</span></span></code></pre>
+<h4 id="parameters-20">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>deps?</code></td><td align="left"><a href="#assurancetooldeps"><code>AssuranceToolDeps</code></a></td></tr></tbody></table></div>
+<h4 id="returns-26">Returns</h4>
+<p><code>ToolHandler</code>&#x3C;<code>unknown</code>, <code>unknown</code>>[]</p>
+<hr>
+<p><a id="createauthorizationcampaign"></a></p>
+<h3 id="createauthorizationcampaign">createAuthorizationCampaign()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> createAuthorizationCampaign</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">options</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">CreateAuthorizationCampaignOptions</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">AuthorizationCampaign</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h4 id="parameters-21">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>options</code></td><td align="left"><a href="#createauthorizationcampaignoptions"><code>CreateAuthorizationCampaignOptions</code></a></td></tr></tbody></table></div>
+<h4 id="returns-27">Returns</h4>
+<p><a href="#authorizationcampaign"><code>AuthorizationCampaign</code></a></p>
+<hr>
+<p><a id="createsandboxattachmentprovider"></a></p>
+<h3 id="createsandboxattachmentprovider">createSandboxAttachmentProvider()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> createSandboxAttachmentProvider</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">sandbox</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Sandbox</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">options</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">SandboxAttachmentProviderOptions</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">AssuranceAttachmentProvider</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Clone the sandbox currently hosting the connected bridge peer. The URL is an
+origin assertion and source for explicit rules metadata; no arbitrary host is
+contacted and the returned campaign target itself keeps networking forbidden.</p>
+<h4 id="parameters-22">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>sandbox</code></td><td align="left"><code>Sandbox</code></td></tr><tr><td align="left"><code>options?</code></td><td align="left"><a href="#sandboxattachmentprovideroptions"><code>SandboxAttachmentProviderOptions</code></a></td></tr></tbody></table></div>
+<h4 id="returns-28">Returns</h4>
+<p><a href="#assuranceattachmentprovider"><code>AssuranceAttachmentProvider</code></a></p>
+<hr>
+<p><a id="listassurancecapabilities"></a></p>
+<h3 id="listassurancecapabilities">listAssuranceCapabilities()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> listAssuranceCapabilities</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">services</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#C678DD">readonly</span><span style="color:#E5C07B"> AssuranceCapabilityService</span><span style="color:#ABB2BF">[]): </span><span style="color:#E5C07B">GeneratedAssuranceCapability</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<h4 id="parameters-23">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>services?</code></td><td align="left">readonly <code>AssuranceCapabilityService</code>[]</td></tr></tbody></table></div>
+<h4 id="returns-29">Returns</h4>
+<p><a href="#generatedassurancecapability"><code>GeneratedAssuranceCapability</code></a>[]</p>
+<hr>
+<p><a id="publishassurancevisualization"></a></p>
+<h3 id="publishassurancevisualization">publishAssuranceVisualization()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> publishAssuranceVisualization</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">snapshot</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">AssuranceVisualizationSnapshot</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h4 id="parameters-24">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>snapshot</code></td><td align="left"><a href="#assurancevisualizationsnapshot"><code>AssuranceVisualizationSnapshot</code></a></td></tr></tbody></table></div>
+<h4 id="returns-30">Returns</h4>
+<p><code>void</code></p>
+<hr>
+<p><a id="qualifyprobe"></a></p>
+<h3 id="qualifyprobe">qualifyProbe()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> qualifyProbe</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">target</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">LocalFirebaseTarget</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">probe</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">AssuranceProbe</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">EngineQualification</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h4 id="parameters-25">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>target</code></td><td align="left"><a href="#localfirebasetarget"><code>LocalFirebaseTarget</code></a></td></tr><tr><td align="left"><code>probe</code></td><td align="left"><a href="#assuranceprobe"><code>AssuranceProbe</code></a></td></tr></tbody></table></div>
+<h4 id="returns-31">Returns</h4>
+<p><a href="#enginequalification"><code>EngineQualification</code></a></p>
+<hr>
+<p><a id="runauthorizationcampaign"></a></p>
+<h3 id="runauthorizationcampaign">runAuthorizationCampaign()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> runAuthorizationCampaign</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">spec</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">AuthorizationCampaignSpec</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">Promise</span><span style="color:#ABB2BF">&#x3C;</span><span style="color:#E5C07B">AuthorizationCampaignReport</span><span style="color:#ABB2BF">>;</span></span></code></pre>
+<h4 id="parameters-26">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>spec</code></td><td align="left"><a href="#authorizationcampaignspec-2"><code>AuthorizationCampaignSpec</code></a></td></tr></tbody></table></div>
+<h4 id="returns-32">Returns</h4>
+<p><code>Promise</code>&#x3C;<a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a>></p>
+<hr>
+<p><a id="runsecuritycases"></a></p>
+<h3 id="runsecuritycases">runSecurityCases()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> runSecurityCases</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">input</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">RunSecurityCasesInput</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">Promise</span><span style="color:#ABB2BF">&#x3C;</span><span style="color:#E5C07B">AuthorizationCampaignReport</span><span style="color:#ABB2BF">>;</span></span></code></pre>
+<p>Re-run exported expectations against a candidate local target. Each case
+keeps its known-good control and explicit negative expectation, so a rules
+change must preserve the application workflow and reject the boundary case.</p>
+<h4 id="parameters-27">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>input</code></td><td align="left"><a href="#runsecuritycasesinput"><code>RunSecurityCasesInput</code></a></td></tr></tbody></table></div>
+<h4 id="returns-33">Returns</h4>
+<p><code>Promise</code>&#x3C;<a href="#authorizationcampaignreport-1"><code>AuthorizationCampaignReport</code></a>></p>
+<hr>
+<p><a id="subscribeassurancevisualizations"></a></p>
+<h3 id="subscribeassurancevisualizations">subscribeAssuranceVisualizations()</h3>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#C678DD">function</span><span style="color:#61AFEF"> subscribeAssuranceVisualizations</span><span style="color:#ABB2BF">(</span><span style="color:#61AFEF">listener</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">snapshot</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">AssuranceVisualizationSnapshot</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> void</span><span style="color:#ABB2BF">): () </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h4 id="parameters-28">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th></tr></thead><tbody><tr><td align="left"><code>listener</code></td><td align="left">(<code>snapshot</code>: <a href="#assurancevisualizationsnapshot"><code>AssuranceVisualizationSnapshot</code></a>) => <code>void</code></td></tr></tbody></table></div>
+<h4 id="returns-34">Returns</h4>
+<pre class="astro-code one-dark-pro" style="background-color:#282c34;color:#abb2bf; overflow-x: auto;" tabindex="0" data-language="ts"><code><span class="line"><span style="color:#ABB2BF">(): </span><span style="color:#E5C07B">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h5 id="returns-35">Returns</h5>
+<p><code>void</code></p>
+<h2 id="references">References</h2>
+<p><a id="assuranceenginecapability"></a></p>
+<h3 id="assuranceenginecapability">AssuranceEngineCapability</h3>
+<p>Renames and re-exports <a href="#generatedassurancecapability">GeneratedAssuranceCapability</a></p>  </article> </main> <aside class="doc-toc api-symbols" aria-label="API symbols"> <h2 class="doc-toc-heading">Symbols</h2> <input class="api-symbol-filter" type="search" placeholder="Filter symbols" aria-label="Filter API symbols" data-api-symbol-filter> <div class="api-symbol-groups" data-api-symbol-groups> <section class="api-symbol-group" data-api-symbol-group> <a class="api-symbol-kind" href="#classes"> Classes </a> <ul> <li data-api-symbol="assurancecampaignstore"> <a href="#assurancecampaignstore">AssuranceCampaignStore</a> </li><li data-api-symbol="assuranceinputerror"> <a href="#assuranceinputerror">AssuranceInputError</a> </li><li data-api-symbol="authorizationcampaign"> <a href="#authorizationcampaign">AuthorizationCampaign</a> </li> </ul> </section><section class="api-symbol-group" data-api-symbol-group> <a class="api-symbol-kind" href="#interfaces"> Interfaces </a> <ul> <li data-api-symbol="actorevidence"> <a href="#actorevidence">ActorEvidence</a> </li><li data-api-symbol="assuranceactor"> <a href="#assuranceactor">AssuranceActor</a> </li><li data-api-symbol="assuranceattachment"> <a href="#assuranceattachment">AssuranceAttachment</a> </li><li data-api-symbol="assuranceattachmentinput"> <a href="#assuranceattachmentinput">AssuranceAttachmentInput</a> </li><li data-api-symbol="assuranceattachmentinventory"> <a href="#assuranceattachmentinventory">AssuranceAttachmentInventory</a> </li><li data-api-symbol="assuranceattachmentsource"> <a href="#assuranceattachmentsource">AssuranceAttachmentSource</a> </li><li data-api-symbol="assurancecampaigncontext"> <a href="#assurancecampaigncontext">AssuranceCampaignContext</a> </li><li data-api-symbol="assurancecoveragegap"> <a href="#assurancecoveragegap">AssuranceCoverageGap</a> </li><li data-api-symbol="assuranceeventevidence"> <a href="#assuranceeventevidence">AssuranceEventEvidence</a> </li><li data-api-symbol="assuranceobservation"> <a href="#assuranceobservation">AssuranceObservation</a> </li><li data-api-symbol="assuranceprobe"> <a href="#assuranceprobe">AssuranceProbe</a> </li><li data-api-symbol="assuranceproberesult"> <a href="#assuranceproberesult">AssuranceProbeResult</a> </li><li data-api-symbol="assurancereportsummary"> <a href="#assurancereportsummary">AssuranceReportSummary</a> </li><li data-api-symbol="assurancetooldeps"> <a href="#assurancetooldeps">AssuranceToolDeps</a> </li><li data-api-symbol="assurancevisualizationsnapshot"> <a href="#assurancevisualizationsnapshot">AssuranceVisualizationSnapshot</a> </li><li data-api-symbol="authfixtureuser"> <a href="#authfixtureuser">AuthFixtureUser</a> </li><li data-api-symbol="authorizationcampaignreport"> <a href="#authorizationcampaignreport">AuthorizationCampaignReport</a> </li><li data-api-symbol="authorizationcampaignspec"> <a href="#authorizationcampaignspec">AuthorizationCampaignSpec</a> </li><li data-api-symbol="campaignexport"> <a href="#campaignexport">CampaignExport</a> </li><li data-api-symbol="capabilityrequirement"> <a href="#capabilityrequirement">CapabilityRequirement</a> </li><li data-api-symbol="createauthorizationcampaignoptions"> <a href="#createauthorizationcampaignoptions">CreateAuthorizationCampaignOptions</a> </li><li data-api-symbol="enginequalification"> <a href="#enginequalification">EngineQualification</a> </li><li data-api-symbol="firestoreoperation"> <a href="#firestoreoperation">FirestoreOperation</a> </li><li data-api-symbol="firestorequeryconstraint"> <a href="#firestorequeryconstraint">FirestoreQueryConstraint</a> </li><li data-api-symbol="generatedassurancecapability"> <a href="#generatedassurancecapability">GeneratedAssuranceCapability</a> </li><li data-api-symbol="localfirebasetarget"> <a href="#localfirebasetarget">LocalFirebaseTarget</a> </li><li data-api-symbol="minimizationresult"> <a href="#minimizationresult">MinimizationResult</a> </li><li data-api-symbol="mutationcandidate"> <a href="#mutationcandidate">MutationCandidate</a> </li><li data-api-symbol="operationevidence"> <a href="#operationevidence">OperationEvidence</a> </li><li data-api-symbol="probemutation"> <a href="#probemutation">ProbeMutation</a> </li><li data-api-symbol="proposalinput"> <a href="#proposalinput">ProposalInput</a> </li><li data-api-symbol="rtdboperation"> <a href="#rtdboperation">RtdbOperation</a> </li><li data-api-symbol="runsecuritycasesinput"> <a href="#runsecuritycasesinput">RunSecurityCasesInput</a> </li><li data-api-symbol="sandboxattachmentprovideroptions"> <a href="#sandboxattachmentprovideroptions">SandboxAttachmentProviderOptions</a> </li><li data-api-symbol="securitycase"> <a href="#securitycase">SecurityCase</a> </li><li data-api-symbol="securityinvariant"> <a href="#securityinvariant">SecurityInvariant</a> </li><li data-api-symbol="statediff"> <a href="#statediff">StateDiff</a> </li><li data-api-symbol="storageobjectfixture"> <a href="#storageobjectfixture">StorageObjectFixture</a> </li><li data-api-symbol="storageoperation"> <a href="#storageoperation">StorageOperation</a> </li> </ul> </section><section class="api-symbol-group" data-api-symbol-group> <a class="api-symbol-kind" href="#type-aliases"> Type Aliases </a> <ul> <li data-api-symbol="actoracquisition"> <a href="#actoracquisition">ActorAcquisition</a> </li><li data-api-symbol="assuranceattachmentprovider()"> <a href="#assuranceattachmentprovider">AssuranceAttachmentProvider()</a> </li><li data-api-symbol="assurancedecision"> <a href="#assurancedecision">AssuranceDecision</a> </li><li data-api-symbol="assuranceservice"> <a href="#assuranceservice">AssuranceService</a> </li><li data-api-symbol="firebaseoperation"> <a href="#firebaseoperation">FirebaseOperation</a> </li><li data-api-symbol="mutationdimension"> <a href="#mutationdimension">MutationDimension</a> </li><li data-api-symbol="probeclassification"> <a href="#probeclassification">ProbeClassification</a> </li> </ul> </section><section class="api-symbol-group" data-api-symbol-group> <a class="api-symbol-kind" href="#variables"> Variables </a> <ul> <li data-api-symbol="assurance_broadcast_channel"> <a href="#assurance_broadcast_channel">ASSURANCE_BROADCAST_CHANNEL</a> </li><li data-api-symbol="assurance_browser_event"> <a href="#assurance_browser_event">ASSURANCE_BROWSER_EVENT</a> </li><li data-api-symbol="assurance_campaign_schema"> <a href="#assurance_campaign_schema">ASSURANCE_CAMPAIGN_SCHEMA</a> </li><li data-api-symbol="assurance_engine_capabilities"> <a href="#assurance_engine_capabilities">ASSURANCE_ENGINE_CAPABILITIES</a> </li><li data-api-symbol="assurance_report_schema"> <a href="#assurance_report_schema">ASSURANCE_REPORT_SCHEMA</a> </li><li data-api-symbol="assurance_target_schema"> <a href="#assurance_target_schema">ASSURANCE_TARGET_SCHEMA</a> </li><li data-api-symbol="defaultassurancecampaignstore"> <a href="#defaultassurancecampaignstore">defaultAssuranceCampaignStore</a> </li> </ul> </section><section class="api-symbol-group" data-api-symbol-group> <a class="api-symbol-kind" href="#functions"> Functions </a> <ul> <li data-api-symbol="capabilityreasons()"> <a href="#capabilityreasons">capabilityReasons()</a> </li><li data-api-symbol="createassurancetools()"> <a href="#createassurancetools">createAssuranceTools()</a> </li><li data-api-symbol="createauthorizationcampaign()"> <a href="#createauthorizationcampaign">createAuthorizationCampaign()</a> </li><li data-api-symbol="createsandboxattachmentprovider()"> <a href="#createsandboxattachmentprovider">createSandboxAttachmentProvider()</a> </li><li data-api-symbol="listassurancecapabilities()"> <a href="#listassurancecapabilities">listAssuranceCapabilities()</a> </li><li data-api-symbol="publishassurancevisualization()"> <a href="#publishassurancevisualization">publishAssuranceVisualization()</a> </li><li data-api-symbol="qualifyprobe()"> <a href="#qualifyprobe">qualifyProbe()</a> </li><li data-api-symbol="runauthorizationcampaign()"> <a href="#runauthorizationcampaign">runAuthorizationCampaign()</a> </li><li data-api-symbol="runsecuritycases()"> <a href="#runsecuritycases">runSecurityCases()</a> </li><li data-api-symbol="subscribeassurancevisualizations()"> <a href="#subscribeassurancevisualizations">subscribeAssuranceVisualizations()</a> </li> </ul> </section><section class="api-symbol-group" data-api-symbol-group> <a class="api-symbol-kind" href="#references"> References </a> <ul> <li data-api-symbol="assuranceenginecapability"> <a href="#assuranceenginecapability">AssuranceEngineCapability</a> </li> </ul> </section> <p class="api-symbol-empty" data-api-symbol-empty hidden>No matching symbols</p> </div> </aside> </div> <script type="module">const a=document.querySelector("[data-api-symbol-filter]"),d=[...document.querySelectorAll("[data-api-symbol-group]")],n=document.querySelector("[data-api-symbol-empty]");a?.addEventListener("input",()=>{const t=a.value.trim().toLowerCase();let o=0;for(const i of d){let e=0;i.querySelectorAll("[data-api-symbol]").forEach(l=>{const r=!t||(l.dataset.apiSymbol??"").includes(t);l.hidden=!r,r&&e++}),i.hidden=e===0,o+=e}n&&(n.hidden=o>0)});</script> <script type="module">const s=new Map;document.querySelectorAll('.doc-toc a[href^="#"]').forEach(t=>s.set(decodeURIComponent(t.hash.slice(1)),t));if(s.size>0){const t=new Set,n=()=>{let o=null;for(const e of s.keys())if(t.has(e)){o=e;break}s.forEach((e,c)=>e.classList.toggle("active",c===o))},r=new IntersectionObserver(o=>{for(const e of o)e.isIntersecting?t.add(e.target.id):t.delete(e.target.id);n()},{rootMargin:"-72px 0px -60% 0px"});s.forEach((o,e)=>{const c=document.getElementById(e);c&&r.observe(c)})}</script> <script type="module">document.querySelector('.studio__nav [aria-current="page"]')?.scrollIntoView({block:"nearest",inline:"center"});</script> </body> </html>