Skip to content

feat: embed Trace Explorer via embedded-trace-api#225

Merged
enricopiovesan merged 3 commits into
mainfrom
cursor/ticket-embed-trace-explorer-824d
Jul 23, 2026
Merged

feat: embed Trace Explorer via embedded-trace-api#225
enricopiovesan merged 3 commits into
mainfrom
cursor/ticket-embed-trace-explorer-824d

Conversation

@enricopiovesan

Copy link
Copy Markdown
Contributor

Summary

Upstream Traverse embedded-trace-api (#802) unblocked this ticket:

  • Refresh vendor/traverse-embedder-web with the companion Trace API
  • Rewrite Trace Explorer web UI to trace.list / trace.get (no sidecar / healthz)
  • Tests via EmbedderTestDouble only
  • Retire Trace Explorer from HTTP carve-out docs; mark registry-ref-starter-process Done (feat: switch traverse-starter process to registry_ref #224) on the start-plan table

Governing Spec

  • Traverse 517-embedded-trace-api
  • Project 2 embed-trace-explorer (PVTI_lADOEbiBt84BbzAzzgzhrSQ)

Project Item

  • Ticket ID: embed-trace-explorer

Definition of Done

  • Trace Explorer runs without traverse-cli serve using public embedded Trace API
  • README + carve-out docs mark Embedded
  • Tests use EmbedderTestDouble / public APIs only
  • Trace Explorer removed from named HTTP carve-out list

Validation

npm run test -w apps/trace-explorer/web-react
npm run typecheck -w apps/trace-explorer/web-react
bash scripts/ci/repository_checks.sh
Open in Web Open in Cursor 

cursoragent and others added 3 commits July 23, 2026 03:13
Refresh vendor traverse-embedder-web with Traverse #802 companion API.
Replace HTTP/sidecar Trace Explorer client with trace.list / trace.get
over EmbedderTestDouble (tests) / injectable host. Retire Trace Explorer
HTTP carve-out docs; mark registry-ref Done and embed-trace In Progress
on the start-plan table.

Co-authored-by: Enrico Piovesan <enricopiovesan@users.noreply.github.com>
Co-authored-by: Enrico Piovesan <enricopiovesan@users.noreply.github.com>
Co-authored-by: Enrico Piovesan <enricopiovesan@users.noreply.github.com>
@enricopiovesan
enricopiovesan marked this pull request as ready for review July 23, 2026 03:14
@enricopiovesan
enricopiovesan enabled auto-merge (squash) July 23, 2026 03:14
@enricopiovesan
enricopiovesan merged commit 485aa87 into main Jul 23, 2026
8 checks passed
@enricopiovesan
enricopiovesan deleted the cursor/ticket-embed-trace-explorer-824d branch July 23, 2026 03:15
enricopiovesan added a commit that referenced this pull request Jul 23, 2026
Board hygiene after #225/#227 merge.

Co-authored-by: Cursor <cursoragent@cursor.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants