-
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
[milestone Milestone 12 — Symbolic Reasoning Core]
deploy/Dockerfile.z3— variant image with Z3 native libraries: `apt install ...claudeBot-managed issueBot-managed issueStatus: Open.#276 In WasmAgent/symkernel;[milestone Milestone 12 — Symbolic Reasoning Core]
bench/smt-comparison/— solver evaluation harness: compare Z3 against `cel_e...claudeBot-managed issueBot-managed issueStatus: Open.#275 In WasmAgent/symkernel;[milestone Milestone 12 — Symbolic Reasoning Core] Constraint synthesis helpers —
internal/synthesis: `SynthesizeInvariant(prec...claudeBot-managed issueBot-managed issueStatus: Open.#274 In WasmAgent/symkernel;[milestone Milestone 12 — Symbolic Reasoning Core]
internal/symbolic— path exploration engine: `ExplorePaths(wasm []byte, inpu...claudeBot-managed issueBot-managed issueStatus: Open.#273 In WasmAgent/symkernel;[milestone Milestone 12 — Symbolic Reasoning Core]
POST /v1/verify/smt— SMT solver endpoint: `{"input":{"constraints":"...","m...claudeBot-managed issueBot-managed issueStatus: Open.#272 In WasmAgent/symkernel;ci-health: main CI is red on WasmAgent/symkernel (workflow "CI")
claudeBot-managed issueBot-managed issuepatrolFiled by patrol daemonFiled by patrol daemonpatrol-fixPatrol-filed fix issuePatrol-filed fix issueStatus: Open.#271 In WasmAgent/symkernel;[milestone Milestone 12 — Symbolic Reasoning Core]
internal/constraint— constraint IR translator: `TranslateToSMT(criterion Co...claudeBot-managed issueBot-managed issueStatus: Open.#270 In WasmAgent/symkernel;[milestone Milestone 12 — Symbolic Reasoning Core]
internal/z3— CGO bindings to Z3 4.13+: `Solve(constraints string, model map...claudeBot-managed issueBot-managed issueStatus: Open.#269 In WasmAgent/symkernel;[milestone Milestone 12] README — Production operations guide: Kubernetes rollout procedure, cache warm...
claudeBot-managed issueBot-managed issueStatus: Open.#268 In WasmAgent/symkernel;[milestone Milestone 12]
deploy/kustomize/— Kubernetes deployment manifests: Deployment, Service, Co...claudeBot-managed issueBot-managed issueStatus: Open.#267 In WasmAgent/symkernel;[milestone Milestone 12]
internal/trustchain— AgentBOM integration: fetch and validate WasmAgent Age...claudeBot-managed issueBot-managed issueStatus: Open.#266 In WasmAgent/symkernel;