ProvelyProve that the issue is assigned to the user that the person named. The issue carries the intended user as its assignee. It does not prove that the user did the work.
| Fact | Value |
|---|---|
| Contract id | linear.issue.assigned |
| Version | 1.0.0 |
| Hash | d35d1265e2f4b2ee |
| Completion level | assigned |
| Publisher | Built and signed by Provely. |
| Certification | Provisional |
| Skill | Linear GraphQL API 0.1.0 |
| Valid for provider API versions | fp_2026_09 |
What is the intent?
Assign the issue to this user.
What is the subject and the action?
| Member | Value |
|---|---|
| Subject type | linear.issue |
| Canonical effect | work.issue_create |
| Provider operation | mutation issueCreate |
| Idempotency | none, retry is not safe |
Which false successes give CONTRADICTED?
- duplicate side effect
- pre existing state
- wrong subject
The signed contract states the exact conditions, the evidence and the timing. The runtime reads them. The page states the promise.
Where do these rules come from?
linear.graphql#/mutations/issueUpdate: linear.graphql, retrieved 2026-09-09linear.graphql#/inputs/IssueUpdateInput/fields/assigneeId: linear.graphql, retrieved 2026-09-09linear.graphql#/types/Issue/fields/assignee: linear.graphql, retrieved 2026-09-09linear.docs.issues#issues-in-the-linear-graphql-api/update-an-issue: linear.docs.issues, retrieved 2026-09-09linear.docs.issues#issues-in-the-linear-graphql-api/error-handling: linear.docs.issues, retrieved 2026-09-09linear.docs.issues#issues-in-the-linear-graphql-api/error-handling/p2: linear.docs.issues, retrieved 2026-09-09linear.docs.issues#issues-in-the-linear-graphql-api/the-endpoint: linear.docs.issues, retrieved 2026-09-09linear.graphql#/queries/issue: linear.graphql, retrieved 2026-09-09linear.graphql#/types/Issue/fields/id: linear.graphql, retrieved 2026-09-09linear.graphql#/types/IssuePayload/fields/issue: linear.graphql, retrieved 2026-09-09linear.graphql#/types/Issue/fields/team: linear.graphql, retrieved 2026-09-09linear.graphql#/inputs/IssueCreateInput/fields/teamId: linear.graphql, retrieved 2026-09-09linear.graphql#/types/Issue/fields/createdAt: linear.graphql, retrieved 2026-09-09linear.graphql#/types/User/fields/id: linear.graphql, retrieved 2026-09-09linear.events#/events/Issue.update: linear.events, retrieved 2026-09-09linear.webhooks.graphql#/types/IssueWebhookPayload/fields/assigneeId: linear.webhooks.graphql, retrieved 2026-09-09linear.docs.webhooks#linear-webhooks/the-fields-of-a-data-change-event: linear.docs.webhooks, retrieved 2026-09-09
Can linear.issue.assigned return VERIFIED from the action response alone?
No. The action response is E1, and an acknowledgement is never terminal success. The contract needs evidence of level E2 or higher from Linear GraphQL API.
What happens after the timeout?
The verdict is UNVERIFIABLE. The operation goes to a person for review.