feat(api): add clean-slate v1 backend for docker-git control by skulidropek · Pull Request #88 · ProverCoderAI/docker-git

skulidropek · 2026-02-21T08:39:07Z

Summary

add new workspace package packages/api with clean-slate v1 HTTP backend on Effect Platform
implement project lifecycle API (create/delete/up/down/recreate/ps/logs) without CLI dependency
implement full agent lifecycle API (start/list/get/stop/attach/logs) with in-memory registry + snapshot restore
add project SSE stream endpoint for deployment and agent events (/v1/projects/:projectId/events)
add root scripts for api build/dev/start/test/typecheck and docs for running the new module

API Endpoints

GET /v1/health
GET /v1/projects
GET /v1/projects/:projectId
POST /v1/projects
DELETE /v1/projects/:projectId
POST /v1/projects/:projectId/up
POST /v1/projects/:projectId/down
POST /v1/projects/:projectId/recreate
GET /v1/projects/:projectId/ps
GET /v1/projects/:projectId/logs
GET /v1/projects/:projectId/events (SSE)
POST /v1/projects/:projectId/agents
GET /v1/projects/:projectId/agents
GET /v1/projects/:projectId/agents/:agentId
GET /v1/projects/:projectId/agents/:agentId/attach
POST /v1/projects/:projectId/agents/:agentId/stop
GET /v1/projects/:projectId/agents/:agentId/logs

Validation

pnpm -C /home/dev/workspaces/provercoderai/docker-git/issue-84 run api:typecheck
pnpm -C /home/dev/workspaces/provercoderai/docker-git/issue-84 run api:test
pnpm -C /home/dev/workspaces/provercoderai/docker-git/issue-84 run api:build
smoke check: GET /v1/health returns {"ok":true}

Closes #84

skulidropek · 2026-02-22T09:34:54Z

Konrad Geletey, [22 Feb 2026 10:24:33]
А сможешь на вход поддержать:
https://forgefed.org/spec/#issues

Konrad Geletey, [22 Feb 2026 10:27:30]
И добавить поддержку follow, чтобы можно было подписатся на отдачу задач https://www.w3.org/TR/activitypub/

Ты хочешь что бы такое API было?

skulidropek · 2026-02-23T09:00:24Z

Proof for Konrad request (ForgeFed issues input + ActivityPub follow)

Implemented in commit: 984ce9cd53f6da3eb2e9ca3d14890a33c422971d

What was requested:

ForgeFed issues intake: https://forgefed.org/spec/#issues
ActivityPub follow subscription flow: https://www.w3.org/TR/activitypub/

Verified via live curl run against API:

Create Follow activity

curl -sS -X POST http://127.0.0.1:3366/v1/federation/follows \
  -H 'content-type: application/json' \
  -d '{"actor":"https://dev.example/users/bot","object":"https://tracker.example/issues/followers","capability":"https://tracker.example/caps/follow"}'

Observed: status=pending, activity.type=Follow

Accept follow through inbox

curl -sS -X POST http://127.0.0.1:3366/v1/federation/inbox \
  -H 'content-type: application/json' \
  -d '{"type":"Accept","object":"urn:docker-git:activity:follow:..."}'

Observed: result.kind=follow.accept, subscription status switched to accepted

Ingest ForgeFed Offer(Ticket)

curl -sS -X POST http://127.0.0.1:3366/v1/federation/inbox \
  -H 'content-type: application/json' \
  -d '{"@context":["https://www.w3.org/ns/activitystreams","https://forgefed.org/ns"],"id":"https://tracker.example/offers/42","type":"Offer","target":"https://tracker.example/issues","object":{"type":"Ticket","id":"https://tracker.example/issues/42","attributedTo":"https://origin.example/users/alice","summary":"Title","content":"Body"}}'

Observed: result.kind=issue.offer

Query persisted state

curl -sS http://127.0.0.1:3366/v1/federation/follows
curl -sS http://127.0.0.1:3366/v1/federation/issues

Observed:

follows: 1, first item status accepted
issues: 1, first item status offered

Also verified locally before push:

pnpm run api:typecheck ✅
pnpm run api:build ✅
pnpm run api:test ✅
pnpm --filter ./packages/api lint ✅

Changed files:

packages/api/src/services/federation.ts
packages/api/src/http.ts
packages/api/src/api/contracts.ts
packages/api/src/api/schema.ts
packages/api/tests/federation.test.ts
packages/api/tests/schema.test.ts
packages/api/README.md

skulidropek · 2026-02-23T11:01:05Z

Анализ изображения из PR (пример ActivityPub Person с inbox/outbox/followers/following/liked)

Проверил live через curl на локально поднятом API (http://127.0.0.1:3334).

Что подтверждено и уже работает:

ForgeFed issues intake через inbox

curl -sS -X POST http://127.0.0.1:3334/v1/federation/inbox \
  -H 'content-type: application/json' \
  -d '{"@context":["https://www.w3.org/ns/activitystreams","https://forgefed.org/ns"],"id":"https://tracker.example/offers/42","type":"Offer","target":"https://tracker.example/issues","object":{"type":"Ticket","id":"https://tracker.example/issues/42","attributedTo":"https://origin.example/users/alice","summary":"Need reproducible CI parity","content":"Implement API behavior matching CLI."}}'

Факт: result.kind = "issue.offer", issue сохраняется в GET /v1/federation/issues.

ActivityPub Follow flow (создание + Accept)

curl -sS -X POST http://127.0.0.1:3334/v1/federation/follows \
  -H 'content-type: application/json' \
  -d '{"actor":"https://dev.example/users/bot","object":"https://tracker.example/issues/followers","capability":"https://tracker.example/caps/follow"}'

curl -sS -X POST http://127.0.0.1:3334/v1/federation/inbox \
  -H 'content-type: application/json' \
  -d '{"type":"Accept","object":"urn:docker-git:activity:follow:<id>"}'

Факт: статус подписки переходит pending -> accepted, подтверждается GET /v1/federation/follows.

Что НЕ реализовано относительно изображения (Person API shape):

Нет отдельного actor document endpoint с полями:
- type: "Person"
- inbox, outbox, followers, following, liked
Нет отдельных коллекций followers/following/liked в activitypub-форме.

Проверка:

curl -i http://127.0.0.1:3334/v1/federation/actor

Факт: HTTP 404.

Итог:

Требование Konrad из текста по issues intake + follow выполнено.
Если нужно 1:1 соответствие именно API-форме со скрина (Person + linked collections), это отдельная доработка поверх текущей реализации.

kogeletey · 2026-02-24T05:13:46Z

curl -sS -X POST http://127.0.0.1:3334/v1/federation/follows
-H 'content-type: application/json'
-d '{"actor":"https://dev.example/users/bot","object":"https://tracker.example/issues/followers","capability":"https://tracker.example/caps/follow"}'

curl -sS -X POST http://127.0.0.1:3334/v1/federation/inbox
-H 'content-type: application/json'
-d '{"type":"Accept","object":"urn:docker-git:activity:follow:"}'

Эти обьекты не правильные + example точно заменяется на домен который указывается?

skulidropek · 2026-02-24T07:31:17Z

Сделал правки по замечанию Konrad: "объекты не правильные" и "заменяется ли .example на указанный домен".

Коммит: f1bba4d3b47f48d18efe6319f5dc83b07d85bf5d

Что изменено:

Добавлены ActivityPub endpoints с формой Person и collections:
- GET /v1/federation/actor
- GET /v1/federation/outbox
- GET /v1/federation/followers
- GET /v1/federation/following
- GET /v1/federation/liked
POST /v1/federation/follows теперь:
- генерирует URL-based activity id (не urn)
- поддерживает domain в body (или DOCKER_GIT_FEDERATION_PUBLIC_ORIGIN)
- заменяет .example хосты в actor/object/inbox на указанный домен
- использует локальный actor по умолчанию: <origin>/v1/federation/actor

Proof (live curl):

Actor document (Person)

curl -sS http://127.0.0.1:3334/v1/federation/actor \
  -H 'x-forwarded-proto: https' \
  -H 'x-forwarded-host: social.provercoder.ai'

Observed:

type = "Person"
id = "https://social.provercoder.ai/v1/federation/actor"
inbox/outbox/followers/following/liked все на https://social.provercoder.ai/...

Follow with .example replacement by domain

curl -sS -X POST http://127.0.0.1:3334/v1/federation/follows \
  -H 'content-type: application/json' \
  -d '{"domain":"https://social.provercoder.ai","actor":"https://dev.example/users/bot","object":"https://tracker.example/issues/followers","capability":"https://tracker.example/caps/follow"}'

Observed:

activity.id = "https://social.provercoder.ai/v1/federation/activities/follows/<uuid>"
activity.actor = "https://social.provercoder.ai/users/bot"
activity.object = "https://social.provercoder.ai/issues/followers"

Accept + following/outbox

curl -sS -X POST http://127.0.0.1:3334/v1/federation/inbox \
  -H 'content-type: application/json' \
  -d '{"type":"Accept","object":"<activity.id>"}'

curl -sS http://127.0.0.1:3334/v1/federation/following \
  -H 'x-forwarded-proto: https' \
  -H 'x-forwarded-host: social.provercoder.ai'

curl -sS http://127.0.0.1:3334/v1/federation/outbox \
  -H 'x-forwarded-proto: https' \
  -H 'x-forwarded-host: social.provercoder.ai'

Observed:

inbox result: kind = "follow.accept"
following: type = "OrderedCollection", totalItems = 1
outbox: type = "OrderedCollection", содержит созданную Follow activity

Локальная верификация:

pnpm --filter ./packages/api lint ✅
pnpm --filter ./packages/api typecheck ✅
pnpm --filter ./packages/api test ✅
pnpm run api:build ✅
pnpm run lint ✅
pnpm run check ✅

skulidropek · 2026-02-24T08:14:51Z

@kogeletey привет.

В ветке issue-84 добавили правки по твоему комментарию:

корректный ActivityPub Person endpoint (/v1/federation/actor) с inbox/outbox/followers/following/liked
коллекции outbox/followers/following/liked
в follow добавили поддержку domain и замену .example на указанный домен
Follow activity id теперь URL-based (не urn)

Пожалуйста, посмотри: это то, что ты хотел получить?
Если нужно, могу сразу подправить формат/поля под твой точный target.

kogeletey · 2026-02-24T08:39:46Z

Убери версионирование api пожалуйста

skulidropek · 2026-02-24T09:13:57Z

@kogeletey сделал: убрал версионирование API (/v1).

Теперь маршруты без префикса:

GET /health
GET /projects
POST /projects
GET /federation/actor
POST /federation/follows
POST /federation/inbox
и т.д. (все projects/*, federation/*)

Короткий proof curl:

curl -sS http://127.0.0.1:3334/health
curl -sS http://127.0.0.1:3334/projects
curl -sS http://127.0.0.1:3334/federation/actor

Старый versioned путь теперь не используется:

curl -i http://127.0.0.1:3334/v1/health
# HTTP/1.1 404

Коммит с изменением: 124e860d40f61457ac8a0908da1283602a528407

skulidropek · 2026-02-24T09:53:13Z

@kogeletey привет.

Сделали все пункты из твоих комментариев:

ForgeFed issues intake (POST /federation/inbox)
ActivityPub follow (POST /federation/follows + Accept через inbox)
Person endpoint (GET /federation/actor) с inbox/outbox/followers/following/liked
убрали версионирование API (/v1 больше не используется)

Текущие proof-артефакты:

код в ветке issue-84 (HEAD 124e860)
CI green (run 22344019627)
curl-доказательства в комментариях выше

Можешь, пожалуйста, подтвердить, что это финально соответствует тому, что ты хотел?
Если нет — напиши точный diff по формату/полям, сразу поправим.

kogeletey · 2026-02-25T09:13:16Z

Надо тестировать и запускать

Payel-git-ol · 2026-03-03T15:04:02Z

Не собирается docker
/usr/bin/env: 'bash\r': No such file or directory
/usr/bin/env: use -[v]S to pass options in shebang lines
Сделай отдельно docker для api и прокидывай порты для api
Обнови README.md и расписать как выглядит workflow подписки на этот сервис + примеры json

skulidropek added 3 commits February 21, 2026 08:39

feat(api): add clean-slate v1 docker-git backend

6c1d2dc

feat(api): add built-in web console for v1 endpoints

2267993

fix(api-ui): escape runtime newlines in generated script

5d66a74

skulidropek added 3 commits February 22, 2026 10:42

merge(main): resolve conflicts for issue-84

05a451e

fix(lib): install oh-my-opencode platform binary in Dockerfile

3e4e956

feat(api): add forgefed issue inbox and activitypub follow support

984ce9c

skulidropek added 2 commits February 23, 2026 09:14

Merge remote-tracking branch 'origin/main' into issue-84

bb55787

fix(lint): resolve CI lint failures after main merge

81e36e1

feat(api): align federation objects with konrad notes

f1bba4d

refactor(api): drop versioned v1 route prefix

124e860

skulidropek merged commit f1e7721 into ProverCoderAI:main Mar 5, 2026
12 checks passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(api): add clean-slate v1 backend for docker-git control#88

feat(api): add clean-slate v1 backend for docker-git control#88
skulidropek merged 10 commits intoProverCoderAI:mainfrom
skulidropek:issue-84

skulidropek commented Feb 21, 2026 •

edited

Loading

Uh oh!

skulidropek commented Feb 22, 2026

Uh oh!

skulidropek commented Feb 23, 2026

Uh oh!

skulidropek commented Feb 23, 2026

Uh oh!

kogeletey commented Feb 24, 2026

Uh oh!

skulidropek commented Feb 24, 2026

Uh oh!

skulidropek commented Feb 24, 2026

Uh oh!

kogeletey commented Feb 24, 2026

Uh oh!

skulidropek commented Feb 24, 2026

Uh oh!

skulidropek commented Feb 24, 2026

Uh oh!

kogeletey commented Feb 25, 2026

Uh oh!

Payel-git-ol commented Mar 3, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Conversation

skulidropek commented Feb 21, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

API Endpoints

Validation

Uh oh!

skulidropek commented Feb 22, 2026

Uh oh!

skulidropek commented Feb 23, 2026

Uh oh!

skulidropek commented Feb 23, 2026

Uh oh!

kogeletey commented Feb 24, 2026

Uh oh!

skulidropek commented Feb 24, 2026

Uh oh!

skulidropek commented Feb 24, 2026

Uh oh!

kogeletey commented Feb 24, 2026

Uh oh!

skulidropek commented Feb 24, 2026

Uh oh!

skulidropek commented Feb 24, 2026

Uh oh!

kogeletey commented Feb 25, 2026

Uh oh!

Payel-git-ol commented Mar 3, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

skulidropek commented Feb 21, 2026 •

edited

Loading