triz_subsystem_summary
Compose a stateless subsystem into an exact finite boundary relation with explicit port mappings, fixed costs, and hidden harms, using checked symbolic compilation for complete serial maps.
Instructions
Compose a stateless subsystem into an exact finite boundary relation with an explicit port map, fixed cost, and hidden-harm list. Complete serial maps use the checked symbolic compiler; other declared relations use exact finite projection. Empty relations remain explicit and missing behavior stays unknown.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | No | summary | |
| boxes | Yes | ||
| model | Yes | ||
| max_states | No |