Update README.md

README.md

@@ -1,3 +1,14 @@
+---
+title: Deterministic Governance Mechanism
+emoji: 🛡️
+colorFrom: blue
+colorTo: indigo
+sdk: streamlit
+sdk_version: 1.30.0
+app_file: app.py
+pinned: false
+---
+
 # Deterministic Governance Mechanism
 
 Probabilistic systems cannot be audited. If a decision changes between runs with identical inputs, the reasoning chain is non-reproducible, and post-hoc explanation is speculation.
@@ -8,7 +19,7 @@ This is a reference implementation of deterministic exclusion: a governance laye
 
 ## Core Invariant
 
-```
+```text
 Same input + same configuration + same substrate → same output (bit-identical)
 ```
 
@@ -24,7 +35,7 @@ python exclusion_demo.py replay
 
 Output: Five identical SHA-256 hashes.
 
-```
+```text
 SHA-256(canonical_input || configuration || substrate_hash || output_decisions)
 ```
 
@@ -34,13 +45,14 @@ If the hash changes, the computation diverged. If it doesn't, the decision was d
 
 Candidates are stateful objects under constraint pressure. Exclusion occurs when accumulated stress exceeds a fixed yield threshold:
 
-```
+```text
 σ(t) > σ_y  →  Exclusion
 ```
 
 No temperature. No sampling. No randomness. Stress accumulates via explicit arithmetic over discrete time steps. Once excluded, a candidate cannot re-enter.
 
 The system implements:
+
 - Deterministic stress accumulation (no entropy sources)
 - Cryptographic yield strength (BLAKE2b, no salt)
 - Three-phase pressure schedule (nucleation, quenching, crystallization)
@@ -58,18 +70,21 @@ python exclusion_demo.py
 ```
 
 **Prove determinism:**
+
 ```bash
 python exclusion_demo.py replay
 # Runs 5 times - prints identical SHA-256 hashes
 ```
 
 **Compare modes:**
+
 ```bash
 python exclusion_demo.py compare
 # Shows behavioral differences across elastic modulus modes
 ```
 
 **Run full test suite:**
+
 ```bash
 python test_suite.py
 # 14 mechanical tests verifying invariants
@@ -78,6 +93,7 @@ python test_suite.py
 ## What This Is
 
 An experiment showing exclusion can be:
+
 - **Deterministic** (same inputs → same outputs)
 - **Replayable** (hash proves invariance)
 - **Mechanical** (threshold, not probability)
@@ -94,6 +110,7 @@ An experiment showing exclusion can be:
 The engine enforces determinism mechanically; it does not validate the quality of the substrate it is pointed at. Misuse risk concentrates upstream in substrate selection (what is treated as verified) and configuration selection (how strict exclusion is).
 
 Mitigations target provenance and auditability:
+
 - Substrates should be permissioned and signed
 - Configuration and substrate hashes recorded with each run
 - Silent swaps detectable via hash divergence
@@ -125,12 +142,13 @@ For production-ready deployment with enterprise features → **[verhash.com](htt
 
 Interested in technology licensing, partnerships, or investment:
 
-**Contact:** ryan@verhash.net  
+**Contact:** <ryan@verhash.net>  
 **Organization:** Verhash LLC
 
 ## Patent Notice
 
 Demonstrates concepts from pending patent application:
+
 - **Title:** "Deterministic Material-Field Governance for Computational Systems"
 - **Priority Date:** January 25, 2026
 - **Applicant:** Verhash LLC