Skip to content

Enforce AutoResearch ledger frontier integrity - #219

Merged
FluffyAIcode merged 1 commit into
mainfrom
AgentMemory/autoresearch-ledger-integrity-0721
Jul 21, 2026
Merged

Enforce AutoResearch ledger frontier integrity#219
FluffyAIcode merged 1 commit into
mainfrom
AgentMemory/autoresearch-ledger-integrity-0721

Conversation

@FluffyAIcode

Copy link
Copy Markdown
Owner

Summary

  • treat model-emitted obligation IDs as untrusted and repair only high-similarity corruption to the host-owned target
  • reject invented IDs and generate all persisted child IDs in host code
  • block duplicate lemma names, exact repeats, ancestor semantic cycles, and vague non-falsifiable frontiers

Test plan

  • targeted AutoResearch tests: 43 passed
  • exact regression for the corrupted Critic ID from br_ebe807d4ef25e337
  • invented RH-Cty ID and repeated Angular-Growth ancestor are rejected

The uncommitted candidate.py file is active runtime state and is excluded.

Made with Cursor

Repair corrupted Critic labels against the host-owned target and reject invented, cyclic, duplicate, or non-falsifiable child obligations before they enter the proof ledger.

Co-authored-by: Cursor <cursoragent@cursor.com>
@cursor

cursor Bot commented Jul 21, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@FluffyAIcode
FluffyAIcode merged commit 6e8a20e into main Jul 21, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant