Architecture 9 Cursor strategy and isolated OProver residency - #236

Open

FluffyAIcode wants to merge 38 commits into

mainfrom

AgentMemory/architecture9-cursor-oprover-0727

Commits on Jul 26, 2026

feat(autoresearch): isolate proof strategy and runtime ownership

authored and
fluffy314
committed

Commits on Jul 27, 2026

feat(autoresearch): certify definition remediation resumes

authored and
fluffy314
committed
fix(autoresearch): preserve upstream resume evidence

authored and
fluffy314
committed
fix(autoresearch): exclude superseded strategy dependencies

authored and
fluffy314
committed
fix(autoresearch): dispatch certified definition resolution

authored and
fluffy314
committed
fix(autoresearch): record target interface blockers

authored and
fluffy314
committed
fix(autoresearch): exhaust underspecified target interfaces

authored and
fluffy314
committed
feat(autoresearch): bootstrap sourced RH root

authored and
fluffy314
committed
fix(autoresearch): clear stale target strategy state

authored and
fluffy314
committed
fix(autoresearch): preserve bootstrapped root checkpoint

authored and
fluffy314
committed
fix(autoresearch): elaborate subgoal before OProver

authored and
fluffy314
committed
fix(autoresearch): recover blocked contract at loop boundary

authored and
fluffy314
committed
fix(autoresearch): resume bound decomposition directly

authored and
fluffy314
committed
fix(autoresearch): bind resumed candidate to root

authored and
fluffy314
committed
fix(autoresearch): certify resumed role launch

authored and
fluffy314
committed
fix(autoresearch): bind contract artifact dependency

authored and
fluffy314
committed
fix(autoresearch): bind resume lease to worker

authored and
fluffy314
committed
fix(autoresearch): normalize certified ledger payload

authored and
fluffy314
committed
fix(autoresearch): make formal root binding canonical

authored and
fluffy314
committed
fix(autoresearch): reclaim dead resume leases

authored and
fluffy314
committed
fix(autoresearch): preserve contract on role migration

authored and
fluffy314
committed
fix(autoresearch): split contract audit provenance

authored and
fluffy314
committed
feat(autoresearch): add bounded decomposition exploration

authored and
fluffy314
committed
fix(autoresearch): preserve contract during definition resume

authored and
fluffy314
committed
fix(autoresearch): make exploration exhaustion terminal

authored and
fluffy314
committed
feat(autoresearch): analyze unmappable candidate representations

authored and
fluffy314
committed
fix(autoresearch): preserve typed representation verdicts

authored and
fluffy314
committed
fix(autoresearch): recognize formatted L-function gaps

authored and
fluffy314
committed

Commits on Jul 30, 2026

feat(autoresearch): seed sourced RH strategy tournament

authored and
fluffy314
committed
fix(autoresearch): preserve RH root during subgoal launch

authored and
fluffy314
committed
fix(autoresearch): resume certified RH contract

authored and
fluffy314
committed
fix(autoresearch): bind prefill candidate path

authored and
fluffy314
committed
fix(autoresearch): reopen certified blocked contract

authored and
fluffy314
committed
fix(autoresearch): type operator contract unblock

authored and
fluffy314
committed
fix(autoresearch): certify sourced strategy intent

authored and
fluffy314
committed

Commits on Jul 31, 2026

fix(autoresearch): bind runtime provenance to artifacts

authored and
fluffy314
committed

Commits on Aug 1, 2026

fix(autoresearch): certify independent reconstruction attempts

authored and
fluffy314
committed
fix(autoresearch): bound OProver route context

authored and
fluffy314
committed