diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000..52d1041
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1 @@
+scripts/*.mjs linguist-vendored
diff --git a/profile/README.md b/profile/README.md
index ace271c..ae4b137 100644
--- a/profile/README.md
+++ b/profile/README.md
@@ -27,11 +27,8 @@ regulatory boundaries.
 </div>
 
 > [!IMPORTANT]
-> Oraclizer's public GitHub currently provides research, formal artifacts, and
-> protocol specifications. A public repository, a green proof build, or a
-> published preprint does not by itself establish a production deployment, an
-> audit, legal compliance, operational security, or model-to-code refinement.
-> Each repository defines its exact assurance boundary.
+> Oraclizer's public GitHub provides research, formal artifacts, and protocol
+> specifications. Each repository defines its exact assurance boundary.
 
 ## Why state synchronization
 
@@ -65,7 +62,7 @@ development, and private candidates are intentionally distinguished.
 
 | Repository | Scope | Current status |
 | --- | --- | --- |
-| [**formal-verification**](https://github.com/Oraclizer/formal-verification) | Machine-checked, model-level foundations for cross-domain state preservation and regulatory action composition in Isabelle/HOL | **Public, production-maintained research.** Reproducible sessions, integrity manifests, explicit assumptions, security reporting, contribution rules, governance, and citation metadata. It is not a production implementation or deployment. |
+| [**formal-verification**](https://github.com/Oraclizer/formal-verification) | Machine-checked, model-level foundations for cross-domain state preservation and regulatory action composition in Isabelle/HOL, plus an independent protected-behavior obstruction companion | **Public, production-maintained research.** Reproducible sessions, integrity manifests, explicit assumptions, security reporting, contribution rules, governance, and citation metadata. It is not a production implementation or deployment. |
 
 ### Preparing for public release
 
@@ -75,8 +72,8 @@ status, or production readiness, and no private repository link is exposed.
 
 | Repository | Scope | Publication boundary |
 | --- | --- | --- |
-| **ERC-TRUST** | *Typed Regulatory Uniformity for Security Tokens*: typed, fail-closed regulatory actions and recomputable receipts for security-token implementations | **Private pre-ERC candidate.** Public release is planned after repository-readiness and disclosure gates. Unaudited and not for production. No release date is announced. |
-| **StateSync-GKR** | A GKR prover stack specialized for sparse-Merkle-tree state verification and built on Plonky3 primitives | **Private development repository.** Public release is planned after evidence, repository hygiene, and security gates. No release date is announced. |
+| **ERC-TRUST** | *Typed Regulatory Uniformity for Security Tokens*: typed, fail-closed regulatory actions and recomputable receipts for security-token implementations | **Private pre-ERC candidate.** Public release is planned after internal review. Unaudited and not for production. |
+| **StateSync-GKR** | A Rust prover for sparse-Merkle state transitions built on Plonky3 primitives, with GKR and sumcheck mechanized in Isabelle/HOL | **Private development repository.** Public release is planned after internal review. |
 
 Public visibility will be evaluated independently from a version tag, release,
 deployment, audit, or standards-process milestone.
diff --git a/profile/assets/oraclizer-system-map-mobile.svg b/profile/assets/oraclizer-system-map-mobile.svg
index 832f3d4..7dd688d 100644
--- a/profile/assets/oraclizer-system-map-mobile.svg
+++ b/profile/assets/oraclizer-system-map-mobile.svg
@@ -87,7 +87,7 @@
     <text x="575" y="875" text-anchor="middle" fill="#6BE0B6" font-size="11" font-weight="700">PUBLIC</text>
     <rect x="72" y="907" width="576" height="50" rx="12" fill="#12263E"/>
     <text x="94" y="930" fill="#FFFFFF" font-size="16" font-weight="700">StateSync-GKR</text>
-    <text x="94" y="949" fill="#AFC0D4" font-size="12">Private prover stack · release after readiness gates</text>
+    <text x="94" y="949" fill="#AFC0D4" font-size="12">Private prover stack · public release planned</text>
     <rect x="516" y="920" width="110" height="24" rx="12" fill="#4A3617"/>
     <text x="571" y="937" text-anchor="middle" fill="#FFD27A" font-size="11" font-weight="700">PRIVATE</text>
 
diff --git a/profile/assets/oraclizer-system-map.svg b/profile/assets/oraclizer-system-map.svg
index 80c042e..405b727 100644
--- a/profile/assets/oraclizer-system-map.svg
+++ b/profile/assets/oraclizer-system-map.svg
@@ -103,7 +103,7 @@
 
       <rect x="654" y="528" width="454" height="56" rx="12" fill="#12263E"/>
       <text x="674" y="553" fill="#FFFFFF" font-size="16" font-weight="700">StateSync-GKR</text>
-      <text x="674" y="573" fill="#AFC0D4" font-size="13">Private prover stack · release after readiness gates</text>
+      <text x="674" y="573" fill="#AFC0D4" font-size="13">Private prover stack · public release planned</text>
       <rect x="982" y="542" width="106" height="24" rx="12" fill="#4A3617"/>
       <text x="1035" y="559" text-anchor="middle" fill="#FFD27A" font-size="11" font-weight="700">PRIVATE</text>
     </g>