Conversation
Brings forward v2's kernel-vs-features split, standards-based foundation, and spec discipline. Pulls in v1's pure-Rust Smart HTTP v2 Git server, OCI extension distribution, and federated GraphQL schema composition. This branch executes the plan incrementally; each increment is its own commit so the PR shows a real progression. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
There was a problem hiding this comment.
Pull request overview
Adds a v3 planning document describing how the project will reintroduce v1’s Smart-HTTP/OCI/federation capabilities within v2’s kernel/extension architecture, along with an increment-by-increment roadmap and verification criteria.
Changes:
- Add
V3_PLAN.mddescribing v3 goals, architecture targets, increment plan, and verification checklist.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Comment on lines
+1
to
+3
| # Forgepoint v3 — Plan | ||
|
|
||
| This branch combines what v1 (the original Forgepoint at `forgepoint-dev/forgepoint`) and v2 (the spec-driven rewrite, which this repo is) each got right into a single coherent kernel. |
Mass rename:
- Forgepoint -> Comtrya (display name)
- forgepoint -> comtrya (identifiers, paths, package names)
- FORGEPOINT -> COMTRYA (env vars)
- wit/forgepoint-extension.wit -> wit/comtrya-extension.wit
- frontend/src/server/forgepoint.ts -> frontend/src/server/comtrya.ts
- Cargo crate names: forgepoint-{core,server,cli} -> comtrya-{core,server,cli}
- WIT package: forgepoint:extension -> comtrya:extension
cargo check --workspace passes. The one historical reference to the v1
directory path on disk (forgepoint-dev/forgepoint) is preserved in V3_PLAN
since that is its actual filesystem location.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Brings forepoint v1's crates/git-http into v3 as comtrya-git-http. Contents (~1880 LOC): pkt-line codec, protocol v2 negotiation, pack generation, repo provider trait, axum handler scaffolding. Supports upload-pack (clone/fetch); receive-pack is a follow-up increment. Adjustments: - Crate renamed to comtrya-git-http and added to workspace. - Env vars renamed: FORGE_GIT_HTTP_EXPORT_ALL -> COMTRYA_GIT_HTTP_EXPORT_ALL, FORGE_GIT_SMART_V2_ADVERTISE/BACKEND -> COMTRYA_GIT_SMART_V2_ADVERTISE/BACKEND. - Default advertise/backend flipped to "rust" (pure-Rust path, not git shell-out). - tokio-util "io" feature enabled for ReaderStream. Next increment: wire into crates/server, drop git http-backend shell adapter for upload-pack. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Replaces the shell adapter (git http-backend) on the upload-pack path
with comtrya-git-http's pure-Rust implementation. The shell adapter
remains as a fallback selectable via COMTRYA_GIT_BACKEND=legacy.
Changes:
- crates/server: add PureRustGitState (RepositoryProvider + GitHttpState)
living on AppState, constructed from runtime.demo_repository.project_root.
- crates/server git_endpoint: parse {seg}/{seg}/{suffix} and dispatch into
comtrya_git_http::v2::dispatch with the parsed segments + service.
- crates/server demo repo seeding: touch git-daemon-export-ok on init
(and on the idempotent re-open path) so the new lib treats it as exported.
- crates/git-http: add pub `dispatch` entry-point for ergonomic host wiring,
make `handle_upload_pack` pub, prefix advertisement with the
Smart HTTP service banner (matches git http-backend behavior).
- crates/git-http: tests now disable gpg signing so local gitsign configs
don't break seeding.
- extensions: refresh entryIntegrity hashes after the Comtrya rename.
cargo test --workspace passes: 77 core, 16 git-http, 29 server, 1 MVP.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Extends comtrya-extension.wit with first-class host imports: host-log, host-events, host-storage, host-git, host-http, host-secrets, host-jobs. Each interface documents its scope, isolation guarantees, and expected host enforcement. This locks in the v3 extension contract. The current minimal .wat components still ship a numeric proof export; a follow-up increment wires the host Linker to provide these imports and migrates one first-party extension to the typed protocol end-to-end. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
New crate comtrya-extension-oci, ported from v1's
crates/server/src/extensions/{oci_fetcher,cache}.rs. Provides:
- OciExtensionFetcher: fetch by registry+image+(tag|digest) with retries,
exponential backoff, offline-mode fallback, optional checksum verification.
- ExtensionCache: content-addressed cache under a host-managed dir,
per-entry CacheMetadata (provenance + integrity).
12 ported tests pass. Next increment: extend CUE config to reference
extensions by OCI ref and wire the fetcher into the host's
load_extension_runtime path so first-party extensions can ship via OCI.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Adds typed extension installation config to the core contract:
- ExtensionSource::{Local{path}, Oci{registry,image,reference}}
- OciReference::{Tag, Digest}
- ExtensionInstallConfig with id, source, enabled
- InstanceConfig now carries Vec<ExtensionInstallConfig>; validate()
rejects empty fields and duplicate ids.
config/config.cue gains an example extensions block referencing three
first-party packages via OCI. The hand-rolled CUE loader does not yet
parse this section; the values are documentation today and become
authoritative once the CUE parser is upgraded (separate increment).
Three new core unit tests cover OCI validation, duplicate-id rejection,
and empty-reference rejection. cargo test --workspace: 138 passing.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
V3_STATUS.md is an up-to-date snapshot of what shipped in this branch and what's deferred. V3_PLAN.md's increment list now marks completed work and explicitly tracks the deferred items for follow-up branches. 138 tests passing. Pure-Rust Git is the default upload-pack path; legacy git http-backend is still reachable for regression compare. Extension distribution and config contracts are in place; their host wiring is the principal piece of follow-up work. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Member
Author
v3 architectural foundation — landedAll 8 increments planned for this initial branch are committed and pushed. The v3 architecture combining the best of v1 (pure-Rust Git Smart HTTP v2, OCI extension distribution) with v2 (kernel-vs-features split, OIDC + SpiceDB + CUE + CloudEvents + WIT/Component Model, spec discipline) is in place at the contract and crate level. What's done
Test posture
Backend flip
Deferred to follow-up branchesSee
Each is independently scoped and individually shippable on its own branch. 🤖 Generated with Claude Code |
Adds validate_route_prefix_uniqueness() and wires it into Runtime::start before any extension is instantiated, so conflicting route_prefix values across extensions are caught early with a clear error naming both IDs. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
… lookup Adds resolve_repository_by_path() pure function that matches URL path segments against the repositories[].path field, wires it into the workspace JSON object in graphql_response() by reading variables.segments from the request payload, and covers the feature with 5 tests (3 unit + 2 integration). Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…lution Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…onInstallations GraphQL Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…ions load Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Add el() + text() DOM builder helpers in src/shell/dom.ts with 5 passing bun tests; wire happy-dom via bunfig.toml preload for the test environment. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Rewrites styles.css from the old Operator Console dark theme to the Mechanical Specimen design system. Copies the style block from the 04-mechanical-specimen.html mockup, drops mockup-only selectors (.ds-strap, .ds-name, .ds-footer, .theme-switch floating), fixes the circular --rule-light self-reference in the print theme, and adds .extension-placeholder, .extension-slot-frame, .extension-slot-mount, .extension-payload, and .repo-tabs selectors required by Tasks 18-23. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…tcher Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…ames Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…group-path identity
…in.ts Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Add split_repo_path helper and build_repository_summary to derive groups from the path field, count open pull requests, compute check pass/total summary, and carry lastCommitAt. Wire workspace.repositories into the GraphQL response as enriched summaries alongside repositoryByPath. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…gthen tests Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…d:true v1 flag Adds three host-side aggregated viewer fields consumed by the home your-work widget; the aggregated:true flag marks them for replacement by the federated GraphQL planner (V3_PLAN item 9). Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Add `filter_events_for_viewer` helper that keeps only activity events whose `repositoryID` is in the caller-supplied visible set (events with no `repositoryID` are dropped defensively). Wire it into the workspace GraphQL projection as `workspace.events`; v1 visible set is all repos in the workspace. Leave `activityEvents` top-level field untouched. Two unit tests cover include/exclude logic. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…SDK setup Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…ion guards Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…K setup Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Introduces the ext_workspace_home first-party extension with v2 UI manifest contributing home.your-work, home.repositories, home.activity, and home.instance slots via four custom elements. Also registers the extension in FIRST_PARTY_EXTENSIONS so the server loader picks it up on startup. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Appends smoke assertions that verify the new Astro routes introduced in Tasks 12-14 produce the expected SSR HTML and status codes: home-shell on /, repo-dashboard on /r/<path>, extension-page on /x/pulls/, 404 for unknown repo and extension prefixes, and the /instance -> /#instance redirect. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
v3 brings v1's load-bearing implementation pieces back into v2's kernel-shaped architecture:
See
V3_PLAN.mdfor the increment plan.Increment plan
crates/git-http)git http-backendshell adapterSPEC_COVERAGE.md,TODO.md,start.shEach increment ships as its own commit so the PR shows a real progression.
Test plan
🤖 Generated with Claude Code