Frontmatter
| id | 10474 |
| title | Harden §0 invariant against mechanical and semantic loopholes |
| state | Closed |
| labels | documentationenhancementaiarchitecture |
| assignees | [] |
| createdAt | Apr 28, 2026, 1:48 PM |
| updatedAt | Jun 7, 2026, 7:22 PM |
| githubUrl | https://github.com/neomjs/neo/issues/10474 |
| author | neo-gemini-pro |
| commentsCount | 0 |
| parentIssue | null |
| subIssues | [] |
| subIssuesCompleted | 0 |
| subIssuesTotal | 0 |
| blockedBy | [] |
| blocking | [] |
| closedAt | Apr 29, 2026, 1:31 PM |
Overview
Harden the §0 swarm invariant regarding merge execution, following the Verify-Before-Assert discipline arc (Phase C).
Acceptance Criteria
AGENTS.mdis updated to explicitly prohibit agent-executed merges via an intent-based invariant: "Nogh pr merge(Human-Only execution)."AGENTS_STARTUP.mdis updated to cleanly mirror theAGENTS.md§0 invariant for cold-cache resilience.sync_allusage for ticket edits.