From b94ffde492dc4c372d15511cf0c1f41b754d2be1 Mon Sep 17 00:00:00 2001
From: Dmitry Petukhov <dp@simplexum.com>
Date: Tue, 3 Nov 2020 14:16:15 +0500
Subject: [PATCH] Add note: Semantics defined only for canonical sat/dsat

Prevent reader confusion, as described in https://github.com/sipa/miniscript/issues/42 where the sematics of "andor" differs from expected by the reader when they consider various executions of the actual script
---
 index.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 91977b0..e92fc7c 100644
--- a/index.html
+++ b/index.html
@@ -190,7 +190,7 @@ <h4>Translation table</h4>
 <div class="table-responsive">
 <table class="table table-sm">
 <thead class="thead-light">
-<tr><th scope="col">Semantics</th><th scope="col">Miniscript fragment</th><th scope="col">Bitcoin Script</th></tr></thead>
+<tr><th scope="col">Semantics<sup>*</sup></th><th scope="col">Miniscript fragment</th><th scope="col">Bitcoin Script</th></tr></thead>
 <tbody>
 <tr>
   <td>false</td>
@@ -333,6 +333,10 @@ <h4>Translation table</h4>
   <td><code>u:<em>X</em></code> = <code>or_i(<em>X</em>,0)</code></td>
   <td><samp>IF <em>[X]</em> ELSE 0 ENDIF</samp></td>
 </tr>
+<tr><td colspan=3>
+<div class="text-muted">[*] Semantics are defined for canonical satisfaction/dissatisfaction options, and may not be valid for non-canonical options (see "Satisfaction and malleability" below)</div>
+</td>
+</tr>
 </tbody>
 </table>
 </div>