Item 8: The doubly-soft weight class
Deference line · difficulty open · project deference · open · node item-8
The audit's §3.2 is "The doubly-soft weight: one leak closed, the class still open".
Deliverable shape: lean-proved, or witness-checked for a negative answer. Acceptance check: The Lean gate is green; or the witness checker accepts the separating instance.
Context: projects/deference/note-dump-2026-08-11/lean-deference/AUDIT.md §3.2. A solution ships: a characterization of the class, or a witness that it is not characterizable in the intended terms.
Deliverable shape: lean-proved, or witness-checked for a negative answer.
Acceptance check: The Lean gate is green; or the witness checker accepts the separating instance.
Context: projects/deference/note-dump-2026-08-11/lean-deference/AUDIT.md
Registered results bearing on this item
None registered.
Where it hangs
- part of lean-deference-audit-closed