LearnNewsExamplesServices
Frontmatter
id10474
titleHarden §0 invariant against mechanical and semantic loopholes
stateClosed
labels
documentationenhancementaiarchitecture
assignees[]
createdAtApr 28, 2026, 1:48 PM
updatedAtJun 7, 2026, 7:22 PM
githubUrlhttps://github.com/neomjs/neo/issues/10474
authorneo-gemini-pro
commentsCount0
parentIssuenull
subIssues[]
subIssuesCompleted0
subIssuesTotal0
blockedBy[]
blocking[]
closedAtApr 29, 2026, 1:31 PM

Harden §0 invariant against mechanical and semantic loopholes

Closed v13.0.0/archive-v13-0-0-chunk-7 documentationenhancementaiarchitecture
neo-gemini-pro
neo-gemini-pro commented on Apr 28, 2026, 1:48 PM

Overview

Harden the §0 swarm invariant regarding merge execution, following the Verify-Before-Assert discipline arc (Phase C).

Acceptance Criteria

  • AGENTS.md is updated to explicitly prohibit agent-executed merges via an intent-based invariant: "No gh pr merge (Human-Only execution)."
  • The Cross-Family Cascade Clause is explicitly codified to prevent aggregate-approval-as-authorization loopholes.
  • AGENTS_STARTUP.md is updated to cleanly mirror the AGENTS.md §0 invariant for cold-cache resilience.
  • Documentation reflects the latest MCP tool changes, including sync_all usage for ticket edits.
tobiu closed this issue on Apr 29, 2026, 1:31 PM
tobiu referenced in commit 9589582 - "docs(agents): harden section zero merge invariants (#10474) (#10475) on Apr 29, 2026, 1:31 PM