Architecture 9 Cursor strategy and isolated OProver residency - #236

Open

FluffyAIcode wants to merge 28 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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Architecture 9 Cursor strategy and isolated OProver residency - #236

Architecture 9 Cursor strategy and isolated OProver residency#236
FluffyAIcode wants to merge 28 commits into
mainfrom
AgentMemory/architecture9-cursor-oprover-0727

Commits on Jul 26, 2026

feat(autoresearch): isolate proof strategy and runtime ownership

Commits on Jul 27, 2026

feat(autoresearch): certify definition remediation resumes

fix(autoresearch): preserve upstream resume evidence

fix(autoresearch): exclude superseded strategy dependencies

fix(autoresearch): dispatch certified definition resolution

fix(autoresearch): record target interface blockers

fix(autoresearch): exhaust underspecified target interfaces

feat(autoresearch): bootstrap sourced RH root

fix(autoresearch): clear stale target strategy state

fix(autoresearch): preserve bootstrapped root checkpoint

fix(autoresearch): elaborate subgoal before OProver

fix(autoresearch): recover blocked contract at loop boundary

fix(autoresearch): resume bound decomposition directly

fix(autoresearch): bind resumed candidate to root

fix(autoresearch): certify resumed role launch

fix(autoresearch): bind contract artifact dependency

fix(autoresearch): bind resume lease to worker

fix(autoresearch): normalize certified ledger payload

fix(autoresearch): make formal root binding canonical

fix(autoresearch): reclaim dead resume leases

fix(autoresearch): preserve contract on role migration

fix(autoresearch): split contract audit provenance

feat(autoresearch): add bounded decomposition exploration

fix(autoresearch): preserve contract during definition resume

fix(autoresearch): make exploration exhaustion terminal

feat(autoresearch): analyze unmappable candidate representations

fix(autoresearch): preserve typed representation verdicts

fix(autoresearch): recognize formatted L-function gaps