Generalizations.HomogeneityProjection — cross-paper prediction target #

Cross-paper test substrate for how the homogeneity gap of plural definites projects under embedding quantifiers and operators. The pattern's empirical literature spans [Lob00], [Gaj05], [Spe13], [Mag14], [KC15], [Kri16], [BL21], [ABB+23], [KS21b], and [Has25]; the empirical generalisation predates any one formal account, justifying a theory-neutral Data/Generalizations/ anchor.

Main declarations #

EmbeddingOperator — operator labels recurring across the literature.
GapScenario — scenario classification used by the C-series experiments (TRUE / FALSE / GAP / GAP? / GAP??).
ProjectionPredict — the shared signature any account of homogeneity projection must satisfy; given an (operator, scenario) pair, predict a trivalent Truth3 value.
ProjectionDatum — typed empirical datum; lifted from the raw LinguisticExample rows by fromExample.
Examples (generator-managed) — pooled stimulus rows from each paper that contributes projection-relevant data; per-paper JSON inputs live in Linglib/Data/Examples/<Paper>.json, and this hub imports each paper's generated Data.Examples.<Paper> module (see scripts/gen_examples.py).
allData — the test pool: every LinguisticExample whose paperFeatures carry the keys this hub recognises.

Studies files (e.g. [[KrizChemla2015]], [[AugurzkyEtAl2023]]) retrieve their paper-specific slice from their own <Paper>.Examples.all (option-B per-paper accessor pattern).

Implementation notes #

This file is the entry point for cross-account testing of homogeneity projection. The shape is: a ProjectionPredict signature each account implements; a ProjectionDatum carrying observed outcomes; decidable theorems comparing each account's prediction to each datum, including divergence theorems where two accounts disagree.

The substrate is restricted to the smallest set of operator cases that closes the current ≥2-consumer graduation criterion: every / no (every major contribution tests these), exactlyTwo (introduced by [KC15] Exps. A3/B3/C3/C4), and notEvery (the no/notEvery asymmetry from [ABB+23]). Extend as new consumers land.

There is deliberately no projector-stipulated monotonicity : EmbeddingOperator → ContextPolarity function — the classical mapping (notEvery ↦ downward by De Morgan) disagrees with the empirical observation that notEvery patterns with every rather than no in QUD-manipulation acceptance ([ABB+23]), so any single mapping would be wrong for at least one consumer.

Todo #

Wire ProjectionPredict implementations from each rival account: the scalar-implicature/exhaustification accounts ([Mag14], [BL21]), the supervaluation/trivalence accounts ([Spe13], [Kri16], [KS21b]), and the presupposition account ([Gaj05] + Schwarzschild 1994 — no linglib study file yet).
Prove decidable per-datum predictions and cross-account divergence theorems once those implementations land.
Add a denotation hook EmbeddingOperator → ∀ α, Quantification.GQ α once accounts derive predictions structurally rather than dispatch on label (per [PW06] discipline).

Generalizations.HomogeneityProjection — cross-paper prediction target #

Main declarations #

Implementation notes #

Todo #

Substrate #

Test-suite schema #

LinguisticExample adapter #

Pool #

`LinguisticExample` adapter #