a decision theory for logical inductors without the belief-market / choice-learner split is filed as future research; item 102 is re-scoped to the BRIA realization (R7)

Maintainer ruling, landed by the phase-2 round: PRIORITIES.md item 103 (claims "if chosen, this scores x" as securities settled only when chosen, a choice rule forcing tests of options promised to be better; success = one learner satisfying the decision interface with explicit accounting); item 102 re-scoped in place.