Work package H: interpretive boundary

Required data. A named physical theory and a separately stated assignment to experience or conscious content.

Completed here. Theorem thm:nonentailment proves relative non-entailment when that assignment is unconstrained.

Remaining target. Supply and test any proposed additional interpretive, functional, report-based, or content-level premises.

Completion criterion. State precisely which premises select the assignment. Do not identify the remaining interpretive step with a previously proved physical bound.