충분히 상세한 스펙은 곧 코드다

4.1.6 Live Session (Agent Session Metadata)

State tracked while a coding-agent subprocess is running.

Fields:

• session_id (string, <thread_id>-<turn_id>)
• thread_id (string)
• turn_id (string)
• codex_app_server_pid (string or null)
• last_codex_event (string/enum or null)
• last_codex_timestamp (timestamp or null)
• last_codex_message (summarized payload)
• codex_input_tokens (integer)
• codex_output_tokens (integer)
• codex_total_tokens (integer)
• last_reported_input_tokens (integer)
• last_reported_output_tokens (integer)
• last_reported_total_tokens (integer)
• turn_count (integer)
  • Number of coding-agent turns started within the current worker lifetime.

8.3 Concurrency Control

Global limit:

• available_slots = max(max_concurrent_agents - running_count, 0)

Per-state limit:

• max_concurrent_agents_by_state[state] if present (state key normalized)
• otherwise fallback to global limit

The runtime counts issues by their current tracked state in the running map.

8.4 Retry and Backoff

Retry entry creation:

• Cancel any existing retry timer for the same issue.
• Store attempt, identifier, error, due_at_ms, and new timer handle.

Backoff formula:

• Normal continuation retries after a clean worker exit use a short fixed delay of 1000 ms.
• Failure-driven retries use delay = min(10000 * 2^(attempt - 1), agent.max_retry_backoff_ms).
• Power is capped by the configured max retry backoff (default 300000 / 5m).

Retry handling behavior:

1. Fetch active candidate issues (not all issues).
2. Find the specific issue by issue_id.
3. If not found, release claim.
4. If found and still candidate-eligible:
   • Dispatch if slots are available.
   • Otherwise requeue with error no available orchestrator slots.
5. If found but no longer active, release claim.

6.4 Config Fields Summary (Cheat Sheet)

This section is intentionally redundant so a coding agent can implement the config layer quickly.

• tracker.kind: string, required, currently linear
• tracker.endpoint: string, default https://api.linear.app/graphql when tracker.kind=linear
• …

16. Reference Algorithms (Language-Agnostic)

16.1 Service Startup

우리는 이제 인터페이스를 선택하는 것이 단순히 (정해진 양의) 노동을 나누는 게 아니라는 걸 알아요. 인터페이스를 사이에 두고 협업하고 소통하는 데 드는 비용이 추가되니까요. 우리는 이제 — 쓰라린 경험에서, 덧붙이자면 — 인터페이스를 바꾸면 양쪽 다 할 일이 쉽게 (그것도 급격히) 늘어날 수 있다는 것을 알아요. 그래서 이른바 “좁은 인터페이스”에 대한 선호가 커진 거예요. 따라서, 기계와 인간 사이의 소통을 인간의 모국어로 바꾸면 기계의 부담이 크게 늘겠지만, 그것이 인간의 삶을 단순하게 해줄 거라는 가정에는 의문을 제기해야 해요.

수학의 역사를 잠깐 돌아보면 이 의문이 얼마나 정당한지 알 수 있어요. 그리스 수학은 말과 그림에 머물렀기 때문에 정체되었고, 이슬람 “대수학”은 기호화를 소심하게 시도했다가 수사적 양식으로 되돌아가면서 죽었어요. 현대 문명 세계는 — 좋든 나쁘든 — 서유럽이 중세 스콜라주의의 족쇄, 즉 언어적 정밀성을 향한 헛된 시도에서 벗어났을 때에야 비로소 등장할 수 있었어요. 비에타, 데카르트, 라이프니츠, 그리고 (훗날) 불에 같은 사람들 덕분에 세심하게, 혹은 최소한 의식적으로 설계된 형식적 기호 체계가 그것을 가능하게 했어요.

Tell your favorite coding agent to build Symphony in a programming language of your choice:

Implement Symphony according to the following spec: https://github.com/openai/symphony/blob/main/SPEC.md

Create a new blank repository

No need to create a GitHub project. Just create a blank git repository

…그 제국에서 지도 제작술은 극도의 완벽함에 이르러, 한 지방의 지도가 도시 하나를 통째로 차지했고, 제국의 지도는 지방 하나를 통째로 차지했다. 시간이 흐르자 그 터무니없는 지도들로는 부족해져서, 지도 제작자 길드는 제국과 크기가 같고 지점 대 지점으로 일치하는 지도를 만들었다. 선대만큼 지도학에 열중하지 않았던 후대 사람들은 그 거대한 지도를 쓸모없다고 여겼고, 약간의 무자비함과 함께 태양과 겨울의 가혹함에 내맡겨 버렸다. 서쪽 사막에는 지금도 그 지도의 너덜너덜한 잔해가 남아 있어, 동물들과 거지들이 그 안에 살고 있다. 온 나라 어디에도 지리학이라는 학문의 다른 유물은 없다.

linear_graphql extension contract:

• Purpose: execute a raw GraphQL query or mutation against Linear using Symphony’s configured tracker auth for the current session.
• Availability: only meaningful when tracker.kind == "linear" and valid Linear auth is configured.
• Preferred input shape:

{
  "query": "single GraphQL query or mutation document",
  "variables": {
    "optional": "graphql variables object"
  }
}

• query must be a non-empty string.
• query must contain exactly one GraphQL operation.
• variables is optional and, when present, must be a JSON object.
• Implementations may additionally accept a raw GraphQL query string as shorthand input.
• Execute one GraphQL operation per tool call.
• If the provided document contains multiple operations, reject the tool call as invalid input.
• operationName selection is intentionally out of scope for this extension.
• Reuse the configured Linear endpoint and auth from the active Symphony workflow/runtime config; do not require the coding agent to read raw tokens from disk.
• Tool result semantics:
  • transport success + no top-level GraphQL errors -> success=true
  • top-level GraphQL errors present -> success=false, but preserve the GraphQL response body for debugging
  • invalid input, missing auth, or transport failure -> success=false with an error payload
• Return the GraphQL response or error payload as structured tool output that the model can inspect in-session.