Is descriptor-only parsing via `Context::try_from` intentional?

[KY-U]

Context::try_from(...) accepts descriptor-shaped inputs, while rejecting pure miniscript expressions such as and_v(...).

The public interface Context::try_fromcalls parser::parse, which starts parse_descriptor(), while miniscript parsing exists internally in parse_top_internal() and parse_internal().

Is this descriptor-only public API, while keeping miniscript expressions validation internal, intentional?

Thanks!

[denmeh]

Yes at the moment it is intentional, we could expose the parsing of pure expressions if needed!

[KY-U]

That would be great! A public interface for "pure" miniscript parsing would facilitate implementing differential fuzzing with other miniscript implementations!

[denmeh]

Since 0.0.7, it's now possible to parse these bare expressions.

Currently, Context::try_from also performs the various validations, but if necessary, we can expose only the pure parsing for fuzzing!

[KY-U]

Since 0.0.7, it's now possible to parse these bare expressions.

Currently, Context::try_from also performs the various validations, but if necessary, we can expose only the pure parsing for fuzzing!

Nice! It would really be of help to expose the pure parsing for differential fuzzing of different miniscript parsers!