Proof obligation · P-OPT
Compiler outputs satisfy previously certified constraints (every reported configuration re-checked by qmint.proofs.chec…
any · none
- Status
- UNSUPPORTEDNo theorem or evidence supports this obligation yet.
- Game
- none stated
- Anchor
- —
- Source file
- proofs/OBLIGATIONS.yaml
Source and theorem
Compiler outputs satisfy previously certified constraints (every reported configuration re-checked by qmint.proofs.checker); global optimality only with an exact certificate, else 'best_found'.
Record
Every field of the source record, in file order.
- Protocolprotocol
any
- Gamegame
any
- Sourcesource
none
- Assumptionsassumptions
- Compiler consumes only ProofEvaluator results and IndependentChecker verdicts
- Finite n or asymptoticfinite_n_or_asymptotic
n/a
- Quantifier over adversariesquantifier_over_adversaries
n/a
- Mathematical boundmathematical_bound
none
- Numerical methodnumerical_method
post-validation by IndependentChecker
- Verification scriptverification_script
pending lane I
- Independent crosscheckindependent_crosscheck
qmint/proofs/checker.py is the post-validator
- Caveatscaveats
- No optimality claim exists yet.
- Statusstatus
UNSUPPORTED