does OPL offer a mechanism for TransitiveCheck against… self? i have this invalid OPL: I would like, for ex, anyone who can

edit

to also have

something_else_editor_can_do

. this.permits is disallowed (logs make that very obvious), but is there some other syntax to evaluate a different permit on self? (

this.permit.install_draft

accomplished the same thing using code reuse, but that will only scale so far)

class GuideTemplate implements Namespace {
    related: {
        editors: SubjectSet<Group, "members">[]
        viewers: SubjectSet<Group, "members">[]
    }

    permits = {
        // either related group has view access
        view: (ctx: Context): boolean =>
            this.related.viewers.includes(ctx.subject) ||
            this.related.editors.includes(ctx.subject),

        // the related editors group can write
        edit: (ctx: Context): boolean => this.related.editors.includes(ctx.subject),

        // anyone who can view can install
        install: (ctx: Context): boolean =>
            this.related.viewers.includes(ctx.subject) ||
            this.related.editors.includes(ctx.subject),

        // editors can install regardless of publish state
        install_draft: (ctx: Context): boolean => this.related.editors.includes(ctx.subject),

        something_else_editor_can_do: (ctx: Context): boolean => this.permits.edit(ctx) 
    }
}

hm I guess we should allow that @narrow-van-43826 wdyt?

Yes, I can see that making sense.