Здравствуйте, jazzer, Вы писали:
J>Булевское свойство просто делается проще всего, поэтому я его реализовал напрямую в своем примере. Это не значит, что только булевские свойства возможны.
J>Вот я — практик до не знаю мозга каких костей, я вообще не программер по образованию
И по банкам работаю уже лет 15, так что про ордера (биржевые, правда) я знаю все 
Ну вот тем не менее мы так и не увидели примера кода, в котором
а) есть загрузка ордера из базы
б) нет функции обработки, которая бросает runtime ошибку для "статически-верифицируемых" свойств.