Add MineGeo gameplay systems and interface

This commit is contained in:
2026-10-10 10:27:47 +05:00
parent bf01d9801d
commit 9af71c85c2
47 changed files with 9954 additions and 93 deletions

View File

@@ -43,6 +43,13 @@ export type Database = {
};
public: {
Tables: {
discord_announcements: {
Row: import("./discord").DiscordAnnouncement;
Insert: Partial<import("./discord").DiscordAnnouncement> &
Pick<import("./discord").DiscordAnnouncement, "kind" | "target_id">;
Update: Partial<import("./discord").DiscordAnnouncement>;
Relationships: [];
};
bug_reports: {
Row: import("./bug-reports").BugReportRecord;
Insert: Partial<import("./bug-reports").BugReportRecord> &
@@ -695,6 +702,38 @@ export type Database = {
[_ in never]: never;
};
Functions: {
claim_discord_cleanup: {
Args: { p_worker: string; p_target?: string | null };
Returns: import("./discord").DiscordAnnouncement[];
SetofOptions: {
from: "*";
to: "discord_announcements";
isOneToOne: false;
isSetofReturn: true;
};
};
mark_discord_party_closed: {
Args: { p_event: string };
Returns: string;
};
publish_discord_party: {
Args: { p_room: string; p_access_hash: string };
Returns: string;
};
claim_discord_announcements: {
Args: { p_worker: string; p_kinds: string[]; p_target?: string | null };
Returns: import("./discord").DiscordAnnouncement[];
SetofOptions: {
from: "*";
to: "discord_announcements";
isOneToOne: false;
isSetofReturn: true;
};
};
retry_discord_announcements: {
Args: { p_reviewer: string };
Returns: number;
};
set_user_prefix: {
Args: {
p_reviewer: string;