jurist 0.0.10 → 0.0.11

package/LICENSE

@@ -0,0 +1,5 @@
+Mozilla Public License Version 2.0
+
+This Source Code Form is subject to the terms of the Mozilla Public
+License, v. 2.0. If a copy of the MPL was not distributed with this
+file, You can obtain one at https://mozilla.org/MPL/2.0/.

package/dist/jurist.d.ts

@@ -1,15 +1,14 @@
 import { Join, Tree, TreePathName } from "treetrunks";
 export * from "treetrunks";
-
 //#region src/jurist.d.ts
-type Roles<L extends Laws<any, any, any, any>> = L extends Laws<infer Role, any, any, any> ? Role : never;
-type Permissions<L extends Laws<any, any, any, any>> = L extends Laws<any, any, infer Permission, any> ? Permission : never;
-type PermissionData<L extends Laws<any, any, any, any>, D> = Entries<Permissions<L>, D>;
-declare class Laws<Role extends string, PermissionTree extends Tree, Permission extends Join<TreePathName<PermissionTree>, `_`>, RolePermissions extends { [r in Role]: ReadonlySet<Permission> }> {
+export type Roles<L extends Laws<any, any, any, any>> = L extends Laws<infer Role, any, any, any> ? Role : never;
+export type Permissions<L extends Laws<any, any, any, any>> = L extends Laws<any, any, infer Permission, any> ? Permission : never;
+export type PermissionData<L extends Laws<any, any, any, any>, D> = Entries<Permissions<L>, D>;
+export declare class Laws<Role extends string, PermissionTree extends Tree, Permission extends Join<TreePathName<PermissionTree>, `_`>, RolePermissions extends { [r in Role]: ReadonlySet<Permission>; }> {
   readonly roles: Role[];
   readonly permissionTree: PermissionTree;
   readonly rolePermissions: RolePermissions;
-  protected readonly decompressedRolePermissions: { [r in Role]: ReadonlySet<string> };
+  protected readonly decompressedRolePermissions: { [r in Role]: ReadonlySet<string>; };
   constructor(options: {
     roles: Role[];
     permissions: PermissionTree;
@@ -17,8 +16,8 @@ declare class Laws<Role extends string, PermissionTree extends Tree, Permission
   });
   check(role: Role, permission: Permission): boolean;
 }
-type EscalatorStyle = `firstFound` | `lastFound` | `untilMiss`;
-declare class Escalator<S extends EscalatorStyle, L extends Laws<any, any, any, any>, P extends PermissionData<L, any>, D extends (P extends PermissionData<L, infer d> ? d : never), F> {
+export type EscalatorStyle = `firstFound` | `lastFound` | `untilMiss`;
+export declare class Escalator<S extends EscalatorStyle, L extends Laws<any, any, any, any>, P extends PermissionData<L, any>, D extends (P extends PermissionData<L, infer d> ? d : never), F> {
   readonly style: S;
   readonly laws: L;
   readonly permissionData: P;
@@ -31,8 +30,7 @@ declare class Escalator<S extends EscalatorStyle, L extends Laws<any, any, any,
   }>);
   get(role: Roles<L>): D | F;
 }
-type Count<N extends number, A extends any[] = []> = [...A, any][`length`] extends N ? A[`length`] : A[`length`] | Count<N, [...A, any]>;
+export type Count<N extends number, A extends any[] = []> = [...A, any][`length`] extends N ? A[`length`] : A[`length`] | Count<N, [...A, any]>;
 type Entries<K extends PropertyKey = PropertyKey, V = any> = [K, V][];
 //#endregion
-export { Count, Escalator, EscalatorStyle, Laws, PermissionData, Permissions, Roles };
 //# sourceMappingURL=jurist.d.ts.map

package/dist/jurist.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"jurist.d.ts","names":[],"sources":["../src/jurist.ts"],"mappings":";;;;KAIY,KAAA,WAAgB,IAAA,wBAC3B,CAAA,SAAU,IAAA,8BAAkC,IAAA;AAAA,KAEjC,WAAA,WAAsB,IAAA,wBACjC,CAAA,SAAU,IAAA,oCAAwC,UAAA;AAAA,KAEvC,cAAA,WAAyB,IAAA,2BAA+B,OAAA,CACnE,WAAA,CAAY,CAAA,GACZ,CAAA;AAAA,cAGY,IAAA,6CAEW,IAAA,qBACJ,IAAA,CAAK,YAAA,CAAa,cAAA,yCACL,IAAA,GAAO,WAAA,CAAY,UAAA;EAAA,SAEnC,KAAA,EAAO,IAAA;EAAA,SACP,cAAA,EAAgB,cAAA;EAAA,SAChB,eAAA,EAAiB,eAAA;EAAA,mBACd,2BAAA,UACZ,IAAA,GAAO,WAAA;EAGd,WAAA,CAAmB,OAAA;IAClB,KAAA,EAAO,IAAA;IACP,WAAA,EAAa,cAAA;IACb,eAAA,EAAiB,eAAA;EAAA;EAgBlB,KAAA,CAAa,IAAA,EAAM,IAAA,EAAM,UAAA,EAAY,UAAA;AAAA;AAAA,KAmB1B,cAAA;AAAA,cACC,SAAA,WACF,cAAA,YACA,IAAA,gCACA,cAAA,CAAe,CAAA,mBACf,CAAA,SAAU,cAAA,CAAe,CAAA,aAAc,CAAA;EAAA,SAGjC,KAAA,EAAO,CAAA;EAAA,SACP,IAAA,EAAM,CAAA;EAAA,SACN,cAAA,EAAgB,CAAA;EAAA,SAChB,QAAA,EAAU,CAAA;EAC1B,WAAA,CACC,OAAA,EAAS,QAAA;IACR,KAAA,EAAO,CAAA;IACP,IAAA,EAAM,CAAA;IACN,cAAA,EAAgB,CAAA;IAChB,QAAA,EAAU,CAAA;EAAA;EAUZ,GAAA,CAAW,IAAA,EAAM,KAAA,CAAM,CAAA,IAAK,CAAA,GAAI,CAAA;AAAA;AAAA,KAwBrB,KAAA,+CACR,CAAA,yBAEgB,CAAA,GACjB,CAAA,aACA,CAAA,aAAc,KAAA,CAAM,CAAA,MAAO,CAAA;AAAA,KAEzB,OAAA,WAAkB,WAAA,GAAc,WAAA,cAAyB,CAAA,EAAG,CAAA"}
+{"version":3,"file":"jurist.d.ts","names":[],"sources":["../src/jurist.ts"],"mappings":";;;YAIY,MAAM,UAAU,4BAC3B,UAAU,WAAW,uBAAuB;YAEjC,YAAY,UAAU,4BACjC,UAAU,qBAAqB,mBAAmB;YAEvC,eAAe,UAAU,0BAA0B,KAAK,QACnE,YAAY,IACZ;qBAGY,KACZ,qBACA,uBAAuB,MACvB,mBAAmB,KAAK,aAAa,uBACrC,2BAA2B,KAAK,OAAO,YAAY;WAEnC,OAAO;WACP,gBAAgB;WAChB,iBAAiB;qBACd,gCACjB,KAAK,OAAO;EAGd,YAAmB;IAClB,OAAO;IACP,aAAa;IACb,iBAAiB;;EAgBlB,MAAa,MAAM,MAAM,YAAY;;YAmB1B;qBACC,UACZ,UAAU,gBACV,UAAU,0BACV,UAAU,eAAe,SACzB,WAAW,UAAU,eAAe,SAAS,KAAK,YAClD;WAEgB,OAAO;WACP,MAAM;WACN,gBAAgB;WAChB,UAAU;EAC1B,YACC,SAAS;IACR,OAAO;IACP,MAAM;IACN,gBAAgB;IAChB,UAAU;;EAUZ,IAAW,MAAM,MAAM,KAAK,IAAI;;YAwBrB,MAAM,kBAAkB,4BAChC,0BAEgB,IACjB,cACA,cAAc,MAAM,OAAO;KAEzB,QAAQ,UAAU,cAAc,aAAa,YAAY,GAAG"}

package/dist/jurist.js.map

@@ -1 +1 @@
-{"version":3,"file":"jurist.js","names":[],"sources":["../src/jurist.ts"],"sourcesContent":["import type { Join, Tree, TreePathName } from \"treetrunks\"\n\nexport * from \"treetrunks\"\n\nexport type Roles<L extends Laws<any, any, any, any>> =\n\tL extends Laws<infer Role, any, any, any> ? Role : never\n\nexport type Permissions<L extends Laws<any, any, any, any>> =\n\tL extends Laws<any, any, infer Permission, any> ? Permission : never\n\nexport type PermissionData<L extends Laws<any, any, any, any>, D> = Entries<\n\tPermissions<L>,\n\tD\n>\n\nexport class Laws<\n\tRole extends string,\n\tPermissionTree extends Tree,\n\tPermission extends Join<TreePathName<PermissionTree>, `_`>,\n\tRolePermissions extends { [r in Role]: ReadonlySet<Permission> },\n> {\n\tpublic readonly roles: Role[]\n\tpublic readonly permissionTree: PermissionTree\n\tpublic readonly rolePermissions: RolePermissions\n\tprotected readonly decompressedRolePermissions: {\n\t\t[r in Role]: ReadonlySet<string>\n\t}\n\n\tpublic constructor(options: {\n\t\troles: Role[]\n\t\tpermissions: PermissionTree\n\t\trolePermissions: RolePermissions\n\t}) {\n\t\tconst { roles, permissions, rolePermissions } = options\n\t\tthis.roles = roles\n\t\tthis.permissionTree = permissions\n\t\tthis.rolePermissions = rolePermissions\n\t\tthis.decompressedRolePermissions = fromEntries(\n\t\t\ttoEntries<RolePermissions>(rolePermissions).map(\n\t\t\t\t([role, permissionsOfRole]) => [\n\t\t\t\t\trole,\n\t\t\t\t\tdecompressRolePermissions(permissionsOfRole),\n\t\t\t\t],\n\t\t\t),\n\t\t)\n\t}\n\n\tpublic check(role: Role, permission: Permission): boolean {\n\t\treturn this.decompressedRolePermissions[role].has(permission)\n\t}\n}\n\nfunction decompressRolePermissions(\n\tpermissionSet: ReadonlySet<string>,\n): ReadonlySet<string> {\n\tconst decompressed = new Set<string>(permissionSet)\n\tfor (const permission of permissionSet) {\n\t\tconst preconditions = permission.split(`_`)\n\t\tfor (let i = 0; i < preconditions.length - 1; i++) {\n\t\t\tconst subPermission = preconditions.slice(0, i + 1).join(`_`)\n\t\t\tdecompressed.add(subPermission)\n\t\t}\n\t}\n\treturn decompressed\n}\n\nexport type EscalatorStyle = `firstFound` | `lastFound` | `untilMiss`\nexport class Escalator<\n\tS extends EscalatorStyle,\n\tL extends Laws<any, any, any, any>,\n\tP extends PermissionData<L, any>,\n\tD extends P extends PermissionData<L, infer d> ? d : never,\n\tF,\n> {\n\tpublic readonly style: S\n\tpublic readonly laws: L\n\tpublic readonly permissionData: P\n\tpublic readonly fallback: F\n\tpublic constructor(\n\t\toptions: Readonly<{\n\t\t\tstyle: S\n\t\t\tlaws: L\n\t\t\tpermissionData: P\n\t\t\tfallback: F\n\t\t}>,\n\t) {\n\t\tconst { style, laws, permissionData, fallback } = options\n\t\tthis.style = style\n\t\tthis.laws = laws\n\t\tthis.permissionData = permissionData\n\t\tthis.fallback = fallback\n\t}\n\n\tpublic get(role: Roles<L>): D | F {\n\t\tlet result: D | F = this.fallback\n\t\tfor (const [permission, data] of this.permissionData) {\n\t\t\tconst hasPermission = this.laws.check(role, permission)\n\t\t\tswitch (this.style) {\n\t\t\t\tcase `firstFound`:\n\t\t\t\t\tif (hasPermission) return data\n\t\t\t\t\tbreak\n\t\t\t\tcase `lastFound`:\n\t\t\t\t\tif (hasPermission) result = data\n\t\t\t\t\tbreak\n\t\t\t\tcase `untilMiss`:\n\t\t\t\t\tif (hasPermission) result = data\n\t\t\t\t\telse return result\n\t\t\t}\n\t\t}\n\t\treturn result\n\t}\n}\n\ntype Flat<R extends { [K in PropertyKey]: any }> = {\n\t[K in keyof R]: R[K]\n}\n\nexport type Count<N extends number, A extends any[] = []> = [\n\t...A,\n\tany,\n][`length`] extends N\n\t? A[`length`]\n\t: A[`length`] | Count<N, [...A, any]>\n\ntype Entries<K extends PropertyKey = PropertyKey, V = any> = [K, V][]\n\ntype KeyOfEntries<E extends Entries> = E extends [infer K, any][] ? K : never\n\ntype ValueOfEntry<E extends Entries, K extends KeyOfEntries<E>> = {\n\t[P in Count<E[`length`]>]: E[P] extends [K, infer V] ? V : never\n}[Count<E[`length`]>]\n\ntype FromEntries<E extends Entries> = Flat<{\n\t[K in KeyOfEntries<E>]: ValueOfEntry<E, K>\n}>\n\nfunction fromEntries<E extends Entries>(entries: E): FromEntries<E> {\n\treturn Object.fromEntries(entries) as FromEntries<E>\n}\n\nfunction toEntries<T extends object>(obj: T): Entries<keyof T, T[keyof T]> {\n\treturn Object.entries(obj) as Entries<keyof T, T[keyof T]>\n}\n"],"mappings":";;AAeA,IAAa,OAAb,MAKE;CACD;CACA;CACA;CACA;CAIA,YAAmB,SAIhB;EACF,MAAM,EAAE,OAAO,aAAa,oBAAoB;EAChD,KAAK,QAAQ;EACb,KAAK,iBAAiB;EACtB,KAAK,kBAAkB;EACvB,KAAK,8BAA8B,YAClC,UAA2B,eAAe,CAAC,CAAC,KAC1C,CAAC,MAAM,uBAAuB,CAC9B,MACA,0BAA0B,iBAAiB,CAC5C,CACD,CACD;CACD;CAEA,MAAa,MAAY,YAAiC;EACzD,OAAO,KAAK,4BAA4B,KAAK,CAAC,IAAI,UAAU;CAC7D;AACD;AAEA,SAAS,0BACR,eACsB;CACtB,MAAM,eAAe,IAAI,IAAY,aAAa;CAClD,KAAK,MAAM,cAAc,eAAe;EACvC,MAAM,gBAAgB,WAAW,MAAM,GAAG;EAC1C,KAAK,IAAI,IAAI,GAAG,IAAI,cAAc,SAAS,GAAG,KAAK;GAClD,MAAM,gBAAgB,cAAc,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;GAC5D,aAAa,IAAI,aAAa;EAC/B;CACD;CACA,OAAO;AACR;AAGA,IAAa,YAAb,MAME;CACD;CACA;CACA;CACA;CACA,YACC,SAMC;EACD,MAAM,EAAE,OAAO,MAAM,gBAAgB,aAAa;EAClD,KAAK,QAAQ;EACb,KAAK,OAAO;EACZ,KAAK,iBAAiB;EACtB,KAAK,WAAW;CACjB;CAEA,IAAW,MAAuB;EACjC,IAAI,SAAgB,KAAK;EACzB,KAAK,MAAM,CAAC,YAAY,SAAS,KAAK,gBAAgB;GACrD,MAAM,gBAAgB,KAAK,KAAK,MAAM,MAAM,UAAU;GACtD,QAAQ,KAAK,OAAb;IACC,KAAK;KACJ,IAAI,eAAe,OAAO;KAC1B;IACD,KAAK;KACJ,IAAI,eAAe,SAAS;KAC5B;IACD,KAAK,aACJ,IAAI,eAAe,SAAS;SACvB,OAAO;GACd;EACD;EACA,OAAO;CACR;AACD;AAyBA,SAAS,YAA+B,SAA4B;CACnE,OAAO,OAAO,YAAY,OAAO;AAClC;AAEA,SAAS,UAA4B,KAAsC;CAC1E,OAAO,OAAO,QAAQ,GAAG;AAC1B"}
+{"version":3,"file":"jurist.js","names":[],"sources":["../src/jurist.ts"],"sourcesContent":["import type { Join, Tree, TreePathName } from \"treetrunks\"\n\nexport * from \"treetrunks\"\n\nexport type Roles<L extends Laws<any, any, any, any>> =\n\tL extends Laws<infer Role, any, any, any> ? Role : never\n\nexport type Permissions<L extends Laws<any, any, any, any>> =\n\tL extends Laws<any, any, infer Permission, any> ? Permission : never\n\nexport type PermissionData<L extends Laws<any, any, any, any>, D> = Entries<\n\tPermissions<L>,\n\tD\n>\n\nexport class Laws<\n\tRole extends string,\n\tPermissionTree extends Tree,\n\tPermission extends Join<TreePathName<PermissionTree>, `_`>,\n\tRolePermissions extends { [r in Role]: ReadonlySet<Permission> },\n> {\n\tpublic readonly roles: Role[]\n\tpublic readonly permissionTree: PermissionTree\n\tpublic readonly rolePermissions: RolePermissions\n\tprotected readonly decompressedRolePermissions: {\n\t\t[r in Role]: ReadonlySet<string>\n\t}\n\n\tpublic constructor(options: {\n\t\troles: Role[]\n\t\tpermissions: PermissionTree\n\t\trolePermissions: RolePermissions\n\t}) {\n\t\tconst { roles, permissions, rolePermissions } = options\n\t\tthis.roles = roles\n\t\tthis.permissionTree = permissions\n\t\tthis.rolePermissions = rolePermissions\n\t\tthis.decompressedRolePermissions = fromEntries(\n\t\t\ttoEntries<RolePermissions>(rolePermissions).map(\n\t\t\t\t([role, permissionsOfRole]) => [\n\t\t\t\t\trole,\n\t\t\t\t\tdecompressRolePermissions(permissionsOfRole),\n\t\t\t\t],\n\t\t\t),\n\t\t)\n\t}\n\n\tpublic check(role: Role, permission: Permission): boolean {\n\t\treturn this.decompressedRolePermissions[role].has(permission)\n\t}\n}\n\nfunction decompressRolePermissions(\n\tpermissionSet: ReadonlySet<string>,\n): ReadonlySet<string> {\n\tconst decompressed = new Set<string>(permissionSet)\n\tfor (const permission of permissionSet) {\n\t\tconst preconditions = permission.split(`_`)\n\t\tfor (let i = 0; i < preconditions.length - 1; i++) {\n\t\t\tconst subPermission = preconditions.slice(0, i + 1).join(`_`)\n\t\t\tdecompressed.add(subPermission)\n\t\t}\n\t}\n\treturn decompressed\n}\n\nexport type EscalatorStyle = `firstFound` | `lastFound` | `untilMiss`\nexport class Escalator<\n\tS extends EscalatorStyle,\n\tL extends Laws<any, any, any, any>,\n\tP extends PermissionData<L, any>,\n\tD extends (P extends PermissionData<L, infer d> ? d : never),\n\tF,\n> {\n\tpublic readonly style: S\n\tpublic readonly laws: L\n\tpublic readonly permissionData: P\n\tpublic readonly fallback: F\n\tpublic constructor(\n\t\toptions: Readonly<{\n\t\t\tstyle: S\n\t\t\tlaws: L\n\t\t\tpermissionData: P\n\t\t\tfallback: F\n\t\t}>,\n\t) {\n\t\tconst { style, laws, permissionData, fallback } = options\n\t\tthis.style = style\n\t\tthis.laws = laws\n\t\tthis.permissionData = permissionData\n\t\tthis.fallback = fallback\n\t}\n\n\tpublic get(role: Roles<L>): D | F {\n\t\tlet result: D | F = this.fallback\n\t\tfor (const [permission, data] of this.permissionData) {\n\t\t\tconst hasPermission = this.laws.check(role, permission)\n\t\t\tswitch (this.style) {\n\t\t\t\tcase `firstFound`:\n\t\t\t\t\tif (hasPermission) return data\n\t\t\t\t\tbreak\n\t\t\t\tcase `lastFound`:\n\t\t\t\t\tif (hasPermission) result = data\n\t\t\t\t\tbreak\n\t\t\t\tcase `untilMiss`:\n\t\t\t\t\tif (hasPermission) result = data\n\t\t\t\t\telse return result\n\t\t\t}\n\t\t}\n\t\treturn result\n\t}\n}\n\ntype Flat<R extends { [K in PropertyKey]: any }> = {\n\t[K in keyof R]: R[K]\n}\n\nexport type Count<N extends number, A extends any[] = []> = [\n\t...A,\n\tany,\n][`length`] extends N\n\t? A[`length`]\n\t: A[`length`] | Count<N, [...A, any]>\n\ntype Entries<K extends PropertyKey = PropertyKey, V = any> = [K, V][]\n\ntype KeyOfEntries<E extends Entries> = E extends [infer K, any][] ? K : never\n\ntype ValueOfEntry<E extends Entries, K extends KeyOfEntries<E>> = {\n\t[P in Count<E[`length`]>]: E[P] extends [K, infer V] ? V : never\n}[Count<E[`length`]>]\n\ntype FromEntries<E extends Entries> = Flat<{\n\t[K in KeyOfEntries<E>]: ValueOfEntry<E, K>\n}>\n\nfunction fromEntries<E extends Entries>(entries: E): FromEntries<E> {\n\treturn Object.fromEntries(entries) as FromEntries<E>\n}\n\nfunction toEntries<T extends object>(obj: T): Entries<keyof T, T[keyof T]> {\n\treturn Object.entries(obj) as Entries<keyof T, T[keyof T]>\n}\n"],"mappings":";;AAeA,IAAa,OAAb,MAKE;CACD;CACA;CACA;CACA;CAIA,YAAmB,SAIhB;EACF,MAAM,EAAE,OAAO,aAAa,oBAAoB;EAChD,KAAK,QAAQ;EACb,KAAK,iBAAiB;EACtB,KAAK,kBAAkB;EACvB,KAAK,8BAA8B,YAClC,UAA2B,eAAe,CAAC,CAAC,KAC1C,CAAC,MAAM,uBAAuB,CAC9B,MACA,0BAA0B,iBAAiB,CAC5C,CACD,CACD;CACD;CAEA,MAAa,MAAY,YAAiC;EACzD,OAAO,KAAK,4BAA4B,KAAK,CAAC,IAAI,UAAU;CAC7D;AACD;AAEA,SAAS,0BACR,eACsB;CACtB,MAAM,eAAe,IAAI,IAAY,aAAa;CAClD,KAAK,MAAM,cAAc,eAAe;EACvC,MAAM,gBAAgB,WAAW,MAAM,GAAG;EAC1C,KAAK,IAAI,IAAI,GAAG,IAAI,cAAc,SAAS,GAAG,KAAK;GAClD,MAAM,gBAAgB,cAAc,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;GAC5D,aAAa,IAAI,aAAa;EAC/B;CACD;CACA,OAAO;AACR;AAGA,IAAa,YAAb,MAME;CACD;CACA;CACA;CACA;CACA,YACC,SAMC;EACD,MAAM,EAAE,OAAO,MAAM,gBAAgB,aAAa;EAClD,KAAK,QAAQ;EACb,KAAK,OAAO;EACZ,KAAK,iBAAiB;EACtB,KAAK,WAAW;CACjB;CAEA,IAAW,MAAuB;EACjC,IAAI,SAAgB,KAAK;EACzB,KAAK,MAAM,CAAC,YAAY,SAAS,KAAK,gBAAgB;GACrD,MAAM,gBAAgB,KAAK,KAAK,MAAM,MAAM,UAAU;GACtD,QAAQ,KAAK,OAAb;IACC,KAAK;KACJ,IAAI,eAAe,OAAO;KAC1B;IACD,KAAK;KACJ,IAAI,eAAe,SAAS;KAC5B;IACD,KAAK,aACJ,IAAI,eAAe,SAAS;SACvB,OAAO;GACd;EACD;EACA,OAAO;CACR;AACD;AAyBA,SAAS,YAA+B,SAA4B;CACnE,OAAO,OAAO,YAAY,OAAO;AAClC;AAEA,SAAS,UAA4B,KAAsC;CAC1E,OAAO,OAAO,QAAQ,GAAG;AAC1B"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "jurist",
-  "version": "0.0.10",
-  "license": "MIT",
+  "version": "0.0.11",
+  "license": "MPL-2.0",
   "author": {
     "name": "Jeremy Banka",
     "email": "hello@jeremybanka.com"
@@ -21,22 +21,22 @@
   ],
   "main": "dist/jurist.js",
   "dependencies": {
-    "treetrunks": "0.1.8"
+    "treetrunks": "0.1.9"
   },
   "devDependencies": {
-    "@typescript/native-preview": "7.0.0-dev.20260611.2",
-    "concurrently": "10.0.3",
-    "eslint": "10.4.1",
-    "tsdown": "0.22.2",
-    "vite": "8.0.16",
-    "vitest": "4.1.8"
+    "typescript": "7.0.2",
+    "concurrently": "10.0.5",
+    "eslint": "10.9.0",
+    "tsdown": "0.22.14",
+    "vite": "8.2.2",
+    "vitest": "4.1.11"
   },
   "scripts": {
     "build": "tsdown",
     "lint:eslint": "eslint -- .",
     "lint:oxlint": "oxlint --type-aware -c ../../.oxlintrc.jsonc .",
-    "lint:types": "tsgo --noEmit",
-    "watch:types": "tsgo --watch --noEmit",
+    "lint:types": "tsc --noEmit",
+    "watch:types": "tsc --watch --noEmit",
     "lint": "concurrently \"bun:lint:*\"",
     "test": "vitest",
     "test:once": "vitest run",

package/src/jurist.ts

@@ -69,7 +69,7 @@ export class Escalator<
 	S extends EscalatorStyle,
 	L extends Laws<any, any, any, any>,
 	P extends PermissionData<L, any>,
-	D extends P extends PermissionData<L, infer d> ? d : never,
+	D extends (P extends PermissionData<L, infer d> ? d : never),
 	F,
 > {
 	public readonly style: S