Explore related knowledge and questions →
← Question derivation index · Original question batch
P1000-0862 · q-20261015-pulse-20261119-r07-0037
Use the complete finite feasible carrier=[A, B, C, D] with aligned exact objective values=[36, 12, 48, 60], candidate=A. The declared feasible challenger is=B. Give (complete_objective_table, candidate, candidate_value, challenger, challenger_value, strict_feasible_improvement, candidate_global_optimality_claim, refutation_scope).
G001 — Use the complete finite feasible carrier=[A, B, C, D] with aligned exact objective values=[36, 12, 48, 60], candidate=A. The declared feasible challenger is=B. Give (complete_objective_table, candidate, candidate_value, challenger, challenger_value, strict_feasible_improvement, candidate_global_optimality_claim, refutation_scope).Minimization over a complete finite feasible set; one strictly smaller feasible point refutes the candidate's global optimality.
Before
complete feasible domain
After
[[A, 36], [B, 12], [C, 48], [D, 60]]
Conditions: none
Fix the complete table and minimization direction; sampling a few points is not a global certificate.
Rule: complete_objective_data · Uses: G001
Before
candidate=A; challenger=B
After
both feasible; f(candidate)=36, f(challenger)=12
Conditions: none
First check that the challenger is a distinct feasible point.
Rule: feasible_challenger · Uses: G001, S001
Before
challenger minus candidate := sub(12, 36)
After
challenger minus candidate = -24
Conditions: none
Subtract exactly; a strictly negative difference certifies improvement.
Rule: exact_rational_arithmetic · Uses: G001, S002
Before
difference=-24<0
After
candidate cannot minimize over all feasible points
Conditions: none
Global minimality requires a value no greater than every feasible value; one strictly better point refutes it.
Rule: strict_improvement_obstruction · Uses: G001, S003
S004 · premise_and_result_audit — Completeness, neighborhoods, attainment and uniqueness are separate obligations; local data do not license a global conclusion.S003 · premise_and_result_audit — Recompute challenger minus candidate with exact rational arithmetic, not rounded decimals.S002 · premise_and_result_audit — Completeness, neighborhoods, attainment and uniqueness are separate obligations; local data do not license a global conclusion.S001 · premise_and_result_audit — Completeness, neighborhoods, attainment and uniqueness are separate obligations; local data do not license a global conclusion.([[A, 36], [B, 12], [C, 48], [D, 60]], A, 36, B, 12, Yes, No, one_strictly_better_feasible_point_refutes_candidate_global_optimality)
The full substitutions and premise audits recover the original answer, retaining its field order and verdict meanings.
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: 6d43ae05c7a3b4e5a1c42bdff1bde3fba07d015914b6292384b0e10c92dab026candidate record SHA-256: 19b9a23a1a14338d3d4fd552572b77927dce648ef446fca43a35271754650fb0semantic review receipt SHA-256: 6c2c6d46aded7582a11ac41a8c0b3bdde2669a53bdb6e796eea2039994a02772question-first witness SHA-256: 77e43898df9efdbf8094ad81fe4ab91cf4b4bd82f481eb9b4699b73cb4da612bLean: NOT_RUN · human review: NOT_PERFORMED