triz_behavior_refinement
Compare detailed and coarse models to verify exact equality or directional behavior inclusion via explicit input/output boundary and value maps; complete relations; no physical transfer inferred.
Instructions
Compose two WHOLE models and check exact equality or directional inclusion under explicit boundary and deliverable value maps. Complete relations are checked; no physical transfer is inferred.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| coarse | Yes | ||
| inputs | Yes | ||
| outputs | Yes | ||
| detailed | Yes | ||
| max_states | No |