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-rules-reference-api/index.html ADDED Viewed

@@ -0,0 +1,2629 @@
+<!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/rules · Pyric Studio</title><meta name="description" content="Published declarations for pyric/rules."><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</span> </li><li> <span class="docs-breadcrumbs-sep" aria-hidden="true">/</span> <span aria-current="page">pyric/rules</span> </li> </ol> </nav> <header class="api-reference-header"> <p class="api-reference-kicker">API reference</p> <h1><code>pyric/rules</code></h1> <p class="api-reference-meta"> 94 published symbols from <code>pyric</code> </p> <p class="api-reference-source">
+Generated from the TypeScript declarations shipped at this import path.
+</p> <a class="api-reference-evidence" href="/__pyric/ui/docs/pyric-rules-compat/">
+Check behavioral conformance
+</a> </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="rulesassertionerror"></a></p>
+<h3 id="rulesassertionerror">RulesAssertionError</h3>
+<p>Thrown by <code>assertCase</code> / a runner case’s <code>run()</code> when the simulated
+decision did not match the case’s expectation. The message is the
+rendered trace from <code>explainCase</code>, so a test runner surfaces the “why”
+without extra wiring.</p>
+<h4 id="extends">Extends</h4>
+<ul>
+<li><code>Error</code></li>
+</ul>
+<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"> RulesAssertionError</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">message</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">RulesAssertionError</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>message</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h6 id="returns">Returns</h6>
+<p><a href="#rulesassertionerror"><code>RulesAssertionError</code></a></p>
+<h6 id="overrides">Overrides</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>
+<hr>
+<p><a id="rulescompileerror"></a></p>
+<h3 id="rulescompileerror">RulesCompileError</h3>
+<p>Thrown by <code>firestoreRules(source)</code> / <code>rtdbRules(...)</code> when the source
+cannot compile. Carries the compile-blocking issues on <code>.issues</code> so a
+caller can surface them without re-parsing.</p>
+<h4 id="extends-1">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"> RulesCompileError</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">message</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75">issues</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">RuleIssue</span><span style="color:#ABB2BF">[]): </span><span style="color:#E06C75">RulesCompileError</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>message</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>issues</code></td><td align="left"><a href="#ruleissue"><code>RuleIssue</code></a>[]</td></tr></tbody></table></div>
+<h6 id="returns-1">Returns</h6>
+<p><a href="#rulescompileerror"><code>RulesCompileError</code></a></p>
+<h6 id="overrides-1">Overrides</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></tr></thead><tbody><tr><td align="left"><a id="issues"></a> <code>issues</code></td><td align="left"><code>readonly</code></td><td align="left"><a href="#ruleissue"><code>RuleIssue</code></a>[]</td></tr></tbody></table></div>
+<hr>
+<p><a id="rulesunsupportederror"></a></p>
+<h3 id="rulesunsupportederror">RulesUnsupportedError</h3>
+<p>Thrown by <code>assertCase</code> / a runner case’s <code>run()</code> when the simulator
+abstained — it hit a feature it does not implement, so neither a pass nor
+a genuine failure can be asserted. Distinct from
+<a href="#rulesassertionerror">RulesAssertionError</a> so a runner can choose to skip rather than
+fail on a known simulator gap.</p>
+<h4 id="extends-2">Extends</h4>
+<ul>
+<li><code>Error</code></li>
+</ul>
+<h4 id="constructors-2">Constructors</h4>
+<p><a id="constructor-2"></a></p>
+<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"> RulesUnsupportedError</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">message</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">string</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">RulesUnsupportedError</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>message</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h6 id="returns-2">Returns</h6>
+<p><a href="#rulesunsupportederror"><code>RulesUnsupportedError</code></a></p>
+<h6 id="overrides-2">Overrides</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>
+<h2 id="interfaces">Interfaces</h2>
+<p><a id="caseresult"></a></p>
+<h3 id="caseresult">CaseResult</h3>
+<p>The outcome of running one Firestore case through <code>simulate</code>. Never a
+thrown error — a denied or abstained case is data, not an exception.</p>
+<h4 id="properties-1">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="case"></a> <code>case</code></td><td align="left"><a href="#firestorecase"><code>FirestoreCase</code></a></td><td align="left">The case that produced this result.</td></tr><tr><td align="left"><a id="decision"></a> <code>decision</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code> | <code>"UNSUPPORTED"</code></td><td align="left">The engine’s absolute verdict, independent of expectation.</td></tr><tr><td align="left"><a id="description"></a> <code>description</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="expectation"></a> <code>expectation</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code></td><td align="left">-</td></tr><tr><td align="left"><a id="notes"></a> <code>notes</code></td><td align="left"><code>string</code>[]</td><td align="left">Top-level diagnostic strings.</td></tr><tr><td align="left"><a id="passed"></a> <code>passed</code></td><td align="left"><code>boolean</code></td><td align="left"><code>true</code> when <code>decision</code> matched <code>expectation</code>.</td></tr><tr><td align="left"><a id="pathresolution"></a> <code>pathResolution?</code></td><td align="left"><a href="#pathresolutiontrace"><code>PathResolutionTrace</code></a></td><td align="left">Which match blocks the resolver considered and where each fell apart.</td></tr><tr><td align="left"><a id="trace"></a> <code>trace</code></td><td align="left"><a href="#ruleevaluation"><code>RuleEvaluation</code></a>[]</td><td align="left">Per-rule evaluation entries in source order.</td></tr><tr><td align="left"><a id="unsupported"></a> <code>unsupported</code></td><td align="left"><code>boolean</code></td><td align="left"><code>true</code> when the simulator abstained on a feature it does not implement — neither a pass nor a genuine failure.</td></tr></tbody></table></div>
+<hr>
+<p><a id="evaluatedruleinfo"></a></p>
+<h3 id="evaluatedruleinfo">EvaluatedRuleInfo</h3>
+<p>The DECIDING rule’s source position + sub-expression trace, projected from a
+TestResult — for BOTH verdicts: the <code>allow</code> rule that granted an
+ALLOW, or the rule responsible for a DENY. Additive companion to
+renderLegacyDebugMessages: that flattens the per-rule trace to
+strings (dropping <code>line</code> and <code>expressionTrace</code>); this preserves the
+structured detail a UI needs to point at the exact source line and step
+through the evaluation (“show the work”). Position/trace fields are optional
+so a partial trace projects honestly.</p>
+<h4 id="properties-2">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="expression"></a> <code>expression?</code></td><td align="left"><code>string</code></td><td align="left">Pretty-printed condition text of the deciding rule.</td></tr><tr><td align="left"><a id="expressiontrace"></a> <code>expressionTrace?</code></td><td align="left"><a href="#exprtraceentry"><code>ExprTraceEntry</code></a>[]</td><td align="left">Per-sub-expression evaluation trace of the deciding rule.</td></tr><tr><td align="left"><a id="line"></a> <code>line?</code></td><td align="left"><code>number</code></td><td align="left">1-indexed source line of the deciding <code>allow</code> rule.</td></tr><tr><td align="left"><a id="verdict"></a> <code>verdict</code></td><td align="left"><code>"allow"</code> | <code>"deny"</code></td><td align="left">The verdict the deciding rule produced for the op.</td></tr></tbody></table></div>
+<hr>
+<p><a id="explanation"></a></p>
+<h3 id="explanation">Explanation</h3>
+<p>The structured account of why one Firestore case resolved as it did.</p>
+<h4 id="properties-3">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="deciding"></a> <code>deciding?</code></td><td align="left"><a href="#evaluatedruleinfo"><code>EvaluatedRuleInfo</code></a></td><td align="left">The deciding <code>allow</code> rule (line, condition text, sub-expression trace), when one was evaluated. Absent on default-deny / abstain.</td></tr><tr><td align="left"><a id="decision-1"></a> <code>decision</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code> | <code>"UNSUPPORTED"</code></td><td align="left">-</td></tr><tr><td align="left"><a id="expectation-1"></a> <code>expectation</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code></td><td align="left">-</td></tr><tr><td align="left"><a id="notes-1"></a> <code>notes</code></td><td align="left"><code>string</code>[]</td><td align="left">-</td></tr><tr><td align="left"><a id="passed-1"></a> <code>passed</code></td><td align="left"><code>boolean</code></td><td align="left">-</td></tr><tr><td align="left"><a id="pathresolution-1"></a> <code>pathResolution?</code></td><td align="left"><a href="#pathresolutiontrace"><code>PathResolutionTrace</code></a></td><td align="left">-</td></tr><tr><td align="left"><a id="trace-1"></a> <code>trace</code></td><td align="left"><a href="#ruleevaluation"><code>RuleEvaluation</code></a>[]</td><td align="left">-</td></tr><tr><td align="left"><a id="unsupported-1"></a> <code>unsupported</code></td><td align="left"><code>boolean</code></td><td align="left">-</td></tr></tbody></table></div>
+<hr>
+<p><a id="exprtraceentry"></a></p>
+<h3 id="exprtraceentry">ExprTraceEntry</h3>
+<p>One entry in the per-rule expression trace recorded by <code>TraceRecorder</code>.</p>
+<p>Trace entries are emitted in evaluation order. The tree shape is
+reconstructable via <code>parent</code>: root entries have <code>parent: null</code>, and
+each child entry’s <code>parent</code> is the array index of its evaluating
+ancestor. This is denser than nested objects for transport (a tool
+call returns a single flat array) and easier for the agent to scan
+top-to-bottom.</p>
+<p><code>value</code> carries the evaluation result. For nodes that threw, see
+<code>error</code>; for short-circuit skips, <code>skipped: true</code> is set instead.</p>
+<h4 id="properties-4">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="error"></a> <code>error?</code></td><td align="left"><code>string</code></td><td align="left">Error message when the expression threw. The wrapper still re-throws; this captures the diagnostic for the caller.</td></tr><tr><td align="left"><a id="inlinedfrom"></a> <code>inlinedFrom?</code></td><td align="left">{ <code>name</code>: <code>string</code>; }</td><td align="left">Set on entries recorded <em>inside</em> a user-defined function’s body (after parameter binding). Carries the enclosing function’s name so the agent can filter the trace by frame — <code>entries.filter(e => e.inlinedFrom?.name === 'isOwner')</code> — without walking the parent chain to find the surrounding <code>functionCall</code>. Parameter expressions are <em>not</em> tagged: they evaluate in the caller’s scope, before the frame is entered. The <code>functionCall</code> entry itself is recorded in the caller’s frame too, so a top-level <code>isOwner()</code> shows <code>inlinedFrom: undefined</code> on the <code>functionCall</code>, but <code>'isOwner'</code> on its body children.</td></tr><tr><td align="left"><code>inlinedFrom.name</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="kind"></a> <code>kind</code></td><td align="left">| <code>"literal"</code> | <code>"identifier"</code> | <code>"memberAccess"</code> | <code>"methodCall"</code> | <code>"bracketAccess"</code> | <code>"sliceAccess"</code> | <code>"binaryOp"</code> | <code>"unaryOp"</code> | <code>"ternary"</code> | <code>"inExpr"</code> | <code>"isExpr"</code> | <code>"listLiteral"</code> | <code>"mapLiteral"</code> | <code>"pathLiteral"</code> | <code>"functionCall"</code></td><td align="left">AST node type — useful for filtering by structural kind.</td></tr><tr><td align="left"><a id="letbinding"></a> <code>letBinding?</code></td><td align="left">{ <code>name</code>: <code>string</code>; }</td><td align="left">Set on entries that record a <code>let</code> binding evaluation inside a user-defined function. <code>value</code> holds the bound value.</td></tr><tr><td align="left"><code>letBinding.name</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="parent"></a> <code>parent</code></td><td align="left"><code>number</code></td><td align="left">Index of the parent entry in the trace array; null at the root.</td></tr><tr><td align="left"><a id="skipped"></a> <code>skipped?</code></td><td align="left"><code>boolean</code></td><td align="left">True for an <code>&#x26;&#x26;</code> / `</td></tr><tr><td align="left"><a id="source"></a> <code>source</code></td><td align="left"><code>string</code></td><td align="left">Pretty-printed source of the expression (via <code>assembleExpression</code>).</td></tr><tr><td align="left"><a id="value"></a> <code>value?</code></td><td align="left"><code>unknown</code></td><td align="left">Evaluation result. Undefined when <code>skipped</code> or <code>error</code> is set.</td></tr></tbody></table></div>
+<hr>
+<p><a id="firestorecase"></a></p>
+<h3 id="firestorecase">FirestoreCase</h3>
+<p>One Firestore rules case: a single request plus the outcome it should
+produce. Structurally identical to the engine’s <code>TestCase</code> — re-exported
+here under the public name so callers never reach into the engine seam.</p>
+<h4 id="properties-5">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="auth"></a> <code>auth?</code></td><td align="left">{ <code>token?</code>: <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>; <code>uid</code>: <code>string</code>; }</td><td align="left">Auth context; <code>null</code>/omitted for unauthenticated.</td></tr><tr><td align="left"><code>auth.token?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>></td><td align="left">-</td></tr><tr><td align="left"><code>auth.uid</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><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><td align="left"><code>request.resource.data</code> for write operations.</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">Human-readable description of what this case verifies.</td></tr><tr><td align="left"><a id="expectation-2"></a> <code>expectation</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code></td><td align="left">Expected outcome.</td></tr><tr><td align="left"><a id="functionmocks"></a> <code>functionMocks?</code></td><td align="left">{ <code>function</code>: <code>"get"</code> | <code>"exists"</code>; <code>path</code>: <code>string</code>; <code>result</code>: <code>boolean</code> | <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>; }[]</td><td align="left">Mock <code>get()</code> / <code>exists()</code> calls the rules make.</td></tr><tr><td align="left"><a id="method"></a> <code>method</code></td><td align="left"><code>"get"</code> | <code>"list"</code> | <code>"create"</code> | <code>"update"</code> | <code>"delete"</code></td><td align="left">Firestore method under test.</td></tr><tr><td align="left"><a id="path"></a> <code>path</code></td><td align="left"><code>string</code></td><td align="left">Document path, e.g. <code>"users/alice"</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>offset?</code>: <code>number</code>; <code>orderBy?</code>: <code>string</code>; }</td><td align="left"><code>request.query</code> payload (list ops only): limit/offset/orderBy.</td></tr><tr><td align="left"><code>query.limit?</code></td><td align="left"><code>number</code></td><td align="left">-</td></tr><tr><td align="left"><code>query.offset?</code></td><td align="left"><code>number</code></td><td align="left">-</td></tr><tr><td align="left"><code>query.orderBy?</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="requesttime"></a> <code>requestTime?</code></td><td align="left"><code>string</code></td><td align="left">Override for <code>request.time</code> (ISO-8601). Defaults to wallclock.</td></tr><tr><td align="left"><a id="resource"></a> <code>resource?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>></td><td align="left">Existing document data (<code>resource.data</code>).</td></tr><tr><td align="left"><a id="writemode"></a> <code>writeMode?</code></td><td align="left">| { <code>kind</code>: <code>"create"</code>; } | { <code>kind</code>: <code>"set"</code>; <code>merge</code>: <code>boolean</code>; } | { <code>kind</code>: <code>"update"</code>; } | { <code>kind</code>: <code>"delete"</code>; }</td><td align="left">Explicit write semantics — controls update-merge and getAfter() projection. Omit to treat <code>data</code> as the full after-state.</td></tr></tbody></table></div>
+<hr>
+<p><a id="firestoreruleset"></a></p>
+<h3 id="firestoreruleset">FirestoreRuleset</h3>
+<h4 id="methods">Methods</h4>
+<p><a id="explain"></a></p>
+<h5 id="explain">explain()</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">explain</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">oneCase</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">FirestoreCase</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">Explanation</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>The structured account of why one case resolved as it did.</p>
+<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>oneCase</code></td><td align="left"><a href="#firestorecase"><code>FirestoreCase</code></a></td></tr></tbody></table></div>
+<h6 id="returns-3">Returns</h6>
+<p><a href="#explanation"><code>Explanation</code></a></p>
+<p><a id="lint"></a></p>
+<h5 id="lint">lint()</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">lint</span><span style="color:#ABB2BF">(): </span><span style="color:#E06C75">RuleIssue</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<p>Structural, security, and budget findings on the compiled ruleset.
+No parse errors — the source already compiled.</p>
+<h6 id="returns-4">Returns</h6>
+<p><a href="#ruleissue"><code>RuleIssue</code></a>[]</p>
+<p><a id="simulate"></a></p>
+<h5 id="simulate">simulate()</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">simulate</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">cases</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">FirestoreCase</span><span style="color:#ABB2BF">[]): </span><span style="color:#E06C75">SimulationSummary</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Run every case. Never throws on a rule outcome: a denied or abstained
+case is reported in the returned summary.</p>
+<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>cases</code></td><td align="left"><a href="#firestorecase"><code>FirestoreCase</code></a>[]</td></tr></tbody></table></div>
+<h6 id="returns-5">Returns</h6>
+<p><a href="#simulationsummary"><code>SimulationSummary</code></a></p>
+<p><a id="tojson"></a></p>
+<h5 id="tojson">toJSON()</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">toJSON</span><span style="color:#ABB2BF">(): </span><span style="color:#E06C75">FirestoreRules</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>The parsed ruleset as plain data (the AST).</p>
+<h6 id="returns-6">Returns</h6>
+<p><code>FirestoreRules</code></p>
+<hr>
+<p><a id="pathdef"></a></p>
+<h3 id="pathdef">PathDef</h3>
+<p>Definition of rules for a single database path.</p>
+<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="children"></a> <code>children?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <a href="#pathdef"><code>PathDef</code></a>></td></tr><tr><td align="left"><a id="fieldconstraints"></a> <code>fieldConstraints?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <a href="#expr"><code>Expr</code></a>[]></td></tr><tr><td align="left"><a id="indexon"></a> <code>indexOn?</code></td><td align="left"><code>string</code>[]</td></tr><tr><td align="left"><a id="read"></a> <code>read?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="schema"></a> <code>schema?</code></td><td align="left"><code>ZodObject</code>&#x3C;<code>any</code>></td></tr><tr><td align="left"><a id="validate"></a> <code>validate?</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="write"></a> <code>write?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="pathresolutionentry"></a></p>
+<h3 id="pathresolutionentry">PathResolutionEntry</h3>
+<p>One <code>match</code> block the simulator considered while resolving the
+request path. Together, <code>PathResolutionTrace.attempts</code> forms a
+complete picture of “what did the resolver try, and where did
+each attempt fall apart?” — useful for the agent when a request
+lands in the default-deny path because no block matched.</p>
+<p>Recorded only by the local simulator; the production Test API
+client doesn’t expose path-resolution internals.</p>
+<h4 id="properties-7">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="bindings"></a> <code>bindings</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>string</code>></td><td align="left">Wildcard / recursive bindings the block produced (even when the overall match failed — the partial bindings are still diagnostic).</td></tr><tr><td align="left"><a id="blockpath"></a> <code>blockPath</code></td><td align="left"><code>string</code></td><td align="left">Raw match path as written in the source, e.g. <code>'/users/{uid}/messages/{mId}'</code>.</td></tr><tr><td align="left"><a id="line-1"></a> <code>line?</code></td><td align="left"><code>number</code></td><td align="left">Source line of the <code>match</code> keyword. Absent when the parser didn’t populate <code>loc</code> (programmatically-constructed blocks).</td></tr><tr><td align="left"><a id="matched"></a> <code>matched</code></td><td align="left"><code>boolean</code></td><td align="left">True for a block that fully resolved (no remaining request segments AND every nested match either completed or wasn’t needed). MULTIPLE entries may be <code>matched: true</code> in one trace: a request path can match several overlapping <code>match</code> blocks (e.g. <code>/docs/{doc}</code> and a sibling <code>/{document=**}</code>), and every matching block’s allows OR-combine. Container blocks whose children completed the resolution are also flagged matched.</td></tr><tr><td align="left"><a id="matchedsegments"></a> <code>matchedSegments</code></td><td align="left"><code>number</code></td><td align="left">How many of the block’s path segments matched against the request path before the resolver gave up or completed.</td></tr><tr><td align="left"><a id="reason"></a> <code>reason?</code></td><td align="left"><code>"literal-mismatch"</code> | <code>"request-shorter"</code> | <code>"no-matching-child"</code></td><td align="left">Why the resolver moved on. Absent when <code>matched: true</code>. - <code>'literal-mismatch'</code> — a literal segment in the block didn’t match the corresponding request segment. - <code>'request-shorter'</code> — block path had more segments than the request supplied (e.g. block is <code>/a/{b}/c</code>, request is <code>/a/x</code>). - <code>'no-matching-child'</code> — block matched its own segments but remaining request segments weren’t covered by any child block.</td></tr><tr><td align="left"><a id="totalsegments"></a> <code>totalSegments</code></td><td align="left"><code>number</code></td><td align="left">Total segments in the block’s path pattern.</td></tr></tbody></table></div>
+<hr>
+<p><a id="pathresolutiontrace"></a></p>
+<h3 id="pathresolutiontrace">PathResolutionTrace</h3>
+<h4 id="properties-8">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="attempts"></a> <code>attempts</code></td><td align="left"><a href="#pathresolutionentry"><code>PathResolutionEntry</code></a>[]</td><td align="left">One entry per match block the resolver considered, in the order it tried them. <code>attempts[i].matched: true</code> marks a block that fully resolved; one or more per trace, since overlapping blocks all match and OR-combine.</td></tr><tr><td align="left"><a id="requestpath"></a> <code>requestPath</code></td><td align="left"><code>string</code></td><td align="left">The request path that was resolved, verbatim from <code>TestCase.path</code>.</td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbcase"></a></p>
+<h3 id="rtdbcase">RtdbCase</h3>
+<p>One Realtime Database rules case. <code>expectation</code> is required so a <code>simulate</code>
+run can partition cases into passed/failed the same way Firestore does —
+the RTDB simulator otherwise returns only a raw allow/deny with no notion
+of an expectation.</p>
+<h4 id="properties-9">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="auth-1"></a> <code>auth?</code></td><td align="left">| <code>string</code> | { <code>token?</code>: <code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>>; <code>uid</code>: <code>string</code>; }</td><td align="left">Auth context; a bare uid string, a full identity, or <code>null</code>.</td></tr><tr><td align="left"><a id="data-1"></a> <code>data?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>></td><td align="left">Existing tree data the rule reads (<code>data</code>).</td></tr><tr><td align="left"><a id="description-2"></a> <code>description?</code></td><td align="left"><code>string</code></td><td align="left">Human-readable description of what this case verifies.</td></tr><tr><td align="left"><a id="expectation-3"></a> <code>expectation</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code></td><td align="left">Expected outcome.</td></tr><tr><td align="left"><a id="newdata"></a> <code>newData?</code></td><td align="left"><code>unknown</code></td><td align="left">Proposed write value (<code>newData</code>), for write/validate cases.</td></tr><tr><td align="left"><a id="operation"></a> <code>operation</code></td><td align="left"><code>"validate"</code> | <code>"read"</code> | <code>"write"</code></td><td align="left">RTDB rule kind under test.</td></tr><tr><td align="left"><a id="path-1"></a> <code>path</code></td><td align="left"><code>string</code></td><td align="left">Absolute, root-relative tree path, e.g. <code>"/users/alice"</code>.</td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbcaseresult"></a></p>
+<h3 id="rtdbcaseresult">RtdbCaseResult</h3>
+<p>The outcome of running one RTDB case through <code>simulate</code>.</p>
+<h4 id="properties-10">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="case-1"></a> <code>case</code></td><td align="left"><a href="#rtdbcase"><code>RtdbCase</code></a></td><td align="left">-</td></tr><tr><td align="left"><a id="decision-2"></a> <code>decision</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code> | <code>"UNSUPPORTED"</code></td><td align="left">-</td></tr><tr><td align="left"><a id="description-3"></a> <code>description?</code></td><td align="left"><code>string</code></td><td align="left">-</td></tr><tr><td align="left"><a id="expectation-4"></a> <code>expectation</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code></td><td align="left">-</td></tr><tr><td align="left"><a id="matchedpath"></a> <code>matchedPath</code></td><td align="left"><code>string</code></td><td align="left">The tree path whose rule decided the request.</td></tr><tr><td align="left"><a id="matchedrule"></a> <code>matchedRule</code></td><td align="left"><code>string</code></td><td align="left">Which rule kind (<code>.read</code> / <code>.write</code> / <code>.validate</code>) decided.</td></tr><tr><td align="left"><a id="passed-2"></a> <code>passed</code></td><td align="left"><code>boolean</code></td><td align="left">-</td></tr><tr><td align="left"><a id="reason-1"></a> <code>reason</code></td><td align="left"><code>string</code></td><td align="left">Engine-provided reason string.</td></tr><tr><td align="left"><a id="unsupported-2"></a> <code>unsupported</code></td><td align="left"><code>boolean</code></td><td align="left">-</td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbexplanation"></a></p>
+<h3 id="rtdbexplanation">RtdbExplanation</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="decision-3"></a> <code>decision</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code> | <code>"UNSUPPORTED"</code></td></tr><tr><td align="left"><a id="expectation-5"></a> <code>expectation</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code></td></tr><tr><td align="left"><a id="matchedpath-1"></a> <code>matchedPath</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="matchedrule-1"></a> <code>matchedRule</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="passed-3"></a> <code>passed</code></td><td align="left"><code>boolean</code></td></tr><tr><td align="left"><a id="reason-2"></a> <code>reason</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="unsupported-3"></a> <code>unsupported</code></td><td align="left"><code>boolean</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbrulescheckresult"></a></p>
+<h3 id="rtdbrulescheckresult">RtdbRulesCheckResult</h3>
+<h4 id="properties-12">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="errors"></a> <code>errors</code></td><td align="left"><a href="#rtdbrulesfinding"><code>RtdbRulesFinding</code></a>[]</td></tr><tr><td align="left"><a id="ok"></a> <code>ok</code></td><td align="left"><code>boolean</code></td></tr><tr><td align="left"><a id="warnings"></a> <code>warnings</code></td><td align="left"><a href="#rtdbrulesfinding"><code>RtdbRulesFinding</code></a>[]</td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbrulesdefinition"></a></p>
+<h3 id="rtdbrulesdefinition">RtdbRulesDefinition</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="paths"></a> <code>paths</code></td><td align="left">| <code>Record</code>&#x3C;<code>string</code>, <a href="#pathdef"><code>PathDef</code></a>> | (<code>ctx</code>: <a href="#rulesetcontext"><code>RulesetContext</code></a>) => <code>void</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbrulesdocument"></a></p>
+<h3 id="rtdbrulesdocument">RtdbRulesDocument</h3>
+<p>The authored RTDB rules artifact <code>defineRtdbRules</code> returns.</p>
+<p>Deliberately INERT on the public surface: it exposes no methods. It is a
+value you author and hand to <code>rtdbRules()</code>, which is the one analysis
+surface (<code>lint</code> / <code>simulate</code> / <code>explain</code> / <code>toJSON</code>). The brand is
+type-level only; nothing exists at runtime.</p>
+<h4 id="properties-14">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="rtdb_rules_document_brand"></a> <code>[RTDB_RULES_DOCUMENT_BRAND]?</code></td><td align="left"><code>readonly</code></td><td align="left"><code>never</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbruleset"></a></p>
+<h3 id="rtdbruleset">RtdbRuleset</h3>
+<h4 id="methods-1">Methods</h4>
+<p><a id="explain-2"></a></p>
+<h5 id="explain-1">explain()</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">explain</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">oneCase</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">RtdbCase</span><span style="color:#ABB2BF">): </span><span style="color:#E06C75">RtdbExplanation</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>The structured account of why one case resolved as it did.</p>
+<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>oneCase</code></td><td align="left"><a href="#rtdbcase"><code>RtdbCase</code></a></td></tr></tbody></table></div>
+<h6 id="returns-7">Returns</h6>
+<p><a href="#rtdbexplanation"><code>RtdbExplanation</code></a></p>
+<p><a id="lint-2"></a></p>
+<h5 id="lint-1">lint()</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">lint</span><span style="color:#ABB2BF">(): </span><span style="color:#E06C75">RuleIssue</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<p>Structural findings on the compiled ruleset (from <code>check()</code>).</p>
+<h6 id="returns-8">Returns</h6>
+<p><a href="#ruleissue"><code>RuleIssue</code></a>[]</p>
+<p><a id="simulate-2"></a></p>
+<h5 id="simulate-1">simulate()</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">simulate</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75">cases</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">RtdbCase</span><span style="color:#ABB2BF">[]): </span><span style="color:#E06C75">RtdbSimulationSummary</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Run every case. Never throws on a rule outcome.</p>
+<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>cases</code></td><td align="left"><a href="#rtdbcase"><code>RtdbCase</code></a>[]</td></tr></tbody></table></div>
+<h6 id="returns-9">Returns</h6>
+<p><a href="#rtdbsimulationsummary"><code>RtdbSimulationSummary</code></a></p>
+<p><a id="tojson-2"></a></p>
+<h5 id="tojson-1">toJSON()</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">toJSON</span><span style="color:#ABB2BF">(): </span><span style="color:#E06C75">RtdbRulesJson</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>The compiled <code>rules.json</code>.</p>
+<h6 id="returns-10">Returns</h6>
+<p><a href="#rtdbrulesjson"><code>RtdbRulesJson</code></a></p>
+<hr>
+<p><a id="rtdbrulesfinding"></a></p>
+<h3 id="rtdbrulesfinding">RtdbRulesFinding</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="code"></a> <code>code</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><a id="message"></a> <code>message</code></td><td align="left"><code>string</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="rule"></a> <code>rule</code></td><td align="left"><a href="#rtdbrulesfindingrule-1"><code>RtdbRulesFindingRule</code></a></td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbsimulationsummary"></a></p>
+<h3 id="rtdbsimulationsummary">RtdbSimulationSummary</h3>
+<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="cases"></a> <code>cases</code></td><td align="left"><a href="#rtdbcaseresult"><code>RtdbCaseResult</code></a>[]</td></tr><tr><td align="left"><a id="failed"></a> <code>failed</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="passed-4"></a> <code>passed</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="unsupported-4"></a> <code>unsupported</code></td><td align="left"><code>number</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="ruleevaluation"></a></p>
+<h3 id="ruleevaluation">RuleEvaluation</h3>
+<p>Per-rule evaluation entry produced by the local simulator. Each entry
+corresponds to one <code>allow</code> declaration the simulator evaluated, in
+source order.</p>
+<p>Populated only by <code>SimulateFirestoreRulesHandler</code> (which has the parsed
+AST in hand); the production Test API client (<code>TestFirestoreRulesHandler</code>)
+returns an empty <code>trace</code> and surfaces the wire text on <code>TestResult.notes</code>.</p>
+<h4 id="properties-17">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="conditiontext"></a> <code>conditionText?</code></td><td align="left"><code>string</code></td><td align="left">Pretty-printed condition expression. Use this verbatim in agent-facing summaries — derived from the AST via <code>printExpression</code>, so it survives comment removal and whitespace re-flow in the source.</td></tr><tr><td align="left"><a id="expressiontrace-1"></a> <code>expressionTrace?</code></td><td align="left"><a href="#exprtraceentry"><code>ExprTraceEntry</code></a>[]</td><td align="left">Per-sub-expression evaluation trace for this rule’s condition. Flat, in evaluation order; reconstruct the tree via the <code>parent</code> index on each entry. Populated by the local simulator when the caller enables tracing — currently always on for <code>SimulateFirestoreRulesHandler.simulate()</code> so agents can see <em>why</em> a rule’s condition resolved as it did (which disjunct was true, which <code>let</code> binding the value flowed through, which method call threw). Absent on entries that came from the production Test API client (no AST visibility).</td></tr><tr><td align="left"><a id="line-2"></a> <code>line?</code></td><td align="left"><code>number</code></td><td align="left">1-indexed source line of the <code>allow</code> keyword. Populated when the rule’s <code>loc</code> was set by the parser.</td></tr><tr><td align="left"><a id="matchpath"></a> <code>matchPath?</code></td><td align="left"><code>string</code></td><td align="left">Source-rendered path of the <code>match</code> block this rule belongs to, e.g. <code>'/docs/{docId}'</code> or <code>'/{document=**}'</code>. Populated when the request path matches MORE THAN ONE overlapping <code>match</code> block: allows OR-combine across every matching block (production semantics — there is no first-match-wins), so a DENY trace can carry entries from several blocks. This field keeps them unambiguous — which block did this rule live in. Absent for the common single-block case.</td></tr><tr><td align="left"><a id="message-1"></a> <code>message?</code></td><td align="left"><code>string</code></td><td align="left">Human-readable diagnostic — populated for <code>UNSUPPORTED</code> (which sim surface is missing) and <code>ERROR</code> (which runtime error caused the rule to abort).</td></tr><tr><td align="left"><a id="operations"></a> <code>operations</code></td><td align="left">(<code>"get"</code> | <code>"list"</code> | <code>"create"</code> | <code>"update"</code> | <code>"delete"</code> | <code>"read"</code> | <code>"write"</code>)[]</td><td align="left">Operations declared on the allow rule (<code>read</code>, <code>write</code>, <code>get</code>, …).</td></tr><tr><td align="left"><a id="ruleindex"></a> <code>ruleIndex</code></td><td align="left"><code>number</code></td><td align="left">Position of the <code>allow</code> declaration within its match block, 0-indexed in source order.</td></tr><tr><td align="left"><a id="verdict-1"></a> <code>verdict</code></td><td align="left"><code>"ALLOW"</code> | <code>"DENY"</code> | <code>"UNSUPPORTED"</code> | <code>"ERROR"</code></td><td align="left">Outcome for this single rule. The TestResult’s overall <code>decision</code> is derived from the trace under OR semantics (any <code>'ALLOW'</code> ⇒ ALLOW, else any <code>'UNSUPPORTED'</code> ⇒ UNSUPPORTED, else DENY).</td></tr></tbody></table></div>
+<hr>
+<p><a id="ruleissue"></a></p>
+<h3 id="ruleissue">RuleIssue</h3>
+<h4 id="properties-18">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="code-1"></a> <code>code</code></td><td align="left"><code>string</code></td><td align="left">Stable machine code, e.g. <code>'PARSE_ERROR'</code>, <code>'SEC-4'</code>, <code>'GET_BUDGET'</code>.</td></tr><tr><td align="left"><a id="fix"></a> <code>fix?</code></td><td align="left"><code>string</code></td><td align="left">Suggested remediation, verbatim, when the producing stage offers one.</td></tr><tr><td align="left"><a id="line-3"></a> <code>line?</code></td><td align="left"><code>number</code></td><td align="left">1-indexed source line, when known.</td></tr><tr><td align="left"><a id="message-2"></a> <code>message</code></td><td align="left"><code>string</code></td><td align="left">Human-readable description.</td></tr><tr><td align="left"><a id="origin"></a> <code>origin</code></td><td align="left"><a href="#ruleissueorigin-1"><code>RuleIssueOrigin</code></a></td><td align="left">-</td></tr><tr><td align="left"><a id="path-3"></a> <code>path?</code></td><td align="left"><code>string</code></td><td align="left">Rules path the issue applies to, when known (e.g. <code>'/users/{uid}'</code>).</td></tr><tr><td align="left"><a id="severity"></a> <code>severity</code></td><td align="left"><a href="#ruleissueseverity-1"><code>RuleIssueSeverity</code></a></td><td align="left">-</td></tr></tbody></table></div>
+<hr>
+<p><a id="rulesetcontext"></a></p>
+<h3 id="rulesetcontext">RulesetContext</h3>
+<p>Context passed to the callback overload of ruleset().</p>
+<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="path-4"></a> <code>path</code></td><td align="left">(<code>path</code>: <code>string</code>, <code>def</code>: <a href="#pathdef"><code>PathDef</code></a>) => <code>void</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="schemarulesresult"></a></p>
+<h3 id="schemarulesresult">SchemaRulesResult</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="children-1"></a> <code>children</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, { <code>children?</code>: <code>Record</code>&#x3C;<code>string</code>, { <code>validate</code>: <a href="#expr"><code>Expr</code></a>; }>; <code>validate</code>: <a href="#expr"><code>Expr</code></a>; }></td></tr><tr><td align="left"><a id="validate-1"></a> <code>validate</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<hr>
+<p><a id="simulationsummary"></a></p>
+<h3 id="simulationsummary">SimulationSummary</h3>
+<p>Aggregate of a <code>simulate(cases)</code> run. Counts partition the cases:
+<code>passed + failed + unsupported === cases.length</code>.</p>
+<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="cases-1"></a> <code>cases</code></td><td align="left"><a href="#caseresult"><code>CaseResult</code></a>[]</td></tr><tr><td align="left"><a id="failed-1"></a> <code>failed</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="passed-5"></a> <code>passed</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><a id="unsupported-5"></a> <code>unsupported</code></td><td align="left"><code>number</code></td></tr></tbody></table></div>
+<h2 id="type-aliases">Type Aliases</h2>
+<p><a id="expr"></a></p>
+<h3 id="expr">Expr</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"> Expr</span><span style="color:#56B6C2"> =</span><span style="color:#E5C07B"> string</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Type alias for RTDB rule expression strings.</p>
+<hr>
+<p><a id="firestoremethod"></a></p>
+<h3 id="firestoremethod">FirestoreMethod</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"> FirestoreMethod</span><span style="color:#56B6C2"> =</span><span style="color:#C678DD"> typeof</span><span style="color:#E5C07B"> FIRESTORE_METHODS</span><span style="color:#ABB2BF">[</span><span style="color:#E06C75">number</span><span style="color:#ABB2BF">];</span></span></code></pre>
+<hr>
+<p><a id="rtdbrulesfindingrule-1"></a></p>
+<h3 id="rtdbrulesfindingrule">RtdbRulesFindingRule</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"> RtdbRulesFindingRule</span><span style="color:#56B6C2"> =</span><span style="color:#98C379"> ".read"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">".write"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">".validate"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"ruleset"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="rtdbrulesjson"></a></p>
+<h3 id="rtdbrulesjson">RtdbRulesJson</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"> RtdbRulesJson</span><span style="color:#56B6C2"> =</span><span style="color:#ABB2BF"> {</span></span>
+<span class="line"><span style="color:#E06C75">  rules</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:#ABB2BF">};</span></span></code></pre>
+<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="rules"></a> <code>rules</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>unknown</code>></td></tr></tbody></table></div>
+<hr>
+<p><a id="rtdbrulessimulationauth"></a></p>
+<h3 id="rtdbrulessimulationauth">RtdbRulesSimulationAuth</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"> RtdbRulesSimulationAuth</span><span style="color:#56B6C2"> =</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#E5C07B">string</span></span>
+<span class="line"><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>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#E5C07B">null</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="rtdbrulessimulationinput"></a></p>
+<h3 id="rtdbrulessimulationinput">RtdbRulesSimulationInput</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"> RtdbRulesSimulationInput</span><span style="color:#56B6C2"> =</span><span style="color:#E5C07B"> Omit</span><span style="color:#ABB2BF">&#x3C;</span><span style="color:#E5C07B">SimulationInput</span><span style="color:#ABB2BF">, </span><span style="color:#98C379">"auth"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"mockData"</span><span style="color:#ABB2BF">> &#x26; {</span></span>
+<span class="line"><span style="color:#E06C75">  auth</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">RtdbRulesSimulationAuth</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">  data</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">  mockData</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:#ABB2BF">};</span></span></code></pre>
+<h4 id="type-declaration">Type Declaration</h4>
+<h5 id="auth">auth?</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:#E06C75">optional</span><span style="color:#E06C75"> auth</span><span style="color:#ABB2BF">: </span><span style="color:#E06C75">RtdbRulesSimulationAuth</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h5 id="data">data?</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:#E06C75">optional</span><span style="color:#E06C75"> data</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">, </span><span style="color:#E06C75">unknown</span><span style="color:#56B6C2">></span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h5 id="mockdata">mockData?</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:#E06C75">optional</span><span style="color:#E06C75"> mockData</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">, </span><span style="color:#E06C75">unknown</span><span style="color:#56B6C2">></span><span style="color:#ABB2BF">;</span></span></code></pre>
+<hr>
+<p><a id="ruleissueorigin-1"></a></p>
+<h3 id="ruleissueorigin">RuleIssueOrigin</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"> RuleIssueOrigin</span><span style="color:#56B6C2"> =</span><span style="color:#98C379"> "parse"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"validate"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"lint"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>The stage that produced the issue.</p>
+<ul>
+<li><code>parse</code>    — the source did not parse; nothing downstream ran.</li>
+<li><code>validate</code> — a structural/security finding on a parsed ruleset.</li>
+<li><code>lint</code>     — a budget/quality/hallucination warning.</li>
+</ul>
+<hr>
+<p><a id="ruleissueseverity-1"></a></p>
+<h3 id="ruleissueseverity">RuleIssueSeverity</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"> RuleIssueSeverity</span><span style="color:#56B6C2"> =</span><span style="color:#98C379"> "error"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"warning"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"info"</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Ordered by decreasing urgency. <code>info</code> is advisory.</p>
+<hr>
+<p><a id="segment"></a></p>
+<h3 id="segment">Segment</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"> Segment</span><span style="color:#56B6C2"> =</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#E5C07B">string</span></span>
+<span class="line"><span style="color:#ABB2BF">  | {</span></span>
+<span class="line"><span style="color:#E06C75">  $</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>
+<p>A path segment: string for literal, { $: name } for path variable.</p>
+<h2 id="variables">Variables</h2>
+<p><a id="all"></a></p>
+<h3 id="all">all()</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:#61AFEF"> all</span><span style="color:#ABB2BF">: (...</span><span style="color:#E06C75;font-style:italic">exprs</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Expr</span><span style="color:#ABB2BF">[]) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>All conditions must be true (AND).</p>
+<h4 id="parameters-7">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>exprs</code></td><td align="left"><a href="#expr"><code>Expr</code></a>[]</td></tr></tbody></table></div>
+<h4 id="returns-11">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="allow"></a></p>
+<h3 id="allow">allow()</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:#61AFEF"> allow</span><span style="color:#ABB2BF">: () </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Always allow (true). Readable alias for always().</p>
+<h4 id="returns-12">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="always"></a></p>
+<h3 id="always">always()</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:#61AFEF"> always</span><span style="color:#ABB2BF">: () </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Always allow (true).</p>
+<h4 id="returns-13">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="any"></a></p>
+<h3 id="any">any()</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:#61AFEF"> any</span><span style="color:#ABB2BF">: (...</span><span style="color:#E06C75;font-style:italic">exprs</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Expr</span><span style="color:#ABB2BF">[]) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>At least one condition must be true (OR).</p>
+<h4 id="parameters-8">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>exprs</code></td><td align="left"><a href="#expr"><code>Expr</code></a>[]</td></tr></tbody></table></div>
+<h4 id="returns-14">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="auth_uid"></a></p>
+<h3 id="auth_uid">AUTH_UID</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"> AUTH_UID</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Segment</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>auth.uid as a comparison value (unquoted in expressions)</p>
+<hr>
+<p><a id="authenticated"></a></p>
+<h3 id="authenticated">authenticated()</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:#61AFEF"> authenticated</span><span style="color:#ABB2BF">: () </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h4 id="returns-15">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="dataexists"></a></p>
+<h3 id="dataexists">dataExists()</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:#61AFEF"> dataExists</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">path</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Check if data exists at current node or a child path</p>
+<h4 id="parameters-9">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>path?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-16">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="dataparentval"></a></p>
+<h3 id="dataparentval">dataParentVal()</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:#61AFEF"> dataParentVal</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">depth</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Navigate up from data snapshot, then read a child field’s value</p>
+<h4 id="parameters-10">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>depth</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-17">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="dataval"></a></p>
+<h3 id="dataval">dataVal()</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:#61AFEF"> dataVal</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">path</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Read data value at current node or a child path (pre-write state)</p>
+<h4 id="parameters-11">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>path?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-18">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="deny"></a></p>
+<h3 id="deny">deny()</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:#61AFEF"> deny</span><span style="color:#ABB2BF">: () </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Always deny (false).</p>
+<h4 id="returns-19">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="eq"></a></p>
+<h3 id="eq">eq()</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:#61AFEF"> eq</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">left</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Expr</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">right</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">CompareValue</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Strict equality: left === right (right is a literal value or runtime ref)</p>
+<h4 id="parameters-12">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>left</code></td><td align="left"><a href="#expr"><code>Expr</code></a></td></tr><tr><td align="left"><code>right</code></td><td align="left"><code>CompareValue</code></td></tr></tbody></table></div>
+<h4 id="returns-20">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="expr-1"></a></p>
+<h3 id="expr-1">expr()</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:#61AFEF"> expr</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">raw</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Create an Expr from a raw expression string.</p>
+<h4 id="parameters-13">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>raw</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-21">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="fieldenum"></a></p>
+<h3 id="fieldenum">fieldEnum()</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:#61AFEF"> fieldEnum</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">values</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">[]) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Field must be one of the allowed string values</p>
+<h4 id="parameters-14">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>field</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>values</code></td><td align="left"><code>string</code>[]</td></tr></tbody></table></div>
+<h4 id="returns-22">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="fieldisboolean"></a></p>
+<h3 id="fieldisboolean">fieldIsBoolean()</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:#61AFEF"> fieldIsBoolean</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Field must be a boolean</p>
+<h4 id="parameters-15">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>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-23">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="fieldisnumber"></a></p>
+<h3 id="fieldisnumber">fieldIsNumber()</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:#61AFEF"> fieldIsNumber</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Field must be a number</p>
+<h4 id="parameters-16">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>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-24">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="fieldisstring"></a></p>
+<h3 id="fieldisstring">fieldIsString()</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:#61AFEF"> fieldIsString</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Field must be a string</p>
+<h4 id="parameters-17">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>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-25">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="fieldowneronly"></a></p>
+<h3 id="fieldowneronly">fieldOwnerOnly()</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:#61AFEF"> fieldOwnerOnly</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Only the field owner (auth.uid === data.child(field).val()) can access</p>
+<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>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-26">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="gt"></a></p>
+<h3 id="gt">gt()</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:#61AFEF"> gt</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">left</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Expr</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">right</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Greater than: left > right</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>left</code></td><td align="left"><a href="#expr"><code>Expr</code></a></td></tr><tr><td align="left"><code>right</code></td><td align="left"><code>number</code></td></tr></tbody></table></div>
+<h4 id="returns-27">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="haschild"></a></p>
+<h3 id="haschild">hasChild()</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:#61AFEF"> hasChild</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Incoming data must have a specific child field</p>
+<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>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-28">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="haschildren"></a></p>
+<h3 id="haschildren">hasChildren()</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:#61AFEF"> hasChildren</span><span style="color:#ABB2BF">: () </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Incoming data must be an object with at least one child</p>
+<h4 id="returns-29">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="hasrole"></a></p>
+<h3 id="hasrole">hasRole()</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:#61AFEF"> hasRole</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">segments</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Segment</span><span style="color:#ABB2BF">[], </span><span style="color:#E06C75;font-style:italic">role</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Cross-path role check via root lookup</p>
+<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>segments</code></td><td align="left"><a href="#segment"><code>Segment</code></a>[]</td></tr><tr><td align="left"><code>role</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-30">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="immutable"></a></p>
+<h3 id="immutable">immutable()</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:#61AFEF"> immutable</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Field can be set on creation but never changed after</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>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-31">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="immutableself"></a></p>
+<h3 id="immutableself">immutableSelf()</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:#61AFEF"> immutableSelf</span><span style="color:#ABB2BF">: () </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>This node’s own value can be set on creation but never changed</p>
+<h4 id="returns-32">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="ismember"></a></p>
+<h3 id="ismember">isMember()</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:#61AFEF"> isMember</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">listName</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">pathVarName</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Cross-path membership check: root.child(list).child($var).child(auth.uid).exists()</p>
+<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>listName</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>pathVarName</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-33">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="isnew"></a></p>
+<h3 id="isnew">isNew()</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:#61AFEF"> isNew</span><span style="color:#ABB2BF">: () </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Data at this path doesn’t exist yet (creation check)</p>
+<h4 id="returns-34">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="lte"></a></p>
+<h3 id="lte">lte()</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:#61AFEF"> lte</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">left</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Expr</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">right</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Less than or equal: left &#x3C;= right</p>
+<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>left</code></td><td align="left"><a href="#expr"><code>Expr</code></a></td></tr><tr><td align="left"><code>right</code></td><td align="left"><code>number</code></td></tr></tbody></table></div>
+<h4 id="returns-35">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="neq"></a></p>
+<h3 id="neq">neq()</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:#61AFEF"> neq</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">left</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Expr</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">right</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">CompareValue</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Strict inequality: left !== right</p>
+<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>left</code></td><td align="left"><a href="#expr"><code>Expr</code></a></td></tr><tr><td align="left"><code>right</code></td><td align="left"><code>CompareValue</code></td></tr></tbody></table></div>
+<h4 id="returns-36">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="newdataexists"></a></p>
+<h3 id="newdataexists">newDataExists()</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:#61AFEF"> newDataExists</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">path</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Check if incoming data exists at current node or a child path</p>
+<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>path?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-37">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="newdatais"></a></p>
+<h3 id="newdatais">newDataIs()</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:#61AFEF"> newDataIs</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">type</span><span style="color:#ABB2BF">: </span><span style="color:#98C379">"String"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"Number"</span><span style="color:#ABB2BF"> | </span><span style="color:#98C379">"Boolean"</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Check incoming data type at current node</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>type</code></td><td align="left"><code>"String"</code> | <code>"Number"</code> | <code>"Boolean"</code></td></tr></tbody></table></div>
+<h4 id="returns-38">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="newdataparentexists"></a></p>
+<h3 id="newdataparentexists">newDataParentExists()</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:#61AFEF"> newDataParentExists</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">depth</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Navigate up from newData snapshot, then check if a child field exists</p>
+<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>depth</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-39">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="newdataparentval"></a></p>
+<h3 id="newdataparentval">newDataParentVal()</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:#61AFEF"> newDataParentVal</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">depth</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Navigate up from newData snapshot, then read a child field’s value</p>
+<h4 id="parameters-29">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>depth</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-40">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="newdataval"></a></p>
+<h3 id="newdataval">newDataVal()</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:#61AFEF"> newDataVal</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">path</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Read incoming data value at current node or a child path (post-write state)</p>
+<h4 id="parameters-30">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>path?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-41">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="not"></a></p>
+<h3 id="not">not()</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:#61AFEF"> not</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">e</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Expr</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Negate a condition.</p>
+<h4 id="parameters-31">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>e</code></td><td align="left"><a href="#expr"><code>Expr</code></a></td></tr></tbody></table></div>
+<h4 id="returns-42">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="ownerornew"></a></p>
+<h3 id="ownerornew">ownerOrNew()</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:#61AFEF"> ownerOrNew</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Anyone authenticated can create; only the field owner can edit</p>
+<h4 id="parameters-32">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>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-43">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="ownfield"></a></p>
+<h3 id="ownfield">ownField()</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:#61AFEF"> ownField</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Field-based ownership: auth.uid matches a value stored in a data field</p>
+<h4 id="parameters-33">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>field</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-44">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="ownpath"></a></p>
+<h3 id="ownpath">ownPath()</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:#61AFEF"> ownPath</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">pathVar</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Path-based ownership: auth.uid matches a URL path variable</p>
+<h4 id="parameters-34">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>pathVar</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-45">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="pathowneronly"></a></p>
+<h3 id="pathowneronly">pathOwnerOnly()</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:#61AFEF"> pathOwnerOnly</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">pathVar</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Only the path owner (auth.uid === $pathVar) can access</p>
+<h4 id="parameters-35">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>pathVar</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-46">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="required"></a></p>
+<h3 id="required">required()</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:#61AFEF"> required</span><span style="color:#ABB2BF">: (...</span><span style="color:#E06C75;font-style:italic">fields</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">[]) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>All specified fields must be present in the incoming data</p>
+<h4 id="parameters-36">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>fields</code></td><td align="left"><code>string</code>[]</td></tr></tbody></table></div>
+<h4 id="returns-47">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="rootequals"></a></p>
+<h3 id="rootequals">rootEquals()</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:#61AFEF"> rootEquals</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">segments</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Segment</span><span style="color:#ABB2BF">[], </span><span style="color:#E06C75;font-style:italic">value</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Check if a path’s value equals a specific string (via root)</p>
+<h4 id="parameters-37">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>segments</code></td><td align="left"><a href="#segment"><code>Segment</code></a>[]</td></tr><tr><td align="left"><code>value</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-48">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="rootexists"></a></p>
+<h3 id="rootexists">rootExists()</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:#61AFEF"> rootExists</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">segments</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">Segment</span><span style="color:#ABB2BF">[]) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Check if a path exists in the database (via root)</p>
+<h4 id="parameters-38">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>segments</code></td><td align="left"><a href="#segment"><code>Segment</code></a>[]</td></tr></tbody></table></div>
+<h4 id="returns-49">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<hr>
+<p><a id="transition"></a></p>
+<h3 id="transition">transition()</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:#61AFEF"> transition</span><span style="color:#ABB2BF">: (</span><span style="color:#E06C75;font-style:italic">field</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">allowed</span><span style="color:#ABB2BF">: [</span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">, </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">][]) </span><span style="color:#C678DD">=></span><span style="color:#E5C07B"> Expr</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>State machine: only allowed transitions on a field</p>
+<h4 id="parameters-39">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>field</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>allowed</code></td><td align="left">[<code>string</code>, <code>string</code>][]</td></tr></tbody></table></div>
+<h4 id="returns-50">Returns</h4>
+<p><a href="#expr"><code>Expr</code></a></p>
+<h2 id="functions">Functions</h2>
+<p><a id="assertcase"></a></p>
+<h3 id="assertcase">assertCase()</h3>
+<h4 id="call-signature">Call Signature</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:#C678DD">function</span><span style="color:#61AFEF"> assertCase</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">result</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">CaseResult</span><span style="color:#ABB2BF"> | </span><span style="color:#E5C07B">RtdbCaseResult</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Throw when a case result did not pass. A simulator abstention throws
+<a href="#rulesunsupportederror">RulesUnsupportedError</a>; a genuine expectation mismatch throws
+<a href="#rulesassertionerror">RulesAssertionError</a>. Both carry the <a href="#explaincase">explainCase</a> trace as
+their message. Returns <code>void</code> on a passing result.</p>
+<h5 id="parameters-40">Parameters</h5>
+<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>result</code></td><td align="left"><a href="#caseresult"><code>CaseResult</code></a> | <a href="#rtdbcaseresult"><code>RtdbCaseResult</code></a></td></tr></tbody></table></div>
+<h5 id="returns-51">Returns</h5>
+<p><code>void</code></p>
+<h4 id="call-signature-1">Call Signature</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:#C678DD">function</span><span style="color:#61AFEF"> assertCase</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">ruleset</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">FirestoreRuleset</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">oneCase</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">FirestoreCase</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Simulate one case against a ruleset and throw on a miss — the runner
+form: <code>for (const c of cases) test(c.description, () => assertCase(ruleset, c))</code>.</p>
+<h5 id="parameters-41">Parameters</h5>
+<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>ruleset</code></td><td align="left"><a href="#firestoreruleset"><code>FirestoreRuleset</code></a></td></tr><tr><td align="left"><code>oneCase</code></td><td align="left"><a href="#firestorecase"><code>FirestoreCase</code></a></td></tr></tbody></table></div>
+<h5 id="returns-52">Returns</h5>
+<p><code>void</code></p>
+<h4 id="call-signature-2">Call Signature</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:#C678DD">function</span><span style="color:#61AFEF"> assertCase</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">ruleset</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">RtdbRuleset</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">oneCase</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">RtdbCase</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Throw when a case result did not pass. A simulator abstention throws
+<a href="#rulesunsupportederror">RulesUnsupportedError</a>; a genuine expectation mismatch throws
+<a href="#rulesassertionerror">RulesAssertionError</a>. Both carry the <a href="#explaincase">explainCase</a> trace as
+their message. Returns <code>void</code> on a passing result.</p>
+<h5 id="parameters-42">Parameters</h5>
+<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>ruleset</code></td><td align="left"><a href="#rtdbruleset"><code>RtdbRuleset</code></a></td></tr><tr><td align="left"><code>oneCase</code></td><td align="left"><a href="#rtdbcase"><code>RtdbCase</code></a></td></tr></tbody></table></div>
+<h5 id="returns-53">Returns</h5>
+<p><code>void</code></p>
+<h4 id="call-signature-3">Call Signature</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:#C678DD">function</span><span style="color:#61AFEF"> assertCase</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">source</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">oneCase</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">FirestoreCase</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">void</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Convenience: compile Firestore source and assert one case against it.</p>
+<h5 id="parameters-43">Parameters</h5>
+<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>source</code></td><td align="left"><code>string</code></td></tr><tr><td align="left"><code>oneCase</code></td><td align="left"><a href="#firestorecase"><code>FirestoreCase</code></a></td></tr></tbody></table></div>
+<h5 id="returns-54">Returns</h5>
+<p><code>void</code></p>
+<hr>
+<p><a id="bytes"></a></p>
+<h3 id="bytes">bytes()</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"> bytes</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">input</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF"> | </span><span style="color:#E5C07B">Uint8Array</span><span style="color:#ABB2BF">&#x3C;</span><span style="color:#E5C07B">ArrayBufferLike</span><span style="color:#ABB2BF">>): </span><span style="color:#E5C07B">Bytes</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>A <code>bytes</code> value.</p>
+<ul>
+<li>string     → UTF-8 encoded</li>
+<li>Uint8Array → used verbatim</li>
+</ul>
+<h4 id="parameters-44">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"><code>string</code> | <code>Uint8Array</code>&#x3C;<code>ArrayBufferLike</code>></td></tr></tbody></table></div>
+<h4 id="returns-55">Returns</h4>
+<p><code>Bytes</code></p>
+<hr>
+<p><a id="definertdbrules"></a></p>
+<h3 id="definertdbrules">defineRtdbRules()</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"> defineRtdbRules</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">definition</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">RtdbRulesDefinition</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">RtdbRulesDocument</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<h4 id="parameters-45">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>definition</code></td><td align="left"><a href="#rtdbrulesdefinition"><code>RtdbRulesDefinition</code></a></td></tr></tbody></table></div>
+<h4 id="returns-56">Returns</h4>
+<p><a href="#rtdbrulesdocument"><code>RtdbRulesDocument</code></a></p>
+<hr>
+<p><a id="duration"></a></p>
+<h3 id="duration">duration()</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"> duration</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">value</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">unit</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">Duration</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>A <code>duration</code> value. <code>unit</code> is one of the Firestore duration units
+(<code>'w' | 'd' | 'h' | 'm' | 's' | 'ms' | 'ns'</code>); defaults to seconds.</p>
+<h4 id="parameters-46">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>value</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>unit?</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-57">Returns</h4>
+<p><code>Duration</code></p>
+<hr>
+<p><a id="explaincase"></a></p>
+<h3 id="explaincase">explainCase()</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"> explainCase</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">result</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">CaseResult</span><span style="color:#ABB2BF"> | </span><span style="color:#E5C07B">RtdbCaseResult</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Render a case result as a human-readable trace. The single sanctioned
+trace renderer — used as the message of the error <code>assertCase</code> throws, and
+available directly for logging a result without asserting.</p>
+<h4 id="parameters-47">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>result</code></td><td align="left"><a href="#caseresult"><code>CaseResult</code></a> | <a href="#rtdbcaseresult"><code>RtdbCaseResult</code></a></td></tr></tbody></table></div>
+<h4 id="returns-58">Returns</h4>
+<p><code>string</code></p>
+<hr>
+<p><a id="firestorerules"></a></p>
+<h3 id="firestorerules">firestoreRules()</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"> firestoreRules</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">source</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">FirestoreRuleset</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Compile Firestore rules source into a deep, safe-by-default handle.</p>
+<h4 id="parameters-48">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>source</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-59">Returns</h4>
+<p><a href="#firestoreruleset"><code>FirestoreRuleset</code></a></p>
+<h4 id="throws">Throws</h4>
+<p>when the source does not parse. The thrown
+error carries the compile-blocking issues on <code>.issues</code>.</p>
+<hr>
+<p><a id="flip"></a></p>
+<h3 id="flip">flip()</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"> flip</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">marks</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">[]): </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Turn flip: validates a turn field alternates between marks.
+First mark is the initial value on creation.
+Supports 2+ players with circular rotation.</p>
+<h4 id="parameters-49">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th><th align="left">Description</th></tr></thead><tbody><tr><td align="left"><code>marks</code></td><td align="left"><code>string</code>[]</td><td align="left">ordered list of marks (e.g., [“X”, “O”])</td></tr></tbody></table></div>
+<h4 id="returns-60">Returns</h4>
+<p><code>string</code></p>
+<hr>
+<p><a id="latlng"></a></p>
+<h3 id="latlng">latlng()</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"> latlng</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">lat</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">, </span><span style="color:#E06C75;font-style:italic">lng</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">LatLng</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>A <code>latlng</code> geographic point.</p>
+<h4 id="parameters-50">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>lat</code></td><td align="left"><code>number</code></td></tr><tr><td align="left"><code>lng</code></td><td align="left"><code>number</code></td></tr></tbody></table></div>
+<h4 id="returns-61">Returns</h4>
+<p><code>LatLng</code></p>
+<hr>
+<p><a id="lint-4"></a></p>
+<h3 id="lint-2">lint()</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"> lint</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">source</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">RuleIssue</span><span style="color:#ABB2BF">[];</span></span></code></pre>
+<p>Lint Firestore rules source. Accepts anything — including empty or
+syntactically broken source — and always returns an issue list.</p>
+<h4 id="parameters-51">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>source</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-62">Returns</h4>
+<p><a href="#ruleissue"><code>RuleIssue</code></a>[]</p>
+<hr>
+<p><a id="reference"></a></p>
+<h3 id="reference">reference()</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"> reference</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">path</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">Reference</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>A <code>reference</code> to a document, by its path (e.g. <code>"users/alice"</code>).</p>
+<h4 id="parameters-52">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>path</code></td><td align="left"><code>string</code></td></tr></tbody></table></div>
+<h4 id="returns-63">Returns</h4>
+<p><code>Reference</code></p>
+<hr>
+<p><a id="rtdbrules"></a></p>
+<h3 id="rtdbrules">rtdbRules()</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"> rtdbRules</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">input</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">RtdbRulesInput</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">RtdbRuleset</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Build a deep handle on a Realtime Database ruleset from a definition, a
+compiled document, or compiled <code>{ rules }</code> JSON.</p>
+<h4 id="parameters-53">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"><code>RtdbRulesInput</code></td></tr></tbody></table></div>
+<h4 id="returns-64">Returns</h4>
+<p><a href="#rtdbruleset"><code>RtdbRuleset</code></a></p>
+<hr>
+<p><a id="ruleset"></a></p>
+<h3 id="ruleset">ruleset()</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"> ruleset</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">input</span><span style="color:#ABB2BF">:</span></span>
+<span class="line"><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">PathDef</span><span style="color:#ABB2BF">></span></span>
+<span class="line"><span style="color:#ABB2BF">  | (</span><span style="color:#E06C75;font-style:italic">ctx</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">RulesetContext</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:#E5C07B">RtdbNode</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Compile a declarative rules definition into an environment-independent tree.</p>
+<h4 id="parameters-54">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">| <code>Record</code>&#x3C;<code>string</code>, <a href="#pathdef"><code>PathDef</code></a>> | (<code>ctx</code>: <a href="#rulesetcontext"><code>RulesetContext</code></a>) => <code>void</code></td></tr></tbody></table></div>
+<h4 id="returns-65">Returns</h4>
+<p><code>RtdbNode</code></p>
+<hr>
+<p><a id="schemarules"></a></p>
+<h3 id="schemarules">schemaRules()</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"> schemaRules</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">schema</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">ZodObject</span><span style="color:#ABB2BF">&#x3C;</span><span style="color:#E5C07B">any</span><span style="color:#ABB2BF">>, </span><span style="color:#E06C75;font-style:italic">fieldConstraints</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">Expr</span><span style="color:#ABB2BF">[]>): </span><span style="color:#E5C07B">SchemaRulesResult</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Generate RTDB validate rules from a Zod object schema.
+Optional fieldConstraints are AND-composed with the schema type check.</p>
+<h4 id="parameters-55">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>schema</code></td><td align="left"><code>ZodObject</code>&#x3C;<code>any</code>></td></tr><tr><td align="left"><code>fieldConstraints?</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <a href="#expr"><code>Expr</code></a>[]></td></tr></tbody></table></div>
+<h4 id="returns-66">Returns</h4>
+<p><a href="#schemarulesresult"><code>SchemaRulesResult</code></a></p>
+<hr>
+<p><a id="servertimestamp"></a></p>
+<h3 id="servertimestamp">serverTimestamp()</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"> serverTimestamp</span><span style="color:#ABB2BF">(): {</span></span>
+<span class="line"><span style="color:#ABB2BF">};</span></span></code></pre>
+<p>The server-timestamp sentinel — the case-data equivalent of
+<code>FieldValue.serverTimestamp()</code>. The simulator resolves it to the request
+time, so a rule comparing <code>data.createdAt == request.time</code> sees a match.</p>
+<h4 id="returns-67">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>
+<span class="line"><span style="color:#ABB2BF">}</span></span></code></pre>
+<hr>
+<p><a id="timestamp"></a></p>
+<h3 id="timestamp">timestamp()</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"> timestamp</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">input</span><span style="color:#ABB2BF">:</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#E5C07B">string</span></span>
+<span class="line"><span style="color:#ABB2BF">  | </span><span style="color:#E5C07B">number</span></span>
+<span class="line"><span style="color:#ABB2BF">  | {</span></span>
+<span class="line"><span style="color:#E06C75">  nanos</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#E06C75">  seconds</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">;</span></span>
+<span class="line"><span style="color:#ABB2BF">}): </span><span style="color:#E5C07B">Timestamp</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>A Firestore <code>timestamp</code> value.</p>
+<ul>
+<li>number → milliseconds since the epoch</li>
+<li>string → ISO-8601</li>
+<li>object → explicit <code>{ seconds, nanos }</code></li>
+</ul>
+<h4 id="parameters-56">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">| <code>string</code> | <code>number</code> | { <code>nanos?</code>: <code>number</code>; <code>seconds</code>: <code>number</code>; }</td></tr></tbody></table></div>
+<h4 id="returns-68">Returns</h4>
+<p><code>Timestamp</code></p>
+<hr>
+<p><a id="turnguard"></a></p>
+<h3 id="turnguard">turnGuard()</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"> turnGuard</span><span style="color:#ABB2BF">(</span></span>
+<span class="line"><span style="color:#E06C75;font-style:italic">   turnField</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;font-style:italic">   players</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">string</span><span style="color:#ABB2BF">>,</span></span>
+<span class="line"><span style="color:#E06C75;font-style:italic">   statusField</span><span style="color:#C678DD">?</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;font-style:italic">   playingValue</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Turn enforcement: only the current turn’s player can write.
+Uses data (pre-write) for the turn check — NOT newData.</p>
+<h4 id="parameters-57">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th><th align="left">Description</th></tr></thead><tbody><tr><td align="left"><code>turnField</code></td><td align="left"><code>string</code></td><td align="left">the field that stores whose turn it is (e.g., “currentTurn”)</td></tr><tr><td align="left"><code>players</code></td><td align="left"><code>Record</code>&#x3C;<code>string</code>, <code>string</code>></td><td align="left">map of mark → player field (e.g., { X: “playerX”, O: “playerO” })</td></tr><tr><td align="left"><code>statusField?</code></td><td align="left"><code>string</code></td><td align="left">optional field that must equal playingValue for moves to be allowed</td></tr><tr><td align="left"><code>playingValue?</code></td><td align="left"><code>string</code></td><td align="left">the value of statusField during active play (e.g., “playing”)</td></tr></tbody></table></div>
+<h4 id="returns-69">Returns</h4>
+<p><code>string</code></p>
+<hr>
+<p><a id="vector"></a></p>
+<h3 id="vector">vector()</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"> vector</span><span style="color:#ABB2BF">(</span><span style="color:#E06C75;font-style:italic">values</span><span style="color:#ABB2BF">: </span><span style="color:#C678DD">readonly</span><span style="color:#E5C07B"> number</span><span style="color:#ABB2BF">[]): </span><span style="color:#E5C07B">Vector</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>A <code>vector</code> value from its numeric components.</p>
+<h4 id="parameters-58">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>values</code></td><td align="left">readonly <code>number</code>[]</td></tr></tbody></table></div>
+<h4 id="returns-70">Returns</h4>
+<p><code>Vector</code></p>
+<hr>
+<p><a id="wincheckhelper"></a></p>
+<h3 id="wincheckhelper">winCheckHelper()</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"> winCheckHelper</span><span style="color:#ABB2BF">(</span></span>
+<span class="line"><span style="color:#E06C75;font-style:italic">   mark</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;font-style:italic">   lines</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">number</span><span style="color:#ABB2BF">[][],</span></span>
+<span class="line"><span style="color:#E06C75;font-style:italic">   boardPath</span><span style="color:#C678DD">?</span><span style="color:#ABB2BF">: </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">): </span><span style="color:#E5C07B">string</span><span style="color:#ABB2BF">;</span></span></code></pre>
+<p>Win check helper: validates a boolean field against winning lines on a board.
+If true, at least one winning line must exist. If false, no winning line can exist.
+Uses the “client claims, rules verify” pattern.</p>
+<h4 id="parameters-59">Parameters</h4>
+<div class="table-scroll">
+<table><thead><tr><th align="left">Parameter</th><th align="left">Type</th><th align="left">Description</th></tr></thead><tbody><tr><td align="left"><code>mark</code></td><td align="left"><code>string</code></td><td align="left">the player mark to check (e.g., “X”)</td></tr><tr><td align="left"><code>lines</code></td><td align="left"><code>number</code>[][]</td><td align="left">array of winning line coordinates (e.g., [[0,1,2], [3,4,5], …])</td></tr><tr><td align="left"><code>boardPath?</code></td><td align="left"><code>string</code></td><td align="left">the path to the board relative to the parent (default “board”)</td></tr></tbody></table></div>
+<h4 id="returns-71">Returns</h4>
+<p><code>string</code></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="rulesassertionerror"> <a href="#rulesassertionerror">RulesAssertionError</a> </li><li data-api-symbol="rulescompileerror"> <a href="#rulescompileerror">RulesCompileError</a> </li><li data-api-symbol="rulesunsupportederror"> <a href="#rulesunsupportederror">RulesUnsupportedError</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="caseresult"> <a href="#caseresult">CaseResult</a> </li><li data-api-symbol="evaluatedruleinfo"> <a href="#evaluatedruleinfo">EvaluatedRuleInfo</a> </li><li data-api-symbol="explanation"> <a href="#explanation">Explanation</a> </li><li data-api-symbol="exprtraceentry"> <a href="#exprtraceentry">ExprTraceEntry</a> </li><li data-api-symbol="firestorecase"> <a href="#firestorecase">FirestoreCase</a> </li><li data-api-symbol="firestoreruleset"> <a href="#firestoreruleset">FirestoreRuleset</a> </li><li data-api-symbol="pathdef"> <a href="#pathdef">PathDef</a> </li><li data-api-symbol="pathresolutionentry"> <a href="#pathresolutionentry">PathResolutionEntry</a> </li><li data-api-symbol="pathresolutiontrace"> <a href="#pathresolutiontrace">PathResolutionTrace</a> </li><li data-api-symbol="rtdbcase"> <a href="#rtdbcase">RtdbCase</a> </li><li data-api-symbol="rtdbcaseresult"> <a href="#rtdbcaseresult">RtdbCaseResult</a> </li><li data-api-symbol="rtdbexplanation"> <a href="#rtdbexplanation">RtdbExplanation</a> </li><li data-api-symbol="rtdbrulescheckresult"> <a href="#rtdbrulescheckresult">RtdbRulesCheckResult</a> </li><li data-api-symbol="rtdbrulesdefinition"> <a href="#rtdbrulesdefinition">RtdbRulesDefinition</a> </li><li data-api-symbol="rtdbrulesdocument"> <a href="#rtdbrulesdocument">RtdbRulesDocument</a> </li><li data-api-symbol="rtdbruleset"> <a href="#rtdbruleset">RtdbRuleset</a> </li><li data-api-symbol="rtdbrulesfinding"> <a href="#rtdbrulesfinding">RtdbRulesFinding</a> </li><li data-api-symbol="rtdbsimulationsummary"> <a href="#rtdbsimulationsummary">RtdbSimulationSummary</a> </li><li data-api-symbol="ruleevaluation"> <a href="#ruleevaluation">RuleEvaluation</a> </li><li data-api-symbol="ruleissue"> <a href="#ruleissue">RuleIssue</a> </li><li data-api-symbol="rulesetcontext"> <a href="#rulesetcontext">RulesetContext</a> </li><li data-api-symbol="schemarulesresult"> <a href="#schemarulesresult">SchemaRulesResult</a> </li><li data-api-symbol="simulationsummary"> <a href="#simulationsummary">SimulationSummary</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="expr"> <a href="#expr">Expr</a> </li><li data-api-symbol="firestoremethod"> <a href="#firestoremethod">FirestoreMethod</a> </li><li data-api-symbol="rtdbrulesfindingrule"> <a href="#rtdbrulesfindingrule">RtdbRulesFindingRule</a> </li><li data-api-symbol="rtdbrulesjson"> <a href="#rtdbrulesjson">RtdbRulesJson</a> </li><li data-api-symbol="rtdbrulessimulationauth"> <a href="#rtdbrulessimulationauth">RtdbRulesSimulationAuth</a> </li><li data-api-symbol="rtdbrulessimulationinput"> <a href="#rtdbrulessimulationinput">RtdbRulesSimulationInput</a> </li><li data-api-symbol="ruleissueorigin"> <a href="#ruleissueorigin">RuleIssueOrigin</a> </li><li data-api-symbol="ruleissueseverity"> <a href="#ruleissueseverity">RuleIssueSeverity</a> </li><li data-api-symbol="segment"> <a href="#segment">Segment</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="all()"> <a href="#all">all()</a> </li><li data-api-symbol="allow()"> <a href="#allow">allow()</a> </li><li data-api-symbol="always()"> <a href="#always">always()</a> </li><li data-api-symbol="any()"> <a href="#any">any()</a> </li><li data-api-symbol="auth_uid"> <a href="#auth_uid">AUTH_UID</a> </li><li data-api-symbol="authenticated()"> <a href="#authenticated">authenticated()</a> </li><li data-api-symbol="dataexists()"> <a href="#dataexists">dataExists()</a> </li><li data-api-symbol="dataparentval()"> <a href="#dataparentval">dataParentVal()</a> </li><li data-api-symbol="dataval()"> <a href="#dataval">dataVal()</a> </li><li data-api-symbol="deny()"> <a href="#deny">deny()</a> </li><li data-api-symbol="eq()"> <a href="#eq">eq()</a> </li><li data-api-symbol="expr()"> <a href="#expr-1">expr()</a> </li><li data-api-symbol="fieldenum()"> <a href="#fieldenum">fieldEnum()</a> </li><li data-api-symbol="fieldisboolean()"> <a href="#fieldisboolean">fieldIsBoolean()</a> </li><li data-api-symbol="fieldisnumber()"> <a href="#fieldisnumber">fieldIsNumber()</a> </li><li data-api-symbol="fieldisstring()"> <a href="#fieldisstring">fieldIsString()</a> </li><li data-api-symbol="fieldowneronly()"> <a href="#fieldowneronly">fieldOwnerOnly()</a> </li><li data-api-symbol="gt()"> <a href="#gt">gt()</a> </li><li data-api-symbol="haschild()"> <a href="#haschild">hasChild()</a> </li><li data-api-symbol="haschildren()"> <a href="#haschildren">hasChildren()</a> </li><li data-api-symbol="hasrole()"> <a href="#hasrole">hasRole()</a> </li><li data-api-symbol="immutable()"> <a href="#immutable">immutable()</a> </li><li data-api-symbol="immutableself()"> <a href="#immutableself">immutableSelf()</a> </li><li data-api-symbol="ismember()"> <a href="#ismember">isMember()</a> </li><li data-api-symbol="isnew()"> <a href="#isnew">isNew()</a> </li><li data-api-symbol="lte()"> <a href="#lte">lte()</a> </li><li data-api-symbol="neq()"> <a href="#neq">neq()</a> </li><li data-api-symbol="newdataexists()"> <a href="#newdataexists">newDataExists()</a> </li><li data-api-symbol="newdatais()"> <a href="#newdatais">newDataIs()</a> </li><li data-api-symbol="newdataparentexists()"> <a href="#newdataparentexists">newDataParentExists()</a> </li><li data-api-symbol="newdataparentval()"> <a href="#newdataparentval">newDataParentVal()</a> </li><li data-api-symbol="newdataval()"> <a href="#newdataval">newDataVal()</a> </li><li data-api-symbol="not()"> <a href="#not">not()</a> </li><li data-api-symbol="ownerornew()"> <a href="#ownerornew">ownerOrNew()</a> </li><li data-api-symbol="ownfield()"> <a href="#ownfield">ownField()</a> </li><li data-api-symbol="ownpath()"> <a href="#ownpath">ownPath()</a> </li><li data-api-symbol="pathowneronly()"> <a href="#pathowneronly">pathOwnerOnly()</a> </li><li data-api-symbol="required()"> <a href="#required">required()</a> </li><li data-api-symbol="rootequals()"> <a href="#rootequals">rootEquals()</a> </li><li data-api-symbol="rootexists()"> <a href="#rootexists">rootExists()</a> </li><li data-api-symbol="transition()"> <a href="#transition">transition()</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="assertcase()"> <a href="#assertcase">assertCase()</a> </li><li data-api-symbol="bytes()"> <a href="#bytes">bytes()</a> </li><li data-api-symbol="definertdbrules()"> <a href="#definertdbrules">defineRtdbRules()</a> </li><li data-api-symbol="duration()"> <a href="#duration">duration()</a> </li><li data-api-symbol="explaincase()"> <a href="#explaincase">explainCase()</a> </li><li data-api-symbol="firestorerules()"> <a href="#firestorerules">firestoreRules()</a> </li><li data-api-symbol="flip()"> <a href="#flip">flip()</a> </li><li data-api-symbol="latlng()"> <a href="#latlng">latlng()</a> </li><li data-api-symbol="lint()"> <a href="#lint-2">lint()</a> </li><li data-api-symbol="reference()"> <a href="#reference">reference()</a> </li><li data-api-symbol="rtdbrules()"> <a href="#rtdbrules">rtdbRules()</a> </li><li data-api-symbol="ruleset()"> <a href="#ruleset">ruleset()</a> </li><li data-api-symbol="schemarules()"> <a href="#schemarules">schemaRules()</a> </li><li data-api-symbol="servertimestamp()"> <a href="#servertimestamp">serverTimestamp()</a> </li><li data-api-symbol="timestamp()"> <a href="#timestamp">timestamp()</a> </li><li data-api-symbol="turnguard()"> <a href="#turnguard">turnGuard()</a> </li><li data-api-symbol="vector()"> <a href="#vector">vector()</a> </li><li data-api-symbol="wincheckhelper()"> <a href="#wincheckhelper">winCheckHelper()</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>