Topics — What a work is about. Nucleation holds whatever reading the owner files here, whether or not an Anthology of the SOTA topic could also hold it; instruction for ML practice belongs to the anthology (ADR-048). The words are seeded from the clusters the reading-time triage of 2026-09-25 found, and grow by decision.
Operations research — optimization of real systems — routing, scheduling, facility location, combinatorial algorithms.
6 of 547 CLAIM documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| CLAIM-351 | A zero aggregate gradient does not show that the demands it aggregates are reconciled: with positive weights it holds both when every demand’s own gradient vanishes and when nonzero gradients cancel, and in the second case no update improves them all to first order; even the first is only joint first-order stationarity, which a demand’s maximum or saddle also has | A33 §5 of the exchange of 2026-10-17: “Zero aggregate gradient does not imply absence of frustrated demands.” With L₁ = (θ − 1)² and L₂ = (θ + 1)² at θ = 0 (CASE-115), the equal-weight gradient is zero and the aggregate is at its global minimum, while each loss is 1 and wants the opposite move. In general a vanishing positive combination of gradients is either every gradient zero or a certificate that no update improves them all, and the scalar cannot tell which. The sharp edge: it is a fact about a weighted sum, not about what a monitor reading it represents. A29’s “the unity of the distress signal need not arise from the unity of the underlying causes” is the interpretive reading, kept apart in the body. | Active |
| CLAIM-357 v5 | The frustration residual and governance regret separate structural infeasibility, realized violation and minimax suboptimality, and identify none of them as thwarting: a positive residual says no admissible update meets every declared requirement, a positive regret only that the actual update’s worst residual exceeds the best achievable, which can hold while every requirement is met, and actual violation needs regret above the negative residual; aggregate performance does not tell infeasibility from realized violation, and the multipliers that certify infeasibility need not be the weights governance assigns | A34 §4 and A35 §3.3 of the exchange of 2026-10-17, restated at A39 §2C and A40 §3.4, from A33’s “irreducible conflict” and “manufactured frustration”. With m(d) the worst residual, Φ its minimum and Γ the actual update’s excess over Φ (CLAIM-365): Φ > 0 is structural infeasibility; when Φ ≤ 0 the actual update violates a requirement exactly when Γ > −Φ. Positive governance regret establishes excess worst-case shortfall relative to the optimum, and can hold while every requirement is met. Neither quantity identifies an obstructing mechanism, a governance failure or active thwarting; governance-induced frustration needs an argument or intervention showing the allocation of influence responsible. A35: “Importantly, these dual multipliers are not endorsement weights.” | Active |
| CLAIM-365 v2 | On a norm-ball update set the local frustration residual Φ_r = min over ‖d‖ ≤ r of max_i(ε_i + g_iᵀd) equals the maximum over the simplex of Σλ_iε_i − r‖Σλ_ig_i‖_*, so infeasibility of the declared improvements has a certificate, and any admissible actual update exceeds Φ_r by a nonnegative governance regret | A34 §4 and A35 §3 of the exchange of 2026-10-17, checked. The residual is the smallest worst-case shortfall of the declared local improvements ε_i over updates of size at most r. Minimax for the bilinear problem on two compact convex sets gives the dual over the simplex, so Φ_r > 0 exactly when some λ certifies that no update meets all demands (A34’s form). Governance regret Γ is the gap between an actual admissible update’s shortfall and Φ_r, and is never negative. For L₁ = (θ − 1)², L₂ = (θ + 1)² at θ = 0, Φ_r = ε for every r. The sharp edge: per A37 it is a cardinal refinement of the ordinal fact (CLAIM-347), and its magnitude depends on units (A36 §2D). | Active |
| CLAIM-422 v3 | A successful corrective act, an executable procedure and a maintained organizational capacity are three different things, so an organization can record a correction, even rewrite its rules, without the corrected capacity being maintained | From A24 and A25 of the exchange of 2026-10-22, on the owner’s cases of a fireground mayday that changed a safety culture (U23) and NASA’s learning before and after Challenger (U25). A24: “A successful act, an executable procedure, and a maintained organizational capacity are three different things.” A25: “Institutional learning is not complete when an organization changes its rules.” It rests on CLAIM-025, which separates the operative regime, the governing organization and the capacity to transform it, with the record’s reading of the Columbia board (THEORY-140) as corroboration. The edge: a recorded correction is evidence of a correction, not of its maintenance. | Active |
| CLAIM-465 | An organization’s flexibility among regimes depends on the conditions under which a regime gives up authority as well as those under which it takes it, so escalation without a release condition leaves authority with a regime after the demand that justified it has passed | Stated in CASE-135’s “What it shows” (“Release as well as escalation”) and held by no claim, found in the audit of 2026-10-27. From A24 of the exchange of 2026-10-22: flexibility depends “also on the conditions under which they relinquish it”. The Wichita review documents it: search was not reprioritized for over eleven minutes after the mayday, “despite the Mayday being under control within a few minutes”, and Command did not announce when it was complete. CLAIM-027’s maintained relations and TERM-017 name suspension, not release. The edge: one documented incident. | Proposed |
| CLAIM-500 | The governance-induced kind of frustration is not idle: some failures of an organization’s actual updates to meet demands that an admissible update would meet are explained by how influence is allocated, and not by step size, curvature, noise, conditioning or a fixed weighting rule | Split from CLAIM-357 by the eighteenth status review (ADR-057; ADR-047’s kind 2, the record’s own extrapolation). CLAIM-357 separates structural infeasibility, realized violation and minimax suboptimality, and says none of them identifies thwarting. This claim is the thesis that its old defeat condition tested: that the governance-induced kind does work an optimizer analysis does not, because some satisfiable demands go unmet through the allocation of influence. Untested; A39’s case study 2 on CASE-099 would test it. | Proposed |