One API Contract. Two Agents.
Zero Synchronization Chaos.

openapi: 3.0.3
info:
  title: Spot Service API
  version: 1.1.0  # Bumped after approved human migration
paths:
  /api/spots:
    get:
      summary: Retrieve spots
      responses:
        '200':
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Spot'
components:
  schemas:
    Spot:
      type: object
      required:
        - id
        - name
        - availability_state  # New required field replaces spot_status
      properties:
        id:
          type: integer
          example: 101
        name:
          type: string
          example: Library
        availability_state:
          type: string
          description: Current operational availability state of the resource spot
          example: available
        role:
          type: string
          description: Access role associated with the spot
          enum: [admin, user, guest]
          example: admin
        spot_status:
          type: string
          description: DEPRECATED: Use availability_state instead. Retained for backward compatibility.
          deprecated: true  # Preserved for legacy consumers
          example: available

/**
 * Auto-generated TypeScript API Definitions for Spot Service API
 * Contract Version: 1.1.0
 * Generated by: ContractSync FrontendSync Agent
 */

export type SpotRole = 'admin' | 'user' | 'guest';

export interface Spot {
  /** Unique spot identifier */
  id: number;
  /** Name of the facility or spot */
  name: string;
  /** Current operational availability state of the resource spot */
  availability_state: string;
  /** Access role associated with the spot */
  role?: 'admin' | 'user' | 'guest';
  /**
   * DEPRECATED: Use availability_state instead. Retained for backward compatibility.
   * @deprecated Retained for backward compatibility
   */
  spot_status?: string;
}

export type GetSpotsResponse = Spot;

import { Spot } from './api.types.js';

/**
 * Mock response data adhering to the Spot contract (v1.1.0)
 * Synchronized by: ContractSync FrontendSync Agent
 */
export const mockSpotResponse: Spot = {
  id: 101,
  name: 'Library',
  availability_state: 'available',
  role: 'admin',
  // Retained for backward compatibility with legacy consumers
  spot_status: 'available',
};

export async function getMockSpots(): Promise<Spot> {
  return Promise.resolve(mockSpotResponse);
}

$ npx tsc --noEmit
TypeScript compilation passed with 0 errors.

[COMPILER EXIT CODE]: 0
[TYPE CHECK RESULT]: SUCCESS

Verification Details:
- Target: demo-workspace/src/
- Strict Mode: ENABLED (noImplicitAny: true)
- Module Resolution: NodeNext
- Consumers Verified: demo-workspace/src/index.ts compiled cleanly with Spot v1.1.0