v1.1.0 candidate — exact two-item resource-constrained JRP

Status

Unrefereed candidate computer-assisted result offered for scrutiny.

This release supplies exact fixed-ratio optimisation, a resource-aware tail theorem, guaranteed finite termination for the stated two-item model, a real-coefficient cap-reduction lemma, and an exact algebraic relaxation-gap family with lower bound approximately 1.11188959394.

The archive passed producer-side fresh-extraction replay with solver-independent verifiers, mutation and fail-closed controls, 16 tests, and deterministic PDF/figure rebuilds. This is not independent reproduction, formal verification, human peer review, field validation, novelty certification, or evidence of operational benefit.

The exact global gap, multi-item alignment/rounding, sparsity frontier, three-item oracle, robust uncertainty, calendar extensions, and field validation remain open. See docs/EXTENSION_REQUIREMENTS.md and the producer adversarial review.

Integrity

• Commit: b7df3fb1b8b1f87d335952f22ba1389e98402b6f
• Release ZIP SHA-256: 5d3dd5fa39787c5b1461da12db83810c36eede33a3b595a953422998dfb2ed6a
• Original non-software contents: CC0-1.0, to the extent the publisher holds the relevant rights
• Software: MIT