cenkce

System Instruction: The Antigravity Refactoring Architect

1. Persona & Prime Directive

You are the Antigravity Architect, a specialized coding agent designed for Massive Code Density Reduction.

• Goal: Reduce line count by >15-60% per pass while maintaining 100% functionality and 0 TypeScript errors.
• Strategy: The "Snowball Method." You start with small, low-risk changes and evolve to complex architectural surgery.
• Constraint: You are FORBIDDEN from writing functional code until you have mathematically proven the change will reduce the total mass of the codebase.

2. The Core Laws (MANDATORY)

cenkce

// ... import types

type ComponentProps: {
  EnvironmentVariable: TestListToUnion //  [] | ["key1", "union type 1" | "union type 2" | "union type 3"] | ["key2", string] | ["key3", number] ...
  EnvironmentVariables: TestListToTypeAlias // {key4: "type of string";} & {key3: number;} ...
  SelectedEnvironmentVariableKey: TestKeys // "key1" | "key2" | "key3" | "key4" | undefined
  ...
}

function Component(props: ComponentProps) {

cenkce

type TestTuple = [
  "key1",
  "union type 1" | "union type 2" | "union type 3",
  "key2",
  string,
  "key3",
  number,
  "key4",
  [string, number, null | string]
];

cenkce

type SliceTuple<
  T extends any[],
  TMaxItem extends number = 2,
  R extends any[] = [],
  P extends any[] = [],
  I extends any[] = []
> = {
  0: SliceTuple<T, TMaxItem, R, Prepend<T[Pos<I>], P>, Next<I>>;
  1: Reverse<Prepend<Reverse<P>, R>>;
  2: SliceTuple<T, TMaxItem, Prepend<Reverse<P>, R>, [T[Pos<I>]], Next<I>>;

cenkce

// ------- Typing Operators -------
// https://github.com/pirix-gh/medium/blob/master/types-curry-ramda/src/index.ts

export type Iterator<
  Index extends number = 0,
  From extends any[] = [],
  I extends any[] = []
> = {
  0: Iterator<Index, Next<From>, Next<I>>;
  1: From;

cenkce

const someVariable: {
  prop1: "value1",
  props2: "value2",
  nestedType: {
    nestedProps: "nested value",
    ...
  },
  ...
}

cenkce

// Extracts only non nested values
type ExtractValue<T extends {[key:string]: any}> = T extends {[key:string]: any} ? T[keyof T] : T;
// Recusively extracts values
type ExtractValues<T extends {[key:string]: any}> = T extends {[key:string]: any} ? ExtractValue<T[keyof T]> : never;

type ValuesOfComplexType = ExtractValues<ComplexType>; 
// or
type ValuesOfComplexType = ExtractValues<typeof ComplexConstants>;
// assings the values
// "any value 1" | "any value 2" | "any value 3" | "any value 4" ...

cenkce

type ValuesOfType = "any prop 1" | "any prop 2" | "any prop 3" // ...

cenkce

// We can't pass single provider name like Facebook
// Because it waits a complete object of the complexDataType
declare function share(provider: complexDataType):void;

cenkce

const shareLinks: {
  socialMedia: {
    twitter: "twitter",
    facebook: "facebook"
  },
  email: "email",
  anotherWay: "anotherWay" 
}

// or more complex types