feat(evidence): generate verifier completion ledgers

docs/api/interfaces/application_RealHopperAssertions.FunctionDossierOracle.html

@@ -16,7 +16,7 @@
 </div></section>
 <div class="tsd-signature"><span class="tsd-signature-keyword">interface</span> <span class="tsd-kind-interface">FunctionDossierOracle</span> <span class="tsd-signature-symbol">{</span><br/>    <a class="tsd-kind-property" href="#callee_address">callee_address</a><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#caller_address">caller_address</a><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#comment">comment</a><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#procedure_address">procedure_address</a><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#referenced_name">referenced_name</a><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#referenced_string">referenced_string</a><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#require_assembly">require_assembly</a><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">boolean</span><span class="tsd-signature-symbol">;</span><br/>    <a class="tsd-kind-property" href="#require_cfg_successor">require_cfg_successor</a><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">boolean</span><span class="tsd-signature-symbol">;</span><br/><span class="tsd-signature-symbol">}</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L84">src/application/RealHopperAssertions.ts:84</a></li></ul></aside>
+<li>Defined in src/application/RealHopperAssertions.ts:84</li></ul></aside>
 <section class="tsd-panel-group tsd-index-group">
 <section class="tsd-panel tsd-index-panel">
 <details class="tsd-index-content tsd-accordion" open><summary class="tsd-accordion-summary tsd-index-summary"><svg width="20" height="20" viewBox="0 0 24 24" fill="none" aria-hidden="true"><use href="../assets/icons.svg#icon-chevronDown"></use></svg>
@@ -40,42 +40,42 @@
 <h3 class="tsd-anchor-link" id="callee_address"><code class="tsd-tag">Optional</code> <code class="tsd-tag">Readonly</code><span>callee_<wbr/>address</span><a href="#callee_address" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
 <div class="tsd-signature"><span class="tsd-kind-property">callee_address</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L86">src/application/RealHopperAssertions.ts:86</a></li></ul></aside></section>
+<li>Defined in src/application/RealHopperAssertions.ts:86</li></ul></aside></section>
 <section class="tsd-panel tsd-member">
 <h3 class="tsd-anchor-link" id="caller_address"><code class="tsd-tag">Optional</code> <code class="tsd-tag">Readonly</code><span>caller_<wbr/>address</span><a href="#caller_address" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
 <div class="tsd-signature"><span class="tsd-kind-property">caller_address</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L87">src/application/RealHopperAssertions.ts:87</a></li></ul></aside></section>
+<li>Defined in src/application/RealHopperAssertions.ts:87</li></ul></aside></section>
 <section class="tsd-panel tsd-member">
 <h3 class="tsd-anchor-link" id="comment"><code class="tsd-tag">Optional</code> <code class="tsd-tag">Readonly</code><span>comment</span><a href="#comment" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
 <div class="tsd-signature"><span class="tsd-kind-property">comment</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L90">src/application/RealHopperAssertions.ts:90</a></li></ul></aside></section>
+<li>Defined in src/application/RealHopperAssertions.ts:90</li></ul></aside></section>
 <section class="tsd-panel tsd-member">
 <h3 class="tsd-anchor-link" id="procedure_address"><code class="tsd-tag">Readonly</code><span>procedure_<wbr/>address</span><a href="#procedure_address" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
 <div class="tsd-signature"><span class="tsd-kind-property">procedure_address</span><span class="tsd-signature-symbol">:</span> <span class="tsd-signature-type">string</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L85">src/application/RealHopperAssertions.ts:85</a></li></ul></aside></section>
+<li>Defined in src/application/RealHopperAssertions.ts:85</li></ul></aside></section>
 <section class="tsd-panel tsd-member">
 <h3 class="tsd-anchor-link" id="referenced_name"><code class="tsd-tag">Optional</code> <code class="tsd-tag">Readonly</code><span>referenced_<wbr/>name</span><a href="#referenced_name" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
 <div class="tsd-signature"><span class="tsd-kind-property">referenced_name</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L89">src/application/RealHopperAssertions.ts:89</a></li></ul></aside></section>
+<li>Defined in src/application/RealHopperAssertions.ts:89</li></ul></aside></section>
 <section class="tsd-panel tsd-member">
 <h3 class="tsd-anchor-link" id="referenced_string"><code class="tsd-tag">Optional</code> <code class="tsd-tag">Readonly</code><span>referenced_<wbr/>string</span><a href="#referenced_string" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
 <div class="tsd-signature"><span class="tsd-kind-property">referenced_string</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">string</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L88">src/application/RealHopperAssertions.ts:88</a></li></ul></aside></section>
+<li>Defined in src/application/RealHopperAssertions.ts:88</li></ul></aside></section>
 <section class="tsd-panel tsd-member">
 <h3 class="tsd-anchor-link" id="require_assembly"><code class="tsd-tag">Optional</code> <code class="tsd-tag">Readonly</code><span>require_<wbr/>assembly</span><a href="#require_assembly" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
 <div class="tsd-signature"><span class="tsd-kind-property">require_assembly</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">boolean</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L92">src/application/RealHopperAssertions.ts:92</a></li></ul></aside></section>
+<li>Defined in src/application/RealHopperAssertions.ts:92</li></ul></aside></section>
 <section class="tsd-panel tsd-member">
 <h3 class="tsd-anchor-link" id="require_cfg_successor"><code class="tsd-tag">Optional</code> <code class="tsd-tag">Readonly</code><span>require_<wbr/>cfg_<wbr/>successor</span><a href="#require_cfg_successor" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24" aria-hidden="true"><use href="../assets/icons.svg#icon-anchor"></use></svg></a></h3>
 <div class="tsd-signature"><span class="tsd-kind-property">require_cfg_successor</span><span class="tsd-signature-symbol">?:</span> <span class="tsd-signature-type">boolean</span></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/morluto/rea/blob/main/src/application/RealHopperAssertions.ts#L91">src/application/RealHopperAssertions.ts:91</a></li></ul></aside></section></section></details></div>
+<li>Defined in src/application/RealHopperAssertions.ts:91</li></ul></aside></section></section></details></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">