-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#358 In Joncallim/Forge;
- Status: Open.#357 In Joncallim/Forge;
[FEATURE] Schedule verification-goal proof runs through generic Triggers
enhancementNew feature or requestNew feature or requestStatus: Open.#356 In Joncallim/Forge;[FEATURE] Complete verification-goal on-demand proof execution through VNext
enhancementNew feature or requestNew feature or requestStatus: Open.#355 In Joncallim/Forge;[BUG][P0] Make agent readiness dependency-aware and prevent tracking issues from direct dispatch
bugSomething isn't workingSomething isn't workingStatus: Open.#354 In Joncallim/Forge;[BUG][P0][PRIVACY] Stop default task-title egress to DuckDuckGo; make web research explicit and policy-bound
bugSomething isn't workingSomething isn't workingStatus: Open.#353 In Joncallim/Forge;- Status: Open.#352 In Joncallim/Forge;
- Status: Open.#348 In Joncallim/Forge;
[BUG][P0] Make Postgres-to-Redis wakeups durable, idempotent, and recoverable
bugSomething isn't workingSomething isn't workingStatus: Open.#347 In Joncallim/Forge;[BUG][P0] Eliminate periodic generative provider-health pings and enforce zero-token idle
bugSomething isn't workingSomething isn't workingStatus: Open.#346 In Joncallim/Forge;[FEATURE] VNext Phase 10 — HearthBot cutover and complete Hermes retirement
enhancementNew feature or requestNew feature or requestStatus: Open.#344 In Joncallim/Forge;[FEATURE] VNext Phase 9 — Infrastructure Ops Workforce and persistent side-effect proof
enhancementNew feature or requestNew feature or requestStatus: Open.#343 In Joncallim/Forge;