{"initial":{"budget":7,"items":[{"id":"A","relevance":9,"tokens":4},{"id":"B","relevance":8,"tokens":5},{"id":"C","relevance":7,"tokens":3}]},"counterexample":{"budget":-1,"items":[]},"tests":[{"name":"greedy selection","input":{"budget":7,"items":[{"id":"A","relevance":9,"tokens":4},{"id":"B","relevance":8,"tokens":5},{"id":"C","relevance":7,"tokens":3}]},"expected":{"pass":true,"summary":"Selected A, C within 7 tokens.","checks":[{"name":"token budget","pass":true},{"name":"deterministic relevance order","pass":true}]}},{"name":"invalid budget","input":{"budget":-1,"items":[]},"expected":{"pass":false,"summary":"Input needs a non-negative integer budget and items array.","checks":[{"name":"input shape","pass":false}]}},{"name":"exact boundary","input":{"budget":4,"items":[{"id":"A","relevance":1,"tokens":4}]},"expected":{"pass":true,"summary":"Selected A within 4 tokens.","checks":[{"name":"token budget","pass":true},{"name":"deterministic relevance order","pass":true}]}},{"name":"empty candidate boundary","input":{"budget":0,"items":[]},"expected":{"pass":true,"summary":"Selected nothing within 0 tokens.","checks":[{"name":"token budget","pass":true},{"name":"deterministic relevance order","pass":true}]}}]}