Identification obligation

The rule that a question asking which things and how much must be answered with a set and a number at every stage, not with a mechanism.

It was added after a run about tissue replacement produced a hundred hypotheses that named no tissue: step 2 had recorded the answer type only in prose, and no later stage knew the pillar was different. Now the obligation travels as a typed role from pillar to atom to gap question to hypothesis, a runtime prompt block restates it for the identification pillar only, and a checker tracks the two halves, enumeration and quantity, so a retry can be told which half is missing.