diff --git a/packages/defaults/hallucination-hal-local/README.md b/packages/defaults/hallucination-hal-local/README.md
index d920e79..42bf359 100644
--- a/packages/defaults/hallucination-hal-local/README.md
+++ b/packages/defaults/hallucination-hal-local/README.md
@@ -6,12 +6,12 @@ Local-first implementation of the `IHallucination` slot. Bundles the determinist
 
 ## Why private
 
-The HAL signal-extraction formula and weighting are part of HDP's patent portfolio (P-003 — Pythagorean Comma Dissonance Detection). Per CLAUDE.md hard-stop:
+The HAL signal-extraction formula and weighting are proprietary internals (P-003 — Pythagorean Comma Dissonance Detection). Per CLAUDE.md hard-stop:
 
 > RepID scoring formula T=floor(2000×log₁₀…) — never appear in public docs
 > ANFIS parameters — never in public docs
 
-This package contains the canonical 5-signal extraction formula AND the canonical combiner (Pythagorean Comma at 531441/524288). It is **safe for trinity-internal consumers** (the agents and services already inside the patent-aware codebase). It is **not** safe for public npm publication.
+This package contains the canonical 5-signal extraction formula AND the canonical combiner (Pythagorean Comma at 531441/524288). It is **safe for trinity-internal consumers** (the agents and services already inside the proprietary codebase). It is **not** safe for public npm publication.
 
 The PUBLIC slot remains `@hyperdag/hallucination-hal`, which ships as an HTTP client + stub fallback. External consumers of `createHDP({})` continue to see that public package.
 
diff --git a/packages/defaults/hallucination-hal-local/package.json b/packages/defaults/hallucination-hal-local/package.json
index 19de10e..28f9730 100644
--- a/packages/defaults/hallucination-hal-local/package.json
+++ b/packages/defaults/hallucination-hal-local/package.json
@@ -2,7 +2,7 @@
   "name": "@hyperdag/hallucination-hal-local",
   "version": "0.1.0-internal",
   "private": true,
-  "description": "Local HAL provider — deterministic 5-signal extraction + canonical combiner. Internal-only. Public npm publish requires Sean's explicit approval per CLAUDE.md hard-stop on HAL signal-extraction formula + weighting (HAEE / ANFIS / P-003 patent portfolio).",
+  "description": "Local HAL provider — deterministic 5-signal extraction + canonical combiner. Internal-only. Public npm publish requires Sean's explicit approval per CLAUDE.md hard-stop on HAL signal-extraction formula + weighting (HAEE / ANFIS / P-003 proprietary internals).",
   "license": "SEE LICENSE IN LICENSE",
   "type": "module",
   "main": "dist/index.js",
diff --git a/packages/defaults/hallucination-hal-local/src/constants.ts b/packages/defaults/hallucination-hal-local/src/constants.ts
index d921ab6..a0a364f 100644
--- a/packages/defaults/hallucination-hal-local/src/constants.ts
+++ b/packages/defaults/hallucination-hal-local/src/constants.ts
@@ -3,11 +3,11 @@
  *
  * SACRED CONSTANTS — DO NOT MUTATE.
  *
- * Patent-load-bearing — this file is the reason the entire package is marked
- * `private: true` in package.json. The HAL_PYTHAGOREAN_COMMA ratio, the
- * formula weights, and the canonical signal field names are all part of
- * HDP's patent portfolio (P-003). Public npm publish requires Sean's
- * explicit approval per CLAUDE.md hard-stop.
+ * Proprietary and load-bearing — this file is the reason the entire package is
+ * marked `private: true` in package.json. The HAL_PYTHAGOREAN_COMMA ratio, the
+ * formula weights, and the canonical signal field names are all proprietary
+ * internals (P-003). Public npm publish requires Sean's explicit approval per
+ * CLAUDE.md hard-stop.
  *
  * To preserve byte-equivalence with the production HAL, every constant here
  * is a verbatim copy of the repid-engine source. Future drift between
diff --git a/packages/defaults/hallucination-hal-local/src/score.ts b/packages/defaults/hallucination-hal-local/src/score.ts
index 9415d61..f9b78ca 100644
--- a/packages/defaults/hallucination-hal-local/src/score.ts
+++ b/packages/defaults/hallucination-hal-local/src/score.ts
@@ -2,8 +2,8 @@
  * HAL score computation — the canonical Path A formula. Pure function,
  * dependency-free.
  *
- * Ported verbatim from repid-engine/src/hal/lib/score.ts. Patent-load-bearing
- * per HAL_LIBRARY_API.md.
+ * Ported verbatim from repid-engine/src/hal/lib/score.ts. Proprietary and
+ * load-bearing per HAL_LIBRARY_API.md.
  *
  *   hal_score = (
  *       0.4 * harm_probability
diff --git a/packages/defaults/hallucination-hal-local/src/types.ts b/packages/defaults/hallucination-hal-local/src/types.ts
index 06b35be..2b0e15b 100644
--- a/packages/defaults/hallucination-hal-local/src/types.ts
+++ b/packages/defaults/hallucination-hal-local/src/types.ts
@@ -2,8 +2,8 @@
  * Local HAL native types — the canonical 5-signal shape ported from
  * repid-engine/src/hal/lib/types.ts.
  *
- * Field names patent-load-bearing per HAL_LIBRARY_API.md. The repid-engine
- * names are preserved here for byte-equivalence with production HAL.
+ * Field names are load-bearing per HAL_LIBRARY_API.md — never rename. The
+ * repid-engine names are preserved here for byte-equivalence with production HAL.
  *
  * Note: this is DIFFERENT from the 6-DOF `HALSignals` shape in
  * `@hyperdag/interfaces` (faithfulness, contradiction, calibration, …).