@uipath/maestro-builder-sdk 6.63.0 → 6.65.0

package/dist/core/refusals.d.ts

@@ -1,7 +1,14 @@
 /** What a code means for `check` and `compile`. */
 export type RefusalClass = 'lint' | 'lowering' | 'draft';
-/** Every code the Flow compile path emits → its class. Sorted by code. */
+/**
+ * Every code the Flow and Case compile paths emit → its class. Sorted by code.
+ *
+ * One table, because codes are one namespace: `check` codes such as
+ * `CONNECTOR_INPUT` and `LIBRARY_REQUIRED` are shared across families, and a
+ * code means the same condition in each.
+ */
 export declare const REFUSALS: {
+    readonly ACTION_FIELD_UNKNOWN_KEY: "lint";
     readonly AGENTIC_EMPTY_RETURNS: "lint";
     readonly AGENTIC_KEY_NOT_KEY: "lint";
     readonly AGENTIC_LOCAL_FORM_UNVERIFIED: "lint";
@@ -43,17 +50,36 @@ export declare const REFUSALS: {
     readonly APIWF_READ_NOT_OUTPUT: "lint";
     readonly APIWF_READ_UNKNOWN_FIELD: "lint";
     readonly APIWF_READ_WITHOUT_RETURNS: "lint";
+    readonly API_EVENT_NO_BUSINESS_EVENT: "lowering";
     readonly ARM_SCOPED_OUTPUT_READ: "lint";
+    readonly BINDING_CONNECTION_TWO_FOLDERS: "lowering";
     readonly BINDING_MISSING: "draft";
     readonly BINDING_PLACEHOLDER_UNRESOLVED: "draft";
     readonly BINDING_SELF_NAME: "draft";
     readonly BINDING_UNDECLARED: "draft";
     readonly BRANCH_CONST_COND: "lint";
     readonly BREAK_OUTSIDE_LOOP: "lowering";
+    readonly BUSINESS_EVENT_NAME: "lowering";
+    readonly BUSINESS_EVENT_PAYLOAD_TYPE: "lowering";
+    readonly BUSINESS_EVENT_UNKNOWN_OPTION: "lowering";
+    readonly BUSINESS_RULE_EMPTY_DATA: "lint";
+    readonly BUSINESS_RULE_OUTPUT_NAME: "lint";
+    readonly BUSINESS_RULE_OUTPUT_SOURCE: "lint";
     readonly CALL_NO_NUMBER: "lint";
     readonly CALL_NUMBER_NOT_E164: "lint";
     readonly CARRIED_DEFINITION_CONFLICT: "lowering";
     readonly CARRIED_DEFINITION_INVALID: "lowering";
+    readonly CASE_APP_DETAILS_LIMIT: "lint";
+    readonly CASE_APP_DETAILS_TYPE: "lint";
+    readonly CASE_EXPORT_NOT_BUILT: "lowering";
+    readonly CASE_IN_ARG_TRIGGER_NOT_ADDED: "lowering";
+    readonly CASE_LAYOUT_NODE_MATCH: "lowering";
+    readonly CASE_LAYOUT_UNKNOWN_FIELD: "lowering";
+    readonly CASE_NO_DEFAULT_EXPORT: "lowering";
+    readonly CASE_SOURCE_NOT_FOUND: "lowering";
+    readonly CASE_TRIGGER_OBJECT_AND_SUBSCRIPTION: "lowering";
+    readonly CASE_TRIGGER_OBJECT_INVALID: "lowering";
+    readonly CASE_VAR_DEFAULT_NOT_JSON: "lowering";
     readonly CEQL_UNPARSEABLE: "lowering";
     readonly CHECK_INCOMPLETE: "lowering";
     readonly COMPILE_FAILED: "lowering";
@@ -68,6 +94,7 @@ export declare const REFUSALS: {
     readonly CONNECTOR_NO_FLOW_DEFINITION: "lowering";
     readonly CONNECTOR_OBJECT_NOT_GENERIC: "lowering";
     readonly CONNECTOR_OBJECT_REQUIRED: "draft";
+    readonly CONNECTOR_OUTPUT_SOURCE: "lint";
     readonly CONNECTOR_RESOLVE_FAILED: "lowering";
     readonly CONTINUE_OUTSIDE_LOOP: "lowering";
     readonly CONTRIBUTION_BINDING_UNRESOLVED: "draft";
@@ -112,11 +139,17 @@ export declare const REFUSALS: {
     readonly DOC_NO_FILEREF: "lint";
     readonly DOWHILE_CONST_COND: "lint";
     readonly DOWHILE_LIMIT: "lint";
+    readonly DUP_BUSINESS_EVENT: "lowering";
     readonly DUP_CASE: "lint";
     readonly DUP_END_NAME: "lowering";
+    readonly DUP_EXIT_RULE: "lint";
+    readonly DUP_RULE_NAME: "lint";
+    readonly DUP_STAGE: "lowering";
     readonly DUP_STEP: "lowering";
+    readonly DUP_TASK: "lowering";
     readonly EMPTY_ARM: "lint";
     readonly EMPTY_LOOP: "lint";
+    readonly EMPTY_REQUIRED_FIELD: "lint";
     readonly ENTRY_POINT_DUP_ID: "lowering";
     readonly ENTRY_POINT_INPUT_COLLISION: "lint";
     readonly ENTRY_POINT_NO_SHARED_BODY: "lowering";
@@ -124,6 +157,8 @@ export declare const REFUSALS: {
     readonly ERROR_FIELD_UNDECLARED: "lint";
     readonly ERROR_READ_OUTSIDE_HANDLER: "lowering";
     readonly ERROR_READ_VIA_OUT: "lint";
+    readonly ESCALATION_NO_RECIPIENTS: "lint";
+    readonly ESCALATION_ZERO_ATRISK_PCT: "lint";
     readonly EVENT_BYOA_UNVERIFIED: "lowering";
     readonly EVENT_FILTERS_NOT_ARRAY: "lint";
     readonly EVENT_FILTER_BACKSLASH: "lowering";
@@ -141,14 +176,23 @@ export declare const REFUSALS: {
     readonly EVENT_SCOPE_NOT_TAKEN: "lint";
     readonly EVENT_UNKNOWN: "lowering";
     readonly EVENT_UNPREPARED: "lint";
+    readonly EXCEPTION_STAGE_REQUIRED: "lint";
     readonly EXPR_SYNTAX: "lowering";
     readonly EXPR_UNDECLARED_REF: "lowering";
+    readonly EXTERNAL_TASK_CONNECTION: "lowering";
+    readonly EXTERNAL_TASK_DESCRIPTOR: "lint";
+    readonly EXTERNAL_TASK_DESCRIPTOR_CONTRACT: "lowering";
+    readonly EXTERNAL_TASK_EMPTY_DATA: "lint";
+    readonly EXTERNAL_TASK_FOLDER: "lowering";
+    readonly EXTERNAL_TASK_HYBRID_UNSUPPORTED: "lowering";
+    readonly EXTERNAL_TASK_MODE: "lowering";
     readonly EXTRACT_SCHEMA_SHAPE: "lint";
     readonly FILE_NOT_FOUND: "lowering";
     readonly FIRE_AND_FORGET_READ: "lint";
     readonly FIRE_AND_FORGET_RETURNS: "lowering";
     readonly FLOW_EXPORT_NOT_BUILT: "lowering";
     readonly FLOW_NO_DEFAULT_EXPORT: "lowering";
+    readonly FLOW_PROCESS_EMPTY_DATA: "lint";
     readonly FLOW_SOURCE_NOT_FOUND: "lowering";
     readonly FORM_TRIGGER_NO_INPUTS: "lint";
     readonly FUNCTION_EMPTY_RETURNS: "lint";
@@ -319,13 +363,19 @@ export declare const REFUSALS: {
     readonly LOOP_PARALLEL_LEGACY: "lint";
     readonly LOOP_VERSION_UNSUPPORTED: "lowering";
     readonly MOCK_HAS_NO_OUTPUT: "lint";
+    readonly NAME_HYGIENE: "lint";
     readonly NODE_FAMILY_REGISTRATION: "lowering";
     readonly NODE_VERSION_UNREGISTERED: "lowering";
+    readonly NO_CASE_COMPLETION: "lint";
     readonly NO_ID: "lint";
+    readonly NO_REQUIRED_TASK: "lint";
     readonly NO_RETURN: "lint";
+    readonly NO_STAGES: "lint";
     readonly OBJECT_UNPREPARED: "lint";
     readonly ONERROR_NO_ERROR_PORT: "lowering";
     readonly OUTPUT_BACKING_COLLISION: "lowering";
+    readonly OUTPUT_FORWARD_READ: "lint";
+    readonly OUTPUT_SELF_REFERENCE: "lint";
     readonly OUTPUT_TYPE_MISMATCH: "lint";
     readonly OUTPUT_VAR_MISMATCH: "lowering";
     readonly PACKAGE_NODES_NOT_PLATFORM: "lint";
@@ -338,6 +388,10 @@ export declare const REFUSALS: {
     readonly PORT_ALREADY_ROUTED: "lowering";
     readonly PORT_EMPTY_PATH: "lowering";
     readonly PORT_NO_SOURCE_STEP: "lowering";
+    readonly PRESERVATION_COLLISION: "lowering";
+    readonly PRESERVATION_FIELD_COLLISION: "lowering";
+    readonly PRESERVATION_LEGACY_DEFAULT_MISMATCH: "lowering";
+    readonly PRESERVATION_TARGET_MISSING: "lowering";
     readonly QUEUE_BAD_DATE: "lint";
     readonly QUEUE_BAD_PRIORITY: "lint";
     readonly QUEUE_ITEM_EXPR_UNSUPPORTED: "lowering";
@@ -366,6 +420,8 @@ export declare const REFUSALS: {
     readonly REF_TO_OWN_LOOP: "lint";
     readonly REF_UNKNOWN_TARGET: "lowering";
     readonly REF_UNREACHABLE_AFTER: "lint";
+    readonly RESOURCE_BINDING_UNDECLARED: "lowering";
+    readonly RESOURCE_REF_IS_BINDING: "lowering";
     readonly RETURN_UPDATES_SAME_VAR: "lowering";
     readonly RPA_KEY_NOT_KEY: "lint";
     readonly RPA_LOCAL_HAS_FOLDER: "lint";
@@ -378,6 +434,9 @@ export declare const REFUSALS: {
     readonly RPA_READ_NOT_OUTPUT: "lint";
     readonly RPA_READ_UNKNOWN_FIELD: "lint";
     readonly RPA_READ_WITHOUT_RETURNS: "lint";
+    readonly RULE_PLACEMENT: "lint";
+    readonly RULE_TASKS_REQUIRED: "lint";
+    readonly RULE_UNKNOWN_OPTION: "lowering";
     readonly SCHEDULE_CRON_VERSION: "lowering";
     readonly SCHEDULE_NEVER_FIRES: "lint";
     readonly SCHEDULE_NOT_ISO: "lint";
@@ -391,6 +450,9 @@ export declare const REFUSALS: {
     readonly SCRIPT_FUNCTION_UNLOWERABLE: "lowering";
     readonly SCRIPT_RETURNS_UNKNOWN_TYPE: "lint";
     readonly SDK_RESOLVE_HOOK_MISSING: "lowering";
+    readonly SELECT_NEXT_STAGE_EXIT_TYPE: "lowering";
+    readonly SELECT_NEXT_STAGE_MULTIPLE: "lowering";
+    readonly SELECT_NEXT_STAGE_OBJECT_NAME: "lowering";
     readonly SEND_MESSAGE_NO_CONTENT: "lint";
     readonly SEND_MESSAGE_NO_EXCHANGE: "lint";
     readonly SHARED_INPUT_IN_SUBFLOW: "lowering";
@@ -401,6 +463,10 @@ export declare const REFUSALS: {
     readonly SHARED_INPUT_TARGET_IS_INPUT: "lowering";
     readonly SHARED_INPUT_TYPE_MISMATCH: "lowering";
     readonly SINGLE_CONVERSATION_TRIGGER: "lint";
+    readonly SLA_COUNT_RANGE: "lint";
+    readonly SLA_NONPOSITIVE: "lint";
+    readonly SLA_NO_ESCALATIONS: "lint";
+    readonly STAGE_NO_COMPLETION: "lint";
     readonly STEP_ID_COLLISION: "lowering";
     readonly STEP_NOT_ACTION: "lowering";
     readonly STEP_READ_WITHOUT_OUTPUT: "lint";
@@ -432,10 +498,22 @@ export declare const REFUSALS: {
     readonly SWITCH_HAS_NO_OUTPUT: "lint";
     readonly SWITCH_NO_CASES: "lint";
     readonly SWITCH_ON_UNUSED: "lint";
+    readonly TASK_INPUTS_UNSUPPORTED: "lowering";
+    readonly TASK_IO_TYPE: "lint";
+    readonly TASK_IO_UNRESOLVED_REFERENCE: "lowering";
+    readonly TASK_KIND_TWICE: "lowering";
+    readonly TASK_NO_ENTRY: "lint";
+    readonly TASK_NO_KIND: "lowering";
+    readonly TASK_OUTPUTS_NO_RESPONSE: "lowering";
+    readonly TASK_OUTPUTS_PLACEHOLDER_EVENT: "lowering";
+    readonly TASK_OUTPUTS_UNSUPPORTED: "lowering";
+    readonly TASK_OUTPUT_SOURCE_AND_ASSIGN: "lowering";
+    readonly TASK_REENTRY_IGNORED: "lint";
     readonly TEMPLATED_EXITS_ONLY: "lowering";
     readonly TERMINATE_HAS_NO_OUTPUT: "lint";
     readonly TERMINATE_NOT_ARM_HEAD: "lint";
     readonly TERMINATE_UNREACHABLE_AFTER: "lint";
+    readonly TIMER_VALUE_REQUIRED: "lint";
     readonly TRANSFORM_AGG_NO_ALIAS: "lint";
     readonly TRANSFORM_AGG_NO_FIELD: "lint";
     readonly TRANSFORM_BAD_VOCAB: "lint";
@@ -459,13 +537,22 @@ export declare const REFUSALS: {
     readonly TRIGGER_INPUTS_IGNORED: "lint";
     readonly TRIGGER_UNKNOWN_KIND: "lowering";
     readonly TYPESCRIPT_UNAVAILABLE: "lowering";
+    readonly UNKNOWN_BUSINESS_EVENT: "lowering";
+    readonly UNKNOWN_ESCALATION_REF: "lowering";
+    readonly UNKNOWN_EXIT_STAGE: "lowering";
     readonly UNKNOWN_LOOP_FIELD: "lint";
     readonly UNKNOWN_REF: "lint";
+    readonly UNKNOWN_RULE: "lowering";
+    readonly UNKNOWN_SLA_REF: "lowering";
+    readonly UNKNOWN_STAGE_REF: "lowering";
+    readonly UNKNOWN_TASK_REF: "lowering";
     readonly UPDATES_NOT_SUPPORTED: "lowering";
     readonly UPDATE_INPUT_READONLY: "lint";
     readonly UPDATE_UNKNOWN_VAR: "lint";
     readonly VARIABLE_NAME_COLLISION: "lowering";
     readonly VARS_BRACKET_READ: "lint";
+    readonly VERSION_DEPRECATED: "lint";
+    readonly VERSION_MISMATCH: "lint";
     readonly VOICE_AGENT_ITERATIONS: "lint";
     readonly VOICE_AGENT_NO_PROMPT: "lint";
     readonly VOICE_CALL_CONTEXT_NOT_OBJECT: "lint";

package/dist/core/refusals.js

@@ -1,13 +1,13 @@
 /**
- * Every diagnostic and refusal code the Flow compile path emits, with its class
+ * Every diagnostic and refusal code the Flow and Case compile paths emit, with its class
  * (docs/CHECK_COMPILE_CONTRACT_DESIGN.md §3.1, #1440):
  *
- *   - `lint`: the flow is probably wrong. Only `check` reports it; it never
+ *   - `lint`: the flow (or case) is probably wrong. Only `check` reports it; it never
  *     stops `compile` from writing. A serializer warning (`CONNECTION_STUB`) is
  *     `lint` too: it never blocks.
- *   - `lowering`: `compile` cannot write a correct `.flow`. It always stops
- *     `compile`; `check` reports it too, from the serializer it runs in collect
- *     mode (`SerializeOpts.collect`), so the rule lives in one place.
+ *   - `lowering`: `compile` cannot write a correct `.flow` (or caseplan). It always stops
+ *     `compile`; for a Flow, `check` reports it too, from the serializer it runs in
+ *     collect mode (`SerializeOpts.collect`), so the rule lives in one place.
  *   - `draft`: an unfinished canvas node (no connection yet, a required input
  *     left empty, a generic operation with no object). These are the codes a
  *     draft-tolerant compile collects instead of throwing (`DraftCode` in
@@ -32,14 +32,21 @@
  * duplicate name.
  *
  * FB017 (`tests/lint/rules/fb017-coded-refusals.ts`) keeps this table and the
- * source in step: every code-shaped string literal in the Flow compile path is
+ * source in step: every code-shaped string literal in those compile paths is
  * a key here, and every key is emitted somewhere. The `<PREFIX>_READ_*` codes
  * of the `codePrefix` node types are composed at run time (`check.ts`
  * `checkDeclaredOutputRead`), so they appear here but not as literals.
  */
 import { ownEntry } from './own-entry.js';
-/** Every code the Flow compile path emits → its class. Sorted by code. */
+/**
+ * Every code the Flow and Case compile paths emit → its class. Sorted by code.
+ *
+ * One table, because codes are one namespace: `check` codes such as
+ * `CONNECTOR_INPUT` and `LIBRARY_REQUIRED` are shared across families, and a
+ * code means the same condition in each.
+ */
 export const REFUSALS = {
+    ACTION_FIELD_UNKNOWN_KEY: 'lint',
     AGENTIC_EMPTY_RETURNS: 'lint',
     AGENTIC_KEY_NOT_KEY: 'lint',
     AGENTIC_LOCAL_FORM_UNVERIFIED: 'lint',
@@ -81,17 +88,36 @@ export const REFUSALS = {
     APIWF_READ_NOT_OUTPUT: 'lint',
     APIWF_READ_UNKNOWN_FIELD: 'lint',
     APIWF_READ_WITHOUT_RETURNS: 'lint',
+    API_EVENT_NO_BUSINESS_EVENT: 'lowering',
     ARM_SCOPED_OUTPUT_READ: 'lint',
+    BINDING_CONNECTION_TWO_FOLDERS: 'lowering',
     BINDING_MISSING: 'draft',
     BINDING_PLACEHOLDER_UNRESOLVED: 'draft',
     BINDING_SELF_NAME: 'draft',
     BINDING_UNDECLARED: 'draft',
     BRANCH_CONST_COND: 'lint',
     BREAK_OUTSIDE_LOOP: 'lowering',
+    BUSINESS_EVENT_NAME: 'lowering',
+    BUSINESS_EVENT_PAYLOAD_TYPE: 'lowering',
+    BUSINESS_EVENT_UNKNOWN_OPTION: 'lowering',
+    BUSINESS_RULE_EMPTY_DATA: 'lint',
+    BUSINESS_RULE_OUTPUT_NAME: 'lint',
+    BUSINESS_RULE_OUTPUT_SOURCE: 'lint',
     CALL_NO_NUMBER: 'lint',
     CALL_NUMBER_NOT_E164: 'lint',
     CARRIED_DEFINITION_CONFLICT: 'lowering',
     CARRIED_DEFINITION_INVALID: 'lowering',
+    CASE_APP_DETAILS_LIMIT: 'lint',
+    CASE_APP_DETAILS_TYPE: 'lint',
+    CASE_EXPORT_NOT_BUILT: 'lowering',
+    CASE_IN_ARG_TRIGGER_NOT_ADDED: 'lowering',
+    CASE_LAYOUT_NODE_MATCH: 'lowering',
+    CASE_LAYOUT_UNKNOWN_FIELD: 'lowering',
+    CASE_NO_DEFAULT_EXPORT: 'lowering',
+    CASE_SOURCE_NOT_FOUND: 'lowering',
+    CASE_TRIGGER_OBJECT_AND_SUBSCRIPTION: 'lowering',
+    CASE_TRIGGER_OBJECT_INVALID: 'lowering',
+    CASE_VAR_DEFAULT_NOT_JSON: 'lowering',
     CEQL_UNPARSEABLE: 'lowering',
     // Only `check --baseline` reports it: collection stopped at a scope-level
     // refusal, and `compile` (and `merge --baseline-from`) stops at that refusal.
@@ -109,6 +135,7 @@ export const REFUSALS = {
     CONNECTOR_NO_FLOW_DEFINITION: 'lowering',
     CONNECTOR_OBJECT_NOT_GENERIC: 'lowering',
     CONNECTOR_OBJECT_REQUIRED: 'draft',
+    CONNECTOR_OUTPUT_SOURCE: 'lint',
     CONNECTOR_RESOLVE_FAILED: 'lowering',
     CONTINUE_OUTSIDE_LOOP: 'lowering',
     CONTRIBUTION_BINDING_UNRESOLVED: 'draft',
@@ -153,11 +180,17 @@ export const REFUSALS = {
     DOC_NO_FILEREF: 'lint',
     DOWHILE_CONST_COND: 'lint',
     DOWHILE_LIMIT: 'lint',
+    DUP_BUSINESS_EVENT: 'lowering',
     DUP_CASE: 'lint',
     DUP_END_NAME: 'lowering',
+    DUP_EXIT_RULE: 'lint',
+    DUP_RULE_NAME: 'lint',
+    DUP_STAGE: 'lowering',
     DUP_STEP: 'lowering',
+    DUP_TASK: 'lowering',
     EMPTY_ARM: 'lint',
     EMPTY_LOOP: 'lint',
+    EMPTY_REQUIRED_FIELD: 'lint',
     ENTRY_POINT_DUP_ID: 'lowering',
     ENTRY_POINT_INPUT_COLLISION: 'lint',
     ENTRY_POINT_NO_SHARED_BODY: 'lowering',
@@ -165,6 +198,8 @@ export const REFUSALS = {
     ERROR_FIELD_UNDECLARED: 'lint',
     ERROR_READ_OUTSIDE_HANDLER: 'lowering',
     ERROR_READ_VIA_OUT: 'lint',
+    ESCALATION_NO_RECIPIENTS: 'lint',
+    ESCALATION_ZERO_ATRISK_PCT: 'lint',
     EVENT_BYOA_UNVERIFIED: 'lowering',
     EVENT_FILTERS_NOT_ARRAY: 'lint',
     EVENT_FILTER_BACKSLASH: 'lowering',
@@ -182,14 +217,23 @@ export const REFUSALS = {
     EVENT_SCOPE_NOT_TAKEN: 'lint',
     EVENT_UNKNOWN: 'lowering',
     EVENT_UNPREPARED: 'lint',
+    EXCEPTION_STAGE_REQUIRED: 'lint',
     EXPR_SYNTAX: 'lowering',
     EXPR_UNDECLARED_REF: 'lowering',
+    EXTERNAL_TASK_CONNECTION: 'lowering',
+    EXTERNAL_TASK_DESCRIPTOR: 'lint',
+    EXTERNAL_TASK_DESCRIPTOR_CONTRACT: 'lowering',
+    EXTERNAL_TASK_EMPTY_DATA: 'lint',
+    EXTERNAL_TASK_FOLDER: 'lowering',
+    EXTERNAL_TASK_HYBRID_UNSUPPORTED: 'lowering',
+    EXTERNAL_TASK_MODE: 'lowering',
     EXTRACT_SCHEMA_SHAPE: 'lint',
     FILE_NOT_FOUND: 'lowering',
     FIRE_AND_FORGET_READ: 'lint',
     FIRE_AND_FORGET_RETURNS: 'lowering',
     FLOW_EXPORT_NOT_BUILT: 'lowering',
     FLOW_NO_DEFAULT_EXPORT: 'lowering',
+    FLOW_PROCESS_EMPTY_DATA: 'lint',
     FLOW_SOURCE_NOT_FOUND: 'lowering',
     FORM_TRIGGER_NO_INPUTS: 'lint',
     FUNCTION_EMPTY_RETURNS: 'lint',
@@ -360,13 +404,19 @@ export const REFUSALS = {
     LOOP_PARALLEL_LEGACY: 'lint',
     LOOP_VERSION_UNSUPPORTED: 'lowering',
     MOCK_HAS_NO_OUTPUT: 'lint',
+    NAME_HYGIENE: 'lint',
     NODE_FAMILY_REGISTRATION: 'lowering',
     NODE_VERSION_UNREGISTERED: 'lowering',
+    NO_CASE_COMPLETION: 'lint',
     NO_ID: 'lint',
+    NO_REQUIRED_TASK: 'lint',
     NO_RETURN: 'lint',
+    NO_STAGES: 'lint',
     OBJECT_UNPREPARED: 'lint',
     ONERROR_NO_ERROR_PORT: 'lowering',
     OUTPUT_BACKING_COLLISION: 'lowering',
+    OUTPUT_FORWARD_READ: 'lint',
+    OUTPUT_SELF_REFERENCE: 'lint',
     OUTPUT_TYPE_MISMATCH: 'lint',
     OUTPUT_VAR_MISMATCH: 'lowering',
     PACKAGE_NODES_NOT_PLATFORM: 'lint',
@@ -379,6 +429,10 @@ export const REFUSALS = {
     PORT_ALREADY_ROUTED: 'lowering',
     PORT_EMPTY_PATH: 'lowering',
     PORT_NO_SOURCE_STEP: 'lowering',
+    PRESERVATION_COLLISION: 'lowering',
+    PRESERVATION_FIELD_COLLISION: 'lowering',
+    PRESERVATION_LEGACY_DEFAULT_MISMATCH: 'lowering',
+    PRESERVATION_TARGET_MISSING: 'lowering',
     QUEUE_BAD_DATE: 'lint',
     QUEUE_BAD_PRIORITY: 'lint',
     QUEUE_ITEM_EXPR_UNSUPPORTED: 'lowering',
@@ -407,6 +461,8 @@ export const REFUSALS = {
     REF_TO_OWN_LOOP: 'lint',
     REF_UNKNOWN_TARGET: 'lowering',
     REF_UNREACHABLE_AFTER: 'lint',
+    RESOURCE_BINDING_UNDECLARED: 'lowering',
+    RESOURCE_REF_IS_BINDING: 'lowering',
     RETURN_UPDATES_SAME_VAR: 'lowering',
     RPA_KEY_NOT_KEY: 'lint',
     RPA_LOCAL_HAS_FOLDER: 'lint',
@@ -419,6 +475,9 @@ export const REFUSALS = {
     RPA_READ_NOT_OUTPUT: 'lint',
     RPA_READ_UNKNOWN_FIELD: 'lint',
     RPA_READ_WITHOUT_RETURNS: 'lint',
+    RULE_PLACEMENT: 'lint',
+    RULE_TASKS_REQUIRED: 'lint',
+    RULE_UNKNOWN_OPTION: 'lowering',
     SCHEDULE_CRON_VERSION: 'lowering',
     SCHEDULE_NEVER_FIRES: 'lint',
     SCHEDULE_NOT_ISO: 'lint',
@@ -432,6 +491,9 @@ export const REFUSALS = {
     SCRIPT_FUNCTION_UNLOWERABLE: 'lowering',
     SCRIPT_RETURNS_UNKNOWN_TYPE: 'lint',
     SDK_RESOLVE_HOOK_MISSING: 'lowering',
+    SELECT_NEXT_STAGE_EXIT_TYPE: 'lowering',
+    SELECT_NEXT_STAGE_MULTIPLE: 'lowering',
+    SELECT_NEXT_STAGE_OBJECT_NAME: 'lowering',
     SEND_MESSAGE_NO_CONTENT: 'lint',
     SEND_MESSAGE_NO_EXCHANGE: 'lint',
     SHARED_INPUT_IN_SUBFLOW: 'lowering',
@@ -442,6 +504,10 @@ export const REFUSALS = {
     SHARED_INPUT_TARGET_IS_INPUT: 'lowering',
     SHARED_INPUT_TYPE_MISMATCH: 'lowering',
     SINGLE_CONVERSATION_TRIGGER: 'lint',
+    SLA_COUNT_RANGE: 'lint',
+    SLA_NONPOSITIVE: 'lint',
+    SLA_NO_ESCALATIONS: 'lint',
+    STAGE_NO_COMPLETION: 'lint',
     STEP_ID_COLLISION: 'lowering',
     STEP_NOT_ACTION: 'lowering',
     STEP_READ_WITHOUT_OUTPUT: 'lint',
@@ -473,10 +539,22 @@ export const REFUSALS = {
     SWITCH_HAS_NO_OUTPUT: 'lint',
     SWITCH_NO_CASES: 'lint',
     SWITCH_ON_UNUSED: 'lint',
+    TASK_INPUTS_UNSUPPORTED: 'lowering',
+    TASK_IO_TYPE: 'lint',
+    TASK_IO_UNRESOLVED_REFERENCE: 'lowering',
+    TASK_KIND_TWICE: 'lowering',
+    TASK_NO_ENTRY: 'lint',
+    TASK_NO_KIND: 'lowering',
+    TASK_OUTPUTS_NO_RESPONSE: 'lowering',
+    TASK_OUTPUTS_PLACEHOLDER_EVENT: 'lowering',
+    TASK_OUTPUTS_UNSUPPORTED: 'lowering',
+    TASK_OUTPUT_SOURCE_AND_ASSIGN: 'lowering',
+    TASK_REENTRY_IGNORED: 'lint',
     TEMPLATED_EXITS_ONLY: 'lowering',
     TERMINATE_HAS_NO_OUTPUT: 'lint',
     TERMINATE_NOT_ARM_HEAD: 'lint',
     TERMINATE_UNREACHABLE_AFTER: 'lint',
+    TIMER_VALUE_REQUIRED: 'lint',
     TRANSFORM_AGG_NO_ALIAS: 'lint',
     TRANSFORM_AGG_NO_FIELD: 'lint',
     TRANSFORM_BAD_VOCAB: 'lint',
@@ -500,13 +578,22 @@ export const REFUSALS = {
     TRIGGER_INPUTS_IGNORED: 'lint',
     TRIGGER_UNKNOWN_KIND: 'lowering',
     TYPESCRIPT_UNAVAILABLE: 'lowering',
+    UNKNOWN_BUSINESS_EVENT: 'lowering',
+    UNKNOWN_ESCALATION_REF: 'lowering',
+    UNKNOWN_EXIT_STAGE: 'lowering',
     UNKNOWN_LOOP_FIELD: 'lint',
     UNKNOWN_REF: 'lint',
+    UNKNOWN_RULE: 'lowering',
+    UNKNOWN_SLA_REF: 'lowering',
+    UNKNOWN_STAGE_REF: 'lowering',
+    UNKNOWN_TASK_REF: 'lowering',
     UPDATES_NOT_SUPPORTED: 'lowering',
     UPDATE_INPUT_READONLY: 'lint',
     UPDATE_UNKNOWN_VAR: 'lint',
     VARIABLE_NAME_COLLISION: 'lowering',
     VARS_BRACKET_READ: 'lint',
+    VERSION_DEPRECATED: 'lint',
+    VERSION_MISMATCH: 'lint',
     VOICE_AGENT_ITERATIONS: 'lint',
     VOICE_AGENT_NO_PROMPT: 'lint',
     VOICE_CALL_CONTEXT_NOT_OBJECT: 'lint',

package/dist/decompile-cli.js

@@ -159,7 +159,7 @@ if (!existsSync(BASELINE)) {
   // ── Step 1: capture the baseline = compile of the PRISTINE decompiled code,
   //    BEFORE any edit. Run this once right after decompiling, then edit. ──
   mkdirSync(dirname(BASELINE), { recursive: true });
-  run('compile', [TS, '-o', BASELINE, '--no-check']);
+  run('compile', [TS, '-o', BASELINE]);
   console.log('\\n>>> Baseline captured. Now EDIT ' + ${JSON.stringify(basename(tsPath))} + ', then re-run this script to compile + merge.');
 } else {
   // ── Step 2: compile your edits, then merge them back into the original. ──
@@ -182,7 +182,7 @@ if (!existsSync(BASELINE)) {
     process.exit(2);
   }
   mkdirSync(dirname(EDITED), { recursive: true });
-  run('compile', [TS, '-o', EDITED, '--no-check']);
+  run('compile', [TS, '-o', EDITED]);
 
   // ── DIFF GATE (seam) ──────────────────────────────────────────────────────
   // A future step can diff ORIGINAL vs the about-to-be-written MERGED here and

package/dist/decompile.js

@@ -298,6 +298,11 @@ function optsArgWith(node, ctx, extra) {
         const entries = updates.map((u) => `${key(u.variableId)}: ${emitVal(u.expression, ctx.imp, ctx.inputNames)}`);
         parts.push(`updates: { ${entries.join(', ')} }`);
     }
+    // A draft the canvas saved: `compile` writes it back only when the step says
+    // so AND the source carries its definition (carriedPairs), so a draft an agent
+    // adds of the same operation is still refused (StepOptions.draft).
+    if (isCanvasDraft(node))
+        parts.push('draft: true');
     return parts.length ? `, { ${parts.join(', ')} }` : '';
 }
 // ─── Node type constants (mirror of serialize.ts NODE_TYPE) ───────────────────
@@ -957,8 +962,9 @@ function emitStepSpec(node, imp, inputNames, o, graph) {
 /**
  * A connector-bound node the file carries UNBOUND: Studio Web saves a draft whose
  * connection was never picked as `connectionId: null`. The source cannot invent
- * labels for it, and `compile` refuses a node without both (BINDING_MISSING, the
- * rule `flow validate` applies too: flow-builder-sdk#890). So the source says so
+ * labels for it, and `check` refuses a node without both (BINDING_MISSING, the
+ * rule `flow validate` applies too: flow-builder-sdk#890), and so does `compile`
+ * unless it is a carried canvas draft (`{ draft: true }`). So the source says so
  * at the node and the run warns once, instead of handing back a file whose first
  * compile fails with no context. Returns the inline marker, or '' when bound.
  */
@@ -968,10 +974,12 @@ function unboundMarker(node, labels, key, action) {
         return '';
     const names = missing.join(' and ');
     warnOnce(`node ${tsLiteral(node.id)} (${node.type}) has no ${missing.join(' or ')} in the .flow (an unbound draft). `
-        + `The source leaves ${missing.length > 1 ? 'them' : 'it'} out, and compile refuses the node (BINDING_MISSING) `
-        + `until it names both labels: run \`${prepareCommand(key, action ?? '<action>')}\`, then pass `
+        + `The source leaves ${missing.length > 1 ? 'them' : 'it'} out${isCanvasDraft(node)
+            ? ' and marks the step `{ draft: true }`: compile writes it as a draft, and check refuses it'
+            : ', and compile and check refuse it'} (BINDING_MISSING) until it names both labels: `
+        + `run \`${prepareCommand(key, action ?? '<action>')}\`, then pass `
         + `\`connection\` and \`folder\`.`);
-    return ` /* TODO: bind ${commentText(names)}; compile refuses this node until it has both labels (BINDING_MISSING) */`;
+    return ` /* TODO: bind ${commentText(names)}; check refuses this node until it has both labels (BINDING_MISSING) */`;
 }
 function emitEventSubscription(node, imp, inputNames) {
     const prefix = node.type.startsWith('uipath.connector.event.') ? 'uipath.connector.event.'
@@ -1071,11 +1079,27 @@ function unsupportedSpec(node, imp, o) {
     return `${imp.use('mock')}() /* TODO: unsupported node type ${commentText(node.type)} */`;
 }
 /**
- * Every pinned `<type>@<version>` in the file (root and subflows) that this SDK
- * cannot resolve, for a type it ships at some version, and that the file's
- * `definitions[]` holds — mapped to the const name decompile hoists the
- * definition under. For instance a quick-form node at 1.6 maps
- * `uipath.human-in-the-loop.quick-form@1.6` → `quickFormV1_6Definition`.
+ * Whether `node` is a draft the canvas saved whose definition the file holds
+ * (its node type's `isDraft`). Decompile carries that definition and marks the
+ * step `{ draft: true }`. For instance a Slack send with `detail.connectionId: null`.
+ */
+function isCanvasDraft(node) {
+    const key = `${node.type}@${node.typeVersion}`;
+    return !!node.typeVersion && runDefs.has(key) && registeredImpl(node)?.isDraft?.(node, runDefs.get(key)) === true;
+}
+/**
+ * Every `<type>@<version>` in the file (root and subflows) whose definition the
+ * source must carry, and that the file's `definitions[]` holds — mapped to the
+ * const name decompile hoists the definition under. Two kinds of node need it:
+ *
+ * - a pin this SDK cannot resolve, for a type it ships at some version. For
+ *   instance a quick-form node at 1.6 maps
+ *   `uipath.human-in-the-loop.quick-form@1.6` → `quickFormV1_6Definition`.
+ * - a DRAFT the canvas saved (its node type's `isDraft`): `compile`
+ *   writes a draft node only with the definition the source carries for it
+ *   (docs/CHECK_COMPILE_CONTRACT_DESIGN.md D2), so an untouched canvas draft
+ *   compiles back. The step is also marked `{ draft: true }`, so a draft an
+ *   agent writes, even of the same operation, is refused.
  */
 function carriedPairs(flow) {
     const out = new Map();
@@ -1086,7 +1110,8 @@ function carriedPairs(flow) {
         if (!n.typeVersion || out.has(key) || !runDefs.has(key))
             continue;
         const shipped = shippedVersions(n.type);
-        if (shipped.length === 0 || shipped.includes(n.typeVersion))
+        const unresolvable = shipped.length > 0 && !shipped.includes(n.typeVersion);
+        if (!unresolvable && !isCanvasDraft(n))
             continue;
         const base = `${camel(String(n.type).split('.').pop() ?? 'node')}V${String(n.typeVersion).replace(/[^A-Za-z0-9]+/g, '_')}Definition`;
         let name = base;

package/dist/flow-node-type.d.ts

@@ -484,6 +484,15 @@ export interface FlowRawNodeAdvice {
 }
 /** One Flow node type at one version. */
 export interface FlowNodeType<Spec> extends NodeType<Spec, FlowNodeContribution, FlowContexts> {
+    /**
+     * Whether a serialized node of this type is a DRAFT the canvas saved: one an
+     * ordinary compile refuses only for a draft code (a connector with no
+     * connection, an empty required input). Decompile then copies the node's
+     * definition from the file into `.definitions([...])`, and `compile` writes
+     * the draft back with it (`SerializeOpts.carriedDrafts`). `definition` is the
+     * file's own `definitions[]` entry for the node, if any. Absent: never a draft.
+     */
+    isDraft?(node: unknown, definition: unknown): boolean;
     /**
      * The node-level `model` every node of this type carries, whichever path emits
      * it — this type's `serialize`, or a `rawNode` of its definition. `'omit'`: none

package/dist/flow-sdk.d.ts

@@ -444,6 +444,27 @@ export interface NodeOptions {
      */
     label?: string;
 }
+/**
+ * The options of `.step()`: the {@link NodeOptions}, plus `draft` for a node the
+ * canvas saved unfinished.
+ */
+export interface StepOptions extends NodeOptions {
+    /**
+     * This node is a DRAFT the canvas saved: a connector with no connection, or
+     * with an empty required input. Decompile sets it on such a node, and also
+     * carries the node's definition in `.definitions([...])`. `compile` then
+     * writes the node with that carried definition and the inputs it has, and
+     * prints a warning (`BINDING_MISSING`, `CONNECTOR_INPUT_MISSING`) instead of
+     * refusing. Without the flag, or without a carried definition for the node's
+     * exact type and version, the draft is refused as usual. `check` reports the
+     * draft either way.
+     *
+     * Do not set it on a node you write: finish the node instead. For instance
+     * decompile prints `.step('notify', connector(SLACK, SEND, { ... }), { draft: true })`
+     * for a Slack send saved with no connection.
+     */
+    draft?: boolean;
+}
 /**
  * The options of `.parallel()`: the join's {@link NodeOptions}, plus the fork
  * node when the flow has one.
@@ -558,7 +579,7 @@ export type Step = {
     kind: 'action';
     name: string;
     spec: FlowActionSpec;
-    options?: NodeOptions;
+    options?: StepOptions;
 } | {
     kind: 'branch';
     name: string;
@@ -920,10 +941,10 @@ declare class StepList {
      * so it must be unique within the flow.
      * @param spec - What the node does, from an action factory.
      * @param options - Node options; `version` selects the exact definition
-     * version (see {@link NodeOptions}).
+     * version (see {@link StepOptions}).
      * @returns This builder, so calls chain.
      */
-    step(name: string, spec: FlowActionSpec | FlowAction, options?: NodeOptions): this;
+    step(name: string, spec: FlowActionSpec | FlowAction, options?: StepOptions): this;
     /**
      * Add an action node and route EVERY exit it declares, one arm per exit.
      *

package/dist/flow-sdk.js

@@ -388,7 +388,7 @@ class StepList {
      * so it must be unique within the flow.
      * @param spec - What the node does, from an action factory.
      * @param options - Node options; `version` selects the exact definition
-     * version (see {@link NodeOptions}).
+     * version (see {@link StepOptions}).
      * @returns This builder, so calls chain.
      */
     step(name, spec, options) {