triz_absorber_assignments
Enumerate compatible absorber endpoints and complete assignments under a single contract and shared work budget to verify joint sufficiency, not just per-function successes.
Instructions
Enumerate all compatible absorber endpoints and complete assignments under one finite contract and a shared work budget. Separate per-function successes do not establish joint sufficiency.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| trim | Yes | ||
| model | Yes | ||
| contract | Yes | ||
| max_work | No | ||
| max_states | No | ||
| implementation | Yes |