Named Linear Feasibility

Generic named-linear interval problems. This layer is useful when the object to audit is already a linear feasibility problem over scalar variables, rather than a public/hidden cell recomposition problem.

updatesupport.named_linear_feasibility_problem(*, ...)
updatesupport.solve_named_linear_feasibility(problem)	Evaluate all target intervals under all named linear scenarios.
updatesupport.named_linear_variable(name, *)
updatesupport.named_linear_expression(...[, ...])
updatesupport.named_linear_constraint(name, ...)
updatesupport.named_linear_target(name, ...)
updatesupport.named_linear_scenario(name, ...)
updatesupport.named_linear_claim(*, target, ...)
updatesupport.audit_named_linear_claim(...)	Audit whether a named-linear interval report supports a bound claim.
updatesupport.attribute_named_linear_constraints(...)	Rank active constraints by how much they narrow one target interval.
updatesupport.check_named_linear_assignment(...)	Check all active constraints and variable bounds, including unused variables.
updatesupport.find_named_linear_conflict(...)	Find an irreducible infeasible subset, including variable-bound sides.
updatesupport.NamedLinearAssignmentCheck(...)	Residual of one constraint or variable-bound side in original units.
updatesupport.NamedLinearConflictReport(...)	A deletion-filter conflict, not necessarily the smallest conflict.
updatesupport.NamedLinearFeasibilityProblem(...)	Linear feasibility problem with named variables, targets, and scenarios.
updatesupport.NamedLinearFeasibilityReport(...)	Interval report for a named linear feasibility problem.
updatesupport.NamedLinearClaim(target, scenario)	Bound claim about a target interval under one named scenario.
updatesupport.NamedLinearClaimAudit(claim, ...)	Review artifact for a named-linear interval claim.
updatesupport.NamedLinearInterval(scenario, ...)	Feasible target interval under one named scenario.
updatesupport.NamedLinearEndpoint(scenario, ...)	One endpoint solve for a target under a scenario.
updatesupport.NamedLinearConstraintAttribution(...)	Effect of relaxing one active constraint group for one interval.
updatesupport.NamedLinearConstraintAttributionReport(...)	Leave-one-group-out interval attribution for a named linear report.
updatesupport.NamedLinearConstraintDiagnostic(...)	One endpoint-side diagnostic for an active linear constraint.
updatesupport.NamedLinearVariable(name[, ...])	One named scalar variable in a linear feasibility problem.
updatesupport.NamedLinearExpression(coefficients)	Linear expression constant + sum_i coefficients[i] * x_i.
updatesupport.NamedLinearConstraint(name, ...)	Linear interval constraint lower <= expression <= upper.
updatesupport.NamedLinearTarget(name, expression)	Named linear target expression optimized over a feasibility set.
updatesupport.NamedLinearScenario(name, ...)	Named active-constraint scenario for interval evaluation.