@salang/sa 0.1.2 → 0.1.4

package/sa_std/path.sal

@@ -0,0 +1,12 @@
+@import "core/slice.sal"
+
+#def Path_SIZE = Slice_SIZE
+#def Path_ptr = Slice_ptr
+#def Path_len = Slice_len
+
+#def PathBuf_SIZE = Slice_SIZE
+#def PathBuf_ptr = Slice_ptr
+#def PathBuf_cap = Slice_len
+
+#def PATH_MAIN_SEPARATOR_UNIX = 47
+#def PATH_MAIN_SEPARATOR = 47

package/sa_std/phantom_data.sa

@@ -0,0 +1,3 @@
+// Public PhantomData marker facade over marker.sa.
+@import "marker.sal"
+@import "marker.sa"

package/sa_std/phantom_data.sal

@@ -0,0 +1,2 @@
+// PhantomData has no runtime payload.
+@import "marker.sal"

package/sa_std/pin.sa

@@ -0,0 +1,79 @@
+@import "pin.sal"
+
+[MACRO] PIN_NEW %pin_ptr, %target_ptr
+    store %pin_ptr+Pin_ptr, %target_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_NEW_UNCHECKED %pin_ptr, %target_ptr
+    store %pin_ptr+Pin_ptr, %target_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_NEW %pin_ptr, %target_ptr
+    store %pin_ptr+PinMut_ptr, %target_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_NEW_UNCHECKED %pin_ptr, %target_ptr
+    store %pin_ptr+PinMut_ptr, %target_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_GET_REF %out_ptr, %pin_ptr
+    %out_ptr = load %pin_ptr+Pin_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_GET_REF %out_ptr, %pin_ptr
+    %out_ptr = load %pin_ptr+PinMut_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_GET_MUT %out_ptr, %pin_ptr
+    %out_ptr = load %pin_ptr+PinMut_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_GET_UNCHECKED_MUT %out_ptr, %pin_ptr
+    %out_ptr = load %pin_ptr+PinMut_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_AS_REF %out_pin_ptr, %pin_ptr
+    __pin_ref_ptr_%out_pin_ptr = load %pin_ptr+Pin_ptr as ptr
+    store %out_pin_ptr+Pin_ptr, __pin_ref_ptr_%out_pin_ptr as ptr
+    !__pin_ref_ptr_%out_pin_ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_AS_REF %out_pin_ptr, %pin_ptr
+    __pin_mut_ref_ptr_%out_pin_ptr = load %pin_ptr+PinMut_ptr as ptr
+    store %out_pin_ptr+Pin_ptr, __pin_mut_ref_ptr_%out_pin_ptr as ptr
+    !__pin_mut_ref_ptr_%out_pin_ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_AS_MUT %out_pin_ptr, %pin_ptr
+    __pin_mut_ptr_%out_pin_ptr = load %pin_ptr+PinMut_ptr as ptr
+    store %out_pin_ptr+PinMut_ptr, __pin_mut_ptr_%out_pin_ptr as ptr
+    !__pin_mut_ptr_%out_pin_ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_INTO_REF %out_pin_ptr, %pin_ptr
+    EXPAND PIN_MUT_AS_REF %out_pin_ptr, %pin_ptr
+[END_MACRO]
+
+[MACRO] PIN_INTO_INNER_UNCHECKED %out_ptr, %pin_ptr
+    %out_ptr = load %pin_ptr+Pin_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_MUT_INTO_INNER_UNCHECKED %out_ptr, %pin_ptr
+    %out_ptr = load %pin_ptr+PinMut_ptr as ptr
+[END_MACRO]
+
+[MACRO] PIN_PTR_EQ %out_bool, %left_pin, %right_pin
+    __pin_left_%out_bool = load %left_pin+Pin_ptr as ptr
+    __pin_right_%out_bool = load %right_pin+Pin_ptr as ptr
+    %out_bool = eq __pin_left_%out_bool, __pin_right_%out_bool
+    !__pin_right_%out_bool
+    !__pin_left_%out_bool
+[END_MACRO]
+
+[MACRO] PIN_MUT_PTR_EQ %out_bool, %left_pin, %right_pin
+    __pin_mut_left_%out_bool = load %left_pin+PinMut_ptr as ptr
+    __pin_mut_right_%out_bool = load %right_pin+PinMut_ptr as ptr
+    %out_bool = eq __pin_mut_left_%out_bool, __pin_mut_right_%out_bool
+    !__pin_mut_right_%out_bool
+    !__pin_mut_left_%out_bool
+[END_MACRO]

package/sa_std/pin.sal

@@ -0,0 +1,5 @@
+#def Pin_SIZE = 8
+#def Pin_ptr = +0
+
+#def PinMut_SIZE = 8
+#def PinMut_ptr = +0

package/sa_std/plugin_async.sa

@@ -0,0 +1,90 @@
+// Plugin async adapter macros.
+//
+// A plugin operation is polled by the concrete adapter and exposed as a
+// PollResult<u64>: pending while the plugin reports would_block/not-ready,
+// ready-ok with the owned result handle, or ready-err with the plugin status.
+// This keeps HTTP, process, DB-worker, and future plugin adapters on one ABI.
+@import "plugin_async.sal"
+@import "core/future.sa"
+
+[MACRO] PLUGIN_ASYNC_OP_NEW %out_op, %handle, %deadline_ms
+    %out_op = alloc PluginAsyncOp_SIZE
+    store %out_op+PluginAsyncOp_handle, %handle as ptr
+    store %out_op+PluginAsyncOp_state, PluginAsync_PENDING as u64
+    store %out_op+PluginAsyncOp_status, PluginAsync_STATUS_OK as u64
+    store %out_op+PluginAsyncOp_value, 0 as ptr
+    store %out_op+PluginAsyncOp_error, 0 as u64
+    store %out_op+PluginAsyncOp_deadline_ms, %deadline_ms as u64
+    store %out_op+PluginAsyncOp_cancelled, 0 as u64
+    store %out_op+PluginAsyncOp_owned, 1 as u64
+[END_MACRO]
+
+[MACRO] PLUGIN_ASYNC_OP_STATE %out_state, %op
+    %out_state = load %op+PluginAsyncOp_state as u64
+[END_MACRO]
+
+[MACRO] PLUGIN_ASYNC_OP_HANDLE %out_handle, %op
+    %out_handle = load %op+PluginAsyncOp_handle as ptr
+[END_MACRO]
+
+[MACRO] PLUGIN_ASYNC_OP_SET_READY %op, %value
+    store %op+PluginAsyncOp_state, PluginAsync_READY as u64
+    store %op+PluginAsyncOp_status, PluginAsync_STATUS_OK as u64
+    store %op+PluginAsyncOp_value, %value as ptr
+[END_MACRO]
+
+[MACRO] PLUGIN_ASYNC_OP_SET_ERROR %op, %status
+    store %op+PluginAsyncOp_state, PluginAsync_FAILED as u64
+    store %op+PluginAsyncOp_status, %status as u64
+    store %op+PluginAsyncOp_error, %status as u64
+[END_MACRO]
+
+[MACRO] PLUGIN_ASYNC_OP_CANCEL %op
+    store %op+PluginAsyncOp_state, PluginAsync_CANCELLED as u64
+    store %op+PluginAsyncOp_status, PluginAsync_STATUS_CLOSED as u64
+    store %op+PluginAsyncOp_error, PluginAsync_ERROR_CANCELLED as u64
+    store %op+PluginAsyncOp_cancelled, 1 as u64
+[END_MACRO]
+
+[MACRO] PLUGIN_ASYNC_OP_IS_DONE %out_done, %op
+    __plugin_async_state_%out_done = load %op+PluginAsyncOp_state as u64
+    __plugin_async_ready_%out_done = eq __plugin_async_state_%out_done, PluginAsync_READY
+    __plugin_async_failed_%out_done = eq __plugin_async_state_%out_done, PluginAsync_FAILED
+    __plugin_async_cancelled_%out_done = eq __plugin_async_state_%out_done, PluginAsync_CANCELLED
+    __plugin_async_terminal_%out_done = or __plugin_async_ready_%out_done, __plugin_async_failed_%out_done
+    %out_done = or __plugin_async_terminal_%out_done, __plugin_async_cancelled_%out_done
+    !__plugin_async_cancelled_%out_done
+    !__plugin_async_terminal_%out_done
+    !__plugin_async_failed_%out_done
+    !__plugin_async_ready_%out_done
+    !__plugin_async_state_%out_done
+[END_MACRO]
+
+// Convert a plugin poll status plus its ready bit into PollResult<u64>.
+// `%value` must be the result handle when ready; it is ignored for errors.
+[MACRO] PLUGIN_ASYNC_POLL_RESULT %out_poll, %status, %ready, %value
+    __plugin_async_poll_is_would_block_%out_poll = eq %status, PluginAsync_STATUS_WOULD_BLOCK
+    __plugin_async_poll_is_ready_%out_poll = ne %ready, 0
+    __plugin_async_poll_is_ok_%out_poll = eq %status, PluginAsync_STATUS_OK
+    __plugin_async_poll_is_not_ready_%out_poll = eq %ready, 0
+    __plugin_async_poll_ok_pending_%out_poll = and __plugin_async_poll_is_ok_%out_poll, __plugin_async_poll_is_not_ready_%out_poll
+    __plugin_async_poll_is_pending_%out_poll = or __plugin_async_poll_is_would_block_%out_poll, __plugin_async_poll_ok_pending_%out_poll
+    br __plugin_async_poll_is_pending_%out_poll -> L_PLUGIN_ASYNC_POLL_PENDING_%out_poll, L_PLUGIN_ASYNC_POLL_STATUS_%out_poll
+L_PLUGIN_ASYNC_POLL_PENDING_%out_poll:
+    EXPAND POLL_RESULT_PENDING %out_poll
+    jmp L_PLUGIN_ASYNC_POLL_DONE_%out_poll
+L_PLUGIN_ASYNC_POLL_STATUS_%out_poll:
+    br __plugin_async_poll_is_ok_%out_poll -> L_PLUGIN_ASYNC_POLL_READY_%out_poll, L_PLUGIN_ASYNC_POLL_ERROR_%out_poll
+L_PLUGIN_ASYNC_POLL_READY_%out_poll:
+    EXPAND POLL_RESULT_READY_OK %out_poll, %value
+    jmp L_PLUGIN_ASYNC_POLL_DONE_%out_poll
+L_PLUGIN_ASYNC_POLL_ERROR_%out_poll:
+    EXPAND POLL_RESULT_READY_ERR %out_poll, %status
+L_PLUGIN_ASYNC_POLL_DONE_%out_poll:
+    !__plugin_async_poll_is_would_block_%out_poll
+    !__plugin_async_poll_is_ready_%out_poll
+    !__plugin_async_poll_is_ok_%out_poll
+    !__plugin_async_poll_is_not_ready_%out_poll
+    !__plugin_async_poll_ok_pending_%out_poll
+    !__plugin_async_poll_is_pending_%out_poll
+[END_MACRO]

package/sa_std/plugin_async.sal

@@ -0,0 +1,29 @@
+// Common state for adapting plugin-owned poll handles to SA Future values.
+// The plugin operation remains owned by the caller; this layout only tracks
+// the Future-facing terminal state and the last plugin error/value.
+
+#def PluginAsyncOp_SIZE = 64
+#def PluginAsyncOp_handle = +0
+#def PluginAsyncOp_state = +8
+#def PluginAsyncOp_status = +16
+#def PluginAsyncOp_value = +24
+#def PluginAsyncOp_error = +32
+#def PluginAsyncOp_deadline_ms = +40
+#def PluginAsyncOp_cancelled = +48
+#def PluginAsyncOp_owned = +56
+
+#def PluginAsync_PENDING = 0
+#def PluginAsync_READY = 1
+#def PluginAsync_FAILED = 2
+#def PluginAsync_CANCELLED = 3
+
+#def PluginAsync_STATUS_OK = 0
+#def PluginAsync_STATUS_WOULD_BLOCK = 1
+#def PluginAsync_STATUS_CLOSED = 2
+#def PluginAsync_STATUS_TIMEOUT = 3
+#def PluginAsync_STATUS_TOO_LARGE = 4
+#def PluginAsync_STATUS_INVALID = 5
+#def PluginAsync_STATUS_IO_ERROR = 6
+
+#def PluginAsync_ERROR_CANCELLED = 97
+#def PluginAsync_ERROR_DEADLINE = 96

package/sa_std/plugin_async.sla

@@ -0,0 +1,4 @@
+// SLA import surface for plugin async adapters.
+@import "sa_std/plugin_async.sa"
+@import "sa_std/plugin_http_async.sa"
+@import "sa_std/plugin_http_server.sla"

package/sa_std/plugin_http_async.sa

@@ -0,0 +1,46 @@
+// HTTP client v2 -> PollResult adapter.
+// Import the installed `sa_http_client.sai` before using these macros.
+@import "plugin_async.sa"
+
+[MACRO] SA_HTTP_ASYNC_POLL_V2 %out_poll, %op, %timeout_ms
+    __sa_http_async_ready_slot_%out_poll = stack_alloc 8
+    store __sa_http_async_ready_slot_%out_poll+0, 0 as u64
+    __sa_http_async_status_%out_poll = call @sa_http_client_async_poll_v2(%op, %timeout_ms, &__sa_http_async_ready_slot_%out_poll)
+    __sa_http_async_ready_%out_poll = load __sa_http_async_ready_slot_%out_poll+0 as u64
+    __sa_http_async_resp_slot_%out_poll = stack_alloc 8
+    store __sa_http_async_resp_slot_%out_poll+0, 0 as u64
+    __sa_http_async_is_ready_%out_poll = ne __sa_http_async_ready_%out_poll, 0
+    __sa_http_async_is_ok_%out_poll = eq __sa_http_async_status_%out_poll, PluginAsync_STATUS_OK
+    __sa_http_async_can_take_%out_poll = and __sa_http_async_is_ready_%out_poll, __sa_http_async_is_ok_%out_poll
+    br __sa_http_async_can_take_%out_poll -> L_SA_HTTP_ASYNC_TAKE_%out_poll, L_SA_HTTP_ASYNC_MAP_%out_poll
+L_SA_HTTP_ASYNC_TAKE_%out_poll:
+    __sa_http_async_take_status_%out_poll = call @sa_http_client_async_take_response_v2(%op, &__sa_http_async_resp_slot_%out_poll)
+    __sa_http_async_resp_%out_poll = load __sa_http_async_resp_slot_%out_poll+0 as ptr
+    __sa_http_async_take_ok_%out_poll = eq __sa_http_async_take_status_%out_poll, PluginAsync_STATUS_OK
+    br __sa_http_async_take_ok_%out_poll -> L_SA_HTTP_ASYNC_READY_%out_poll, L_SA_HTTP_ASYNC_TAKE_ERR_%out_poll
+L_SA_HTTP_ASYNC_READY_%out_poll:
+    EXPAND POLL_RESULT_READY_OK %out_poll, __sa_http_async_resp_%out_poll
+    jmp L_SA_HTTP_ASYNC_DONE_%out_poll
+L_SA_HTTP_ASYNC_TAKE_ERR_%out_poll:
+    EXPAND POLL_RESULT_READY_ERR %out_poll, __sa_http_async_take_status_%out_poll
+    jmp L_SA_HTTP_ASYNC_DONE_%out_poll
+L_SA_HTTP_ASYNC_MAP_%out_poll:
+    EXPAND PLUGIN_ASYNC_POLL_RESULT %out_poll, __sa_http_async_status_%out_poll, __sa_http_async_ready_%out_poll, 0
+L_SA_HTTP_ASYNC_DONE_%out_poll:
+    !__sa_http_async_take_ok_%out_poll
+    !__sa_http_async_take_status_%out_poll
+    !__sa_http_async_can_take_%out_poll
+    !__sa_http_async_is_ok_%out_poll
+    !__sa_http_async_is_ready_%out_poll
+    !__sa_http_async_resp_%out_poll
+    !__sa_http_async_ready_%out_poll
+    !__sa_http_async_status_%out_poll
+[END_MACRO]
+
+[MACRO] SA_HTTP_ASYNC_CANCEL_V2 %op
+    call @sa_http_client_async_cancel_v2(%op)
+[END_MACRO]
+
+[MACRO] SA_HTTP_ASYNC_FREE_V2 %op
+    call @sa_http_client_async_free_v2(%op)
+[END_MACRO]

package/sa_std/plugin_http_server.sa

@@ -0,0 +1,61 @@
+// HTTP server v2 facade.
+// accept_v2 timeout/would_block are cooperative Pending states; a request is
+// Ready(ptr); closed/invalid/io_error are terminal PollResult errors.
+@import "plugin_async.sa"
+
+[MACRO] SA_HTTP_SERVER_ACCEPT_V2 %out_poll, %server, %timeout_ms
+    __sa_http_server_req_slot_%out_poll = stack_alloc 8
+    store __sa_http_server_req_slot_%out_poll+0, 0 as u64
+    __sa_http_server_status_%out_poll = call @sa_http_server_accept_v2(%server, %timeout_ms, &__sa_http_server_req_slot_%out_poll)
+    __sa_http_server_req_%out_poll = load __sa_http_server_req_slot_%out_poll+0 as ptr
+    __sa_http_server_is_ok_%out_poll = eq __sa_http_server_status_%out_poll, PluginAsync_STATUS_OK
+    __sa_http_server_is_would_block_%out_poll = eq __sa_http_server_status_%out_poll, PluginAsync_STATUS_WOULD_BLOCK
+    __sa_http_server_is_timeout_%out_poll = eq __sa_http_server_status_%out_poll, PluginAsync_STATUS_TIMEOUT
+    __sa_http_server_is_pending_%out_poll = or __sa_http_server_is_would_block_%out_poll, __sa_http_server_is_timeout_%out_poll
+    br __sa_http_server_is_pending_%out_poll -> L_SA_HTTP_SERVER_PENDING_%out_poll, L_SA_HTTP_SERVER_STATUS_%out_poll
+L_SA_HTTP_SERVER_PENDING_%out_poll:
+    EXPAND POLL_RESULT_PENDING %out_poll
+    jmp L_SA_HTTP_SERVER_DONE_%out_poll
+L_SA_HTTP_SERVER_STATUS_%out_poll:
+    br __sa_http_server_is_ok_%out_poll -> L_SA_HTTP_SERVER_READY_%out_poll, L_SA_HTTP_SERVER_ERROR_%out_poll
+L_SA_HTTP_SERVER_READY_%out_poll:
+    EXPAND POLL_RESULT_READY_OK %out_poll, __sa_http_server_req_%out_poll
+    jmp L_SA_HTTP_SERVER_DONE_%out_poll
+L_SA_HTTP_SERVER_ERROR_%out_poll:
+    EXPAND POLL_RESULT_READY_ERR %out_poll, __sa_http_server_status_%out_poll
+L_SA_HTTP_SERVER_DONE_%out_poll:
+    !__sa_http_server_is_pending_%out_poll
+    !__sa_http_server_is_timeout_%out_poll
+    !__sa_http_server_is_would_block_%out_poll
+    !__sa_http_server_is_ok_%out_poll
+    !__sa_http_server_req_%out_poll
+    !__sa_http_server_status_%out_poll
+[END_MACRO]
+
+[MACRO] SA_HTTP_SERVER_RESP_SEND_V2 %out_status, %resp, %body, %body_len, %timeout_ms
+    %out_status = call @sa_http_server_resp_send_v2(%resp, %body, %body_len, %timeout_ms)
+[END_MACRO]
+
+[MACRO] SA_HTTP_SERVER_STREAM_WRITE_V2 %out_status, %stream, %body, %body_len, %timeout_ms
+    %out_status = call @sa_http_server_resp_stream_write_v2(%stream, %body, %body_len, %timeout_ms)
+[END_MACRO]
+
+[MACRO] SA_HTTP_SERVER_STREAM_END_V2 %out_status, %stream, %timeout_ms
+    %out_status = call @sa_http_server_resp_stream_end_v2(%stream, %timeout_ms)
+[END_MACRO]
+
+[MACRO] SA_HTTP_SERVER_REQ_FREE_V2 %req
+    call @sa_http_server_req_free_v2(%req)
+[END_MACRO]
+
+[MACRO] SA_HTTP_SERVER_RESP_FREE_V2 %resp
+    call @sa_http_server_resp_free_v2(%resp)
+[END_MACRO]
+
+[MACRO] SA_HTTP_SERVER_STREAM_FREE_V2 %stream
+    call @sa_http_server_resp_stream_free_v2(%stream)
+[END_MACRO]
+
+[MACRO] SA_HTTP_SERVER_FREE_V2 %server
+    call @sa_http_server_free_v2(%server)
+[END_MACRO]

package/sa_std/plugin_http_server.sla

@@ -0,0 +1,2 @@
+// SLA import surface for HTTP server plugin adapters.
+@import "sa_std/plugin_http_server.sa"

package/sa_std/plugin_sqlite.sa

@@ -0,0 +1,106 @@
+// Synchronous SQLite facade over sa_plugin_node/node_extra.sai.
+//
+// Import node_extra.sai before using these macros. The underlying ABI is
+// synchronous; callers must serialize access or run it on a dedicated worker
+// when used from an async service.
+
+[MACRO] SA_SQLITE_OPEN %out_status, %out_db, %path, %path_len
+    %out_db = 0
+    __sa_sqlite_open_status_%out_db = call @sa_node_plugin_sqlite_open(%path, %path_len, &%out_db)
+    %out_status = add __sa_sqlite_open_status_%out_db, 0
+    !__sa_sqlite_open_status_%out_db
+[END_MACRO]
+
+[MACRO] SA_SQLITE_CLOSE %out_status, %db
+    __sa_sqlite_close_status_%db = call @sa_node_plugin_sqlite_close(%db)
+    %out_status = add __sa_sqlite_close_status_%db, 0
+    !__sa_sqlite_close_status_%db
+[END_MACRO]
+
+[MACRO] SA_SQLITE_EXEC %out_status, %db, %sql, %sql_len
+    __sa_sqlite_exec_status_%out_db = call @sa_node_plugin_sqlite_exec(%db, %sql, %sql_len)
+    %out_status = add __sa_sqlite_exec_status_%out_db, 0
+    !__sa_sqlite_exec_status_%out_db
+[END_MACRO]
+
+[MACRO] SA_SQLITE_QUERY_JSON %out_status, %out_ptr, %out_len, %db, %sql, %sql_len
+    __sa_sqlite_query_ptr_slot_%out_ptr = stack_alloc 8
+    __sa_sqlite_query_len_slot_%out_ptr = stack_alloc 8
+    store __sa_sqlite_query_ptr_slot_%out_ptr+0, 0 as u64
+    store __sa_sqlite_query_len_slot_%out_ptr+0, 0 as u64
+    __sa_sqlite_query_status_%out_ptr = call @sa_node_plugin_sqlite_query_json(%db, %sql, %sql_len, &__sa_sqlite_query_ptr_slot_%out_ptr, &__sa_sqlite_query_len_slot_%out_ptr)
+    %out_status = add __sa_sqlite_query_status_%out_ptr, 0
+    %out_ptr = load __sa_sqlite_query_ptr_slot_%out_ptr+0 as ptr
+    %out_len = load __sa_sqlite_query_len_slot_%out_ptr+0 as u64
+    !__sa_sqlite_query_status_%out_ptr
+[END_MACRO]
+
+[MACRO] SA_SQLITE_PREPARE %out_status, %out_stmt, %db, %sql, %sql_len
+    %out_stmt = 0
+    __sa_sqlite_prepare_status_%out_stmt = call @sa_node_plugin_sqlite_prepare(%db, %sql, %sql_len, &%out_stmt)
+    %out_status = add __sa_sqlite_prepare_status_%out_stmt, 0
+    !__sa_sqlite_prepare_status_%out_stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_BIND_INT %out_status, %stmt, %index, %value
+    __sa_sqlite_bind_int_status_%stmt = call @sa_node_plugin_sqlite_bind_int(%stmt, %index, %value)
+    %out_status = add __sa_sqlite_bind_int_status_%stmt, 0
+    !__sa_sqlite_bind_int_status_%stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_BIND_DOUBLE %out_status, %stmt, %index, %value
+    __sa_sqlite_bind_double_status_%stmt = call @sa_node_plugin_sqlite_bind_double(%stmt, %index, %value)
+    %out_status = add __sa_sqlite_bind_double_status_%stmt, 0
+    !__sa_sqlite_bind_double_status_%stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_BIND_TEXT %out_status, %stmt, %index, %value, %value_len
+    __sa_sqlite_bind_text_status_%stmt = call @sa_node_plugin_sqlite_bind_text(%stmt, %index, %value, %value_len)
+    %out_status = add __sa_sqlite_bind_text_status_%stmt, 0
+    !__sa_sqlite_bind_text_status_%stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_BIND_BLOB %out_status, %stmt, %index, %value, %value_len
+    __sa_sqlite_bind_blob_status_%stmt = call @sa_node_plugin_sqlite_bind_blob(%stmt, %index, %value, %value_len)
+    %out_status = add __sa_sqlite_bind_blob_status_%stmt, 0
+    !__sa_sqlite_bind_blob_status_%stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_BIND_NULL %out_status, %stmt, %index
+    __sa_sqlite_bind_null_status_%stmt = call @sa_node_plugin_sqlite_bind_null(%stmt, %index)
+    %out_status = add __sa_sqlite_bind_null_status_%stmt, 0
+    !__sa_sqlite_bind_null_status_%stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_STEP_JSON %out_status, %out_ready, %out_ptr, %out_len, %stmt
+    __sa_sqlite_step_ready_slot_%stmt = stack_alloc 8
+    __sa_sqlite_step_ptr_slot_%stmt = stack_alloc 8
+    __sa_sqlite_step_len_slot_%stmt = stack_alloc 8
+    store __sa_sqlite_step_ready_slot_%stmt+0, 0 as u64
+    store __sa_sqlite_step_ptr_slot_%stmt+0, 0 as u64
+    store __sa_sqlite_step_len_slot_%stmt+0, 0 as u64
+    __sa_sqlite_step_status_%stmt = call @sa_node_plugin_sqlite_step_json(%stmt, &__sa_sqlite_step_ready_slot_%stmt, &__sa_sqlite_step_ptr_slot_%stmt, &__sa_sqlite_step_len_slot_%stmt)
+    %out_status = add __sa_sqlite_step_status_%stmt, 0
+    %out_ready = load __sa_sqlite_step_ready_slot_%stmt+0 as u64
+    %out_ptr = load __sa_sqlite_step_ptr_slot_%stmt+0 as ptr
+    %out_len = load __sa_sqlite_step_len_slot_%stmt+0 as u64
+    !__sa_sqlite_step_status_%stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_RESET %out_status, %stmt
+    __sa_sqlite_reset_status_%stmt = call @sa_node_plugin_sqlite_reset(%stmt)
+    %out_status = add __sa_sqlite_reset_status_%stmt, 0
+    !__sa_sqlite_reset_status_%stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_CLEAR_BINDINGS %out_status, %stmt
+    __sa_sqlite_clear_bindings_status_%stmt = call @sa_node_plugin_sqlite_clear_bindings(%stmt)
+    %out_status = add __sa_sqlite_clear_bindings_status_%stmt, 0
+    !__sa_sqlite_clear_bindings_status_%stmt
+[END_MACRO]
+
+[MACRO] SA_SQLITE_FINALIZE %out_status, %stmt
+    __sa_sqlite_finalize_status_%stmt = call @sa_node_plugin_sqlite_finalize(%stmt)
+    %out_status = add __sa_sqlite_finalize_status_%stmt, 0
+    !__sa_sqlite_finalize_status_%stmt
+[END_MACRO]

package/sa_std/plugin_sqlite.sla

@@ -0,0 +1,2 @@
+// SLA import surface for the synchronous Node SQLite facade.
+@import "sa_std/plugin_sqlite.sa"

package/sa_std/prelude.sa

@@ -0,0 +1,60 @@
+// Explicit public facade aggregation for applications and smoke tests.
+// This is opt-in; the compiler does not inject it implicitly.
+
+@import "core/prelude.sa"
+@import "alloc/prelude.sa"
+@import "collections/prelude.sa"
+@import "encoding/prelude.sa"
+@import "ffi/prelude.sa"
+@import "io/prelude.sa"
+@import "os/prelude.sa"
+@import "sync/prelude.sa"
+@import "text/prelude.sa"
+
+@import "any.sa"
+@import "array.sa"
+@import "ascii.sa"
+@import "binary_heap.sa"
+@import "borrow.sa"
+@import "btree_map.sa"
+@import "btree_set.sa"
+@import "char.sa"
+@import "cmp.sa"
+@import "convert.sa"
+@import "cow.sa"
+@import "cstring.sa"
+@import "default.sa"
+@import "env.sa"
+@import "error.sa"
+@import "ffi.sa"
+@import "fmt.sa"
+@import "fs.sa"
+@import "future.sa"
+@import "hash.sa"
+@import "hashmap.sa"
+@import "hashset.sa"
+@import "io.sa"
+@import "iter.sa"
+@import "marker/prelude.sa"
+@import "math.sa"
+@import "mem/prelude.sa"
+@import "net.sa"
+@import "netx.sa"
+@import "num/prelude.sa"
+@import "ops.sa"
+@import "option.sa"
+@import "panic.sa"
+@import "path.sa"
+@import "pin.sa"
+@import "process.sa"
+@import "ptr.sa"
+@import "result.sa"
+@import "sort.sa"
+@import "string.sa"
+@import "string_format.sa"
+@import "task.sa"
+@import "term.sa"
+@import "thread/prelude.sa"
+@import "time/prelude.sa"
+@import "vec.sa"
+@import "vec_deque.sa"

package/sa_std/prelude.sal

@@ -0,0 +1,55 @@
+// ABI/layout companion for the explicit public facade aggregation.
+
+@import "alloc/prelude.sal"
+@import "collections/prelude.sal"
+@import "core/prelude.sal"
+@import "encoding/prelude.sal"
+@import "ffi/prelude.sal"
+@import "io/prelude.sal"
+@import "os/prelude.sal"
+@import "sync/prelude.sal"
+@import "text/prelude.sal"
+
+@import "any.sal"
+@import "array.sa"
+@import "ascii.sal"
+@import "binary_heap.sal"
+@import "borrow.sal"
+@import "btree_map.sal"
+@import "btree_set.sal"
+@import "char.sal"
+@import "cmp.sal"
+@import "convert.sal"
+@import "cow.sal"
+@import "cstring.sal"
+@import "env.sai"
+@import "error.sal"
+@import "ffi.sal"
+@import "fmt.sal"
+@import "fs.sai"
+@import "future.sal"
+@import "hash.sal"
+@import "hashmap.sal"
+@import "hashset.sal"
+@import "io.sai"
+@import "iter.sal"
+@import "marker/prelude.sal"
+@import "mem/prelude.sal"
+@import "net.sai"
+@import "netx.sai"
+@import "num/prelude.sal"
+@import "ops.sal"
+@import "option.sal"
+@import "panic.sal"
+@import "path.sal"
+@import "pin.sal"
+@import "process.sai"
+@import "ptr.sal"
+@import "result.sal"
+@import "string.sal"
+@import "task.sal"
+@import "term.sai"
+@import "thread/prelude.sal"
+@import "time/prelude.sal"
+@import "vec.sal"
+@import "vec_deque.sal"