docs: restate HAL-local publish gate without the patent-portfolio claim

[DealAppSeo]

Part of a sweep across all four repos removing assertions that a patent or patent application exists. Sibling PRs: repid-engine#448 and trinity-symphony-shared (claude/trust-harness-roadmap-ukdfyo).

What changed

packages/defaults/hallucination-hal-local explained its private: true by calling the signal-extraction formula "part of HDP's patent portfolio". Five files carried that framing (README, package.json description, src/constants.ts, src/score.ts, src/types.ts).

The gate is correct and stays. Its justification is restated as "proprietary internals" — which is what actually makes the package unpublishable, and is verifiable on its face rather than resting on an unstated filing.

src/types.ts's instruction is made explicit while I was there: "Field names patent-load-bearing" → "Field names are load-bearing … never rename". The old wording only implied the rule.

The gate is untouched

"private": true,

package.json still parses and still carries private: true. The publish gate never depended on the prose — this PR changes only the explanation, so there is no path by which it makes an unwanted publish more likely. The P-003 identifier is kept for traceability; it names an internal class, not a filing.

Deliberately not touched

• LICENSE and README.md:273 — the Apache 2.0 patent grant clause, which reads "Patent rights, if any, are granted under…". That grants rights conditionally rather than claiming a patent exists, and removing it would weaken what downstream users receive. Same reasoning applied in trustshell, which needed no changes at all.

Verification

• package.json parses; private: true and name confirmed unchanged after the edit.
• Diff is comment/prose-only across 5 files (12 insertions, 12 deletions).
• Marco De Rossi's files (ERC8004SPEC.md, contracts/, test/, abis/) are not in the diff.

---

Generated by Claude Code