@uipath/maestro-builder-sdk 6.56.0 → 6.58.0

package/dist/core/refusals.js

@@ -0,0 +1,504 @@
+/**
+ * Every diagnostic and refusal code the Flow compile path emits, with its class
+ * (docs/CHECK_COMPILE_CONTRACT_DESIGN.md §3.1, #1440):
+ *
+ *   - `lint`: the flow 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` may report it early.
+ *   - `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
+ *     `serialize.ts`).
+ *
+ * A class describes the code's ERROR-level emission. A code `check` sometimes
+ * reports as a warning (`RAW_NODE_UNKNOWN_INPUT` at a version the SDK does not
+ * bundle) never blocks there; a warning never does. A code names ONE
+ * condition: when `check` and the serializer report different conditions,
+ * they get different codes, so one code never both stops compile and lets it
+ * write.
+ *
+ * The classes record what each code does as it is emitted today. A code that
+ * names a condition compile refuses through a still-uncoded throw is `lint`
+ * until the slice that codes that throw moves it to `lowering`. Any other move
+ * between classes is a behaviour change with its own review (the design doc's
+ * §7).
+ *
+ * Naming, for a new code: the family or concern first (`CONNECTOR_`, `BINDING_`,
+ * `EVENT_`, `HITL_`, a node type's `codePrefix` such as `QUEUE_` or `RPA_`),
+ * then what is wrong (`_NO_FOLDER`, `_NOT_GUID`, `_UNKNOWN_FIELD`). `DUP_` is a
+ * 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
+ * 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. */
+export const REFUSALS = {
+    AGENTIC_EMPTY_RETURNS: 'lint',
+    AGENTIC_KEY_NOT_KEY: 'lint',
+    AGENTIC_LOCAL_FORM_UNVERIFIED: 'lint',
+    AGENTIC_LOCAL_HAS_FOLDER: 'lint',
+    AGENTIC_LOCAL_NO_PROJECT_ID: 'lint',
+    AGENTIC_LOCAL_PROJECT_ID_NOT_GUID: 'lint',
+    AGENTIC_NAME_IS_PATH: 'lint',
+    AGENTIC_NO_FOLDER: 'lint',
+    AGENTIC_NO_KEY: 'lint',
+    AGENTIC_NO_NAME: 'lint',
+    AGENTIC_READ_NOT_OUTPUT: 'lint',
+    AGENTIC_READ_UNKNOWN_FIELD: 'lint',
+    AGENTIC_READ_WITHOUT_RETURNS: 'lint',
+    AGENTIC_RESERVED_INPUT: 'lint',
+    AGENT_CONTEXT_NO_FOLDER_PATH: 'lint',
+    AGENT_CONTEXT_NO_ID: 'lowering',
+    AGENT_CONTEXT_QUERY_NOT_EXPRESSION: 'lint',
+    AGENT_EMPTY_INPUT_FLOOR: 'lint',
+    AGENT_EMPTY_RETURNS: 'lint',
+    AGENT_KEY_NOT_GUID: 'lint',
+    AGENT_LOCAL_NO_PROJECT_ID: 'lint',
+    AGENT_LOCAL_PROJECT_ID_NOT_GUID: 'lint',
+    AGENT_MEMORY_NOT_AUTHORABLE: 'lint',
+    AGENT_MEMORY_VERSION_NO_HANDLE: 'lowering',
+    AGENT_NAME_IS_PATH: 'lint',
+    AGENT_NO_FOLDER: 'lint',
+    AGENT_NO_KEY: 'lint',
+    AGENT_NO_NAME: 'lint',
+    AGENT_READ_NOT_OUTPUT: 'lint',
+    AGENT_READ_UNKNOWN_FIELD: 'lint',
+    AGENT_READ_WITHOUT_RETURNS: 'lint',
+    AGENT_READ_WRONG_CASE: 'lint',
+    APIWF_EMPTY_RETURNS: 'lint',
+    APIWF_KEY_NOT_KEY: 'lint',
+    APIWF_NAME_IS_PATH: 'lint',
+    APIWF_NO_FOLDER: 'lint',
+    APIWF_NO_KEY: 'lint',
+    APIWF_NO_NAME: 'lint',
+    APIWF_READ_NOT_OUTPUT: 'lint',
+    APIWF_READ_UNKNOWN_FIELD: 'lint',
+    APIWF_READ_WITHOUT_RETURNS: 'lint',
+    ARM_SCOPED_OUTPUT_READ: 'lint',
+    BINDING_MISSING: 'draft',
+    BINDING_PLACEHOLDER_UNRESOLVED: 'draft',
+    BINDING_SELF_NAME: 'draft',
+    BINDING_UNDECLARED: 'draft',
+    BRANCH_CONST_COND: 'lint',
+    BREAK_OUTSIDE_LOOP: 'lowering',
+    CALL_NO_NUMBER: 'lint',
+    CALL_NUMBER_NOT_E164: 'lint',
+    CARRIED_DEFINITION_CONFLICT: 'lowering',
+    CARRIED_DEFINITION_INVALID: 'lowering',
+    CEQL_UNPARSEABLE: 'lowering',
+    CONNECTION_CONNECTOR_CONFLICT: 'draft',
+    CONNECTION_STUB: 'lint',
+    CONNECTOR_IMPORT_NOT_A_FILE: 'lowering',
+    CONNECTOR_INPUT: 'lowering',
+    CONNECTOR_INPUT_MISSING: 'draft',
+    CONNECTOR_LIBRARY_ENTRY_UNREADABLE: 'lowering',
+    CONNECTOR_NODE_TYPE_INVALID: 'lowering',
+    CONNECTOR_NOT_IN_LIBRARY: 'lowering',
+    CONNECTOR_NO_FLOW_DEFINITION: 'lowering',
+    CONNECTOR_OBJECT_NOT_GENERIC: 'lowering',
+    CONNECTOR_OBJECT_REQUIRED: 'draft',
+    CONNECTOR_RESOLVE_FAILED: 'lowering',
+    CONTINUE_OUTSIDE_LOOP: 'lowering',
+    CONTRIBUTION_BINDING_UNRESOLVED: 'draft',
+    CONTRIBUTION_INVALID: 'lowering',
+    CONVERSATION_NO_ID: 'lint',
+    CONVERSATION_RANGE: 'lint',
+    CONV_AGENT_CUSTOM_NO_ID: 'lint',
+    CONV_AGENT_NO_MODEL: 'lint',
+    CONV_AGENT_NO_PROMPT: 'lint',
+    CONV_AGENT_NO_TURN: 'lint',
+    CONV_AGENT_SETTINGS_MODE: 'lint',
+    CUSTOM_FIELDS_UNPREPARED: 'lint',
+    DATAFABRIC_DELETE_HAS_NO_OUTPUT: 'lint',
+    DATAFABRIC_EMPTY_SET: 'lint',
+    DATAFABRIC_EMPTY_VALUES: 'lint',
+    DATAFABRIC_FILTER_BLANK_VALUE: 'lint',
+    DATAFABRIC_FOLDER_NO_RESOURCE_KEY: 'lint',
+    DATAFABRIC_FROMREAD_MULTIPLE: 'lint',
+    DATAFABRIC_FROMREAD_UNKNOWN: 'lint',
+    DATAFABRIC_IN_REQUIRES_MULTIPLE: 'lint',
+    DATAFABRIC_LIMIT_RANGE: 'lint',
+    DATAFABRIC_NO_ENTITY: 'lint',
+    DATAFABRIC_QUERY_OPTS_WITHOUT_MULTIPLE: 'lint',
+    DATAFABRIC_RECORD_REF: 'lowering',
+    DATAFABRIC_RESOURCE_KEY_NO_FOLDER: 'lint',
+    DATAFABRIC_RESULT_MODE_VERSION: 'lowering',
+    DATAFABRIC_SYSTEM_COLUMN: 'lint',
+    DECLARATION_SHAPE: 'lowering',
+    DECLARATION_TYPE_UNKNOWN: 'lowering',
+    DECOMPILE_NOT_A_NUMBER: 'lowering',
+    DECOMPILE_VARIABLES_SHAPE: 'lowering',
+    DELAY_CALENDAR: 'lint',
+    DELAY_DURATION_XOR_UNTIL: 'lowering',
+    DELAY_HAS_NO_OUTPUT: 'lint',
+    DELAY_NOT_ISO: 'lint',
+    DELAY_NO_DURATION: 'lint',
+    DELAY_UNTIL_NOT_ISO: 'lint',
+    DELAY_ZERO: 'lint',
+    DOCVAL_NO_EXTRACTION: 'lint',
+    DOCVAL_RENDER_UNKNOWN: 'lint',
+    DOCVAL_TAXONOMY_REQUIRED: 'lint',
+    DOC_NO_FILEREF: 'lint',
+    DOWHILE_CONST_COND: 'lint',
+    DOWHILE_LIMIT: 'lint',
+    DUP_CASE: 'lint',
+    DUP_END_NAME: 'lowering',
+    DUP_STEP: 'lowering',
+    EMPTY_ARM: 'lint',
+    EMPTY_LOOP: 'lint',
+    ENTRY_POINT_DUP_ID: 'lowering',
+    ENTRY_POINT_INPUT_COLLISION: 'lint',
+    ENTRY_POINT_NO_SHARED_BODY: 'lowering',
+    ERROR_ENVELOPE_VIA_OUTPUT: 'lint',
+    ERROR_FIELD_UNDECLARED: 'lint',
+    ERROR_READ_OUTSIDE_HANDLER: 'lowering',
+    ERROR_READ_VIA_OUT: 'lint',
+    EVENT_BYOA_UNVERIFIED: 'lowering',
+    EVENT_FILTERS_NOT_ARRAY: 'lint',
+    EVENT_FILTER_BACKSLASH: 'lowering',
+    EVENT_FILTER_BAD_VALUE: 'lowering',
+    EVENT_FILTER_MANY_OPERATORS: 'lowering',
+    EVENT_FILTER_NO_FIELD: 'lowering',
+    EVENT_FILTER_NO_VALUE: 'lowering',
+    EVENT_FILTER_UNKNOWN_FIELD: 'lint',
+    EVENT_GENERIC_NO_OBJECT: 'lowering',
+    EVENT_NO_CONNECTOR: 'lint',
+    EVENT_NO_EVENT: 'lint',
+    EVENT_NO_SCOPE: 'lint',
+    EVENT_NO_SUBSCRIPTION: 'lint',
+    EVENT_OBJECT_NOT_GENERIC: 'lint',
+    EVENT_SCOPE_NOT_TAKEN: 'lint',
+    EVENT_UNKNOWN: 'lowering',
+    EVENT_UNPREPARED: 'lint',
+    EXPR_SYNTAX: 'lowering',
+    EXPR_UNDECLARED_REF: '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_SOURCE_NOT_FOUND: 'lowering',
+    FORM_TRIGGER_NO_INPUTS: 'lint',
+    FUNCTION_EMPTY_RETURNS: 'lint',
+    FUNCTION_KEY_NOT_KEY: 'lint',
+    FUNCTION_NAME_IS_PATH: 'lint',
+    FUNCTION_NO_FOLDER: 'lint',
+    FUNCTION_NO_KEY: 'lint',
+    FUNCTION_NO_NAME: 'lint',
+    FUNCTION_READ_NOT_OUTPUT: 'lint',
+    FUNCTION_READ_UNKNOWN_FIELD: 'lint',
+    FUNCTION_READ_WITHOUT_RETURNS: 'lint',
+    GUARDRAIL_ACTION_UNKNOWN: 'lint',
+    GUARDRAIL_DUP_ID: 'lint',
+    GUARDRAIL_INCOMPLETE: 'lint',
+    GUARDRAIL_NO_RULES: 'lint',
+    GUARDRAIL_NO_SCOPE: 'lint',
+    GUARDRAIL_NO_VALIDATOR: 'lint',
+    GUARDRAIL_TYPE_UNKNOWN: 'lint',
+    HITL_APP_INCOMPLETE: 'lint',
+    HITL_APP_MISSING: 'lint',
+    HITL_APP_WITHOUT_VARIANT: 'lint',
+    HITL_APP_WITH_FIELDS: 'lint',
+    HITL_CHANNEL_UNKNOWN: 'lint',
+    HITL_COMPLETED_PORT_GONE: 'lowering',
+    HITL_DOCUMENT_WITHOUT_VARIANT: 'lint',
+    HITL_DOCVAL_NO_DOCUMENT: 'lint',
+    HITL_DOCVAL_WITH_FIELDS: 'lint',
+    HITL_DUP_FIELD: 'lint',
+    HITL_DUP_OUTCOME: 'lint',
+    HITL_DUP_OUTCOME_ID: 'lint',
+    HITL_END_OUTCOME_IN_PARALLEL: 'lowering',
+    HITL_EXPOSE_ERROR_VERSION: 'lowering',
+    HITL_FAN_OUT_INTO_JOIN: 'lowering',
+    HITL_FIELD_DIRECTION: 'lint',
+    HITL_FIELD_NO_ID: 'lint',
+    HITL_FIELD_NO_VALUE: 'lint',
+    HITL_FIELD_OPTIONS: 'lint',
+    HITL_FIELD_OPTIONS_IGNORED: 'lint',
+    HITL_FIELD_RESERVED_ID: 'lint',
+    HITL_FIELD_SETTING_INVALID: 'lint',
+    HITL_FIELD_TYPE_UNKNOWN: 'lint',
+    HITL_FIELD_VALUE_NOT_PATH: 'lint',
+    HITL_FIELD_VALUE_NOT_REF: 'lint',
+    HITL_FIELD_VARIABLE: 'lint',
+    HITL_LEGACY_COMPLETED: 'lint',
+    HITL_LEGACY_COMPLETED_CONFLICT: 'lowering',
+    HITL_LEGACY_COMPLETED_NO_EFFECT: 'lint',
+    HITL_LEGACY_COMPLETED_VERSION: 'lowering',
+    HITL_NO_FIELDS: 'lint',
+    HITL_NO_OUTCOMES: 'lint',
+    HITL_OUTCOMES_UNREACHABLE: 'lint',
+    HITL_OUTCOME_ACTION: 'lint',
+    HITL_OUTCOME_BAD_ID: 'lint',
+    HITL_OUTCOME_NO_NAME: 'lint',
+    HITL_OUTCOME_PORTS_OFF: 'lowering',
+    HITL_OUTCOME_PORTS_VARIANT: 'lowering',
+    HITL_OUTCOME_PORT_MISPLACED: 'lint',
+    HITL_OUTCOME_PORT_UNKNOWN: 'lowering',
+    HITL_OUTCOME_UNROUTED: 'lint',
+    HITL_PORT_ALREADY_WIRED: 'lowering',
+    HITL_READ_NOT_OUTPUT: 'lint',
+    HITL_READ_STATUS: 'lint',
+    HITL_READ_UNKNOWN_FIELD: 'lint',
+    HITL_RECIPIENT_TYPE: 'lint',
+    HITL_RECIPIENT_VALUE: 'lint',
+    HITL_UNREACHABLE_AFTER: 'lint',
+    HITL_VARIANT_UNKNOWN: 'lint',
+    HTTP_BINDING_REQUIRES_MANAGED: 'lowering',
+    HTTP_BRANCH_CONST: 'lint',
+    HTTP_BRANCH_DUP: 'lint',
+    HTTP_BRANCH_NAME: 'lint',
+    HTTP_BRANCH_UNKNOWN: 'lint',
+    HTTP_MANAGED_BINDING_INCOMPLETE: 'lowering',
+    HTTP_MANAGED_REQUIRED: 'lowering',
+    HTTP_ONERROR_V1: 'lint',
+    HTTP_READ_NOT_OUTPUT: 'lint',
+    HTTP_READ_UNKNOWN_FIELD: 'lint',
+    HTTP_READ_WITHOUT_RETURNS: 'lint',
+    HTTP_RETRY_COUNT_HIGH: 'lint',
+    HTTP_RETRY_COUNT_INVALID: 'lint',
+    HTTP_TARGET_CONNECTOR_EMPTY: 'lowering',
+    HTTP_TARGET_CONNECTOR_REQUIRES_BINDING: 'lowering',
+    HTTP_TIMEOUT_NOT_DURATION: 'lint',
+    HTTP_V1_RETIRED: 'lint',
+    INLINE_AGENT_COMPOSITE_INPUT: 'lint',
+    INLINE_AGENT_EMPTY_RETURNS: 'lint',
+    INLINE_AGENT_ESCALATION_APP_KEY_NOT_GUID: 'lint',
+    INLINE_AGENT_ESCALATION_APP_WITH_FIELDS: 'lint',
+    INLINE_AGENT_ESCALATION_FIELD_OPTIONS: 'lint',
+    INLINE_AGENT_ESCALATION_FIELD_OPTIONS_IGNORED: 'lint',
+    INLINE_AGENT_ESCALATION_FIELD_SETTING_INVALID: 'lint',
+    INLINE_AGENT_ESCALATION_FIELD_TYPE_UNKNOWN: 'lint',
+    INLINE_AGENT_ESCALATION_NO_APP: 'lint',
+    INLINE_AGENT_ESCALATION_NO_FIELDS: 'lint',
+    INLINE_AGENT_ESCALATION_NO_NAME: 'lint',
+    INLINE_AGENT_ESCALATION_QUICKFORM_WITH_APP: 'lint',
+    INLINE_AGENT_ESCALATION_VARIANT: 'lint',
+    INLINE_AGENT_INPUT_NAME_AMBIGUOUS: 'lint',
+    INLINE_AGENT_MEMORY_ID_NOT_GUID: 'lint',
+    INLINE_AGENT_MEMORY_INCOMPLETE: 'lint',
+    INLINE_AGENT_NO_MODEL: 'lint',
+    INLINE_AGENT_NO_SYSTEM_PROMPT: 'lint',
+    INLINE_AGENT_NO_USER_PROMPT: 'lint',
+    INLINE_AGENT_PROMPT_JSON_TEXT: 'lint',
+    INLINE_AGENT_READ_NOT_OUTPUT: 'lint',
+    INLINE_AGENT_READ_UNKNOWN_FIELD: 'lint',
+    INLINE_AGENT_RESOURCE_NODE_ID: 'lowering',
+    INLINE_AGENT_RESOURCE_SOURCE_DUP: 'lowering',
+    INLINE_AGENT_RESOURCE_SOURCE_NOT_GUID: 'lint',
+    INLINE_AGENT_SCAFFOLD_MODEL: 'lint',
+    INLINE_AGENT_SOURCE_NOT_GUID: 'lint',
+    INLINE_AGENT_TOOL_A2A_INCOMPLETE: 'lint',
+    INLINE_AGENT_TOOL_CLIENTSIDE_NO_NAME: 'lint',
+    INLINE_AGENT_TOOL_CONNECTOR_NO_CONNECTION: 'lint',
+    INLINE_AGENT_TOOL_HTTP_METHOD: 'lint',
+    INLINE_AGENT_TOOL_IXP_NO_NAME: 'lint',
+    INLINE_AGENT_TOOL_IXP_PROJECT_NOT_GUID: 'lint',
+    INLINE_AGENT_TOOL_KEY_NOT_GUID: 'lint',
+    INLINE_AGENT_TOOL_MCP_INCOMPLETE: 'lint',
+    INLINE_AGENT_TOOL_NO_OPERATION: 'lint',
+    INLINE_AGENT_TOOL_NO_RESOURCE_ID: 'lint',
+    INLINE_AGENT_TOOL_UNKNOWN_BUILTIN: 'lowering',
+    INLINE_AGENT_TOOL_UNKNOWN_KIND: 'lowering',
+    INLINE_AGENT_UNDECLARED_PLACEHOLDER: 'lint',
+    INLINE_AGENT_UNREFERENCED_INPUT: 'lint',
+    INPUT_READ_WITHOUT_TRIGGER: 'lint',
+    IXP_FORBIDDEN_INPUT: 'lint',
+    IXP_NO_FILE: 'lint',
+    IXP_NO_FOLDER: 'lint',
+    IXP_NO_MODEL_NAME: 'lint',
+    IXP_NO_NAME: 'lint',
+    IXP_NO_PROJECT: 'lowering',
+    IXP_PROJECT_NOT_NODE_TYPE: 'lowering',
+    IXP_PROJECT_TAIL_UNPARSEABLE: 'lowering',
+    JSON_REF_CIRCULAR: 'lowering',
+    JSON_REF_NOT_JSON: 'lowering',
+    JSON_REF_PATH_INVALID: 'lowering',
+    JSON_REF_TOO_DEEP: 'lowering',
+    JSON_REF_UNREADABLE: 'lowering',
+    JS_ESCAPE_COOKED: 'lint',
+    JS_ESCAPE_INVALID: 'lint',
+    LAYOUT_EDGE_AMBIGUOUS: 'lowering',
+    LAYOUT_EDGE_KEY_FORM: 'lowering',
+    LAYOUT_UNKNOWN_KEY: 'lowering',
+    LIBRARY_NOT_FOUND: 'lowering',
+    LIBRARY_REQUIRED: 'lowering',
+    LIST_OUTPUT_WRAPPER: 'lint',
+    LOOKUP_ARGS: 'lowering',
+    LOOKUP_LITERAL_ID: 'lint',
+    LOOKUP_MISPLACED: 'lowering',
+    LOOKUP_RUNTIME_VALUE: 'lint',
+    LOOKUP_UNKNOWN_ALIAS: 'lowering',
+    LOOKUP_UNKNOWN_FIELD: 'lowering',
+    LOOKUP_UNKNOWN_MATCH_KEY: 'lowering',
+    LOOKUP_UNRESOLVED: 'lowering',
+    LOOP_EXIT_IN_PARALLEL_ARM: 'lint',
+    LOOP_EXIT_UNREACHABLE_AFTER: 'lint',
+    LOOP_PARALLEL_LEGACY: 'lint',
+    LOOP_VERSION_UNSUPPORTED: 'lowering',
+    MOCK_HAS_NO_OUTPUT: 'lint',
+    NODE_FAMILY_REGISTRATION: 'lowering',
+    NODE_VERSION_UNREGISTERED: 'lowering',
+    NO_ID: 'lint',
+    NO_RETURN: 'lint',
+    OBJECT_UNPREPARED: 'lint',
+    ONERROR_NO_ERROR_PORT: 'lowering',
+    OUTPUT_BACKING_COLLISION: 'lowering',
+    OUTPUT_TYPE_MISMATCH: 'lint',
+    OUTPUT_VAR_MISMATCH: 'lowering',
+    PACKAGE_NODES_NOT_PLATFORM: 'lint',
+    PARALLEL_ARM_RETURNS: 'lint',
+    PARALLEL_EMPTY_ARM: 'lint',
+    PARALLEL_FORK_ALTERNATIVES: 'lowering',
+    PARALLEL_HAS_NO_OUTPUT: 'lint',
+    PARALLEL_REF_JOIN: 'lint',
+    PARALLEL_TOO_FEW_ARMS: 'lint',
+    PORT_ALREADY_ROUTED: 'lowering',
+    PORT_EMPTY_PATH: 'lowering',
+    PORT_NO_SOURCE_STEP: 'lowering',
+    QUEUE_BAD_DATE: 'lint',
+    QUEUE_BAD_PRIORITY: 'lint',
+    QUEUE_ITEM_EXPR_UNSUPPORTED: 'lowering',
+    QUEUE_ITEM_FIELD_NOT_PRIMITIVE: 'lint',
+    QUEUE_ITEM_NOT_OBJECT: 'lint',
+    QUEUE_KEY_NOT_GUID: 'lint',
+    QUEUE_NO_FOLDER: 'lint',
+    QUEUE_NO_ITEM: 'lint',
+    QUEUE_NO_KEY: 'lint',
+    QUEUE_NO_NAME: 'lint',
+    QUEUE_READ_NOT_OUTPUT: 'lint',
+    QUEUE_READ_UNKNOWN_FIELD: 'lint',
+    QUEUE_READ_WITHOUT_RETURNS: 'lint',
+    QUEUE_RETURNS_WITHOUT_WAIT: 'lint',
+    RAW_NODE_CONNECTOR: 'lowering',
+    RAW_NODE_TYPED_FAMILY: 'lint',
+    RAW_NODE_UNKNOWN_INPUT: 'lowering',
+    RAW_NODE_VERSION_MISMATCH: 'lowering',
+    READ_TEXT_UNAVAILABLE: 'lowering',
+    REF_INTO_LOOP: 'lint',
+    REF_INTO_PARALLEL_ARM: 'lint',
+    REF_INTO_PORT_LIST: 'lint',
+    REF_OUT_OF_LOOP: 'lint',
+    REF_OUT_OF_PARALLEL_ARM: 'lint',
+    REF_TARGET_NOT_NAME: 'lowering',
+    REF_TO_OWN_LOOP: 'lint',
+    REF_UNKNOWN_TARGET: 'lowering',
+    REF_UNREACHABLE_AFTER: 'lint',
+    RETURN_UPDATES_SAME_VAR: 'lowering',
+    RPA_KEY_NOT_KEY: 'lint',
+    RPA_LOCAL_HAS_FOLDER: 'lint',
+    RPA_LOCAL_NO_PROJECT_ID: 'lint',
+    RPA_LOCAL_PROJECT_ID_NOT_GUID: 'lint',
+    RPA_NAME_IS_PATH: 'lint',
+    RPA_NO_FOLDER: 'lint',
+    RPA_NO_KEY: 'lint',
+    RPA_NO_NAME: 'lint',
+    RPA_READ_NOT_OUTPUT: 'lint',
+    RPA_READ_UNKNOWN_FIELD: 'lint',
+    RPA_READ_WITHOUT_RETURNS: 'lint',
+    SCHEDULE_CRON_VERSION: 'lowering',
+    SCHEDULE_NEVER_FIRES: 'lint',
+    SCHEDULE_NOT_ISO: 'lint',
+    SCHEDULE_NO_INTERVAL: 'lint',
+    SCHEMA_VERSION_ABOVE_FLOOR: 'lint',
+    SCHEMA_VERSION_BELOW_FLOOR: 'lint',
+    SCHEMA_VERSION_ON_SUBFLOW: 'lint',
+    SCHEMA_VERSION_UNSUPPORTED: 'lowering',
+    SCRIPT_EMPTY_RETURNS: 'lint',
+    SCRIPT_FUNCTION_SCOPE: 'lowering',
+    SCRIPT_FUNCTION_UNLOWERABLE: 'lowering',
+    SCRIPT_RETURNS_UNKNOWN_TYPE: 'lint',
+    SDK_RESOLVE_HOOK_MISSING: 'lowering',
+    SEND_MESSAGE_NO_CONTENT: 'lint',
+    SEND_MESSAGE_NO_EXCHANGE: 'lint',
+    SHARED_INPUT_IN_SUBFLOW: 'lowering',
+    SHARED_INPUT_NAME_INVALID: 'lowering',
+    SHARED_INPUT_NOT_INPUT: 'lowering',
+    SHARED_INPUT_ROOT_MISSING: 'lint',
+    SHARED_INPUT_SAME_ROOT: 'lowering',
+    SHARED_INPUT_TARGET_IS_INPUT: 'lowering',
+    SHARED_INPUT_TYPE_MISMATCH: 'lowering',
+    SINGLE_CONVERSATION_TRIGGER: 'lint',
+    STEP_ID_COLLISION: 'lowering',
+    STEP_NOT_ACTION: 'lowering',
+    STEP_READ_WITHOUT_OUTPUT: 'lint',
+    STEP_SWITCH_ARM_LABEL: 'lowering',
+    STEP_SWITCH_EXIT_DUP: 'lint',
+    STEP_SWITCH_EXIT_UNKNOWN: 'lowering',
+    STEP_SWITCH_EXIT_UNROUTED: 'lint',
+    STEP_SWITCH_NO_ARMS: 'lowering',
+    STEP_SWITCH_NO_EXITS: 'lowering',
+    STICKY_NOTE_DUP_ID: 'lowering',
+    STICKY_NOTE_ID_TAKEN: 'lowering',
+    STICKY_NOTE_NO_CONTENT: 'lowering',
+    STICKY_NOTE_POSITION: 'lowering',
+    STICKY_NOTE_SIZE: 'lowering',
+    SUBFLOW_CHILD_TRIGGER: 'lint',
+    SUBFLOW_CYCLE: 'lint',
+    SUBFLOW_HAS_NO_OUTPUT: 'lint',
+    SUBFLOW_MISSING_INPUT: 'lint',
+    SUBFLOW_NO_CHILD: 'lint',
+    SUBFLOW_OUTPUT_NEVER_RETURNED: 'lint',
+    SUBFLOW_OUTPUT_NO_FIELD: 'lint',
+    SUBFLOW_UNKNOWN_INPUT: 'lint',
+    SUBFLOW_UNKNOWN_OUTPUT: 'lint',
+    SWITCH_CASE_FORM: 'lint',
+    SWITCH_CASE_ID: 'lint',
+    SWITCH_CASE_TYPE_MISMATCH: 'lint',
+    SWITCH_CONST_ON: 'lint',
+    SWITCH_CONST_WHEN: 'lint',
+    SWITCH_HAS_NO_OUTPUT: 'lint',
+    SWITCH_NO_CASES: 'lint',
+    SWITCH_ON_UNUSED: 'lint',
+    TEMPLATED_EXITS_ONLY: 'lowering',
+    TERMINATE_HAS_NO_OUTPUT: 'lint',
+    TERMINATE_NOT_ARM_HEAD: 'lint',
+    TERMINATE_UNREACHABLE_AFTER: 'lint',
+    TRANSFORM_AGG_NO_ALIAS: 'lint',
+    TRANSFORM_AGG_NO_FIELD: 'lint',
+    TRANSFORM_BAD_VOCAB: 'lint',
+    TRANSFORM_COLLECTION_LITERAL: 'lint',
+    TRANSFORM_COLLECTION_NOT_PATH: 'lint',
+    TRANSFORM_COLLECTION_NOT_REF: 'lint',
+    TRANSFORM_COLLECTION_SCALAR: 'lint',
+    TRANSFORM_CONTAINS_ARRAY_VALUE: 'lint',
+    TRANSFORM_EMPTY_FILTER: 'lint',
+    TRANSFORM_EMPTY_MAP: 'lint',
+    TRANSFORM_FILTER_NO_FIELD: 'lint',
+    TRANSFORM_FILTER_VALUE_EXPR: 'lint',
+    TRANSFORM_MAP_NO_FIELD: 'lint',
+    TRANSFORM_NO_COLLECTION: 'lint',
+    TRANSFORM_NO_GROUP_FIELD: 'lint',
+    TRANSFORM_NO_OPERATIONS: 'lint',
+    TRANSFORM_UNKNOWN_OP: 'lint',
+    TRANSFORM_VARIANT_ONE_OP: 'lint',
+    TRANSFORM_VARIANT_OP_MISMATCH: 'lint',
+    TRANSFORM_VARIANT_UNKNOWN: 'lowering',
+    TRIGGER_INPUTS_IGNORED: 'lint',
+    TRIGGER_UNKNOWN_KIND: 'lowering',
+    TYPESCRIPT_UNAVAILABLE: 'lowering',
+    UNKNOWN_LOOP_FIELD: 'lint',
+    UNKNOWN_REF: 'lint',
+    UPDATES_NOT_SUPPORTED: 'lowering',
+    UPDATE_INPUT_READONLY: 'lint',
+    UPDATE_UNKNOWN_VAR: 'lint',
+    VARIABLE_NAME_COLLISION: 'lowering',
+    VARS_BRACKET_READ: 'lint',
+    VOICE_AGENT_ITERATIONS: 'lint',
+    VOICE_AGENT_NO_PROMPT: 'lint',
+    VOICE_CALL_CONTEXT_NOT_OBJECT: 'lint',
+    VOICE_MODEL_UNKNOWN: 'lint',
+    VOICE_NO_CALL_CONTEXT: 'lint',
+    VOICE_PERSONA_UNKNOWN: 'lint',
+};
+/** The class of `code`, or `undefined` for a code the table does not list. */
+export function refusalClass(code) {
+    return ownEntry(REFUSALS, code);
+}

package/dist/core/script-function.d.ts

@@ -0,0 +1,126 @@
+/**
+ * core/script-function — a TypeScript function lowered to a script body.
+ *
+ * A script body is a string the editor and tsc never see. Authoring it as a
+ * function lets the compiler check it like the rest of the module, and this file
+ * turns that function back into the body a script node carries
+ * (docs/SCRIPT_FUNCTION_DESIGN.md).
+ *
+ * The body is kept EXACTLY as `Function.prototype.toString()` returned it: the
+ * artifact goes to a designer, and the author expects to see the script they
+ * wrote. Only two edits are made, both because the runtime requires them:
+ *
+ *   1. the parameter is renamed to the runtime's own scope global (`$vars` in
+ *      Flow). The parameter is an authoring-time name for that global; the SDK
+ *      never calls the function or passes it anything.
+ *   2. esbuild's `keepNames` wrappers (`__name(fn, "fn")`) are removed. A loader
+ *      such as tsx adds them, and the script runtime has no `__name`.
+ *
+ * Everything else that would make the lowered body behave differently from the
+ * function is refused rather than rewritten: a name the runtime does not
+ * provide, a `$vars` binding that would capture the rename, a destructured
+ * parameter whose step reads `renameRefs` could not see, a reference to the
+ * function's own name, which only the body loses.
+ *
+ * Names are resolved with the checker of a one-file program over the function's
+ * source, not by text: `a.vars`, `{ vars: 1 }` and an inner `(vars) => …` are
+ * not references to the parameter, and only a checker knows that.
+ */
+import type * as TS from 'typescript';
+/** How a runtime receives a lowered script: its scope global, and every other name it provides. */
+export interface ScriptRuntime {
+    /** The identifier the runtime binds the variable scope to (`$vars` in Flow). */
+    scopeGlobal: string;
+    /** Every other global name the runtime provides: the language built-ins it has, `console`. */
+    globals: ReadonlySet<string>;
+    /** How errors name the runtime: `the Flow script runtime`. */
+    name: string;
+}
+/** A function, or its source text, as `Function.prototype.toString()` returns it. */
+export type ScriptFunctionSource = ((...args: never[]) => unknown) | string;
+/**
+ * The body a script node carries for `fn`, or a thrown error naming every
+ * reason it cannot be one.
+ *
+ * @param fn - The function, or its source text (what `fn.toString()` returns).
+ * @param runtime - The runtime the body will run in.
+ * @param label - How errors name the call, e.g. `script(parseMessage)`.
+ */
+export declare function lowerScriptFunction(fn: ScriptFunctionSource, runtime: ScriptRuntime, label?: string): string;
+/**
+ * The source of every function {@link lowerScriptFunction} has lowered in this
+ * process, in order, one entry per call.
+ *
+ * The CLIs that load a `.flow.ts` take the entries added while it imported,
+ * twice over: to decide whether the module-scope pass
+ * (`script-function-scope.ts`) has anything to look at, so a flow with no
+ * function scripts pays nothing for it; and to fail closed, by matching each
+ * lowered text to a declaration that pass followed, so a function it could not
+ * see is refused. Taken per load because one process may load two sources
+ * (`merge --baseline-from`).
+ */
+export declare function scriptFunctionLowerings(): readonly string[];
+/** Options for {@link tryLowerScriptFunction}. */
+export interface LowerOptions {
+    /**
+     * Refuse any use of the parameter other than a dotted read (`vars.start…`):
+     * an alias (`const v = vars`), a computed read (`vars['start']`), an optional
+     * read (`vars?.start`), or passing it on (`pick(vars)`, `{ vars }`) each hides
+     * the step it reads from `renameRefs` and the reference check, which see only
+     * `$vars.<name>`. Authoring (`script(fn)`) sets it; decompile's gate does not,
+     * because there the text is the node's own either way.
+     */
+    scopeReadsOnly?: boolean;
+}
+/** What lowering a function's source produced: its body, or every problem with it. */
+export type LoweredScript = {
+    ok: true;
+    code: string;
+}
+/**
+ * `free` is the names the runtime would not have, also described in `problems`;
+ * `syntax` is set when the source did not parse as one function at all.
+ */
+ | {
+    ok: false;
+    problems: string[];
+    free: string[];
+    syntax?: true;
+};
+/**
+ * {@link lowerScriptFunction} without the throw, for a caller that falls back
+ * when the source cannot be lowered (decompile's function-form gate).
+ */
+export declare function tryLowerScriptFunction(source: string, runtime: ScriptRuntime, options?: LowerOptions): LoweredScript;
+/**
+ * The first syntax error in a script BODY (the text a script node carries), as
+ * `line N: message`, or undefined when it parses. Lines are the body's own.
+ */
+export declare function scriptBodySyntaxError(code: string): string | undefined;
+/**
+ * The JavaScript engine's early error for a body run as
+ * `function (<scopeGlobal>) { "use strict"; <code> }`, or undefined when it has
+ * none.
+ *
+ * TypeScript's parser does not report early errors (a duplicate `let`, a
+ * `const $vars` that clashes with the parameter, an octal literal in strict
+ * code), and the printed function lives in an ES module, which is strict. A body
+ * with one would make the whole module unloadable, so decompile asks the engine.
+ * The body is compiled, never called. A host without the `Function`
+ * constructor (a strict content-security policy) cannot answer, which is
+ * reported as an error too, so the caller keeps the string form.
+ */
+export declare function scriptBodyEarlyError(code: string, runtime: ScriptRuntime): string | undefined;
+/**
+ * The first piece of TypeScript-only syntax in a body, described, or undefined.
+ *
+ * A string body is JavaScript, but the printed function is read by a TypeScript
+ * loader, which erases type syntax before the runtime ever sees it: a body with
+ * `const n: number = 1` would come back from compile as `const n         = 1`,
+ * and `f<T>(x)`, which JavaScript reads as two comparisons, would come back as a
+ * call. Either silently changes the stored script, so such a body keeps the
+ * string form.
+ */
+export declare function scriptBodyTypeScriptSyntax(code: string): string | undefined;
+/** Whether `id` is read as a value, not a property name, label, or type. */
+export declare function isReference(ts: typeof TS, id: TS.Identifier): boolean;