Halal v0.1.0-alpha.256

Contributor tooling and documentation quality release.

• Added dependency-free Markdown link and heading-anchor validation.
• Added regression coverage and wired the check into make verify and path-filtered CI.
• The protocol remains unaudited and not suitable for meaningful funds.