-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#2092 In TheGreenCedar/CodeStory;
- Status: Open.#2090 In TheGreenCedar/CodeStory;
- Status: Open.#2089 In TheGreenCedar/CodeStory;
[proof availability] Activate the qualified exact verifier
epic:agent-interfaceProduct agent interface and graph-first workflowProduct agent interface and graph-first workflowpriority:p1Release blocker or high-risk reliability/security issueRelease blocker or high-risk reliability/security issuerustPull requests that update rust codePull requests that update rust codetype:contractRuntime, CLI, API, or evidence contract workRuntime, CLI, API, or evidence contract workStatus: Open.#2066 In TheGreenCedar/CodeStory;- Status: Open.#2023 In TheGreenCedar/CodeStory;
Separate retrieval evidence from structural proof authority
epic:agent-interfaceProduct agent interface and graph-first workflowProduct agent interface and graph-first workflowpriority:p1Release blocker or high-risk reliability/security issueRelease blocker or high-risk reliability/security issuetype:contractRuntime, CLI, API, or evidence contract workRuntime, CLI, API, or evidence contract worktype:epicParent issue for a roadmap epic or initiativeParent issue for a roadmap epic or initiativeStatus: Open.#1973 In TheGreenCedar/CodeStory;Pin published CLI archive SHA-256s on the next plugin-only release
priority:p2Important follow-up for next release waveImportant follow-up for next release wavetype:contractRuntime, CLI, API, or evidence contract workRuntime, CLI, API, or evidence contract workStatus: Open.#1949 In TheGreenCedar/CodeStory;