@vorionsys/contracts 0.1.2 → 0.1.3

package/dist/car/effective-permission.d.ts

@@ -13,6 +13,33 @@
 import { z } from 'zod';
 import { CapabilityLevel } from './levels.js';
 import { CertificationTier, RuntimeTier } from './tiers.js';
+/**
+ * Supervision elevation for effective permission calculation.
+ *
+ * When an agent operates under a higher-tier supervisor, it can be
+ * granted temporary tier elevation of up to +2 tiers above its base
+ * certification tier. The effective elevation is always capped at
+ * (supervisorTier - 1) and T7_AUTONOMOUS.
+ */
+export interface SupervisionElevation {
+    /** Certification tier of the supervisor */
+    supervisorTier: CertificationTier;
+    /** Number of elevation tiers granted (0 to MAX_SUPERVISION_ELEVATION) */
+    grantedElevation: number;
+}
+/**
+ * Zod schema for SupervisionElevation.
+ */
+export declare const supervisionElevationSchema: z.ZodObject<{
+    supervisorTier: z.ZodNativeEnum<typeof CertificationTier>;
+    grantedElevation: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    supervisorTier: CertificationTier;
+    grantedElevation: number;
+}, {
+    supervisorTier: CertificationTier;
+    grantedElevation: number;
+}>;
 /**
  * Context for calculating effective permissions.
  *
@@ -22,9 +49,10 @@ import { CertificationTier, RuntimeTier } from './tiers.js';
  * - runtimeTier: Deployment-specific autonomy level
  * - observabilityCeiling: Maximum level based on observability requirements
  * - contextPolicyCeiling: Maximum level based on current context policy
+ * - supervisionElevation: Optional tier boost from supervisor (max +2)
  */
 export interface EffectivePermissionContext {
-    /** ACI certification tier (external attestation status) */
+    /** CAR ID certification tier (external attestation status) */
     certificationTier: CertificationTier;
     /** Agent's competence/capability level */
     competenceLevel: CapabilityLevel;
@@ -34,6 +62,8 @@ export interface EffectivePermissionContext {
     observabilityCeiling: number;
     /** Maximum level based on context policy (0-7) */
     contextPolicyCeiling: number;
+    /** Optional supervision elevation (can raise effective tier by up to +2) */
+    supervisionElevation?: SupervisionElevation;
 }
 /**
  * Zod schema for EffectivePermissionContext.
@@ -44,18 +74,36 @@ export declare const effectivePermissionContextSchema: z.ZodObject<{
     runtimeTier: z.ZodNativeEnum<typeof RuntimeTier>;
     observabilityCeiling: z.ZodNumber;
     contextPolicyCeiling: z.ZodNumber;
+    supervisionElevation: z.ZodOptional<z.ZodObject<{
+        supervisorTier: z.ZodNativeEnum<typeof CertificationTier>;
+        grantedElevation: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        supervisorTier: CertificationTier;
+        grantedElevation: number;
+    }, {
+        supervisorTier: CertificationTier;
+        grantedElevation: number;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     certificationTier: CertificationTier;
     runtimeTier: RuntimeTier;
     competenceLevel: CapabilityLevel;
     observabilityCeiling: number;
     contextPolicyCeiling: number;
+    supervisionElevation?: {
+        supervisorTier: CertificationTier;
+        grantedElevation: number;
+    } | undefined;
 }, {
     certificationTier: CertificationTier;
     runtimeTier: RuntimeTier;
     competenceLevel: CapabilityLevel;
     observabilityCeiling: number;
     contextPolicyCeiling: number;
+    supervisionElevation?: {
+        supervisorTier: CertificationTier;
+        grantedElevation: number;
+    } | undefined;
 }>;
 /**
  * Result of effective permission calculation.
@@ -75,7 +123,7 @@ export interface EffectivePermission {
 /**
  * Factors that can constrain effective permission.
  */
-export type ConstrainingFactor = 'certification_tier' | 'competence_level' | 'runtime_tier' | 'observability_ceiling' | 'context_policy_ceiling' | 'multiple';
+export type ConstrainingFactor = 'certification_tier' | 'competence_level' | 'runtime_tier' | 'observability_ceiling' | 'context_policy_ceiling' | 'supervision_elevation' | 'multiple';
 /**
  * Individual ceiling values applied to permission calculation.
  */
@@ -94,7 +142,7 @@ export interface PermissionCeilings {
 /**
  * Zod schema for ConstrainingFactor.
  */
-export declare const constrainingFactorSchema: z.ZodEnum<["certification_tier", "competence_level", "runtime_tier", "observability_ceiling", "context_policy_ceiling", "multiple"]>;
+export declare const constrainingFactorSchema: z.ZodEnum<["certification_tier", "competence_level", "runtime_tier", "observability_ceiling", "context_policy_ceiling", "supervision_elevation", "multiple"]>;
 /**
  * Zod schema for PermissionCeilings.
  */
@@ -123,7 +171,7 @@ export declare const permissionCeilingsSchema: z.ZodObject<{
 export declare const effectivePermissionSchema: z.ZodObject<{
     level: z.ZodNativeEnum<typeof CapabilityLevel>;
     constrained: z.ZodBoolean;
-    constrainingFactor: z.ZodOptional<z.ZodEnum<["certification_tier", "competence_level", "runtime_tier", "observability_ceiling", "context_policy_ceiling", "multiple"]>>;
+    constrainingFactor: z.ZodOptional<z.ZodEnum<["certification_tier", "competence_level", "runtime_tier", "observability_ceiling", "context_policy_ceiling", "supervision_elevation", "multiple"]>>;
     ceilings: z.ZodObject<{
         certificationCeiling: z.ZodNativeEnum<typeof CapabilityLevel>;
         competenceCeiling: z.ZodNativeEnum<typeof CapabilityLevel>;
@@ -154,7 +202,7 @@ export declare const effectivePermissionSchema: z.ZodObject<{
         competenceCeiling: CapabilityLevel;
         runtimeCeiling: CapabilityLevel;
     };
-    constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "multiple" | undefined;
+    constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "supervision_elevation" | "multiple" | undefined;
     recommendations?: string[] | undefined;
 }, {
     level: CapabilityLevel;
@@ -166,7 +214,7 @@ export declare const effectivePermissionSchema: z.ZodObject<{
         competenceCeiling: CapabilityLevel;
         runtimeCeiling: CapabilityLevel;
     };
-    constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "multiple" | undefined;
+    constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "supervision_elevation" | "multiple" | undefined;
     recommendations?: string[] | undefined;
 }>;
 /**
@@ -247,7 +295,7 @@ export declare const permissionCheckResultSchema: z.ZodObject<{
     permission: z.ZodObject<{
         level: z.ZodNativeEnum<typeof CapabilityLevel>;
         constrained: z.ZodBoolean;
-        constrainingFactor: z.ZodOptional<z.ZodEnum<["certification_tier", "competence_level", "runtime_tier", "observability_ceiling", "context_policy_ceiling", "multiple"]>>;
+        constrainingFactor: z.ZodOptional<z.ZodEnum<["certification_tier", "competence_level", "runtime_tier", "observability_ceiling", "context_policy_ceiling", "supervision_elevation", "multiple"]>>;
         ceilings: z.ZodObject<{
             certificationCeiling: z.ZodNativeEnum<typeof CapabilityLevel>;
             competenceCeiling: z.ZodNativeEnum<typeof CapabilityLevel>;
@@ -278,7 +326,7 @@ export declare const permissionCheckResultSchema: z.ZodObject<{
             competenceCeiling: CapabilityLevel;
             runtimeCeiling: CapabilityLevel;
         };
-        constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "multiple" | undefined;
+        constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "supervision_elevation" | "multiple" | undefined;
         recommendations?: string[] | undefined;
     }, {
         level: CapabilityLevel;
@@ -290,7 +338,7 @@ export declare const permissionCheckResultSchema: z.ZodObject<{
             competenceCeiling: CapabilityLevel;
             runtimeCeiling: CapabilityLevel;
         };
-        constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "multiple" | undefined;
+        constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "supervision_elevation" | "multiple" | undefined;
         recommendations?: string[] | undefined;
     }>;
 }, "strip", z.ZodTypeAny, {
@@ -305,7 +353,7 @@ export declare const permissionCheckResultSchema: z.ZodObject<{
             competenceCeiling: CapabilityLevel;
             runtimeCeiling: CapabilityLevel;
         };
-        constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "multiple" | undefined;
+        constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "supervision_elevation" | "multiple" | undefined;
         recommendations?: string[] | undefined;
     };
     effectiveLevel: CapabilityLevel;
@@ -323,7 +371,7 @@ export declare const permissionCheckResultSchema: z.ZodObject<{
             competenceCeiling: CapabilityLevel;
             runtimeCeiling: CapabilityLevel;
         };
-        constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "multiple" | undefined;
+        constrainingFactor?: "certification_tier" | "competence_level" | "runtime_tier" | "observability_ceiling" | "context_policy_ceiling" | "supervision_elevation" | "multiple" | undefined;
         recommendations?: string[] | undefined;
     };
     effectiveLevel: CapabilityLevel;

package/dist/car/effective-permission.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"effective-permission.d.ts","sourceRoot":"","sources":["../../src/car/effective-permission.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAyB,MAAM,aAAa,CAAC;AACrE,OAAO,EACL,iBAAiB,EAEjB,WAAW,EAGZ,MAAM,YAAY,CAAC;AAMpB;;;;;;;;;GASG;AACH,MAAM,WAAW,0BAA0B;IACzC,2DAA2D;IAC3D,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,0CAA0C;IAC1C,eAAe,EAAE,eAAe,CAAC;IACjC,gDAAgD;IAChD,WAAW,EAAE,WAAW,CAAC;IACzB,8DAA8D;IAC9D,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kDAAkD;IAClD,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;EAM3C,CAAC;AAMH;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,+DAA+D;IAC/D,KAAK,EAAE,eAAe,CAAC;IACvB,kDAAkD;IAClD,WAAW,EAAE,OAAO,CAAC;IACrB,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,kDAAkD;IAClD,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,0DAA0D;IAC1D,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,oBAAoB,GACpB,kBAAkB,GAClB,cAAc,GACd,uBAAuB,GACvB,wBAAwB,GACxB,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,sCAAsC;IACtC,oBAAoB,EAAE,eAAe,CAAC;IACtC,oCAAoC;IACpC,iBAAiB,EAAE,eAAe,CAAC;IACnC,gCAAgC;IAChC,cAAc,EAAE,eAAe,CAAC;IAChC,8CAA8C;IAC9C,oBAAoB,EAAE,eAAe,CAAC;IACtC,kCAAkC;IAClC,oBAAoB,EAAE,eAAe,CAAC;CACvC;AAED;;GAEG;AACH,eAAO,MAAM,wBAAwB,sIAOnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;EAMnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMpC,CAAC;AA6BH;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,0BAA0B,GAC9B,mBAAmB,CAsFrB;AAMD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,mBAAmB,EAC/B,aAAa,EAAE,eAAe,GAC7B,OAAO,CAET;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,0BAA0B,EAC/B,aAAa,EAAE,eAAe,GAC7B,OAAO,CAGT;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,6CAA6C;IAC7C,OAAO,EAAE,OAAO,CAAC;IACjB,qCAAqC;IACrC,cAAc,EAAE,eAAe,CAAC;IAChC,0BAA0B;IAC1B,cAAc,EAAE,eAAe,CAAC;IAChC,yDAAyD;IACzD,QAAQ,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,UAAU,EAAE,mBAAmB,CAAC;CACjC;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,0BAA0B,EAC/B,aAAa,EAAE,eAAe,GAC7B,qBAAqB,CAUvB;AAED;;GAEG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMtC,CAAC;AAMH;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,0BAA0B,EAC/B,MAAM,EAAE,OAAO,CAAC,kBAAkB,EAAE,UAAU,CAAC,EAC/C,QAAQ,EAAE,MAAM,GACf,0BAA0B,CAsB5B;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,0BAA0B,EAC/B,WAAW,EAAE,eAAe,GAC3B,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAqCtD;AAMD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,CAAC,EAAE,OAAO,CAAC,0BAA0B,CAAC,GAC9C,0BAA0B,CAS5B;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,IAAI,0BAA0B,CAQvE;AAMD;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,0BAA0B,CAUrC;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,mBAAmB,CAQlF"}
+{"version":3,"file":"effective-permission.d.ts","sourceRoot":"","sources":["../../src/car/effective-permission.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAyB,MAAM,aAAa,CAAC;AACrE,OAAO,EACL,iBAAiB,EAEjB,WAAW,EAGZ,MAAM,YAAY,CAAC;AAOpB;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC,2CAA2C;IAC3C,cAAc,EAAE,iBAAiB,CAAC;IAClC,yEAAyE;IACzE,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,eAAO,MAAM,0BAA0B;;;;;;;;;EAGrC,CAAC;AAEH;;;;;;;;;;GAUG;AACH,MAAM,WAAW,0BAA0B;IACzC,8DAA8D;IAC9D,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,0CAA0C;IAC1C,eAAe,EAAE,eAAe,CAAC;IACjC,gDAAgD;IAChD,WAAW,EAAE,WAAW,CAAC;IACzB,8DAA8D;IAC9D,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kDAAkD;IAClD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,4EAA4E;IAC5E,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;CAC7C;AAED;;GAEG;AACH,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO3C,CAAC;AAMH;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,+DAA+D;IAC/D,KAAK,EAAE,eAAe,CAAC;IACvB,kDAAkD;IAClD,WAAW,EAAE,OAAO,CAAC;IACrB,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,kDAAkD;IAClD,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,0DAA0D;IAC1D,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,oBAAoB,GACpB,kBAAkB,GAClB,cAAc,GACd,uBAAuB,GACvB,wBAAwB,GACxB,uBAAuB,GACvB,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,sCAAsC;IACtC,oBAAoB,EAAE,eAAe,CAAC;IACtC,oCAAoC;IACpC,iBAAiB,EAAE,eAAe,CAAC;IACnC,gCAAgC;IAChC,cAAc,EAAE,eAAe,CAAC;IAChC,8CAA8C;IAC9C,oBAAoB,EAAE,eAAe,CAAC;IACtC,kCAAkC;IAClC,oBAAoB,EAAE,eAAe,CAAC;CACvC;AAED;;GAEG;AACH,eAAO,MAAM,wBAAwB,+JAQnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;EAMnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMpC,CAAC;AA6BH;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,0BAA0B,GAC9B,mBAAmB,CAqGrB;AAMD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,mBAAmB,EAC/B,aAAa,EAAE,eAAe,GAC7B,OAAO,CAET;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,0BAA0B,EAC/B,aAAa,EAAE,eAAe,GAC7B,OAAO,CAGT;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,6CAA6C;IAC7C,OAAO,EAAE,OAAO,CAAC;IACjB,qCAAqC;IACrC,cAAc,EAAE,eAAe,CAAC;IAChC,0BAA0B;IAC1B,cAAc,EAAE,eAAe,CAAC;IAChC,yDAAyD;IACzD,QAAQ,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,UAAU,EAAE,mBAAmB,CAAC;CACjC;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,0BAA0B,EAC/B,aAAa,EAAE,eAAe,GAC7B,qBAAqB,CAUvB;AAED;;GAEG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMtC,CAAC;AAMH;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,0BAA0B,EAC/B,MAAM,EAAE,OAAO,CAAC,kBAAkB,EAAE,UAAU,CAAC,EAC/C,QAAQ,EAAE,MAAM,GACf,0BAA0B,CA8B5B;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,0BAA0B,EAC/B,WAAW,EAAE,eAAe,GAC3B,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAqCtD;AAMD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,CAAC,EAAE,OAAO,CAAC,0BAA0B,CAAC,GAC9C,0BAA0B,CAS5B;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,IAAI,0BAA0B,CAQvE;AAMD;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,0BAA0B,CAUrC;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,mBAAmB,CAQlF"}

package/dist/car/effective-permission.js

@@ -12,7 +12,7 @@
  * @module @vorionsys/contracts/car/effective-permission
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.permissionCheckResultSchema = exports.effectivePermissionSchema = exports.permissionCeilingsSchema = exports.constrainingFactorSchema = exports.effectivePermissionContextSchema = void 0;
+exports.permissionCheckResultSchema = exports.effectivePermissionSchema = exports.permissionCeilingsSchema = exports.constrainingFactorSchema = exports.effectivePermissionContextSchema = exports.supervisionElevationSchema = void 0;
 exports.calculateEffectivePermission = calculateEffectivePermission;
 exports.permissionAllowsLevel = permissionAllowsLevel;
 exports.contextAllowsLevel = contextAllowsLevel;
@@ -26,6 +26,14 @@ exports.isEffectivePermission = isEffectivePermission;
 const zod_1 = require("zod");
 const levels_js_1 = require("./levels.js");
 const tiers_js_1 = require("./tiers.js");
+const identity_js_1 = require("./identity.js");
+/**
+ * Zod schema for SupervisionElevation.
+ */
+exports.supervisionElevationSchema = zod_1.z.object({
+    supervisorTier: tiers_js_1.certificationTierSchema,
+    grantedElevation: zod_1.z.number().int().min(0).max(identity_js_1.MAX_SUPERVISION_ELEVATION),
+});
 /**
  * Zod schema for EffectivePermissionContext.
  */
@@ -35,6 +43,7 @@ exports.effectivePermissionContextSchema = zod_1.z.object({
     runtimeTier: tiers_js_1.runtimeTierSchema,
     observabilityCeiling: zod_1.z.number().int().min(0).max(7),
     contextPolicyCeiling: zod_1.z.number().int().min(0).max(7),
+    supervisionElevation: exports.supervisionElevationSchema.optional(),
 });
 /**
  * Zod schema for ConstrainingFactor.
@@ -45,6 +54,7 @@ exports.constrainingFactorSchema = zod_1.z.enum([
     'runtime_tier',
     'observability_ceiling',
     'context_policy_ceiling',
+    'supervision_elevation',
     'multiple',
 ]);
 /**
@@ -120,7 +130,17 @@ function runtimeTierToCeiling(tier) {
  */
 function calculateEffectivePermission(ctx) {
     // Calculate individual ceilings
-    const certificationCeiling = certificationTierToCeiling(ctx.certificationTier);
+    // If supervision elevation is active, boost the certification ceiling
+    let effectiveCertTier = ctx.certificationTier;
+    if (ctx.supervisionElevation) {
+        const { supervisorTier, grantedElevation } = ctx.supervisionElevation;
+        const elevation = Math.min(grantedElevation, identity_js_1.MAX_SUPERVISION_ELEVATION);
+        const supervisorCap = Math.max(0, supervisorTier - 1);
+        effectiveCertTier = Math.min(ctx.certificationTier + elevation, supervisorCap, tiers_js_1.CertificationTier.T7_AUTONOMOUS);
+        // Elevation can never lower the base tier
+        effectiveCertTier = Math.max(ctx.certificationTier, effectiveCertTier);
+    }
+    const certificationCeiling = certificationTierToCeiling(effectiveCertTier);
     const competenceCeiling = ctx.competenceLevel;
     const runtimeCeiling = runtimeTierToCeiling(ctx.runtimeTier);
     const observabilityCeiling = Math.min(7, Math.max(0, ctx.observabilityCeiling));
@@ -262,6 +282,14 @@ function modifyContextCeiling(ctx, factor, newValue) {
         case 'context_policy_ceiling':
             newCtx.contextPolicyCeiling = Math.min(7, Math.max(0, newValue));
             break;
+        case 'supervision_elevation':
+            if (newCtx.supervisionElevation) {
+                newCtx.supervisionElevation = {
+                    ...newCtx.supervisionElevation,
+                    grantedElevation: Math.min(identity_js_1.MAX_SUPERVISION_ELEVATION, Math.max(0, newValue)),
+                };
+            }
+            break;
     }
     return newCtx;
 }

package/dist/car/effective-permission.js.map

@@ -1 +1 @@
-{"version":3,"file":"effective-permission.js","sourceRoot":"","sources":["../../src/car/effective-permission.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAyLH,oEAwFC;AAaD,sDAKC;AASD,gDAMC;AAyBD,0CAaC;AAyBD,oDA0BC;AASD,4DAwCC;AAYD,oDAWC;AAOD,gEAQC;AASD,oEAYC;AAKD,sDAQC;AAlgBD,6BAAwB;AACxB,2CAAqE;AACrE,yCAMoB;AA6BpB;;GAEG;AACU,QAAA,gCAAgC,GAAG,OAAC,CAAC,MAAM,CAAC;IACvD,iBAAiB,EAAE,kCAAuB;IAC1C,eAAe,EAAE,iCAAqB;IACtC,WAAW,EAAE,4BAAiB;IAC9B,oBAAoB,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,oBAAoB,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACrD,CAAC,CAAC;AAiDH;;GAEG;AACU,QAAA,wBAAwB,GAAG,OAAC,CAAC,IAAI,CAAC;IAC7C,oBAAoB;IACpB,kBAAkB;IAClB,cAAc;IACd,uBAAuB;IACvB,wBAAwB;IACxB,UAAU;CACX,CAAC,CAAC;AAEH;;GAEG;AACU,QAAA,wBAAwB,GAAG,OAAC,CAAC,MAAM,CAAC;IAC/C,oBAAoB,EAAE,iCAAqB;IAC3C,iBAAiB,EAAE,iCAAqB;IACxC,cAAc,EAAE,iCAAqB;IACrC,oBAAoB,EAAE,iCAAqB;IAC3C,oBAAoB,EAAE,iCAAqB;CAC5C,CAAC,CAAC;AAEH;;GAEG;AACU,QAAA,yBAAyB,GAAG,OAAC,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,iCAAqB;IAC5B,WAAW,EAAE,OAAC,CAAC,OAAO,EAAE;IACxB,kBAAkB,EAAE,gCAAwB,CAAC,QAAQ,EAAE;IACvD,QAAQ,EAAE,gCAAwB;IAClC,eAAe,EAAE,OAAC,CAAC,KAAK,CAAC,OAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAChD,CAAC,CAAC;AAEH,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;GAEG;AACH,SAAS,0BAA0B,CAAC,IAAuB;IACzD,OAAO,qCAA0B,CAAC,IAAI,CAAC,CAAC,kBAAqC,CAAC;AAChF,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,IAAiB;IAC7C,6CAA6C;IAC7C,oCAAoC;IACpC,oCAAoC;IACpC,iCAAiC;IACjC,iCAAiC;IACjC,mCAAmC;IACnC,iCAAiC;IACjC,mCAAmC;IACnC,qCAAqC;IACrC,OAAO,IAAkC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,SAAgB,4BAA4B,CAC1C,GAA+B;IAE/B,gCAAgC;IAChC,MAAM,oBAAoB,GAAG,0BAA0B,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC/E,MAAM,iBAAiB,GAAG,GAAG,CAAC,eAAe,CAAC;IAC9C,MAAM,cAAc,GAAG,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC7D,MAAM,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAoB,CAAC;IACnG,MAAM,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAoB,CAAC;IAEnG,MAAM,QAAQ,GAAuB;QACnC,oBAAoB;QACpB,iBAAiB;QACjB,cAAc;QACd,oBAAoB;QACpB,oBAAoB;KACrB,CAAC;IAEF,2BAA2B;IAC3B,MAAM,WAAW,GAAG;QAClB,EAAE,MAAM,EAAE,oBAA6B,EAAE,KAAK,EAAE,oBAAoB,EAAE;QACtE,EAAE,MAAM,EAAE,kBAA2B,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACjE,EAAE,MAAM,EAAE,cAAuB,EAAE,KAAK,EAAE,cAAc,EAAE;QAC1D,EAAE,MAAM,EAAE,uBAAgC,EAAE,KAAK,EAAE,oBAAoB,EAAE;QACzE,EAAE,MAAM,EAAE,wBAAiC,EAAE,KAAK,EAAE,oBAAoB,EAAE;KAC3E,CAAC;IAEF,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAoB,CAAC;IACxF,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,eAAe,CAAC,CAAC;IAEnF,uCAAuC;IACvC,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAC/B,oBAAoB,EACpB,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,oBAAoB,CACrB,CAAC;IACF,MAAM,WAAW,GAAG,eAAe,GAAG,gBAAgB,CAAC;IAEvD,IAAI,kBAAkD,CAAC;IACvD,IAAI,WAAW,EAAE,CAAC;QAChB,kBAAkB,GAAG,mBAAmB,CAAC,MAAM,GAAG,CAAC;YACjD,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;IACrC,CAAC;IAED,2BAA2B;IAC3B,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;YACrC,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC;gBAClB,KAAK,oBAAoB;oBACvB,eAAe,CAAC,IAAI,CAClB,oCAAoC,GAAG,CAAC,iBAAiB,qCAAqC,CAC/F,CAAC;oBACF,MAAM;gBACR,KAAK,cAAc;oBACjB,eAAe,CAAC,IAAI,CAClB,qCAAqC,GAAG,CAAC,WAAW,0BAA0B,CAC/E,CAAC;oBACF,MAAM;gBACR,KAAK,uBAAuB;oBAC1B,eAAe,CAAC,IAAI,CAClB,0EAA0E,CAC3E,CAAC;oBACF,MAAM;gBACR,KAAK,wBAAwB;oBAC3B,eAAe,CAAC,IAAI,CAClB,6EAA6E,CAC9E,CAAC;oBACF,MAAM;gBACR,KAAK,kBAAkB;oBACrB,eAAe,CAAC,IAAI,CAClB,oDAAoD,CACrD,CAAC;oBACF,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,eAAe;QACtB,WAAW;QACX,kBAAkB;QAClB,QAAQ;QACR,eAAe,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;KAC1E,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E;;;;;;GAMG;AACH,SAAgB,qBAAqB,CACnC,UAA+B,EAC/B,aAA8B;IAE9B,OAAO,UAAU,CAAC,KAAK,IAAI,aAAa,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,kBAAkB,CAChC,GAA+B,EAC/B,aAA8B;IAE9B,MAAM,UAAU,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;IACrD,OAAO,qBAAqB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAC1D,CAAC;AAkBD;;;;;;GAMG;AACH,SAAgB,eAAe,CAC7B,GAA+B,EAC/B,aAA8B;IAE9B,MAAM,UAAU,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;IAErD,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,KAAK,IAAI,aAAa;QAC1C,cAAc,EAAE,UAAU,CAAC,KAAK;QAChC,cAAc,EAAE,aAAa;QAC7B,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,GAAG,UAAU,CAAC,KAAK,CAAC;QACvD,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;GAEG;AACU,QAAA,2BAA2B,GAAG,OAAC,CAAC,MAAM,CAAC;IAClD,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE;IACpB,cAAc,EAAE,iCAAqB;IACrC,cAAc,EAAE,iCAAqB;IACrC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,UAAU,EAAE,iCAAyB;CACtC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,0BAA0B;AAC1B,+EAA+E;AAE/E;;;;;;;GAOG;AACH,SAAgB,oBAAoB,CAClC,GAA+B,EAC/B,MAA+C,EAC/C,QAAgB;IAEhB,MAAM,MAAM,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC;IAE1B,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,MAAM,CAAC,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAsB,CAAC;YACnF,MAAM;QACR,KAAK,kBAAkB;YACrB,MAAM,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAoB,CAAC;YAC/E,MAAM;QACR,KAAK,cAAc;YACjB,MAAM,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAgB,CAAC;YACvE,MAAM;QACR,KAAK,uBAAuB;YAC1B,MAAM,CAAC,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;YACjE,MAAM;QACR,KAAK,wBAAwB;YAC3B,MAAM,CAAC,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;YACjE,MAAM;IACV,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,wBAAwB,CACtC,GAA+B,EAC/B,WAA4B;IAE5B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmD,CAAC;IAC3E,MAAM,UAAU,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;IAErD,IAAI,UAAU,CAAC,KAAK,IAAI,WAAW,EAAE,CAAC;QACpC,OAAO,OAAO,CAAC,CAAC,oBAAoB;IACtC,CAAC;IAED,0DAA0D;IAC1D,MAAM,oBAAoB,GAAG,UAAU,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACtE,IAAI,oBAAoB,GAAG,WAAW,EAAE,CAAC;QACvC,iCAAiC;QACjC,KAAK,IAAI,IAAI,GAAG,GAAG,CAAC,iBAAiB,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;YAC7D,IAAI,0BAA0B,CAAC,IAAyB,CAAC,IAAI,WAAW,EAAE,CAAC;gBACzE,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,CAAC,CAAC;gBACxC,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,CAAC,iBAAiB,GAAG,WAAW,EAAE,CAAC;QACxD,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,CAAC,cAAc,GAAG,WAAW,EAAE,CAAC;QACrD,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,CAAC,oBAAoB,GAAG,WAAW,EAAE,CAAC;QAC3D,OAAO,CAAC,GAAG,CAAC,uBAAuB,EAAE,WAAW,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,CAAC,oBAAoB,GAAG,WAAW,EAAE,CAAC;QAC3D,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,WAAW,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,kBAAkB;AAClB,+EAA+E;AAE/E;;;;;GAKG;AACH,SAAgB,oBAAoB,CAClC,SAA+C;IAE/C,OAAO;QACL,iBAAiB,EAAE,4BAAiB,CAAC,UAAU;QAC/C,eAAe,EAAE,2BAAe,CAAC,UAAU;QAC3C,WAAW,EAAE,sBAAW,CAAC,UAAU;QACnC,oBAAoB,EAAE,CAAC;QACvB,oBAAoB,EAAE,CAAC;QACvB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,0BAA0B;IACxC,OAAO;QACL,iBAAiB,EAAE,4BAAiB,CAAC,aAAa;QAClD,eAAe,EAAE,2BAAe,CAAC,aAAa;QAC9C,WAAW,EAAE,sBAAW,CAAC,aAAa;QACtC,oBAAoB,EAAE,CAAC;QACvB,oBAAoB,EAAE,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E;;GAEG;AACH,SAAgB,4BAA4B,CAC1C,KAAc;IAEd,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,mBAAmB,IAAI,KAAK;QAC5B,iBAAiB,IAAI,KAAK;QAC1B,aAAa,IAAI,KAAK;QACtB,sBAAsB,IAAI,KAAK;QAC/B,sBAAsB,IAAI,KAAK,CAChC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,qBAAqB,CAAC,KAAc;IAClD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,IAAI,KAAK;QAChB,aAAa,IAAI,KAAK;QACtB,UAAU,IAAI,KAAK,CACpB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"effective-permission.js","sourceRoot":"","sources":["../../src/car/effective-permission.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAuNH,oEAuGC;AAaD,sDAKC;AASD,gDAMC;AAyBD,0CAaC;AAyBD,oDAkCC;AASD,4DAwCC;AAYD,oDAWC;AAOD,gEAQC;AASD,oEAYC;AAKD,sDAQC;AAvjBD,6BAAwB;AACxB,2CAAqE;AACrE,yCAMoB;AACpB,+CAA0D;AAqB1D;;GAEG;AACU,QAAA,0BAA0B,GAAG,OAAC,CAAC,MAAM,CAAC;IACjD,cAAc,EAAE,kCAAuB;IACvC,gBAAgB,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,uCAAyB,CAAC;CACzE,CAAC,CAAC;AA4BH;;GAEG;AACU,QAAA,gCAAgC,GAAG,OAAC,CAAC,MAAM,CAAC;IACvD,iBAAiB,EAAE,kCAAuB;IAC1C,eAAe,EAAE,iCAAqB;IACtC,WAAW,EAAE,4BAAiB;IAC9B,oBAAoB,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,oBAAoB,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,oBAAoB,EAAE,kCAA0B,CAAC,QAAQ,EAAE;CAC5D,CAAC,CAAC;AAkDH;;GAEG;AACU,QAAA,wBAAwB,GAAG,OAAC,CAAC,IAAI,CAAC;IAC7C,oBAAoB;IACpB,kBAAkB;IAClB,cAAc;IACd,uBAAuB;IACvB,wBAAwB;IACxB,uBAAuB;IACvB,UAAU;CACX,CAAC,CAAC;AAEH;;GAEG;AACU,QAAA,wBAAwB,GAAG,OAAC,CAAC,MAAM,CAAC;IAC/C,oBAAoB,EAAE,iCAAqB;IAC3C,iBAAiB,EAAE,iCAAqB;IACxC,cAAc,EAAE,iCAAqB;IACrC,oBAAoB,EAAE,iCAAqB;IAC3C,oBAAoB,EAAE,iCAAqB;CAC5C,CAAC,CAAC;AAEH;;GAEG;AACU,QAAA,yBAAyB,GAAG,OAAC,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,iCAAqB;IAC5B,WAAW,EAAE,OAAC,CAAC,OAAO,EAAE;IACxB,kBAAkB,EAAE,gCAAwB,CAAC,QAAQ,EAAE;IACvD,QAAQ,EAAE,gCAAwB;IAClC,eAAe,EAAE,OAAC,CAAC,KAAK,CAAC,OAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAChD,CAAC,CAAC;AAEH,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;GAEG;AACH,SAAS,0BAA0B,CAAC,IAAuB;IACzD,OAAO,qCAA0B,CAAC,IAAI,CAAC,CAAC,kBAAqC,CAAC;AAChF,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,IAAiB;IAC7C,6CAA6C;IAC7C,oCAAoC;IACpC,oCAAoC;IACpC,iCAAiC;IACjC,iCAAiC;IACjC,mCAAmC;IACnC,iCAAiC;IACjC,mCAAmC;IACnC,qCAAqC;IACrC,OAAO,IAAkC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,SAAgB,4BAA4B,CAC1C,GAA+B;IAE/B,gCAAgC;IAChC,sEAAsE;IACtE,IAAI,iBAAiB,GAAG,GAAG,CAAC,iBAAiB,CAAC;IAC9C,IAAI,GAAG,CAAC,oBAAoB,EAAE,CAAC;QAC7B,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE,GAAG,GAAG,CAAC,oBAAoB,CAAC;QACtE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,gBAAgB,EAAE,uCAAyB,CAAC,CAAC;QACxE,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC;QACtD,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAC1B,GAAG,CAAC,iBAAiB,GAAG,SAAS,EACjC,aAAa,EACb,4BAAiB,CAAC,aAAa,CACX,CAAC;QACvB,0CAA0C;QAC1C,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,CAAsB,CAAC;IAC9F,CAAC;IAED,MAAM,oBAAoB,GAAG,0BAA0B,CAAC,iBAAiB,CAAC,CAAC;IAC3E,MAAM,iBAAiB,GAAG,GAAG,CAAC,eAAe,CAAC;IAC9C,MAAM,cAAc,GAAG,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC7D,MAAM,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAoB,CAAC;IACnG,MAAM,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAoB,CAAC;IAEnG,MAAM,QAAQ,GAAuB;QACnC,oBAAoB;QACpB,iBAAiB;QACjB,cAAc;QACd,oBAAoB;QACpB,oBAAoB;KACrB,CAAC;IAEF,2BAA2B;IAC3B,MAAM,WAAW,GAAG;QAClB,EAAE,MAAM,EAAE,oBAA6B,EAAE,KAAK,EAAE,oBAAoB,EAAE;QACtE,EAAE,MAAM,EAAE,kBAA2B,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACjE,EAAE,MAAM,EAAE,cAAuB,EAAE,KAAK,EAAE,cAAc,EAAE;QAC1D,EAAE,MAAM,EAAE,uBAAgC,EAAE,KAAK,EAAE,oBAAoB,EAAE;QACzE,EAAE,MAAM,EAAE,wBAAiC,EAAE,KAAK,EAAE,oBAAoB,EAAE;KAC3E,CAAC;IAEF,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAoB,CAAC;IACxF,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,eAAe,CAAC,CAAC;IAEnF,uCAAuC;IACvC,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAC/B,oBAAoB,EACpB,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,oBAAoB,CACrB,CAAC;IACF,MAAM,WAAW,GAAG,eAAe,GAAG,gBAAgB,CAAC;IAEvD,IAAI,kBAAkD,CAAC;IACvD,IAAI,WAAW,EAAE,CAAC;QAChB,kBAAkB,GAAG,mBAAmB,CAAC,MAAM,GAAG,CAAC;YACjD,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;IACrC,CAAC;IAED,2BAA2B;IAC3B,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;YACrC,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC;gBAClB,KAAK,oBAAoB;oBACvB,eAAe,CAAC,IAAI,CAClB,oCAAoC,GAAG,CAAC,iBAAiB,qCAAqC,CAC/F,CAAC;oBACF,MAAM;gBACR,KAAK,cAAc;oBACjB,eAAe,CAAC,IAAI,CAClB,qCAAqC,GAAG,CAAC,WAAW,0BAA0B,CAC/E,CAAC;oBACF,MAAM;gBACR,KAAK,uBAAuB;oBAC1B,eAAe,CAAC,IAAI,CAClB,0EAA0E,CAC3E,CAAC;oBACF,MAAM;gBACR,KAAK,wBAAwB;oBAC3B,eAAe,CAAC,IAAI,CAClB,6EAA6E,CAC9E,CAAC;oBACF,MAAM;gBACR,KAAK,kBAAkB;oBACrB,eAAe,CAAC,IAAI,CAClB,oDAAoD,CACrD,CAAC;oBACF,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,eAAe;QACtB,WAAW;QACX,kBAAkB;QAClB,QAAQ;QACR,eAAe,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;KAC1E,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E;;;;;;GAMG;AACH,SAAgB,qBAAqB,CACnC,UAA+B,EAC/B,aAA8B;IAE9B,OAAO,UAAU,CAAC,KAAK,IAAI,aAAa,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,kBAAkB,CAChC,GAA+B,EAC/B,aAA8B;IAE9B,MAAM,UAAU,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;IACrD,OAAO,qBAAqB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAC1D,CAAC;AAkBD;;;;;;GAMG;AACH,SAAgB,eAAe,CAC7B,GAA+B,EAC/B,aAA8B;IAE9B,MAAM,UAAU,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;IAErD,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,KAAK,IAAI,aAAa;QAC1C,cAAc,EAAE,UAAU,CAAC,KAAK;QAChC,cAAc,EAAE,aAAa;QAC7B,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,GAAG,UAAU,CAAC,KAAK,CAAC;QACvD,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;GAEG;AACU,QAAA,2BAA2B,GAAG,OAAC,CAAC,MAAM,CAAC;IAClD,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE;IACpB,cAAc,EAAE,iCAAqB;IACrC,cAAc,EAAE,iCAAqB;IACrC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,UAAU,EAAE,iCAAyB;CACtC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,0BAA0B;AAC1B,+EAA+E;AAE/E;;;;;;;GAOG;AACH,SAAgB,oBAAoB,CAClC,GAA+B,EAC/B,MAA+C,EAC/C,QAAgB;IAEhB,MAAM,MAAM,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC;IAE1B,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,MAAM,CAAC,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAsB,CAAC;YACnF,MAAM;QACR,KAAK,kBAAkB;YACrB,MAAM,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAoB,CAAC;YAC/E,MAAM;QACR,KAAK,cAAc;YACjB,MAAM,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAgB,CAAC;YACvE,MAAM;QACR,KAAK,uBAAuB;YAC1B,MAAM,CAAC,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;YACjE,MAAM;QACR,KAAK,wBAAwB;YAC3B,MAAM,CAAC,oBAAoB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;YACjE,MAAM;QACR,KAAK,uBAAuB;YAC1B,IAAI,MAAM,CAAC,oBAAoB,EAAE,CAAC;gBAChC,MAAM,CAAC,oBAAoB,GAAG;oBAC5B,GAAG,MAAM,CAAC,oBAAoB;oBAC9B,gBAAgB,EAAE,IAAI,CAAC,GAAG,CAAC,uCAAyB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;iBAC7E,CAAC;YACJ,CAAC;YACD,MAAM;IACV,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,wBAAwB,CACtC,GAA+B,EAC/B,WAA4B;IAE5B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmD,CAAC;IAC3E,MAAM,UAAU,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;IAErD,IAAI,UAAU,CAAC,KAAK,IAAI,WAAW,EAAE,CAAC;QACpC,OAAO,OAAO,CAAC,CAAC,oBAAoB;IACtC,CAAC;IAED,0DAA0D;IAC1D,MAAM,oBAAoB,GAAG,UAAU,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACtE,IAAI,oBAAoB,GAAG,WAAW,EAAE,CAAC;QACvC,iCAAiC;QACjC,KAAK,IAAI,IAAI,GAAG,GAAG,CAAC,iBAAiB,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;YAC7D,IAAI,0BAA0B,CAAC,IAAyB,CAAC,IAAI,WAAW,EAAE,CAAC;gBACzE,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,CAAC,CAAC;gBACxC,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,CAAC,iBAAiB,GAAG,WAAW,EAAE,CAAC;QACxD,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,CAAC,cAAc,GAAG,WAAW,EAAE,CAAC;QACrD,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,CAAC,oBAAoB,GAAG,WAAW,EAAE,CAAC;QAC3D,OAAO,CAAC,GAAG,CAAC,uBAAuB,EAAE,WAAW,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,CAAC,oBAAoB,GAAG,WAAW,EAAE,CAAC;QAC3D,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,WAAW,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,kBAAkB;AAClB,+EAA+E;AAE/E;;;;;GAKG;AACH,SAAgB,oBAAoB,CAClC,SAA+C;IAE/C,OAAO;QACL,iBAAiB,EAAE,4BAAiB,CAAC,UAAU;QAC/C,eAAe,EAAE,2BAAe,CAAC,UAAU;QAC3C,WAAW,EAAE,sBAAW,CAAC,UAAU;QACnC,oBAAoB,EAAE,CAAC;QACvB,oBAAoB,EAAE,CAAC;QACvB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,0BAA0B;IACxC,OAAO;QACL,iBAAiB,EAAE,4BAAiB,CAAC,aAAa;QAClD,eAAe,EAAE,2BAAe,CAAC,aAAa;QAC9C,WAAW,EAAE,sBAAW,CAAC,aAAa;QACtC,oBAAoB,EAAE,CAAC;QACvB,oBAAoB,EAAE,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E;;GAEG;AACH,SAAgB,4BAA4B,CAC1C,KAAc;IAEd,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,mBAAmB,IAAI,KAAK;QAC5B,iBAAiB,IAAI,KAAK;QAC1B,aAAa,IAAI,KAAK;QACtB,sBAAsB,IAAI,KAAK;QAC/B,sBAAsB,IAAI,KAAK,CAChC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,qBAAqB,CAAC,KAAc;IAClD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,IAAI,KAAK;QAChB,aAAa,IAAI,KAAK;QACtB,UAAU,IAAI,KAAK,CACpB,CAAC;AACJ,CAAC"}