Bridge: Nandao-Qs × Kernel Theory / Fragment Entry

Connects the nandao-Q felicity data in Phenomena.Questions.NandaoQs to the Mandarin Fragment entry and to the Kernel-theoretic felicity predicate nandaoFelicitous from Theories.Semantics.Modality.Kernel.

Predictions verified

• fragment_data_evidential: Fragment entry's evidential bias requirement matches the empirical generalization
• fragment_data_epistemic: Fragment entry correctly does not require epistemic bias
• kernel_requires_evidence: Kernel nandaoFelicitous entails evidenceSupports

Known gaps

• No formalization of the unexpectedness requirement in the Kernel theory

theorem Phenomena.Questions.NandaoQs.Bridge.fragment_data_evidential : Fragments.Mandarin.QuestionParticles.nandao.requiresEvidentialBias = true ∧ ((List.filter (fun (x : NandaoDatum) => x.felicitous) allData).all fun (x : NandaoDatum) => x.evidentialBias) = true

The nandao Fragment entry's evidential bias requirement matches the empirical generalization: all felicitous nandao-Qs have evidential bias.

theorem Phenomena.Questions.NandaoQs.Bridge.fragment_data_epistemic : Fragments.Mandarin.QuestionParticles.nandao.requiresEpistemicBias = false ∧ (List.filter (fun (d : NandaoDatum) => d.felicitous && !d.epistemicBias) allData).length > 0

The nandao Fragment entry correctly does NOT require epistemic bias, matching the empirical finding that some felicitous nandao-Qs lack it.

theorem Phenomena.Questions.NandaoQs.Bridge.kernel_requires_evidence (k : Semantics.Modality.Kernel) (u : Semantics.Modality.Background) (φ : BProp Semantics.Attitudes.Intensional.World) (h : Semantics.Modality.nandaoFelicitous k u φ = true) : k.evidenceSupports φ = true

Kernel nandaoFelicitous entails evidenceSupports, connecting the Theory predicate to the Fragment's requiresEvidentialBias = true and the empirical generalization evidential_bias_necessary.