ast-project/part1/results/3/bug_f35ce9c1-1155-48d6-b848-e2059489d30f_logic.md

Summary

**No review yet**

Minimized query

.auth ON
CREATE TABLE T (
  a INTEGER,
  b TEXT,
  c REAL
);
INSERT INTO T VALUES (1,'a',3.14), (1,'b',-7.75), (2,'c',-9e999);
SELECT b,a,c,
RANK() OVER (PARTITION BY a ORDER BY c DESC) AS d FROM T;

Actual output

authorizer: INSERT "sqlite_master" NULL "main" NULL
authorizer: CREATE_TABLE "T" NULL "main" NULL
authorizer: UPDATE "sqlite_master" "type" "main" NULL
authorizer: UPDATE "sqlite_master" "name" "main" NULL
authorizer: UPDATE "sqlite_master" "tbl_name" "main" NULL
authorizer: UPDATE "sqlite_master" "rootpage" "main" NULL
authorizer: UPDATE "sqlite_master" "sql" "main" NULL
authorizer: READ "sqlite_master" "ROWID" "main" NULL
authorizer: INSERT "T" NULL "main" NULL
authorizer: SELECT NULL NULL NULL NULL
authorizer: SELECT NULL NULL NULL NULL
authorizer: READ "T" "b" "main" NULL
authorizer: READ "T" "a" "main" NULL
authorizer: READ "T" "c" "main" NULL
authorizer: FUNCTION NULL "rank" NULL NULL
authorizer: READ "T" "a" "main" NULL
authorizer: READ "T" "c" "main" NULL
authorizer: SELECT NULL NULL NULL NULL
a|1|3.14|1
b|1|-7.75|2
c|2|-Inf|1

Expectation

authorizer: INSERT "sqlite_master" NULL "main" NULL
authorizer: CREATE_TABLE "T" NULL "main" NULL
authorizer: UPDATE "sqlite_master" "type" "main" NULL
authorizer: UPDATE "sqlite_master" "name" "main" NULL
authorizer: UPDATE "sqlite_master" "tbl_name" "main" NULL
authorizer: UPDATE "sqlite_master" "rootpage" "main" NULL
authorizer: UPDATE "sqlite_master" "sql" "main" NULL
authorizer: READ "sqlite_master" "ROWID" "main" NULL
authorizer: SELECT NULL NULL NULL NULL
authorizer: INSERT "T" NULL "main" NULL
authorizer: SELECT NULL NULL NULL NULL
authorizer: READ "T" "b" "main" NULL
authorizer: READ "T" "a" "main" NULL
authorizer: READ "T" "c" "main" NULL
authorizer: FUNCTION NULL "rank" NULL NULL
authorizer: READ "T" "a" "main" NULL
authorizer: READ "T" "c" "main" NULL
authorizer: SELECT NULL NULL NULL NULL
a|1|3.14|1
b|1|-7.75|2
c|2|-Inf|1

Flag