feat: support configurable contants for predicates

[Torres-ssf]

• Close: Configurable Constants For Predicates #997

[github-actions]

Coverage report

St.❔	Category	Percentage	Covered / Total
🟢	Statements	95.37% (+0.04% 🔼)	5255/5510
🟢	Branches	84.51% (+0.19% 🔼)	862/1020
🟢	Functions	87.09% (+0.04% 🔼)	958/1100
🟢	Lines	95.37% (+0.04% 🔼)	5026/5270

Test suite run success

896 tests passing in 140 suites.

Report generated by 🧪jest coverage report action from 5698280

[arboleya]

Great stuff! 🚀

The docs say that configurables can be a "flexible mechanism for customizing Predicates behavior", but in my understanding, we're deriving (factoring) new Predicates instead. No?

In other words, if the use of configurables recomputes the Predicate's bytes and address and results in a new Predicate entirely, the first sentence might give a wrong idea.

I wonder if my assumptions are all correct. If they are, these details must be better explained in the docs.

Since much of the configurables magic is done internally, it can be challenging for users to grasp it unless it is explicitly mentioned.

[Torres-ssf]

Great stuff! rocket

The docs say that configurables can be a "flexible mechanism for customizing Predicates behavior", but in my understanding, we're deriving (factoring) new Predicates instead. No?

In other words, if the use of configurables recomputes the Predicate's bytes and address and results in a new Predicate entirely, the first sentence might give a wrong idea.

I wonder if my assumptions are all correct. If they are, these details must be better explained in the docs.

Since much of the configurables magic is done internally, it can be challenging for users to grasp it unless it is explicitly mentioned.

@arboleya Yeah, I agree with you. I've added a more detailed explanation.

[arboleya]

Minor tyop.

[SilentCicero]

Great work here. This will be very useful for all our predicate infrastructure.