Marius CiepluchandClaude Opus 4.8 56cde9f535 spec(proof-arm-opencode): OpenCode MCP is the endpoint for PoC AND fix [skip ci] ...

Maintainer direction: the same agentic endpoint authors the PoC, writes a candidate
fix against the repair direction + failing PoC, and hands it to the differential
verifier, which re-runs the PoC and confirms absence. Closes the no-auto-patch gap:
the proof is the acceptance test for the fix (a wrong fix is caught), the fix stays a
developer-reviewed proposal, and the green proof is the objective signal. Specced
alongside proof authoring, after qualification.

Co-Authored-By: Claude Opus 4.8 <[email protected]>

2026-10-07 17:34:52 +02:00

..

ai-service-plane

docs(kiro): status notes -- ai-service-plane complete, contributor-scan paused, finding-feedback-loop design unapproved; stale lines

2026-10-02 19:57:04 +02:00

authorization-obligations

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

constrained-detector

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

contributor-scan

docs(kiro): status notes -- ai-service-plane complete, contributor-scan paused, finding-feedback-loop design unapproved; stale lines

2026-10-02 19:57:04 +02:00

corpus-seeded-mechanisms

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

finding-feedback-loop

docs(kiro): status notes -- ai-service-plane complete, contributor-scan paused, finding-feedback-loop design unapproved; stale lines

2026-10-02 19:57:04 +02:00

flow-aware-ranking

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

harnessx-removal

refactor(memory): S3-generic store on boto3; RustFS is the tested server (no MinIO naming)

2026-10-02 10:15:19 +02:00

harnessx-self-improving-rulesets

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

ir-consolidation

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

learned-decision-engine

spec(learned-decision-engine): engine becomes triage where a demonstration oracle exists

2026-10-05 13:45:10 +02:00

learning-harness

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

mcp-shift-left-agent

docs: frame the proof as prioritization evidence for busy devs [skip ci]

2026-10-07 17:30:14 +02:00

model-grounded-detection

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

openrouter-sast-harness

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

pair-corpus-honesty

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

plane-on-kubernetes

steering: roadmap re-centred on generalisation to unseen repositories (G0-G5); specs updated; unseen-repo-evaluation brief and requirements (approved)

2026-10-04 17:34:57 +02:00

pre-push-safety-net

steering: roadmap re-centred on generalisation to unseen repositories (G0-G5); specs updated; unseen-repo-evaluation brief and requirements (approved)

2026-10-04 17:34:57 +02:00

proof-arm-opencode

spec(proof-arm-opencode): OpenCode MCP is the endpoint for PoC AND fix [skip ci]

2026-10-07 17:34:52 +02:00

propose-adjudicate-prove

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

reachability-flow-model

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

real-world-vfc-slice

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

search-with-proof

docs(search-with-proof): verification architecture + proof-arm-opencode follow-up brief

2026-10-07 16:06:56 +02:00

three-stage-scan

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

tree-sitter-overlay-extra

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00

unseen-repo-evaluation

unseen-eval: calibrated replay deadline + native agreement check, docker-lane diagnostics, proof 4.4 record; engine runner cleans up fetched sources

2026-10-05 08:14:57 +02:00

zero-with-a-reason

docs(kiro): archive the superseded roadmap; status notes on specs

2026-10-02 08:19:48 +02:00