feat(schema): regex-like pattern facet (design exploration)

[berkeleynerd]

Investigate a safe subset of pattern matching for strings (regex-like) compatible with SPARK proofs.

Acceptance

• Decision documented; if feasible, define subset, loader mapping, and validator support.