Assert-string substitution (§5.15) followed by portable-subset validation: the substituted pattern uses lookahead and must be refused at phase 10 (INVALID_ASSERTION). Neither the substitution nor the subset check is implemented. Listed as deferred conformance work in docs/plans/PARSEUR-DIFFERENTIEL.md.
