<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>http://bloomwiki.org/index.php?action=history&amp;feed=atom&amp;title=Smart_Constitutions_and_the_Codification_of_Law</id>
	<title>Smart Constitutions and the Codification of Law - Revision history</title>
	<link rel="self" type="application/atom+xml" href="http://bloomwiki.org/index.php?action=history&amp;feed=atom&amp;title=Smart_Constitutions_and_the_Codification_of_Law"/>
	<link rel="alternate" type="text/html" href="http://bloomwiki.org/index.php?title=Smart_Constitutions_and_the_Codification_of_Law&amp;action=history"/>
	<updated>2026-05-06T18:20:19Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0</generator>
	<entry>
		<id>http://bloomwiki.org/index.php?title=Smart_Constitutions_and_the_Codification_of_Law&amp;diff=4766&amp;oldid=prev</id>
		<title>Wordpad: BloomWiki: Smart Constitutions and the Codification of Law</title>
		<link rel="alternate" type="text/html" href="http://bloomwiki.org/index.php?title=Smart_Constitutions_and_the_Codification_of_Law&amp;diff=4766&amp;oldid=prev"/>
		<updated>2026-04-25T01:57:52Z</updated>

		<summary type="html">&lt;p&gt;BloomWiki: Smart Constitutions and the Codification of Law&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 01:57, 25 April 2026&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot;&gt;Line 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;div style=&quot;background-color: #4B0082; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;&quot;&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{BloomIntro}}&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{{BloomIntro}}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Smart Constitutions and the Codification of Law is the &amp;quot;Study of the Self-Executing State&amp;quot;—the investigation of the &amp;quot;Legal and Computer Science Field&amp;quot; (~21st Century–Future) of &amp;quot;Encoding&amp;quot; &amp;quot;Constitutional Principles,&amp;quot; &amp;quot;Legal Rules,&amp;quot; and &amp;quot;Governance Procedures&amp;quot; into **&amp;quot;Smart Contracts&amp;quot;** and &amp;quot;Formal Computational Systems&amp;quot; that &amp;quot;Execute&amp;quot; &amp;quot;Automatically,&amp;quot; &amp;quot;Transparently,&amp;quot; and &amp;quot;Without&amp;quot; &amp;quot;Human Intermediaries&amp;quot; — &amp;quot;Reducing&amp;quot; &amp;quot;Corruption,&amp;quot; &amp;quot;Bias,&amp;quot; and &amp;quot;Delay&amp;quot; in &amp;quot;The Administration&amp;quot; of &amp;quot;Law.&amp;quot; While &amp;quot;Traditional Law&amp;quot; (see Article 687) &amp;quot;Relies&amp;quot; on &amp;quot;Human&amp;quot; &amp;quot;Interpretation&amp;quot; and &amp;quot;Enforcement,&amp;quot; **Smart Constitutions** &amp;quot;Rely&amp;quot; on &amp;quot;Code.&amp;quot; From &amp;quot;Formal Verification of Law&amp;quot; and &amp;quot;Constitutional Logic&amp;quot; to &amp;quot;On-Chain Governance&amp;quot; and &amp;quot;The Automated State,&amp;quot; this field explores &amp;quot;The Computer-Readable Society.&amp;quot; It is the science of &amp;quot;Legal Automation,&amp;quot; explaining why &amp;quot;The Gap&amp;quot; between &amp;quot;Written Law&amp;quot; and &amp;quot;Enforced Law&amp;quot; is **&amp;quot;The Primary Source&amp;quot;** of &amp;quot;Injustice&amp;quot;—and how &amp;quot;Closing&amp;quot; that &amp;quot;Gap&amp;quot; with &amp;quot;Code&amp;quot; both **&amp;quot;Empowers&amp;quot;** and **&amp;quot;Rigidifies&amp;quot;** the &amp;quot;Social Contract.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Smart Constitutions and the Codification of Law is the &amp;quot;Study of the Self-Executing State&amp;quot;—the investigation of the &amp;quot;Legal and Computer Science Field&amp;quot; (~21st Century–Future) of &amp;quot;Encoding&amp;quot; &amp;quot;Constitutional Principles,&amp;quot; &amp;quot;Legal Rules,&amp;quot; and &amp;quot;Governance Procedures&amp;quot; into **&amp;quot;Smart Contracts&amp;quot;** and &amp;quot;Formal Computational Systems&amp;quot; that &amp;quot;Execute&amp;quot; &amp;quot;Automatically,&amp;quot; &amp;quot;Transparently,&amp;quot; and &amp;quot;Without&amp;quot; &amp;quot;Human Intermediaries&amp;quot; — &amp;quot;Reducing&amp;quot; &amp;quot;Corruption,&amp;quot; &amp;quot;Bias,&amp;quot; and &amp;quot;Delay&amp;quot; in &amp;quot;The Administration&amp;quot; of &amp;quot;Law.&amp;quot; While &amp;quot;Traditional Law&amp;quot; (see Article 687) &amp;quot;Relies&amp;quot; on &amp;quot;Human&amp;quot; &amp;quot;Interpretation&amp;quot; and &amp;quot;Enforcement,&amp;quot; **Smart Constitutions** &amp;quot;Rely&amp;quot; on &amp;quot;Code.&amp;quot; From &amp;quot;Formal Verification of Law&amp;quot; and &amp;quot;Constitutional Logic&amp;quot; to &amp;quot;On-Chain Governance&amp;quot; and &amp;quot;The Automated State,&amp;quot; this field explores &amp;quot;The Computer-Readable Society.&amp;quot; It is the science of &amp;quot;Legal Automation,&amp;quot; explaining why &amp;quot;The Gap&amp;quot; between &amp;quot;Written Law&amp;quot; and &amp;quot;Enforced Law&amp;quot; is **&amp;quot;The Primary Source&amp;quot;** of &amp;quot;Injustice&amp;quot;—and how &amp;quot;Closing&amp;quot; that &amp;quot;Gap&amp;quot; with &amp;quot;Code&amp;quot; both **&amp;quot;Empowers&amp;quot;** and **&amp;quot;Rigidifies&amp;quot;** the &amp;quot;Social Contract.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/div&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Remembering ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;__TOC__&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt; &lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;div style&lt;/ins&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&quot;background-color: #000080; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;&quot;&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;= &amp;lt;span style=&quot;color: #FFFFFF;&quot;&amp;gt;&lt;/ins&gt;Remembering&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/span&amp;gt; &lt;/ins&gt;==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* &amp;#039;&amp;#039;&amp;#039;Smart Constitution&amp;#039;&amp;#039;&amp;#039; — &amp;quot;A Constitutional Document&amp;quot; &amp;quot;Encoded&amp;quot; as &amp;quot;Self-Executing&amp;quot; &amp;quot;Smart Contracts&amp;quot;: &amp;quot;Laws&amp;quot; that &amp;quot;Trigger Automatically&amp;quot; when &amp;quot;Conditions Are Met.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* &amp;#039;&amp;#039;&amp;#039;Smart Constitution&amp;#039;&amp;#039;&amp;#039; — &amp;quot;A Constitutional Document&amp;quot; &amp;quot;Encoded&amp;quot; as &amp;quot;Self-Executing&amp;quot; &amp;quot;Smart Contracts&amp;quot;: &amp;quot;Laws&amp;quot; that &amp;quot;Trigger Automatically&amp;quot; when &amp;quot;Conditions Are Met.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* &amp;#039;&amp;#039;&amp;#039;Smart Contract&amp;#039;&amp;#039;&amp;#039; — (See Article 533). &amp;quot;Self-Executing&amp;quot; &amp;quot;Code&amp;quot; on a &amp;quot;Blockchain&amp;quot; that &amp;quot;Automatically Enforces Agreements&amp;quot; without &amp;quot;Human&amp;quot; &amp;quot;Intermediaries.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* &amp;#039;&amp;#039;&amp;#039;Smart Contract&amp;#039;&amp;#039;&amp;#039; — (See Article 533). &amp;quot;Self-Executing&amp;quot; &amp;quot;Code&amp;quot; on a &amp;quot;Blockchain&amp;quot; that &amp;quot;Automatically Enforces Agreements&amp;quot; without &amp;quot;Human&amp;quot; &amp;quot;Intermediaries.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l13&quot;&gt;Line 13:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 18:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* &amp;#039;&amp;#039;&amp;#039;The Codex&amp;#039;&amp;#039;&amp;#039; — (Science Fiction / Historical). &amp;quot;A Vision&amp;quot; of &amp;quot;A Single&amp;quot; &amp;quot;Complete&amp;quot; &amp;quot;Self-Consistent&amp;quot; &amp;quot;Legal Code&amp;quot;: &amp;quot;The Dream&amp;quot; of &amp;quot;Legal Rationalists.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* &amp;#039;&amp;#039;&amp;#039;The Codex&amp;#039;&amp;#039;&amp;#039; — (Science Fiction / Historical). &amp;quot;A Vision&amp;quot; of &amp;quot;A Single&amp;quot; &amp;quot;Complete&amp;quot; &amp;quot;Self-Consistent&amp;quot; &amp;quot;Legal Code&amp;quot;: &amp;quot;The Dream&amp;quot; of &amp;quot;Legal Rationalists.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* &amp;#039;&amp;#039;&amp;#039;Lex Cryptographia&amp;#039;&amp;#039;&amp;#039; — (Aaron Wright &amp;amp; Primavera De Filippi). &amp;quot;Law Enforced&amp;quot; through &amp;quot;Cryptographic&amp;quot; &amp;quot;Code&amp;quot; rather than &amp;quot;State Institutions.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* &amp;#039;&amp;#039;&amp;#039;Lex Cryptographia&amp;#039;&amp;#039;&amp;#039; — (Aaron Wright &amp;amp; Primavera De Filippi). &amp;quot;Law Enforced&amp;quot; through &amp;quot;Cryptographic&amp;quot; &amp;quot;Code&amp;quot; rather than &amp;quot;State Institutions.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/div&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Understanding ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;div style&lt;/ins&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&quot;background-color: #006400; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;&quot;&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;= &amp;lt;span style=&quot;color: #FFFFFF;&quot;&amp;gt;&lt;/ins&gt;Understanding&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/span&amp;gt; &lt;/ins&gt;==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Smart constitutions are understood through &amp;#039;&amp;#039;&amp;#039;Execution&amp;#039;&amp;#039;&amp;#039; and &amp;#039;&amp;#039;&amp;#039;Limits&amp;#039;&amp;#039;&amp;#039;.&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Smart constitutions are understood through &amp;#039;&amp;#039;&amp;#039;Execution&amp;#039;&amp;#039;&amp;#039; and &amp;#039;&amp;#039;&amp;#039;Limits&amp;#039;&amp;#039;&amp;#039;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l39&quot;&gt;Line 39:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 46:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#039;&amp;#039;&amp;#039;The &amp;#039;Ethereum&amp;#039; Governance Crisis (2016)&amp;#039;&amp;#039;&amp;#039;&amp;#039;: &amp;quot;The DAO Hack&amp;quot; &amp;quot;Proved&amp;quot; that &amp;quot;Code-as-Law&amp;quot; has a **&amp;quot;Fundamental Legitimacy Problem.&amp;quot;** &amp;quot;The Ethereum Community&amp;quot; &amp;quot;Chose&amp;quot; to &amp;quot;Fork&amp;quot; the &amp;quot;Blockchain&amp;quot; to &amp;quot;Reverse&amp;quot; &amp;quot;The Hack&amp;quot; — &amp;quot;Overriding&amp;quot; &amp;quot;The Code&amp;quot; with &amp;quot;Community Consensus.&amp;quot; It proved that **&amp;quot;Human Override&amp;quot;** remains &amp;quot;Essential&amp;quot; even in &amp;quot;Automated Governance.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#039;&amp;#039;&amp;#039;The &amp;#039;Ethereum&amp;#039; Governance Crisis (2016)&amp;#039;&amp;#039;&amp;#039;&amp;#039;: &amp;quot;The DAO Hack&amp;quot; &amp;quot;Proved&amp;quot; that &amp;quot;Code-as-Law&amp;quot; has a **&amp;quot;Fundamental Legitimacy Problem.&amp;quot;** &amp;quot;The Ethereum Community&amp;quot; &amp;quot;Chose&amp;quot; to &amp;quot;Fork&amp;quot; the &amp;quot;Blockchain&amp;quot; to &amp;quot;Reverse&amp;quot; &amp;quot;The Hack&amp;quot; — &amp;quot;Overriding&amp;quot; &amp;quot;The Code&amp;quot; with &amp;quot;Community Consensus.&amp;quot; It proved that **&amp;quot;Human Override&amp;quot;** remains &amp;quot;Essential&amp;quot; even in &amp;quot;Automated Governance.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/div&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Applying ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;div style&lt;/ins&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&quot;background-color: #8B0000; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;&quot;&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;= &amp;lt;span style=&quot;color: #FFFFFF;&quot;&amp;gt;&lt;/ins&gt;Applying&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/span&amp;gt; &lt;/ins&gt;==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#039;&amp;#039;&amp;#039;Modeling &amp;#039;The Smart Law&amp;#039; (Executing a Constitutional Rule as Code):&amp;#039;&amp;#039;&amp;#039;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#039;&amp;#039;&amp;#039;Modeling &amp;#039;The Smart Law&amp;#039; (Executing a Constitutional Rule as Code):&amp;#039;&amp;#039;&amp;#039;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;syntaxhighlight lang=&amp;quot;python&amp;quot;&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;syntaxhighlight lang=&amp;quot;python&amp;quot;&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l75&quot;&gt;Line 75:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 84:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;: &amp;#039;&amp;#039;&amp;#039;Wyoming DAO Law (2021)&amp;#039;&amp;#039;&amp;#039; → &amp;quot;The First&amp;quot; &amp;quot;US State&amp;quot; to &amp;quot;Give&amp;quot; **&amp;quot;DAOs Full Legal Personhood&amp;quot;** — &amp;quot;A Bridge&amp;quot; between &amp;quot;Code&amp;quot; and &amp;quot;Traditional Law.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;: &amp;#039;&amp;#039;&amp;#039;Wyoming DAO Law (2021)&amp;#039;&amp;#039;&amp;#039; → &amp;quot;The First&amp;quot; &amp;quot;US State&amp;quot; to &amp;quot;Give&amp;quot; **&amp;quot;DAOs Full Legal Personhood&amp;quot;** — &amp;quot;A Bridge&amp;quot; between &amp;quot;Code&amp;quot; and &amp;quot;Traditional Law.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;: &amp;#039;&amp;#039;&amp;#039;Singapore&amp;#039;s &amp;#039;Smart Nation&amp;#039; Initiative&amp;#039;&amp;#039;&amp;#039; → &amp;quot;Government&amp;quot; &amp;quot;Services&amp;quot; &amp;quot;Encoded&amp;quot; as **&amp;quot;Automated&amp;quot; &amp;quot;Decision Systems&amp;quot;** — the &amp;quot;World&amp;#039;s&amp;quot; &amp;quot;Most Advanced&amp;quot; &amp;quot;Digital Governance.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;: &amp;#039;&amp;#039;&amp;#039;Singapore&amp;#039;s &amp;#039;Smart Nation&amp;#039; Initiative&amp;#039;&amp;#039;&amp;#039; → &amp;quot;Government&amp;quot; &amp;quot;Services&amp;quot; &amp;quot;Encoded&amp;quot; as **&amp;quot;Automated&amp;quot; &amp;quot;Decision Systems&amp;quot;** — the &amp;quot;World&amp;#039;s&amp;quot; &amp;quot;Most Advanced&amp;quot; &amp;quot;Digital Governance.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/div&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Analyzing ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;div style&lt;/ins&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&quot;background-color: #8B4500; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;&quot;&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;= &amp;lt;span style=&quot;color: #FFFFFF;&quot;&amp;gt;&lt;/ins&gt;Analyzing&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/span&amp;gt; &lt;/ins&gt;==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{| class=&amp;quot;wikitable&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;{| class=&amp;quot;wikitable&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;|+ Traditional Law vs. Smart Constitutional Law&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;|+ Traditional Law vs. Smart Constitutional Law&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l93&quot;&gt;Line 93:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 104:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#039;&amp;#039;&amp;#039;The Concept of &amp;quot;The Legal Specification Problem&amp;quot;&amp;#039;&amp;#039;&amp;#039;: Analyzing &amp;quot;The Challenge.&amp;quot; (See Article 724). &amp;quot;Just as&amp;quot; **&amp;quot;AI Alignment&amp;quot;** &amp;quot;Requires&amp;quot; &amp;quot;Precisely Specifying&amp;quot; &amp;quot;Human Values&amp;quot; in &amp;quot;Code,&amp;quot; **&amp;quot;Smart Constitutions&amp;quot;** &amp;quot;Require&amp;quot; &amp;quot;Precisely Specifying&amp;quot; **&amp;quot;Justice.&amp;quot;** &amp;quot;Both Problems&amp;quot; face &amp;quot;The Same&amp;quot; &amp;quot;Fundamental Obstacle&amp;quot;: &amp;quot;Human Values&amp;quot; are &amp;quot;Rich,&amp;quot; &amp;quot;Contextual,&amp;quot; and &amp;quot;Evolving&amp;quot; — &amp;quot;While Code&amp;quot; is &amp;quot;Precise,&amp;quot; &amp;quot;Context-Free,&amp;quot; and &amp;quot;Static.&amp;quot; &amp;quot;The Future&amp;quot; of &amp;quot;Both&amp;quot; fields &amp;quot;Lies&amp;quot; in &amp;quot;Bridging&amp;quot; this &amp;quot;Gap.&amp;quot; &amp;quot;Justice&amp;quot; is **&amp;quot;Hard to Specify.&amp;quot;**&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;#039;&amp;#039;&amp;#039;The Concept of &amp;quot;The Legal Specification Problem&amp;quot;&amp;#039;&amp;#039;&amp;#039;: Analyzing &amp;quot;The Challenge.&amp;quot; (See Article 724). &amp;quot;Just as&amp;quot; **&amp;quot;AI Alignment&amp;quot;** &amp;quot;Requires&amp;quot; &amp;quot;Precisely Specifying&amp;quot; &amp;quot;Human Values&amp;quot; in &amp;quot;Code,&amp;quot; **&amp;quot;Smart Constitutions&amp;quot;** &amp;quot;Require&amp;quot; &amp;quot;Precisely Specifying&amp;quot; **&amp;quot;Justice.&amp;quot;** &amp;quot;Both Problems&amp;quot; face &amp;quot;The Same&amp;quot; &amp;quot;Fundamental Obstacle&amp;quot;: &amp;quot;Human Values&amp;quot; are &amp;quot;Rich,&amp;quot; &amp;quot;Contextual,&amp;quot; and &amp;quot;Evolving&amp;quot; — &amp;quot;While Code&amp;quot; is &amp;quot;Precise,&amp;quot; &amp;quot;Context-Free,&amp;quot; and &amp;quot;Static.&amp;quot; &amp;quot;The Future&amp;quot; of &amp;quot;Both&amp;quot; fields &amp;quot;Lies&amp;quot; in &amp;quot;Bridging&amp;quot; this &amp;quot;Gap.&amp;quot; &amp;quot;Justice&amp;quot; is **&amp;quot;Hard to Specify.&amp;quot;**&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/div&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Evaluating ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;div style&lt;/ins&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&quot;background-color: #483D8B; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;&quot;&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;= &amp;lt;span style=&quot;color: #FFFFFF;&quot;&amp;gt;&lt;/ins&gt;Evaluating&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/span&amp;gt; &lt;/ins&gt;==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Evaluating Smart Constitutions:&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Evaluating Smart Constitutions:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;# &amp;#039;&amp;#039;&amp;#039;Legitimacy&amp;#039;&amp;#039;&amp;#039;: Can &amp;quot;Citizens&amp;quot; &amp;quot;Trust&amp;quot; &amp;quot;A Constitution&amp;quot; they &amp;quot;Cannot Read&amp;quot; (Because it&amp;#039;s Code)?&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;# &amp;#039;&amp;#039;&amp;#039;Legitimacy&amp;#039;&amp;#039;&amp;#039;: Can &amp;quot;Citizens&amp;quot; &amp;quot;Trust&amp;quot; &amp;quot;A Constitution&amp;quot; they &amp;quot;Cannot Read&amp;quot; (Because it&amp;#039;s Code)?&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l100&quot;&gt;Line 100:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 113:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;# &amp;#039;&amp;#039;&amp;#039;Flexibility&amp;#039;&amp;#039;&amp;#039;: How do &amp;quot;Smart Constitutions&amp;quot; &amp;quot;Handle&amp;quot; **&amp;quot;Edge Cases&amp;quot;** that &amp;quot;The Original Code&amp;quot; &amp;quot;Did Not Anticipate&amp;quot;?&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;# &amp;#039;&amp;#039;&amp;#039;Flexibility&amp;#039;&amp;#039;&amp;#039;: How do &amp;quot;Smart Constitutions&amp;quot; &amp;quot;Handle&amp;quot; **&amp;quot;Edge Cases&amp;quot;** that &amp;quot;The Original Code&amp;quot; &amp;quot;Did Not Anticipate&amp;quot;?&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;# &amp;#039;&amp;#039;&amp;#039;Impact&amp;#039;&amp;#039;&amp;#039;: How does &amp;quot;Algorithmic Law&amp;quot; &amp;quot;Change&amp;quot; the **&amp;quot;Role of Judges&amp;quot;** and &amp;quot;Lawyers&amp;quot;?&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;# &amp;#039;&amp;#039;&amp;#039;Impact&amp;#039;&amp;#039;&amp;#039;: How does &amp;quot;Algorithmic Law&amp;quot; &amp;quot;Change&amp;quot; the **&amp;quot;Role of Judges&amp;quot;** and &amp;quot;Lawyers&amp;quot;?&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/div&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;br&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;== Creating ==&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;div style&lt;/ins&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&quot;background-color: #2F4F4F; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;&quot;&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;=&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;= &amp;lt;span style=&quot;color: #FFFFFF;&quot;&amp;gt;&lt;/ins&gt;Creating&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/span&amp;gt; &lt;/ins&gt;==&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Future Frontiers:&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Future Frontiers:&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;# &amp;#039;&amp;#039;&amp;#039;The &amp;#039;Legal&amp;#039; Specification AI&amp;#039;&amp;#039;&amp;#039;: (See Article 08). An &amp;quot;AI&amp;quot; that &amp;quot;Translates&amp;quot; **&amp;quot;Natural Language Law&amp;quot;** into &amp;quot;Formally Verified&amp;quot; &amp;quot;Code&amp;quot; — &amp;quot;And&amp;quot; &amp;quot;Back&amp;quot; — &amp;quot;Preserving&amp;quot; &amp;quot;Intent.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;# &amp;#039;&amp;#039;&amp;#039;The &amp;#039;Legal&amp;#039; Specification AI&amp;#039;&amp;#039;&amp;#039;: (See Article 08). An &amp;quot;AI&amp;quot; that &amp;quot;Translates&amp;quot; **&amp;quot;Natural Language Law&amp;quot;** into &amp;quot;Formally Verified&amp;quot; &amp;quot;Code&amp;quot; — &amp;quot;And&amp;quot; &amp;quot;Back&amp;quot; — &amp;quot;Preserving&amp;quot; &amp;quot;Intent.&amp;quot;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l119&quot;&gt;Line 119:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 134:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;[[Category:Blockchain]]&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;[[Category:Blockchain]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;[[Category:Algorithmic Law]]&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;[[Category:Algorithmic Law]]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&amp;lt;/div&amp;gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Wordpad</name></author>
	</entry>
	<entry>
		<id>http://bloomwiki.org/index.php?title=Smart_Constitutions_and_the_Codification_of_Law&amp;diff=2356&amp;oldid=prev</id>
		<title>Wordpad: BloomWiki: Smart Constitutions and the Codification of Law</title>
		<link rel="alternate" type="text/html" href="http://bloomwiki.org/index.php?title=Smart_Constitutions_and_the_Codification_of_Law&amp;diff=2356&amp;oldid=prev"/>
		<updated>2026-04-23T18:35:24Z</updated>

		<summary type="html">&lt;p&gt;BloomWiki: Smart Constitutions and the Codification of Law&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{BloomIntro}}&lt;br /&gt;
Smart Constitutions and the Codification of Law is the &amp;quot;Study of the Self-Executing State&amp;quot;—the investigation of the &amp;quot;Legal and Computer Science Field&amp;quot; (~21st Century–Future) of &amp;quot;Encoding&amp;quot; &amp;quot;Constitutional Principles,&amp;quot; &amp;quot;Legal Rules,&amp;quot; and &amp;quot;Governance Procedures&amp;quot; into **&amp;quot;Smart Contracts&amp;quot;** and &amp;quot;Formal Computational Systems&amp;quot; that &amp;quot;Execute&amp;quot; &amp;quot;Automatically,&amp;quot; &amp;quot;Transparently,&amp;quot; and &amp;quot;Without&amp;quot; &amp;quot;Human Intermediaries&amp;quot; — &amp;quot;Reducing&amp;quot; &amp;quot;Corruption,&amp;quot; &amp;quot;Bias,&amp;quot; and &amp;quot;Delay&amp;quot; in &amp;quot;The Administration&amp;quot; of &amp;quot;Law.&amp;quot; While &amp;quot;Traditional Law&amp;quot; (see Article 687) &amp;quot;Relies&amp;quot; on &amp;quot;Human&amp;quot; &amp;quot;Interpretation&amp;quot; and &amp;quot;Enforcement,&amp;quot; **Smart Constitutions** &amp;quot;Rely&amp;quot; on &amp;quot;Code.&amp;quot; From &amp;quot;Formal Verification of Law&amp;quot; and &amp;quot;Constitutional Logic&amp;quot; to &amp;quot;On-Chain Governance&amp;quot; and &amp;quot;The Automated State,&amp;quot; this field explores &amp;quot;The Computer-Readable Society.&amp;quot; It is the science of &amp;quot;Legal Automation,&amp;quot; explaining why &amp;quot;The Gap&amp;quot; between &amp;quot;Written Law&amp;quot; and &amp;quot;Enforced Law&amp;quot; is **&amp;quot;The Primary Source&amp;quot;** of &amp;quot;Injustice&amp;quot;—and how &amp;quot;Closing&amp;quot; that &amp;quot;Gap&amp;quot; with &amp;quot;Code&amp;quot; both **&amp;quot;Empowers&amp;quot;** and **&amp;quot;Rigidifies&amp;quot;** the &amp;quot;Social Contract.&amp;quot;&lt;br /&gt;
&lt;br /&gt;
== Remembering ==&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;Smart Constitution&amp;#039;&amp;#039;&amp;#039; — &amp;quot;A Constitutional Document&amp;quot; &amp;quot;Encoded&amp;quot; as &amp;quot;Self-Executing&amp;quot; &amp;quot;Smart Contracts&amp;quot;: &amp;quot;Laws&amp;quot; that &amp;quot;Trigger Automatically&amp;quot; when &amp;quot;Conditions Are Met.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;Smart Contract&amp;#039;&amp;#039;&amp;#039; — (See Article 533). &amp;quot;Self-Executing&amp;quot; &amp;quot;Code&amp;quot; on a &amp;quot;Blockchain&amp;quot; that &amp;quot;Automatically Enforces Agreements&amp;quot; without &amp;quot;Human&amp;quot; &amp;quot;Intermediaries.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;Formal Verification&amp;#039;&amp;#039;&amp;#039; — &amp;quot;The Mathematical Proof&amp;quot; that &amp;quot;A Program&amp;quot; (or &amp;quot;Law&amp;quot;) &amp;quot;Behaves Exactly&amp;quot; as &amp;quot;Specified&amp;quot; — &amp;quot;No More, No Less.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;Algorithmic Law&amp;#039;&amp;#039;&amp;#039; — &amp;quot;The Broader&amp;quot; &amp;quot;Field&amp;quot; of &amp;quot;Using&amp;quot; &amp;quot;Algorithms&amp;quot; to &amp;quot;Draft,&amp;quot; &amp;quot;Interpret,&amp;quot; &amp;quot;Enforce,&amp;quot; or &amp;quot;Adjudicate&amp;quot; &amp;quot;Legal Rules.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;On-Chain Governance&amp;#039;&amp;#039;&amp;#039; — &amp;quot;The Practice&amp;quot; of &amp;quot;Running&amp;quot; &amp;quot;Governance Decisions&amp;quot; (Votes, Amendments, Policy Changes) &amp;quot;Directly&amp;quot; on &amp;quot;A Blockchain.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;Rule of Code&amp;#039;&amp;#039;&amp;#039; — (Lawrence Lessig). &amp;quot;The Idea&amp;quot; that &amp;quot;Software Architecture&amp;quot; shapes &amp;quot;What&amp;quot; &amp;quot;People&amp;quot; &amp;quot;Can&amp;quot; and &amp;quot;Cannot Do&amp;quot; — &amp;quot;Code Is Law.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;Computational Constitutionalism&amp;#039;&amp;#039;&amp;#039; — &amp;quot;The Academic Field&amp;quot; &amp;quot;Studying&amp;quot; &amp;quot;How&amp;quot; &amp;quot;Constitutional Principles&amp;quot; can be &amp;quot;Formally Specified&amp;quot; and &amp;quot;Computationally Enforced.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;Legal Singularity&amp;#039;&amp;#039;&amp;#039; — &amp;quot;The Hypothetical&amp;quot; &amp;quot;Point&amp;quot; at &amp;quot;Which&amp;quot; &amp;quot;All Law&amp;quot; is &amp;quot;Computable&amp;quot; and &amp;quot;No&amp;quot; &amp;quot;Human Interpretation&amp;quot; is &amp;quot;Required.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;The Codex&amp;#039;&amp;#039;&amp;#039; — (Science Fiction / Historical). &amp;quot;A Vision&amp;quot; of &amp;quot;A Single&amp;quot; &amp;quot;Complete&amp;quot; &amp;quot;Self-Consistent&amp;quot; &amp;quot;Legal Code&amp;quot;: &amp;quot;The Dream&amp;quot; of &amp;quot;Legal Rationalists.&amp;quot;&lt;br /&gt;
* &amp;#039;&amp;#039;&amp;#039;Lex Cryptographia&amp;#039;&amp;#039;&amp;#039; — (Aaron Wright &amp;amp; Primavera De Filippi). &amp;quot;Law Enforced&amp;quot; through &amp;quot;Cryptographic&amp;quot; &amp;quot;Code&amp;quot; rather than &amp;quot;State Institutions.&amp;quot;&lt;br /&gt;
&lt;br /&gt;
== Understanding ==&lt;br /&gt;
Smart constitutions are understood through &amp;#039;&amp;#039;&amp;#039;Execution&amp;#039;&amp;#039;&amp;#039; and &amp;#039;&amp;#039;&amp;#039;Limits&amp;#039;&amp;#039;&amp;#039;.&lt;br /&gt;
&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;1. The &amp;quot;Gap&amp;quot; Problem (Traditional Law)&amp;#039;&amp;#039;&amp;#039;:&lt;br /&gt;
&amp;quot;The law says X, but practice is Y.&amp;quot;&lt;br /&gt;
* (See Article 677). &amp;quot;Traditional Law&amp;quot; has a &amp;quot;Gap&amp;quot; between &amp;quot;What&amp;quot; it &amp;quot;Says&amp;quot; and &amp;quot;What&amp;quot; it &amp;quot;Does&amp;quot; — &amp;quot;Created by&amp;quot; **&amp;quot;Corruption,&amp;quot; &amp;quot;Delay,&amp;quot; &amp;quot;Unequal Enforcement,&amp;quot;** and &amp;quot;Interpretive Discretion.&amp;quot;&lt;br /&gt;
* **&amp;quot;Smart Contracts&amp;quot;** &amp;quot;Eliminate&amp;quot; this &amp;quot;Gap&amp;quot; — &amp;quot;The Code&amp;quot; &amp;quot;Does&amp;quot; &amp;quot;Exactly&amp;quot; &amp;quot;What&amp;quot; it &amp;quot;Says,&amp;quot; &amp;quot;Every Time.&amp;quot;&lt;br /&gt;
* &amp;quot;This is&amp;quot; &amp;quot;Both&amp;quot; the &amp;quot;Promise&amp;quot; (Equal Enforcement) and the &amp;quot;Peril&amp;quot; (Rigid, Error-Prone Code).&lt;br /&gt;
* &amp;quot;Justice&amp;quot; can be **&amp;quot;Automated.&amp;quot;**&lt;br /&gt;
&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;2. The &amp;quot;Immutability&amp;quot; Trap (Constitutional Rigidity)&amp;#039;&amp;#039;&amp;#039;:&lt;br /&gt;
&amp;quot;What happens when the law is wrong and the code won&amp;#039;t bend?&amp;quot;&lt;br /&gt;
* (See Article 730). &amp;quot;Smart Contracts&amp;quot; are &amp;quot;Notoriously&amp;quot; &amp;quot;Difficult&amp;quot; to &amp;quot;Amend.&amp;quot;&lt;br /&gt;
* &amp;quot;A &amp;#039;Smart Constitution&amp;#039;&amp;quot; with a &amp;quot;Bug&amp;quot; or &amp;quot;Unjust Provision&amp;quot; &amp;quot;Could&amp;quot; &amp;quot;Continue&amp;quot; to &amp;quot;Execute&amp;quot; &amp;quot;The Injustice&amp;quot; &amp;quot;Automatically&amp;quot; until &amp;quot;Amended.&amp;quot;&lt;br /&gt;
* &amp;quot;The 2016 DAO Hack&amp;quot; ($60M stolen, technically legal by the code) demonstrated this: **&amp;quot;Code is law&amp;quot;** can be &amp;quot;Unjust.&amp;quot;**&lt;br /&gt;
* &amp;quot;Rigidity&amp;quot; is **&amp;quot;The Price of Automation.&amp;quot;**&lt;br /&gt;
&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;3. The &amp;quot;Interpretation&amp;quot; Gap (Ambiguity)&amp;#039;&amp;#039;&amp;#039;:&lt;br /&gt;
&amp;quot;Law uses words, code uses logic.&amp;quot;&lt;br /&gt;
* (See Article 506). &amp;quot;Natural Language&amp;quot; is &amp;quot;Inherently&amp;quot; &amp;quot;Ambiguous.&amp;quot; &amp;quot;Law&amp;quot; &amp;quot;Relies&amp;quot; on &amp;quot;Courts&amp;quot; to &amp;quot;Interpret&amp;quot; &amp;quot;Ambiguous&amp;quot; &amp;quot;Text&amp;quot; in &amp;quot;Context.&amp;quot;&lt;br /&gt;
* &amp;quot;Code&amp;quot; &amp;quot;Has No&amp;quot; &amp;quot;Ambiguity&amp;quot; — &amp;quot;It Does&amp;quot; &amp;quot;What&amp;quot; it &amp;quot;Says,&amp;quot; &amp;quot;Regardless&amp;quot; of &amp;quot;Intent.&amp;quot;&lt;br /&gt;
* &amp;quot;Translating&amp;quot; &amp;quot;Legal Language&amp;quot; into &amp;quot;Code&amp;quot; &amp;quot;Requires&amp;quot; &amp;quot;Resolving&amp;quot; **&amp;quot;All&amp;quot; &amp;quot;Ambiguities&amp;quot;** &amp;quot;Upfront.&amp;quot;&lt;br /&gt;
* &amp;quot;Clarity&amp;quot; is **&amp;quot;Mandatory.&amp;quot;**&lt;br /&gt;
&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;The &amp;#039;Ethereum&amp;#039; Governance Crisis (2016)&amp;#039;&amp;#039;&amp;#039;&amp;#039;: &amp;quot;The DAO Hack&amp;quot; &amp;quot;Proved&amp;quot; that &amp;quot;Code-as-Law&amp;quot; has a **&amp;quot;Fundamental Legitimacy Problem.&amp;quot;** &amp;quot;The Ethereum Community&amp;quot; &amp;quot;Chose&amp;quot; to &amp;quot;Fork&amp;quot; the &amp;quot;Blockchain&amp;quot; to &amp;quot;Reverse&amp;quot; &amp;quot;The Hack&amp;quot; — &amp;quot;Overriding&amp;quot; &amp;quot;The Code&amp;quot; with &amp;quot;Community Consensus.&amp;quot; It proved that **&amp;quot;Human Override&amp;quot;** remains &amp;quot;Essential&amp;quot; even in &amp;quot;Automated Governance.&amp;quot;&lt;br /&gt;
&lt;br /&gt;
== Applying ==&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;Modeling &amp;#039;The Smart Law&amp;#039; (Executing a Constitutional Rule as Code):&amp;#039;&amp;#039;&amp;#039;&lt;br /&gt;
&amp;lt;syntaxhighlight lang=&amp;quot;python&amp;quot;&amp;gt;&lt;br /&gt;
def apply_smart_constitution_rule(age, citizenship_verified, criminal_record, &lt;br /&gt;
                                   amendment_passed=False):&lt;br /&gt;
    &amp;quot;&amp;quot;&amp;quot;&lt;br /&gt;
    Simulates a constitutional voting-rights rule encoded as a smart contract.&lt;br /&gt;
    &amp;quot;&amp;quot;&amp;quot;&lt;br /&gt;
    # Base constitutional rule: voting rights&lt;br /&gt;
    if amendment_passed:&lt;br /&gt;
        # Amendment lowers age requirement to 16&lt;br /&gt;
        min_age = 16&lt;br /&gt;
        note = &amp;quot;(Amendment 28 active)&amp;quot;&lt;br /&gt;
    else:&lt;br /&gt;
        min_age = 18&lt;br /&gt;
        note = &amp;quot;(Original Constitution)&amp;quot;&lt;br /&gt;
    &lt;br /&gt;
    if age &amp;gt;= min_age and citizenship_verified and not criminal_record:&lt;br /&gt;
        return f&amp;quot;VOTING RIGHTS: GRANTED. {note}. All conditions met. Transaction executed.&amp;quot;&lt;br /&gt;
    else:&lt;br /&gt;
        reasons = []&lt;br /&gt;
        if age &amp;lt; min_age: reasons.append(f&amp;quot;Age {age} &amp;lt; {min_age}&amp;quot;)&lt;br /&gt;
        if not citizenship_verified: reasons.append(&amp;quot;Citizenship unverified&amp;quot;)&lt;br /&gt;
        if criminal_record: reasons.append(&amp;quot;Criminal record disqualifies&amp;quot;)&lt;br /&gt;
        return f&amp;quot;VOTING RIGHTS: DENIED. {note}. Reasons: {&amp;#039;; &amp;#039;.join(reasons)}.&amp;quot;&lt;br /&gt;
&lt;br /&gt;
print(apply_smart_constitution_rule(17, True, False))&lt;br /&gt;
print(apply_smart_constitution_rule(17, True, False, amendment_passed=True))&lt;br /&gt;
&amp;lt;/syntaxhighlight&amp;gt;&lt;br /&gt;
&lt;br /&gt;
; Legal Landmarks&lt;br /&gt;
: &amp;#039;&amp;#039;&amp;#039;Lessig&amp;#039;s &amp;#039;&amp;#039;Code and Other Laws of Cyberspace&amp;#039;&amp;#039; (1999)&amp;#039;&amp;#039;&amp;#039; → &amp;quot;&amp;#039;Code Is Law&amp;#039;&amp;quot; — &amp;quot;The Foundational&amp;quot; **&amp;quot;Text&amp;quot;** of &amp;quot;Computational&amp;quot; &amp;quot;Legal Theory.&amp;quot;&lt;br /&gt;
: &amp;#039;&amp;#039;&amp;#039;The &amp;#039;Ethereum&amp;#039; DAO Fork (2016)&amp;#039;&amp;#039;&amp;#039; → &amp;quot;Proving&amp;quot; that &amp;quot;Human Override&amp;quot; of **&amp;quot;Code-Based Law&amp;quot;** is &amp;quot;Sometimes&amp;quot; &amp;quot;Necessary&amp;quot; — &amp;quot;But Controversial.&amp;quot;&lt;br /&gt;
: &amp;#039;&amp;#039;&amp;#039;Wyoming DAO Law (2021)&amp;#039;&amp;#039;&amp;#039; → &amp;quot;The First&amp;quot; &amp;quot;US State&amp;quot; to &amp;quot;Give&amp;quot; **&amp;quot;DAOs Full Legal Personhood&amp;quot;** — &amp;quot;A Bridge&amp;quot; between &amp;quot;Code&amp;quot; and &amp;quot;Traditional Law.&amp;quot;&lt;br /&gt;
: &amp;#039;&amp;#039;&amp;#039;Singapore&amp;#039;s &amp;#039;Smart Nation&amp;#039; Initiative&amp;#039;&amp;#039;&amp;#039; → &amp;quot;Government&amp;quot; &amp;quot;Services&amp;quot; &amp;quot;Encoded&amp;quot; as **&amp;quot;Automated&amp;quot; &amp;quot;Decision Systems&amp;quot;** — the &amp;quot;World&amp;#039;s&amp;quot; &amp;quot;Most Advanced&amp;quot; &amp;quot;Digital Governance.&amp;quot;&lt;br /&gt;
&lt;br /&gt;
== Analyzing ==&lt;br /&gt;
{| class=&amp;quot;wikitable&amp;quot;&lt;br /&gt;
|+ Traditional Law vs. Smart Constitutional Law&lt;br /&gt;
! Feature !! Traditional Law !! Smart Constitutional Law&lt;br /&gt;
|-&lt;br /&gt;
| Enforcement || &amp;quot;Human (Police, Courts)&amp;quot; || &amp;quot;Automatic (Code execution)&amp;quot;&lt;br /&gt;
|-&lt;br /&gt;
| Interpretation || &amp;quot;Judicial discretion&amp;quot; || &amp;quot;Pre-specified (No ambiguity)&amp;quot;&lt;br /&gt;
|-&lt;br /&gt;
| Amendment || &amp;quot;Democratic process (Flexible)&amp;quot; || &amp;quot;On-chain vote (Difficult)&amp;quot;&lt;br /&gt;
|-&lt;br /&gt;
| Corruption || &amp;quot;Possible (Human intermediaries)&amp;quot; || &amp;quot;Minimized (No intermediaries)&amp;quot;&lt;br /&gt;
|-&lt;br /&gt;
| Error Correction || &amp;quot;Courts can reverse&amp;quot; || &amp;quot;Requires fork / patch (Costly)&amp;quot;&lt;br /&gt;
|}&lt;br /&gt;
&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;The Concept of &amp;quot;The Legal Specification Problem&amp;quot;&amp;#039;&amp;#039;&amp;#039;: Analyzing &amp;quot;The Challenge.&amp;quot; (See Article 724). &amp;quot;Just as&amp;quot; **&amp;quot;AI Alignment&amp;quot;** &amp;quot;Requires&amp;quot; &amp;quot;Precisely Specifying&amp;quot; &amp;quot;Human Values&amp;quot; in &amp;quot;Code,&amp;quot; **&amp;quot;Smart Constitutions&amp;quot;** &amp;quot;Require&amp;quot; &amp;quot;Precisely Specifying&amp;quot; **&amp;quot;Justice.&amp;quot;** &amp;quot;Both Problems&amp;quot; face &amp;quot;The Same&amp;quot; &amp;quot;Fundamental Obstacle&amp;quot;: &amp;quot;Human Values&amp;quot; are &amp;quot;Rich,&amp;quot; &amp;quot;Contextual,&amp;quot; and &amp;quot;Evolving&amp;quot; — &amp;quot;While Code&amp;quot; is &amp;quot;Precise,&amp;quot; &amp;quot;Context-Free,&amp;quot; and &amp;quot;Static.&amp;quot; &amp;quot;The Future&amp;quot; of &amp;quot;Both&amp;quot; fields &amp;quot;Lies&amp;quot; in &amp;quot;Bridging&amp;quot; this &amp;quot;Gap.&amp;quot; &amp;quot;Justice&amp;quot; is **&amp;quot;Hard to Specify.&amp;quot;**&lt;br /&gt;
&lt;br /&gt;
== Evaluating ==&lt;br /&gt;
Evaluating Smart Constitutions:&lt;br /&gt;
# &amp;#039;&amp;#039;&amp;#039;Legitimacy&amp;#039;&amp;#039;&amp;#039;: Can &amp;quot;Citizens&amp;quot; &amp;quot;Trust&amp;quot; &amp;quot;A Constitution&amp;quot; they &amp;quot;Cannot Read&amp;quot; (Because it&amp;#039;s Code)?&lt;br /&gt;
# &amp;#039;&amp;#039;&amp;#039;Exclusion&amp;#039;&amp;#039;&amp;#039;: Does &amp;quot;Code-Based Law&amp;quot; **&amp;quot;Exclude&amp;quot;** &amp;quot;Those Without Technical Literacy&amp;quot;?&lt;br /&gt;
# &amp;#039;&amp;#039;&amp;#039;Flexibility&amp;#039;&amp;#039;&amp;#039;: How do &amp;quot;Smart Constitutions&amp;quot; &amp;quot;Handle&amp;quot; **&amp;quot;Edge Cases&amp;quot;** that &amp;quot;The Original Code&amp;quot; &amp;quot;Did Not Anticipate&amp;quot;?&lt;br /&gt;
# &amp;#039;&amp;#039;&amp;#039;Impact&amp;#039;&amp;#039;&amp;#039;: How does &amp;quot;Algorithmic Law&amp;quot; &amp;quot;Change&amp;quot; the **&amp;quot;Role of Judges&amp;quot;** and &amp;quot;Lawyers&amp;quot;?&lt;br /&gt;
&lt;br /&gt;
== Creating ==&lt;br /&gt;
Future Frontiers:&lt;br /&gt;
# &amp;#039;&amp;#039;&amp;#039;The &amp;#039;Legal&amp;#039; Specification AI&amp;#039;&amp;#039;&amp;#039;: (See Article 08). An &amp;quot;AI&amp;quot; that &amp;quot;Translates&amp;quot; **&amp;quot;Natural Language Law&amp;quot;** into &amp;quot;Formally Verified&amp;quot; &amp;quot;Code&amp;quot; — &amp;quot;And&amp;quot; &amp;quot;Back&amp;quot; — &amp;quot;Preserving&amp;quot; &amp;quot;Intent.&amp;quot;&lt;br /&gt;
# &amp;#039;&amp;#039;&amp;#039;VR &amp;#039;Smart Constitution&amp;#039; Lab&amp;#039;&amp;#039;&amp;#039;: (See Article 604). A &amp;quot;Walkthrough&amp;quot; of &amp;quot;Designing&amp;quot; and **&amp;quot;Testing&amp;quot;** a &amp;quot;Constitutional&amp;quot; &amp;quot;Smart Contract&amp;quot; against &amp;quot;Edge Cases.&amp;quot;&lt;br /&gt;
# &amp;#039;&amp;#039;&amp;#039;The &amp;#039;Law as Code&amp;#039; Registry&amp;#039;&amp;#039;&amp;#039;: (See Article 533). A &amp;quot;Blockchain&amp;quot; hosting &amp;quot;Open-Source&amp;quot; **&amp;quot;Constitutional Templates&amp;quot;** for &amp;quot;New Nations&amp;quot; and &amp;quot;DAOs.&amp;quot;&lt;br /&gt;
# &amp;#039;&amp;#039;&amp;#039;Global &amp;#039;Algorithmic Law&amp;#039; Standards Body&amp;#039;&amp;#039;&amp;#039;: (See Article 630). A &amp;quot;Planetary&amp;quot; &amp;quot;Organization&amp;quot; that &amp;quot;Sets&amp;quot; **&amp;quot;Standards&amp;quot;** for &amp;quot;Safe&amp;quot; &amp;quot;Formal Specification&amp;quot; of &amp;quot;Legal Rules.&amp;quot;&lt;br /&gt;
&lt;br /&gt;
[[Category:Arts]]&lt;br /&gt;
[[Category:Science]]&lt;br /&gt;
[[Category:Philosophy]]&lt;br /&gt;
[[Category:Ethics]]&lt;br /&gt;
[[Category:History]]&lt;br /&gt;
[[Category:Law]]&lt;br /&gt;
[[Category:Technology]]&lt;br /&gt;
[[Category:Governance]]&lt;br /&gt;
[[Category:Future Studies]]&lt;br /&gt;
[[Category:Blockchain]]&lt;br /&gt;
[[Category:Algorithmic Law]]&lt;/div&gt;</summary>
		<author><name>Wordpad</name></author>
	</entry>
</feed>