What a warrant's security settles against (M2 of the warrant-enforcement-semantics round).
queued · open · DECISIONS.md line 266
- What a warrant's security settles against (M2 of the warrant-enforcement-semantics round). The round ran deductive, evaluation and pegged settlement as a fork on one fixture and found the fork collapses in the account: the three are one assessment process with three live-set schedules, and the odds bankroll
3 · max_j c_j/(1 − c_j)is the same under all three while a slack world is live (WarrantEntitlement.liability_of_odds,Fixture.liability,Fixture.liability_disagree). The one unaffordable case is a per-row defeat followed by a refutation (the orphan pin, item 112), under no particular semantics. Turns on: whether a pegged reading the pinned substrate cannot express — a security assessed on nothing — is wanted, and whether a linear strength row that contraposes under settlement is acceptable or the warrant's form changes (item 113); taste about what a reason's security is, which no theorem here decides.