Skip to content

feat(gateway): own coordinated symbol mutation - #286

Merged
AntoineToussaint merged 3 commits into
mainfrom
fix/symbol-mutation-boundary-369
Aug 10, 2026
Merged

feat(gateway): own coordinated symbol mutation#286
AntoineToussaint merged 3 commits into
mainfrom
fix/symbol-mutation-boundary-369

Conversation

@AntoineToussaint

Copy link
Copy Markdown
Contributor

Closes the CLI-side prerequisite for codefly-dev/mind#369.

What changed

  • pins Core v0.2.86 and exposes the typed analyzer-owned symbol mutation through the production Gateway;
  • keeps qualified_name (analyzer selector) distinct from stable symbol_id (claim/lease/fence identity);
  • returns only source-free hashes, typed failure reasons, and execution evidence to Mind;
  • prepares symbol mutations through the real Codefly analyzer, retains resulting project bytes inside Codefly, and requires an exact symbol permit fence before apply;
  • deletes the previous test gRPC execution mock from this path and exercises the real local Codefly source implementation.

Evidence

  • GOWORK=off go test ./pkg/gateway ./pkg/engine
  • real file-backed prepare performs no write, a file fence cannot authorize the symbol mutation, the exact signed symbol fence applies once, and stale anchors remain unchanged while preserving their typed recovery reason.

@AntoineToussaint
AntoineToussaint merged commit 219419a into main Aug 10, 2026
5 checks passed
@AntoineToussaint
AntoineToussaint deleted the fix/symbol-mutation-boundary-369 branch August 10, 2026 06:41
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.

1 participant