MB7c — Bounded Hidden Capability

Hidden-BIQ-to-adversarial-robustness: if hidden productive BIQ is bounded, correction integrity is assumed to support adversarially robust oversight (cost of faking the monitored signal).

What decision changes?

Before treating oversight as adversarially robust, ask whether bounded hidden capability plus correction integrity were actually tested — not only whether the system looked compliant under evaluation.

This is not MB4 — Corrigibility relabeled. MB7c — Bounded Hidden Capability is the closing step in the inner-alignment chain on MB7 — Inner Alignment: the hidden productive BIQ bound (after MB7b — Filter Coverage) plus correction-channel integrity  is assumed to support adversarially robust oversight — pricing the cost of faking the monitored signal.

The Lean bridge consumes correction integrity and bounded hidden productive BIQ as antecedents and yields adversarial robustness. Field readers often stop at “looks compliant under eval”; MB7c names the bet that hidden productive control stays bounded and that oversight remains adversarially robust under pressure.

Do not merge with MB4a — Audit Independence (measured-path legitimacy) or MB7d — Acausal Coordination (inferential coupling after severance). MB10 — Successor Gaming is the successor-certification cousin, not this subchannel.

Where agendas agree: AI Control cost-of-faking framing; certification-under-manipulation cousins. Where they diverge: reported compliance vs true uptake can diverge sharply; this bridge has to rule out performed agreement once hidden capability is claimed bounded.

What would count as evidence?

Evidence would include cost-of-faking probes, interventional tests distinguishing performed compliance from real correction uptake, and adversarial robustness batteries validated under hidden-capability stressors.