feat(den): manage Marketplace Plugin assignments - #3106
Draft
reachjalil wants to merge 2 commits into
Draft
Conversation
Contributor
|
The latest updates on your projects. Learn more about Vercel for GitHub.
1 Skipped Deployment
|
Contributor
|
@reachjalil is attempting to deploy a commit to the Different AI Team on Vercel. A member of the Team first needs to authorize it. |
reachjalil
force-pushed
the
feature/den-marketplace-plugin-assignments-exact
branch
from
July 25, 2026 12:59
53e43e9 to
6f62af3
Compare
reachjalil
force-pushed
the
feature/den-marketplace-plugin-assignments-exact
branch
from
July 26, 2026 13:25
7877790 to
a4092f6
Compare
Collaborator
Author
|
CI triage note: the shared OpenWork Linux/macOS suite currently fails on |
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
User impact
Marketplace composition is now manageable from Den. Assignment and removal are clearly relationship operations; removing a Plugin from one Marketplace never mutates the Plugin itself.
Focused verification
Proof status
The original candidate reached the real Den proof runtime, but managed OpenCode readiness stalled before an authenticated browser assertion could complete. A later exact-SHA verifier passed checkout/base/evaluator checks and failed closed because the generic legacy suite had no dedicated Den Marketplace-assignment meal. No browser assertion is being claimed as passed. This remains a draft pending that exact real-app flow.
Delivery budget lineage
Review boundary
The product candidate is durable and locally verified. Keep this PR in draft until the dedicated Den Marketplace assignment flow passes against the exact head.