typekro 0.4.0 → 0.7.0

package/dist/core/expressions/magic-proxy/optionality-optional-chaining.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optionality-optional-chaining.js","sourceRoot":"","sources":["../../../../src/core/expressions/magic-proxy/optionality-optional-chaining.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAG/D,OAAO,EACL,8BAA8B,EAC9B,mCAAmC,EACnC,+BAA+B,GAChC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAO7F;;GAEG;AACH,MAAM,UAAU,+BAA+B,CAC7C,UAAmB,EACnB,OAA2B;IAM3B,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,MAAM,kBAAkB,GAA4B,EAAE,CAAC;IAEvD,4EAA4E;IAC5E,MAAM,cAAc,GAAG,mCAAmC,CAAC,UAAU,CAAC,CAAC;IAEvE,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,gEAAgE;QAChE,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAEjE,IAAI,iBAAiB,CAAC,cAAc,EAAE,CAAC;YACrC,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAE3C,gEAAgE;YAChE,MAAM,OAAO,GAA4B;gBACvC,aAAa,EAAE,GAAG;gBAClB,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,EAAE;gBAC9B,cAAc,EAAE,IAAI;gBACpB,kBAAkB,EAAE,iBAAiB,CAAC,kBAAkB;gBACxD,gBAAgB,EAAE,iBAAiB,CAAC,gBAAgB;gBACpD,aAAa,EAAE,sBAAsB,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;gBAC1D,mBAAmB,EAAE,kCAAkC,CAAC,GAAG,EAAE,OAAO,CAAC;aACtE,CAAC;YAEF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,IAAI,CACrD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,kBAAkB,IAAI,KAAK,CAAC,gBAAgB,CAC9D,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CACtC,aAAqC,EACrC,OAA2B;IAE3B,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,IAAI,EAAE,CAAC;IAChD,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAEtD,gFAAgF;IAChF,MAAM,kBAAkB,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAChF,MAAM,gBAAgB,GAAG,aAAa,IAAI,+BAA+B,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAElG,OAAO;QACL,aAAa;QACb,SAAS;QACT,cAAc,EAAE,IAAI;QACpB,kBAAkB;QAClB,gBAAgB;QAChB,aAAa;QACb,wBAAwB,EAAE,kBAAkB,IAAI,gBAAgB;QAChE,UAAU,EAAE,8BAA8B,CAAC,aAAa,EAAE,OAAO,CAAC;KACnE,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qCAAqC,CACnD,UAAmB,EACnB,wBAIC,EACD,OAA2B,EAC3B,kBAAmF;IAEnF,IAAI,CAAC;QACH,IAAI,CAAC,wBAAwB,CAAC,uBAAuB,EAAE,CAAC;YACtD,sDAAsD;YACtD,OAAO,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;QAED,gEAAgE;QAChE,IAAI,aAAqB,CAAC;QAE1B,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;YAC/B,wDAAwD;YACxD,aAAa,GAAG,qCAAqC,CACnD,wBAAwB,CAAC,QAAQ,EACjC,OAAO,CACR,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,yCAAyC;YACzC,aAAa,GAAG,0CAA0C,CACxD,wBAAwB,CAAC,QAAQ,EACjC,OAAO,CACR,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,wBAAwB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAEnF,OAAO;YACL,KAAK,EAAE,IAAI;YACX,aAAa,EAAE;gBACb,CAAC,oBAAoB,CAAC,EAAE,IAAI;gBAC5B,UAAU,EAAE,aAAa;gBACzB,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC;aAC9B;YAClB,YAAY;YACZ,SAAS,EAAE,qBAAqB,CAC9B,UAAU,EACV,EAAE,CAAC,oBAAoB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAmB,EAC5E,OAAO,CACR;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,IAAI;SACzB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,6CAA6C,WAAW,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EACzE,MAAM,CAAC,UAAU,CAAC,EAClB,mBAAmB,CACpB,CAAC;QAEF,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,wBAAwB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;YAC3E,SAAS,EAAE,EAAE;YACb,MAAM,EAAE,CAAC,eAAe,CAAC;YACzB,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,IAAI;SACzB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qCAAqC,CACnD,QAAmC,EACnC,QAA4B;IAE5B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,2DAA2D;IAC3D,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC3C,MAAM,YAAY,GAChB,OAAO,CAAC,aAAa,CAAC,UAAU,KAAK,YAAY;YAC/C,CAAC,CAAC,UAAU,OAAO,CAAC,SAAS,EAAE;YAC/B,CAAC,CAAC,aAAa,OAAO,CAAC,aAAa,CAAC,UAAU,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAE3E,8EAA8E;QAC9E,MAAM,YAAY,GAAG,0BAA0B,CAAC,YAAY,CAAC,CAAC;QAC9D,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,sCAAsC;IACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;IAClC,CAAC;IAED,yCAAyC;IACzC,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,YAAoB;IAC7D,mDAAmD;IACnD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAEtB,yBAAyB;QACzB,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,mEAAmE;QACnE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,yEAAyE;YACzE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,kDAAkD;gBAClD,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0CAA0C,CACxD,QAAmC,EACnC,QAA4B;IAE5B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,YAAY,GAChB,OAAO,CAAC,aAAa,CAAC,UAAU,KAAK,YAAY;YAC/C,CAAC,CAAC,UAAU,OAAO,CAAC,SAAS,EAAE;YAC/B,CAAC,CAAC,aAAa,OAAO,CAAC,aAAa,CAAC,UAAU,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAE3E,kDAAkD;QAClD,MAAM,SAAS,GAAG,8BAA8B,CAAC,YAAY,CAAC,CAAC;QAC/D,MAAM,eAAe,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,YAAY,EAAE,CAAC;QAEvE,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAClC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAAC,YAAoB;IACjE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,OAAO,WAAW,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,SAAiB;IACtD,OAAO,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kCAAkC,CAChD,aAAqC,EACrC,OAA2B;IAE3B,MAAM,YAAY,GAChB,aAAa,CAAC,UAAU,KAAK,YAAY;QACvC,CAAC,CAAC,UAAU,aAAa,CAAC,SAAS,EAAE;QACrC,CAAC,CAAC,aAAa,aAAa,CAAC,UAAU,IAAI,aAAa,CAAC,SAAS,EAAE,CAAC;IAEzE,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAC/B,kDAAkD;QAClD,OAAO,0BAA0B,CAAC,YAAY,CAAC,CAAC;IAClD,CAAC;IAED,kDAAkD;IAClD,MAAM,SAAS,GAAG,8BAA8B,CAAC,YAAY,CAAC,CAAC;IAC/D,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,YAAY,SAAS,CAAC;AAC9D,CAAC"}

package/dist/core/expressions/magic-proxy/optionality-types.d.ts

@@ -0,0 +1,206 @@
+/**
+ * Type definitions for the Enhanced Type Optionality Handler.
+ *
+ * These types define the interfaces for optionality analysis, field hydration state
+ * tracking, and undefined-to-defined transition handling for KubernetesRef objects
+ * within Enhanced types.
+ */
+import type { ConversionError } from '../../errors.js';
+import type { CelExpression, KubernetesRef } from '../../types/common.js';
+import type { AnalysisContext } from '../analysis/analyzer.js';
+/**
+ * Optionality analysis result for a KubernetesRef
+ */
+export interface OptionalityAnalysisResult {
+    /** The KubernetesRef being analyzed */
+    kubernetesRef: KubernetesRef<unknown>;
+    /** Whether this field might be undefined at runtime */
+    potentiallyUndefined: boolean;
+    /** Whether this field requires null-safety checks */
+    requiresNullSafety: boolean;
+    /** Whether optional chaining was used in the original expression */
+    hasOptionalChaining: boolean;
+    /** The field path being accessed */
+    fieldPath: string;
+    /** The resource ID being referenced */
+    resourceId: string;
+    /** Whether this is a schema reference */
+    isSchemaReference: boolean;
+    /** Confidence level of the optionality analysis (0-1) */
+    confidence: number;
+    /** Reason for the optionality determination */
+    reason: string;
+    /** Suggested CEL expression pattern for null-safety */
+    suggestedCelPattern: string | undefined;
+}
+/**
+ * Field hydration state information
+ */
+export interface FieldHydrationState {
+    /** Resource ID */
+    resourceId: string;
+    /** Field path */
+    fieldPath: string;
+    /** Whether the field is currently hydrated */
+    isHydrated: boolean;
+    /** Whether the field is in the process of being hydrated */
+    isHydrating: boolean;
+    /** Whether the field has failed hydration */
+    hydrationFailed: boolean;
+    /** Timestamp of last hydration attempt */
+    lastHydrationAttempt?: Date;
+    /** Expected hydration completion time */
+    expectedHydrationTime?: Date;
+}
+/**
+ * Optionality handling context
+ */
+export interface OptionalityContext extends AnalysisContext {
+    /** Current field hydration states */
+    hydrationStates?: Map<string, FieldHydrationState>;
+    /** Whether to be conservative with null-safety (default: true) */
+    conservativeNullSafety?: boolean;
+    /** Whether to use Kro's conditional operators */
+    useKroConditionals?: boolean;
+    /** Whether to generate has() checks for potentially undefined fields */
+    generateHasChecks?: boolean;
+    /** Maximum depth for optionality analysis */
+    maxOptionalityDepth?: number;
+}
+/**
+ * Optional chaining pattern information
+ */
+export interface OptionalChainingPattern {
+    /** The KubernetesRef involved in optional chaining */
+    kubernetesRef: KubernetesRef<unknown>;
+    /** Field path being accessed */
+    fieldPath: string;
+    /** Whether this is an Enhanced type */
+    isEnhancedType: boolean;
+    /** Whether the field appears non-optional at compile time */
+    appearsNonOptional: boolean;
+    /** Whether the field is actually optional at runtime */
+    actuallyOptional: boolean;
+    /** Depth of the chaining (number of dots) */
+    chainingDepth: number;
+    /** Suggested CEL pattern for this optional chaining */
+    suggestedCelPattern: string;
+}
+/**
+ * Enhanced type field information
+ */
+export interface EnhancedTypeFieldInfo {
+    /** The KubernetesRef for this field */
+    kubernetesRef: KubernetesRef<unknown>;
+    /** Field path */
+    fieldPath: string;
+    /** Whether this is an Enhanced type */
+    isEnhancedType: boolean;
+    /** Whether the field appears non-optional at compile time */
+    appearsNonOptional: boolean;
+    /** Whether the field is actually optional at runtime */
+    actuallyOptional: boolean;
+    /** Whether this is a status field */
+    isStatusField: boolean;
+    /** Whether this field requires optional chaining handling */
+    requiresOptionalChaining: boolean;
+    /** Confidence level of the analysis */
+    confidence: number;
+}
+/**
+ * Hydration state analysis result
+ */
+export interface HydrationStateAnalysis {
+    /** References that are not yet hydrated */
+    unhydratedRefs: KubernetesRef<unknown>[];
+    /** References that are fully hydrated */
+    hydratedRefs: KubernetesRef<unknown>[];
+    /** References that are currently being hydrated */
+    hydratingRefs: KubernetesRef<unknown>[];
+    /** References that failed hydration */
+    failedRefs: KubernetesRef<unknown>[];
+    /** Total number of references */
+    totalRefs: number;
+    /** Hydration progress (0-1) */
+    hydrationProgress: number;
+}
+/**
+ * Hydration transition plan
+ */
+export interface HydrationTransitionPlan {
+    /** Hydration phases in order */
+    phases: HydrationPhase[];
+    /** Total expected duration for all phases */
+    totalDuration: number;
+    /** Critical fields that must be hydrated for the expression to work */
+    criticalFields: string[];
+}
+/**
+ * Hydration phase information
+ */
+export interface HydrationPhase {
+    /** Phase name */
+    name: string;
+    /** Fields expected to be hydrated in this phase */
+    fields: KubernetesRef<unknown>[];
+    /** Expected duration for this phase (milliseconds) */
+    expectedDuration: number;
+    /** Dependencies that must be satisfied before this phase */
+    dependencies: string[];
+    /** Whether this phase is critical for expression evaluation */
+    isCritical: boolean;
+}
+/**
+ * Hydration transition handler
+ */
+export interface HydrationTransitionHandler {
+    /** State transitioning from */
+    fromState: HydrationState;
+    /** State transitioning to */
+    toState: HydrationState;
+    /** Condition that triggers this transition */
+    triggerCondition: string;
+    /** Expression to use during this transition */
+    transitionExpression: CelExpression;
+    /** Priority of this handler (lower = higher priority) */
+    priority: number;
+}
+/**
+ * Hydration state
+ */
+export type HydrationState = 'unhydrated' | 'hydrating' | 'hydrated' | 'failed';
+/**
+ * Result of undefined-to-defined transition handling
+ */
+export interface UndefinedToDefinedTransitionResult {
+    /** Transition plan for hydration phases */
+    transitionPlan: HydrationTransitionPlan;
+    /** Expressions for each hydration phase */
+    phaseExpressions: Map<string, CelExpression>;
+    /** Watch expressions for monitoring hydration progress */
+    watchExpressions: CelExpression[];
+    /** Fallback expressions for hydration failures */
+    fallbackExpressions: Map<string, CelExpression>;
+    /** Whether the transition handling was successful */
+    valid: boolean;
+    /** Errors encountered during transition handling */
+    errors: ConversionError[];
+}
+/**
+ * Options for optionality handling
+ */
+export interface OptionalityHandlingOptions {
+    /** Whether to perform deep optionality analysis */
+    deepAnalysis?: boolean;
+    /** Whether to be conservative with null-safety */
+    conservative?: boolean;
+    /** Whether to use Kro's conditional operators */
+    useKroConditionals?: boolean;
+    /** Whether to generate has() checks */
+    generateHasChecks?: boolean;
+    /** Maximum analysis depth */
+    maxDepth?: number;
+    /** Whether to include detailed reasoning */
+    includeReasoning?: boolean;
+}
+//# sourceMappingURL=optionality-types.d.ts.map

package/dist/core/expressions/magic-proxy/optionality-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optionality-types.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/magic-proxy/optionality-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,uCAAuC;IACvC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAEtC,uDAAuD;IACvD,oBAAoB,EAAE,OAAO,CAAC;IAE9B,qDAAqD;IACrD,kBAAkB,EAAE,OAAO,CAAC;IAE5B,oEAAoE;IACpE,mBAAmB,EAAE,OAAO,CAAC;IAE7B,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAC;IAElB,uCAAuC;IACvC,UAAU,EAAE,MAAM,CAAC;IAEnB,yCAAyC;IACzC,iBAAiB,EAAE,OAAO,CAAC;IAE3B,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;IAEnB,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAC;IAEf,uDAAuD;IACvD,mBAAmB,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,kBAAkB;IAClB,UAAU,EAAE,MAAM,CAAC;IAEnB,iBAAiB;IACjB,SAAS,EAAE,MAAM,CAAC;IAElB,8CAA8C;IAC9C,UAAU,EAAE,OAAO,CAAC;IAEpB,4DAA4D;IAC5D,WAAW,EAAE,OAAO,CAAC;IAErB,6CAA6C;IAC7C,eAAe,EAAE,OAAO,CAAC;IAEzB,0CAA0C;IAC1C,oBAAoB,CAAC,EAAE,IAAI,CAAC;IAE5B,yCAAyC;IACzC,qBAAqB,CAAC,EAAE,IAAI,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,eAAe;IACzD,qCAAqC;IACrC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAEnD,kEAAkE;IAClE,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAEjC,iDAAiD;IACjD,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAE7B,wEAAwE;IACxE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAE5B,6CAA6C;IAC7C,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,sDAAsD;IACtD,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAEtC,gCAAgC;IAChC,SAAS,EAAE,MAAM,CAAC;IAElB,uCAAuC;IACvC,cAAc,EAAE,OAAO,CAAC;IAExB,6DAA6D;IAC7D,kBAAkB,EAAE,OAAO,CAAC;IAE5B,wDAAwD;IACxD,gBAAgB,EAAE,OAAO,CAAC;IAE1B,6CAA6C;IAC7C,aAAa,EAAE,MAAM,CAAC;IAEtB,uDAAuD;IACvD,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,uCAAuC;IACvC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAEtC,iBAAiB;IACjB,SAAS,EAAE,MAAM,CAAC;IAElB,uCAAuC;IACvC,cAAc,EAAE,OAAO,CAAC;IAExB,6DAA6D;IAC7D,kBAAkB,EAAE,OAAO,CAAC;IAE5B,wDAAwD;IACxD,gBAAgB,EAAE,OAAO,CAAC;IAE1B,qCAAqC;IACrC,aAAa,EAAE,OAAO,CAAC;IAEvB,6DAA6D;IAC7D,wBAAwB,EAAE,OAAO,CAAC;IAElC,uCAAuC;IACvC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,2CAA2C;IAC3C,cAAc,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;IAEzC,yCAAyC;IACzC,YAAY,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;IAEvC,mDAAmD;IACnD,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;IAExC,uCAAuC;IACvC,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;IAErC,iCAAiC;IACjC,SAAS,EAAE,MAAM,CAAC;IAElB,+BAA+B;IAC/B,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,gCAAgC;IAChC,MAAM,EAAE,cAAc,EAAE,CAAC;IAEzB,6CAA6C;IAC7C,aAAa,EAAE,MAAM,CAAC;IAEtB,uEAAuE;IACvE,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,iBAAiB;IACjB,IAAI,EAAE,MAAM,CAAC;IAEb,mDAAmD;IACnD,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;IAEjC,sDAAsD;IACtD,gBAAgB,EAAE,MAAM,CAAC;IAEzB,4DAA4D;IAC5D,YAAY,EAAE,MAAM,EAAE,CAAC;IAEvB,+DAA+D;IAC/D,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,+BAA+B;IAC/B,SAAS,EAAE,cAAc,CAAC;IAE1B,6BAA6B;IAC7B,OAAO,EAAE,cAAc,CAAC;IAExB,8CAA8C;IAC9C,gBAAgB,EAAE,MAAM,CAAC;IAEzB,+CAA+C;IAC/C,oBAAoB,EAAE,aAAa,CAAC;IAEpC,yDAAyD;IACzD,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,WAAW,GAAG,UAAU,GAAG,QAAQ,CAAC;AAEhF;;GAEG;AACH,MAAM,WAAW,kCAAkC;IACjD,2CAA2C;IAC3C,cAAc,EAAE,uBAAuB,CAAC;IAExC,2CAA2C;IAC3C,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAE7C,0DAA0D;IAC1D,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAElC,kDAAkD;IAClD,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAEhD,qDAAqD;IACrD,KAAK,EAAE,OAAO,CAAC;IAEf,oDAAoD;IACpD,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,mDAAmD;IACnD,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB,kDAAkD;IAClD,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB,iDAAiD;IACjD,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAE7B,uCAAuC;IACvC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAE5B,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,4CAA4C;IAC5C,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B"}

package/dist/core/expressions/magic-proxy/optionality-types.js

@@ -0,0 +1,9 @@
+/**
+ * Type definitions for the Enhanced Type Optionality Handler.
+ *
+ * These types define the interfaces for optionality analysis, field hydration state
+ * tracking, and undefined-to-defined transition handling for KubernetesRef objects
+ * within Enhanced types.
+ */
+export {};
+//# sourceMappingURL=optionality-types.js.map

package/dist/core/expressions/magic-proxy/optionality-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optionality-types.js","sourceRoot":"","sources":["../../../../src/core/expressions/magic-proxy/optionality-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/core/expressions/validation/compile-time-checker.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Compile-Time Type Checker for Expression Compatibility
+ *
+ * This module provides the main CompileTimeTypeChecker class that validates
+ * JavaScript expressions at compile time before they are converted to CEL.
+ */
+import type { KubernetesRef } from '../../types/common.js';
+import type { CompileTimeValidationContext, CompileTimeValidationResult, KubernetesRefUsageContext } from './compile-time-types.js';
+/**
+ * Compile-time type checker
+ */
+export declare class CompileTimeTypeChecker {
+    private typeCache;
+    private validationCache;
+    /**
+     * Validate expression compatibility at compile time
+     */
+    validateExpressionCompatibility(expression: string, context: CompileTimeValidationContext): CompileTimeValidationResult;
+    /**
+     * Validate multiple expressions for compatibility
+     */
+    validateExpressionsCompatibility(expressions: string[], context: CompileTimeValidationContext): CompileTimeValidationResult[];
+    /**
+     * Validate that a KubernetesRef type is compatible with its usage
+     */
+    validateKubernetesRefCompatibility(ref: KubernetesRef<any>, usageContext: KubernetesRefUsageContext, validationContext: CompileTimeValidationContext): CompileTimeValidationResult;
+    /**
+     * Extract compile-time type information from expression
+     */
+    private extractCompileTimeType;
+    /**
+     * Infer runtime type from compile-time information
+     */
+    private inferRuntimeType;
+    /**
+     * Check compatibility between compile-time and runtime types
+     */
+    private checkTypeCompatibility;
+    /**
+     * Validate against expected type
+     */
+    private validateAgainstExpectedType;
+    /**
+     * Validate syntax support
+     */
+    private validateSyntaxSupport;
+    /**
+     * Validate runtime safety
+     */
+    private validateRuntimeSafety;
+    /**
+     * Extract KubernetesRef type information
+     */
+    private extractKubernetesRefType;
+    /**
+     * Validate KubernetesRef usage
+     */
+    private validateKubernetesRefUsage;
+    /**
+     * Utility methods
+     */
+    private areTypesCompatible;
+    private convertRuntimeToCompileTime;
+    private generateSuggestions;
+    private calculateComplexityScore;
+    private createCacheKey;
+    private isBooleanExpression;
+    private isNumericExpression;
+    /**
+     * Clear validation cache
+     */
+    clearCache(): void;
+}
+//# sourceMappingURL=compile-time-checker.d.ts.map

package/dist/core/expressions/validation/compile-time-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-time-checker.d.ts","sourceRoot":"","sources":["../../../../src/core/expressions/validation/compile-time-checker.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAEV,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EAE1B,MAAM,yBAAyB,CAAC;AAGjC;;GAEG;AACH,qBAAa,sBAAsB;IACjC,OAAO,CAAC,SAAS,CAA0C;IAC3D,OAAO,CAAC,eAAe,CAAkD;IAEzE;;OAEG;IACH,+BAA+B,CAC7B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,4BAA4B,GACpC,2BAA2B;IAsG9B;;OAEG;IACH,gCAAgC,CAC9B,WAAW,EAAE,MAAM,EAAE,EACrB,OAAO,EAAE,4BAA4B,GACpC,2BAA2B,EAAE;IAIhC;;OAEG;IACH,kCAAkC,CAChC,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC,EACvB,YAAY,EAAE,yBAAyB,EACvC,iBAAiB,EAAE,4BAA4B,GAC9C,2BAA2B;IA2B9B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAyF9B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAWxB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA8C9B;;OAEG;IACH,OAAO,CAAC,2BAA2B;IA+BnC;;OAEG;IACH,OAAO,CAAC,qBAAqB;IA0C7B;;OAEG;IACH,OAAO,CAAC,qBAAqB;IA+C7B;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAehC;;OAEG;IACH,OAAO,CAAC,0BAA0B;IAoDlC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAiB1B,OAAO,CAAC,2BAA2B;IAWnC,OAAO,CAAC,mBAAmB;IA0B3B,OAAO,CAAC,wBAAwB;IAYhC,OAAO,CAAC,cAAc;IAQtB,OAAO,CAAC,mBAAmB;IAM3B,OAAO,CAAC,mBAAmB;IAU3B;;OAEG;IACH,UAAU,IAAI,IAAI;CAInB"}

package/dist/core/expressions/{compile-time-validation.js → validation/compile-time-checker.js}

@@ -1,61 +1,10 @@
 /**
- * Compile-Time Type Checking for Expression Compatibility
+ * Compile-Time Type Checker for Expression Compatibility
  *
- * This module provides compile-time type checking capabilities for JavaScript
- * expressions that will be converted to CEL. It integrates with TypeScript's
- * type system to validate expressions before runtime conversion.
+ * This module provides the main CompileTimeTypeChecker class that validates
+ * JavaScript expressions at compile time before they are converted to CEL.
  */
-/**
- * Compile-time error
- */
-export class CompileTimeError extends Error {
-    errorType;
-    expression;
-    location;
-    constructor(message, errorType, expression, location) {
-        super(message);
-        this.errorType = errorType;
-        this.expression = expression;
-        this.location = location;
-        this.name = 'CompileTimeError';
-    }
-    static forTypeIncompatibility(expression, expectedType, actualType, location) {
-        return new CompileTimeError(`Type '${actualType}' is not assignable to type '${expectedType}'`, 'TYPE_INCOMPATIBILITY', expression, location);
-    }
-    static forUnsupportedSyntax(expression, syntaxFeature, location) {
-        return new CompileTimeError(`Unsupported syntax feature: ${syntaxFeature}`, 'UNSUPPORTED_SYNTAX', expression, location);
-    }
-    static forGenericConstraintViolation(expression, constraint, actualType, location) {
-        return new CompileTimeError(`Type '${actualType}' does not satisfy constraint '${constraint}'`, 'GENERIC_CONSTRAINT_VIOLATION', expression, location);
-    }
-}
-/**
- * Compile-time warning
- */
-export class CompileTimeWarning {
-    message;
-    warningType;
-    expression;
-    location;
-    constructor(message, warningType, expression, location) {
-        this.message = message;
-        this.warningType = warningType;
-        this.expression = expression;
-        this.location = location;
-    }
-    static forPotentialRuntimeError(expression, reason, location) {
-        return new CompileTimeWarning(`Potential runtime error: ${reason}`, 'POTENTIAL_RUNTIME_ERROR', expression, location);
-    }
-    static forPerformanceImpact(expression, impact, location) {
-        return new CompileTimeWarning(`Performance impact: ${impact}`, 'PERFORMANCE_IMPACT', expression, location);
-    }
-    static forDeprecatedFeature(expression, feature, replacement, location) {
-        const message = replacement
-            ? `Deprecated feature '${feature}', use '${replacement}' instead`
-            : `Deprecated feature '${feature}'`;
-        return new CompileTimeWarning(message, 'DEPRECATED_FEATURE', expression, location);
-    }
-}
+import { CompileTimeError, CompileTimeWarning } from './compile-time-errors.js';
 /**
  * Compile-time type checker
  */
@@ -104,7 +53,8 @@ export class CompileTimeTypeChecker {
             suggestions.push(...this.generateSuggestions(compatibilityIssues, errors, warnings));
             const validationTime = Date.now() - startTime;
             const result = {
-                valid: errors.length === 0 && compatibilityIssues.filter(i => i.severity === 'error').length === 0,
+                valid: errors.length === 0 &&
+                    compatibilityIssues.filter((i) => i.severity === 'error').length === 0,
                 compileTimeType,
                 runtimeType,
                 compatibilityIssues,
@@ -116,8 +66,8 @@ export class CompileTimeTypeChecker {
                     strictNullChecks: context.strictNullChecks || false,
                     validationTime,
                     typeChecksPerformed: 1,
-                    complexityScore: this.calculateComplexityScore(expression)
-                }
+                    complexityScore: this.calculateComplexityScore(expression),
+                },
             };
             // Cache the result
             this.validationCache.set(cacheKey, result);
@@ -136,8 +86,8 @@ export class CompileTimeTypeChecker {
                     strictNullChecks: context.strictNullChecks || false,
                     validationTime: Date.now() - startTime,
                     typeChecksPerformed: 0,
-                    complexityScore: 0
-                }
+                    complexityScore: 0,
+                },
             };
             this.validationCache.set(cacheKey, result);
             return result;
@@ -147,7 +97,7 @@ export class CompileTimeTypeChecker {
      * Validate multiple expressions for compatibility
      */
     validateExpressionsCompatibility(expressions, context) {
-        return expressions.map(expr => this.validateExpressionCompatibility(expr, context));
+        return expressions.map((expr) => this.validateExpressionCompatibility(expr, context));
     }
     /**
      * Validate that a KubernetesRef type is compatible with its usage
@@ -171,8 +121,8 @@ export class CompileTimeTypeChecker {
                 strictNullChecks: validationContext.strictNullChecks || false,
                 validationTime: 0,
                 typeChecksPerformed: 1,
-                complexityScore: 1
-            }
+                complexityScore: 1,
+            },
         };
     }
     /**
@@ -189,7 +139,7 @@ export class CompileTimeTypeChecker {
                 isGeneric: false,
                 optional: false,
                 nullable: false,
-                undefinable: false
+                undefinable: false,
             };
         }
         if (expression.match(/^\d+(\.\d+)?$/)) {
@@ -199,7 +149,7 @@ export class CompileTimeTypeChecker {
                 isGeneric: false,
                 optional: false,
                 nullable: false,
-                undefinable: false
+                undefinable: false,
             };
         }
         if (expression === 'true' || expression === 'false') {
@@ -209,7 +159,7 @@ export class CompileTimeTypeChecker {
                 isGeneric: false,
                 optional: false,
                 nullable: false,
-                undefinable: false
+                undefinable: false,
             };
         }
         // Check for boolean expressions
@@ -220,7 +170,7 @@ export class CompileTimeTypeChecker {
                 isGeneric: false,
                 optional: false,
                 nullable: false,
-                undefinable: false
+                undefinable: false,
             };
         }
         // Check for numeric expressions
@@ -231,7 +181,7 @@ export class CompileTimeTypeChecker {
                 isGeneric: false,
                 optional: false,
                 nullable: false,
-                undefinable: false
+                undefinable: false,
             };
         }
         // Check for resource references
@@ -243,7 +193,7 @@ export class CompileTimeTypeChecker {
                 genericParams: ['unknown'],
                 optional: false,
                 nullable: false,
-                undefinable: false
+                undefinable: false,
             };
         }
         // Default to unknown
@@ -253,7 +203,7 @@ export class CompileTimeTypeChecker {
             isGeneric: false,
             optional: false,
             nullable: false,
-            undefinable: false
+            undefinable: false,
         };
     }
     /**
@@ -265,7 +215,7 @@ export class CompileTimeTypeChecker {
         return {
             typeName: compileTimeType.typeName,
             optional: compileTimeType.optional,
-            nullable: compileTimeType.nullable
+            nullable: compileTimeType.nullable,
         };
     }
     /**
@@ -281,7 +231,7 @@ export class CompileTimeTypeChecker {
                 description: `Compile-time type '${compileTimeType.typeName}' does not match runtime type '${runtimeType.typeName}'`,
                 expectedType: compileTimeType,
                 actualType: this.convertRuntimeToCompileTime(runtimeType),
-                severity: 'error'
+                severity: 'error',
             });
         }
         // Check nullability compatibility
@@ -291,7 +241,7 @@ export class CompileTimeTypeChecker {
                 description: `Nullability mismatch between compile-time and runtime types`,
                 expectedType: compileTimeType,
                 actualType: this.convertRuntimeToCompileTime(runtimeType),
-                severity: 'warning'
+                severity: 'warning',
             });
         }
         // Check optionality compatibility
@@ -301,7 +251,7 @@ export class CompileTimeTypeChecker {
                 description: `Optionality mismatch between compile-time and runtime types`,
                 expectedType: compileTimeType,
                 actualType: this.convertRuntimeToCompileTime(runtimeType),
-                severity: 'warning'
+                severity: 'warning',
             });
         }
         return { issues };
@@ -320,7 +270,7 @@ export class CompileTimeTypeChecker {
                 expectedType,
                 actualType,
                 severity: 'error',
-                suggestedFix: `Convert to ${expectedType.typeName} or adjust the expected type`
+                suggestedFix: `Convert to ${expectedType.typeName} or adjust the expected type`,
             });
             errors.push(CompileTimeError.forTypeIncompatibility('', expectedType.typeName, actualType.typeName));
         }
@@ -337,7 +287,7 @@ export class CompileTimeTypeChecker {
             { pattern: /async\s+/, feature: 'async/await' },
             { pattern: /yield\s+/, feature: 'generators' },
             { pattern: /class\s+/, feature: 'class declarations' },
-            { pattern: /function\*/, feature: 'generator functions' }
+            { pattern: /function\*/, feature: 'generator functions' },
         ];
         for (const { pattern, feature } of unsupportedFeatures) {
             if (pattern.test(expression)) {
@@ -348,7 +298,7 @@ export class CompileTimeTypeChecker {
         const problematicFeatures = [
             { pattern: /eval\(/, feature: 'eval() usage' },
             { pattern: /new Function/, feature: 'Function constructor' },
-            { pattern: /with\s*\(/, feature: 'with statements' }
+            { pattern: /with\s*\(/, feature: 'with statements' },
         ];
         for (const { pattern, feature } of problematicFeatures) {
             if (pattern.test(expression)) {
@@ -394,7 +344,7 @@ export class CompileTimeTypeChecker {
             genericParams: [String(ref._type || 'unknown')],
             optional: false,
             nullable: false,
-            undefinable: false
+            undefinable: false,
         };
     }
     /**
@@ -410,7 +360,9 @@ export class CompileTimeTypeChecker {
             errors.push(CompileTimeError.forTypeIncompatibility(`${ref.resourceId}.${ref.fieldPath}`, 'Enhanced<any, any>', 'undefined'));
         }
         // Validate field path
-        if (ref.fieldPath.includes('..') || ref.fieldPath.startsWith('.') || ref.fieldPath.endsWith('.')) {
+        if (ref.fieldPath.includes('..') ||
+            ref.fieldPath.startsWith('.') ||
+            ref.fieldPath.endsWith('.')) {
             errors.push(CompileTimeError.forUnsupportedSyntax(`${ref.resourceId}.${ref.fieldPath}`, 'invalid field path syntax'));
         }
         return {
@@ -419,7 +371,7 @@ export class CompileTimeTypeChecker {
             issues,
             errors,
             warnings,
-            suggestions
+            suggestions,
         };
     }
     /**
@@ -434,11 +386,11 @@ export class CompileTimeTypeChecker {
             return true;
         // Handle basic type compatibility
         const compatibilityMap = {
-            'string': ['string', 'String'],
-            'number': ['number', 'Number'],
-            'boolean': ['boolean', 'Boolean'],
-            'null': ['null', 'undefined'],
-            'undefined': ['undefined', 'null']
+            string: ['string', 'String'],
+            number: ['number', 'Number'],
+            boolean: ['boolean', 'Boolean'],
+            null: ['null', 'undefined'],
+            undefined: ['undefined', 'null'],
         };
         return compatibilityMap[type1]?.includes(type2) || false;
     }
@@ -449,7 +401,7 @@ export class CompileTimeTypeChecker {
             isGeneric: false,
             optional: runtimeType.optional,
             nullable: runtimeType.nullable,
-            undefinable: runtimeType.optional
+            undefinable: runtimeType.optional,
         };
     }
     generateSuggestions(issues, errors, _warnings) {
@@ -481,19 +433,20 @@ export class CompileTimeTypeChecker {
         return `${expression}:${JSON.stringify({
             strictMode: context.strictMode,
             strictNullChecks: context.strictNullChecks,
-            expectedType: context.expectedType?.typeName
+            expectedType: context.expectedType?.typeName,
         })}`;
     }
     isBooleanExpression(expression) {
         // Boolean operators
         const booleanOperators = ['&&', '||', '!', '==', '!=', '===', '!==', '>', '<', '>=', '<='];
-        return booleanOperators.some(op => expression.includes(op));
+        return booleanOperators.some((op) => expression.includes(op));
     }
     isNumericExpression(expression) {
         // Numeric operators
         const numericOperators = ['+', '-', '*', '/', '%'];
-        return numericOperators.some(op => expression.includes(op)) &&
-            !expression.includes('"') && !expression.includes("'");
+        return (numericOperators.some((op) => expression.includes(op)) &&
+            !expression.includes('"') &&
+            !expression.includes("'"));
     }
     /**
      * Clear validation cache
@@ -503,4 +456,4 @@ export class CompileTimeTypeChecker {
         this.validationCache.clear();
     }
 }
-//# sourceMappingURL=compile-time-validation.js.map
+//# sourceMappingURL=compile-time-checker.js.map