Necessity

Summary

A set E is forced only where E is nonempty and every feasible, morally eligible option in E wrongs at least one someone: each option leaves a claim unsatisfied without an adequate justification available to its holder. Establishing the universal condition requires determining for every eligible option that the option contains at least one established wronging. Claims remain separate: an act may satisfy some, justifiably override others, and wrong still others; it is justified only if every unsatisfied claim has adequate justification. If the entry filters leave no eligible option, there is no forced set, no Necessity selection, and no necessity-required status.

The defended Means-Bound and Possession constraint exclude options that themselves carry possession at the operative level. Under Comparison's proposed participant-scale scope rule, invariant higher-level possession need not be attributed to an actor's options, but the actor's claims and contributions remain mapped. A path that itself carries possession reaches comparison only through bounded-dismantling admission and its endpoint conditions. Other bodily, enforcement, and entry rules apply only within their stated scope; necessity neither generalizes nor bypasses them.

For a nonempty eligible set, Comparison Discipline produces one set-level Stage 4 output over the pre-classification profiles. Once the Stage 5 audit establishes a forced set, the proposed Stage 4 dataflow rule governs: a uniquely best option is reused directly; an affirmative co-best set invokes an applicable pre-committed or fair selector; and failure to establish a top option or top set invokes foreclosure minimization and then fair procedure where needed. No selector redetermines the comparison, reclassifies a claim, or supplies comparative vindication or adequate justification.

Under the proposed forced-set rule, a properly selected option is necessity-required: it is required within the Standing Framework's directed domain. The selection itself is imported — from the governing comparison rule, an applicable pre-committed selector, or fair procedure — and the framework supplies none of these. Necessity-required is the directed domain's classification stamped on that imported selection, not a selection the framework makes. The optional completeness thesis is not assumed, interaction with independent moral domains remains open, and no unrestricted all-things-considered requirement follows. Necessity-required status neither erases wronging nor supplies authorization, institutional jurisdiction, enforcement authority, nonculpability, or release from residue.

Forced sets

A forced set exists only after the feasible option map, entry filters, and adequacy inquiry are complete. Formally, Forced(E) requires both E ≠ ∅ and that every X ∈ E wrong at least one holder. This fixes the module's set classification; it does not by itself select an option or establish the proposed necessity requirement. Hard choices, costly compliance, tragic losses, or strong competing reasons do not establish it. If entry filters exhaust the feasible map, the result is no eligible option, not a vacuously forced set. Necessity cannot select from that result or reintroduce an ineligible option.

Forcedness does not require independently proving a bespoke wronging under every option before the set can be classified. Where, under every eligible option, at least one band-clearing claim is left unsatisfied with no comparative vindication established, the burden-of-justification presumption at Adequate Justification supplies the wronging under each, and the set is forced. What forcedness still requires is that no option positively vindicate to all — not merely that the choice be tragic. An option that positively vindicates every unsatisfied claim it leaves, or leaves only silenced claims, is not a wronging and defeats forcedness.

An unresolved Stage 1 ground cannot establish wronging under any option. If its establishment branch would determine whether an option contains wronging, that option's forced-set conjunct remains open unless the set is decided by other established classifications. Necessity cannot turn taxonomic or evidential uncertainty into the missing claim.

The possession constraint ordinarily removes possessive means. Bounded-dismantling admission is a proposed transition rule, not a general exception: it lets possession already operating before the compared exit paths begin reach the audit only under its stated limits, without making that condition justified or owed. The defended Means-Bound then holds that declining to rescue by converting another party does not wrong the endangered, because their claim never contained that conversion. A rival can reject pairwise exhaustion and hold that many distinct rescue claims jointly force possessive means back into the set. The canonical framework does not adopt that catastrophe amendment, and the dispute remains visible at Open Questions.

Claims created by procedure, role, or exercise

A valid promise, undertaking, office, fairness relation, or exercise can create a claim incident to use a procedure, comply with its result, or both. The relevant claim ground or authorization must establish the incident's holder, bearer, content, scope, and conditions. That claim is classified separately and enters the complete option map with every affected third-party claim and every applicable entry rule. It can alter comparison and the resulting forced set; its source does not by itself make the selected act conclusive against third parties. Any final requirement must arise from the complete deontic analysis, including the proposed necessity rule where applicable.

Register note: given a valid claim ground or authorization, inclusion of the resulting claim in the option map is derived. The validity and content of that claim must be established independently. Its inclusion does not derive the proposed rule that a properly selected forced-set act is required.

Suppose a university archive must vacate its building and discards a deposited collection, calling the loss necessary because its budget is fixed. Paid offsite storage was feasible and morally eligible, and the Stage 5 audit conclusively records no wronging under it. The eligible set is nonempty, but not every member wrongs a holder, whatever the discard's own classification: it is not forced. Budgetary cost does not establish forcedness; forced-set selection is inapplicable, and no necessity-required status arises.

Ranking within necessity

Necessity receives the complete Stage 4 output after the Stage 5 audit establishes that the eligible set is nonempty and every member wrongs at least one holder. The output was produced from pre-classification claim-satisfaction profiles. Claim-level labels determine whether the set is forced and what remains owed; they are not inputs to a second ordering. Silencing, same-order counting, and the open cell retain their own registers. Necessity supplies no separate emergency arithmetic.

Uniquely best option

Where Stage 4 positively establishes one option above every other eligible option, Necessity reuses it as the operational comparison output. Describing it as least wrong means that it is Stage 4-preferred within a set now known to contain wronging under every member. It does not mean that wronging labels were compared. The proposed necessity rule separately classifies the properly selected option as necessity-required; the action-guiding authority of that rule retains its proposed register.

Affirmative co-best set

Where Stage 4 returns a CBV-certified co-best set, an applicable pre-committed or fair rule can select a member for action. The open bridge from global co-bestness to holder-relative comparative vindication remains upstream and cannot be filled by the selector. The stated premises establish neither that co-bestness is sufficient nor that it is necessary for holder-relative vindication. The co-best output does not establish permission, a disjunctive obligation, or unique priority. Under the proposed necessity rule, the properly selected member is necessity-required within the directed domain.

Failure to establish a top option or top set

The source of the failure remains recorded, including any unestablished relation despite positive pairwise relations elsewhere in the set. The proposed non-reversal constraint preserves established strict relations where they can be jointly honored. The foreclosure-minimizing default returns an eligible option where it applies. If it does not discriminate and time requires a choice, an applicable fair procedure returns one. These procedures select without changing the comparison output or claim classifications. Where the strict relations cannot all be honored, their incompatibility remains recorded and no general cycle breaker is supplied. Under the proposed necessity rule, the properly selected act is necessity-required; the selection-to-requirement inference remains proposed and underdefended.

In every case, selection remains confined to the morally eligible option set. It supplies no comparative vindication, adequate justification, authorization, settlement, institutional jurisdiction, enforcement authority, nonculpability, or release from residue.

Where Stage 4 records no eligible option, none of these branches applies. Necessity performs no selection and generates no necessity-required status.

Four classifications

Stage 5 first classifies every claim separately as satisfied, justified override, or wronging. An act is justified only where every unsatisfied claim has an adequate justification available to its holder. One act may include justified overrides toward some holders and wrongings toward others.

Operational selection and the proposed necessity requirement remain distinct. The four labels below are conditional composite descriptions, not four claim statuses and not four points on one scale.

"Justified" in necessity-justified wronging names the proposed act-level necessity status; it does not mean that the act is adequately justified to every holder. If the proposed inference from selection to requirement is refused, operational selection and every claim-level classification survive, while whether the selected act is required remains open.

The composite label is the framework's determinate output, not an abstention. On a forced set the framework does not itself pick the act — the selection comes from the governing comparison rule, the foreclosure-minimizing default, or fair procedure — but it returns a settled verdict on whatever act results: which claims that act wrongs, which it justifiably overrides, and what residue each is owed. What the framework withholds is comparative vindication, and only in the positive-top case: whether a claim left unsatisfied by a uniquely best option or a certified co-best set is an override rather than a wronging. It does not withhold the classification of a no-top selection, where the burden-of-justification presumption resolves it, nor the account owed once the act is done. Reporting such a case as "unresolved" mistakes the one open question — vindication under a positive top — for the whole verdict.

Culpability, excuse, and prior fault

Operational selection alone establishes neither culpability nor nonculpability. A further proposal holds that an agent who performs an act independently classified as necessity-required within the Standing Framework's directed domain is not culpable for selecting that act rather than another option. This proposition remains separate from both the operational selector and the general claim-relative culpability screen.

Four objects of appraisal remain separate. Selection concerns the contrastive choice among options. Execution concerns manner, care, excess burden, and implementation. Epistemic or deliberative fault concerns attention, concealment, manipulation, description, and reasonable error. Prior creation or maintenance concerns earlier conduct that removed clean options, concealed the predicament, exploited it, or allowed recurrence. Each object requires attribution, relevant capacity, epistemic access, fair opportunity, fault, and no defeating excuse.

Culpably creating a forced set does not make a later necessity-required choice culpable by transfer, and later nonculpability does not erase the earlier wrong. Selection conformity can be evidence of nonopportunistic deliberation; it does not immunize careless execution or establish absence of prior fault.

Limits

• The claim-level classifications remain separate from the proposed local selection-to-requirement rule, the four composite act labels, and the necessity-specific choice-nonculpability rule. Refusing either proposal restores its deontic or culpability gap without removing underlying claims, overrides, wrongings, comparison outputs, operational selectors, or residue.
• Every necessity result inherits comparison's relevance-band and open-cell limits.
• Forcedness requires a nonempty eligible set and an established wronging under every member. An open decisive claim classification leaves that option's universal conjunct open rather than creating a fourth claim status.
• An unresolved ground is upstream of claim classification. It cannot establish forcedness, and a conditional wronging in one admissible branch is not an actual wronging on the current record.
• Necessity inherits the open holder-relative effect of affirmative co-best output and the unresolved interaction between incompatible strict pairwise relations and fallback selection.
• The framework supplies no burden-generating theory of desert. Culpability can specify an accurate account or satisfy an independent fault-sensitive rule; it does not alter violation-grade residue or license a fitting burden by itself.
• The Means-Bound exclusion of rescue arithmetic remains defended, and scale-invariance still depends on the disputed sufficiency of pairwise address.
• Participant-scale option scope and bounded-dismantling admission retain their proposed registers; Necessity receives their eligible set and cannot revise either classification.
• A forced set is the structure at the centre of the philosophical debate over genuine moral dilemmas, and the framework has no stated position in it. The objection that debate turns on is that a set of requirements no agent can jointly meet is incoherent, given that requirements agglomerate and that ought implies can. Whether this framework is exposed to it depends on a question the corpus does not answer: whether an unsatisfied directed claim generates an all-things-considered ought on its addressee, or only what is owed to a holder within the directed domain. The second reading appears to be what the corpus intends — necessity-required is expressly a status "within the Standing Framework's directed domain" — and on it the objection may not reach, since two unmet directed claims need not yield two incompatible unrestricted obligations. But that reply is not made anywhere, its cost is not counted, and stating the reading is not the same as defending it.

Related pages

• Exit from Wrongful Structures
• Residue
• Open Questions