-- cluster table stores the key-value pairs of the cluster configuration.
CREATE TABLE cluster
(
    key   TEXT NOT NULL PRIMARY KEY,
    value ANY
);

CREATE TABLE machines
(
    id   TEXT NOT NULL PRIMARY KEY,
    name TEXT AS (json_extract(info, '$.name')),
    info TEXT NOT NULL DEFAULT '{}' CHECK (json_valid(info))
);

CREATE INDEX idx_machines_name ON machines (name);