dasemu/Synapse
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Initial import of LogDarioSeq baseline

Browse Source 
Establishes version control for the personal Logseq DB fork before
starting the server-client architecture migration and domain features
described in docs/agent-guide and the approved implementation plan.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
This commit is contained in:
Darío Sevilla
2026-08-25 15:32:15 +02:00
commit 40631362b3
2016 changed files with 543898 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

46
cli/spec/runtime/auth_state.mli Normal file
View File

@@ -0,0 +1,46 @@
type auth_data = {
provider : string;
id_token : string option;
access_token : string option;
refresh_token : string option;
expires_at : Time.date option;
sub : string option;
email : Cli_primitive.email option;
updated_at : Time.date;
}
type login_result = {
auth_path : Cli_primitive.path;
authorize_url : Cli_primitive.url;
opened : bool;
email : Cli_primitive.email option;
sub : string option;
updated_at : Time.date;
}
type logout_result = {
auth_path : Cli_primitive.path;
deleted : bool;
logout_url : Cli_primitive.url;
opened : bool;
logout_completed : bool;
}
val default_auth_path : unit -> Cli_primitive.path
val auth_path : Cli_config.t -> Cli_primitive.path
val read_auth_file :
Cli_config.t -> auth_data option Error.build_result Cli_effect.t
val write_auth_file :
Cli_config.t -> auth_data -> auth_data Error.build_result Cli_effect.t
val delete_auth_file : Cli_config.t -> unit Error.build_result Cli_effect.t
val expired_auth : auth_data -> bool
val refresh_auth :
Cli_config.t -> auth_data -> auth_data Error.build_result Cli_effect.t
val resolve_auth : Cli_config.t -> auth_data Error.build_result Cli_effect.t
val login : Cli_config.t -> login_result Error.build_result Cli_effect.t
val logout : Cli_config.t -> logout_result Error.build_result Cli_effect.t