λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XXII-B@1 · XXII-B.tex · section · 9d5c569c

Acceptance mapping to XXII-A

Non-vacuity, genuine additional content, and exclusion › Acceptance mapping to XXII-A · lines 857–871

Back to manuscript

The ledger is to be assessed against XXII-A's conditions (A1)–(A6) CheungXXIIA:

  1. one model and one explicitly named extracted relation;

  2. genuinely additional content, including class restrictions;

  3. non-vacuity and justified relevant-countermodel exclusion;

  4. honest assumed or derived status of classification hypotheses;

  5. faithfulness, generation, and extraction invariance;

  6. declared limits, evidence, and comparison allowances.

No candidate in Section sec:candidates is marked as having passed this full audit.