mirror of
https://github.com/fabro-sh/fabro.git
synced 2026-10-01 02:04:24 +00:00
0820252bcf
The worker shape of the integration plan (F1.3) needs a run's worker to
reach the run's Petri records over the server's API. This adds the
contract: six worker-scoped endpoints under `/api/v1/runs/{id}/petri/`
(open, release, list and append records of one log, write and read a
blob), their request and response schemas, and the generated Rust and
TypeScript clients.
A store error needs more than a code: `petri_run_leased` names the
holding owner and `petri_record_conflict` names the refused position.
`ErrorResponseEntry` gains an optional `meta` object for such
code-specific members, `ApiError` can carry it, and the client's
`ApiFailure` parses it beside the code so a caller can act on it.
Records travel as `{seq, recorded_at, record}`, the store's own unit,
with `seq` and `recorded_at` as `uint64`. The log path segment is the
log id's text (`coordinator`, `resources`, `execution <n>`), which the
generated client percent-encodes. The blob write reuses
`WriteBlobResponse`, since Petri's digest is Fabro's blob hash.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
|
||
|---|---|---|
| .. | ||
| auth | ||
| demo | ||
| prompts | ||
| server | ||
| worker_control | ||
| automation_materializer.rs | ||
| canonical_host.rs | ||
| canonical_origin.rs | ||
| csp.rs | ||
| diagnostics.rs | ||
| error.rs | ||
| git_checkout.rs | ||
| github_webhooks.rs | ||
| install.rs | ||
| interp.rs | ||
| jwt_auth.rs | ||
| lib.rs | ||
| manifest_validation.rs | ||
| migrations.rs | ||
| principal_middleware.rs | ||
| request_id.rs | ||
| run_compiler.rs | ||
| run_files.rs | ||
| run_files_security.rs | ||
| run_intent.rs | ||
| run_manifest.rs | ||
| run_selector.rs | ||
| run_title_generation.rs | ||
| run_tool_create.rs | ||
| security_headers.rs | ||
| serve.rs | ||
| server.rs | ||
| server_secrets.rs | ||
| spawn_env.rs | ||
| startup.rs | ||
| static_files.rs | ||
| test_support.rs | ||
| web_auth.rs | ||
| worker_runtime.rs | ||
| worker_token.rs | ||