ConStrain AI Workflow Composer Experimental

Home  |  Workflow Composer  |  Verification Execution

Important Usage Notes

Describe your verification workflow

Optional JSON describing your data files, paths, formats, and how columns or signals map to datapoints. The same object is passed to both workflow and verification-case generation.

GenAI provider settings (optional)

These values are used for this compose request, so you do not need to export CONSTRAIN_LLM_* variables in the Docker terminal.

{% if compose_error %}
{{ compose_error }}
{% endif %} {% if compose_debug_download_path %} {% endif %}

AI proposals

Workflow JSON

Validation {% if workflow_issues and workflow_issues|length > 0 %} {{ workflow_issues|length }} issue(s) {% else %} No issues detected {% endif %}

{% for issue in workflow_issues %}
{{ issue.loc }} {% if issue.line %} (line {{ issue.line }}) {% endif %} – {{ issue.message }}
{% endfor %}

Execution

{% if execution_summary %}
Workflow executed successfully. {% if execution_summary.total_states_executed is defined %} States executed: {{ execution_summary.total_states_executed }} {% endif %}
{% elif execution_error %}
{{ execution_error }} {% if execution_error_details and execution_error_details.failing_state %}
State: {{ execution_error_details.failing_state }} {% if execution_error_details.state_line %} (line {{ execution_error_details.state_line }}) {% endif %}
{% endif %} {% if execution_error_details and execution_error_details.traceback %}
{{ execution_error_details.traceback }}
{% endif %}
{% else %}
No execution requested yet.
{% endif %}

Verification cases JSON

Validation {% if cases_issues and cases_issues|length > 0 %} {{ cases_issues|length }} issue(s) {% else %} No issues detected {% endif %}

{% for issue in cases_issues %}
{{ issue.loc }} {% if issue.line %} (line {{ issue.line }}) {% endif %} – {{ issue.message }}
{% endfor %}