D* Framework & Knowledge Theory

Let's...
draw up your dreams, (D* Framework)
make invisible things visible,
and immeasurable things measurable! (Knowledge Theory)

"Distributed", another "D" for the D* to append to the list of Ds: Dynamic, Developed, Descriptive, Designable, Distributed, Determined, Direct, Durable, Definite,...

A specific theory for Software Development is no more needed! The Knowledge Theory will do the trick, in steads! ;) Knowledge Theory will enlighten every aspect, every corner of Software Development Processes: How much you lose and how much you gain when you throw goto away to shift to Procedural Programming, how much you lose/gain when you throw _pointer away to shift to Object Oriented Programming, and how much you lose/gain when you throw _{shared memory} away to shift to Thread Oriented Programming.

The Reduced Halting Problem

The original Halting Problem: There exists a decider H(,) such that for all program p and input x, H(p,x) decides whether p halts on x.
The reduced Halting Problem: For all program p and input x, there exists a decider H(,) such that H(p,x) decides whether p halts on x.

Is the reduced problem decidable?