openAgent

1export * as Permission from "./permission"
2 
3import { Schema } from "effect"
4import { optional } from "./schema"
5import { define, inventory } from "./event"
6import { ascending } from "./identifier"
7import { SessionID } from "./session-id"
8import { statics } from "./schema"
9 
10export const ID = Schema.String.check(Schema.isStartsWith("per")).pipe(
11  Schema.brand("PermissionV2.ID"),
12  statics((schema) => ({ create: (id?: string) => schema.make(id ?? "per_" + ascending()) })),
13)
14export type ID = typeof ID.Type
15 
16export const Source = Schema.Union([
17  Schema.Struct({
18    type: Schema.Literal("tool"),
19    messageID: Schema.String,
20    callID: Schema.String,
21  }),
22]).annotate({ identifier: "PermissionV2.Source" })
23export type Source = typeof Source.Type
24 
25const RequestFields = {
26  sessionID: SessionID,
27  action: Schema.String,
28  resources: Schema.Array(Schema.String),
29  save: Schema.Array(Schema.String).pipe(optional),
30  metadata: Schema.Record(Schema.String, Schema.Unknown).pipe(optional),
31  source: Source.pipe(optional),
32}
33 
34export const Request = Schema.Struct({
35  id: ID,
36  ...RequestFields,
37}).annotate({ identifier: "PermissionV2.Request" })
38export interface Request extends Schema.Schema.Type<typeof Request> {}
39 
40export const Reply = Schema.Literals(["once", "always", "reject"]).annotate({ identifier: "PermissionV2.Reply" })
41export type Reply = typeof Reply.Type
42 
43const Asked = define({ type: "permission.v2.asked", schema: Request.fields })
44const Replied = define({
45  type: "permission.v2.replied",
46  schema: {
47    sessionID: SessionID,
48    requestID: ID,
49    reply: Reply,
50  },
51})
52export const Event = { Asked, Replied, Definitions: inventory(Asked, Replied) }
53 
54export const Effect = Schema.Literals(["allow", "deny", "ask"]).annotate({ identifier: "PermissionV2.Effect" })
55export type Effect = typeof Effect.Type
56 
57export interface Rule extends Schema.Schema.Type<typeof Rule> {}
58export const Rule = Schema.Struct({
59  action: Schema.String,
60  resource: Schema.String,
61  effect: Effect,
62}).annotate({ identifier: "PermissionV2.Rule" })
63 
64export const Ruleset = Schema.Array(Rule).annotate({ identifier: "PermissionV2.Ruleset" })
65export type Ruleset = typeof Ruleset.Type
66