[DIC-17] coherence-scan --emit-followup: wire DIC-26 monitor → DIC-17 follow-up bridge - #9720
Draft
an0mium wants to merge 3 commits into
Draft
[DIC-17] coherence-scan --emit-followup: wire DIC-26 monitor → DIC-17 follow-up bridge#9720an0mium wants to merge 3 commits into
an0mium wants to merge 3 commits into
Conversation
Extends `aragora coherence-scan` with `--emit-followup` flag that calls `scan_coherence(emit_followup_proposals=True)` and surfaces DIC-17 FollowupProposals alongside the coherence report. Proposals appear only when both `ARAGORA_COHERENCE_MONITOR_ENABLED=1` and `ARAGORA_EPISTEMIC_FOLLOWUP_ENABLED=1` are set; default is OFF. Changes: - `aragora/epistemic/__init__.py`: export `propose_followup_for_coherence_issue` (was in `followup.__all__` but missing from the package-level API). - `aragora/cli/commands/dic26_coherence.py`: add `--emit-followup` support with text and JSON rendering of proposals; `boss-ready` invariant upheld. - `aragora/cli/parser.py`: register `--emit-followup` flag. - `tests/cli/test_dic26_coherence_followup.py`: 10 focused tests covering default-off, flag-gating, text/JSON output, warning-only no-proposal, and queue-governance invariant. Advances: issue #6027 (DIC-17 — failed-claim / open-crux follow-up bridge). Flag-gated, default OFF. No live queue effect. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0191Ev3QHqtQziTvKkyiiEQy
…atchet Compacts the 10-line --emit-followup add_argument block to 2 lines and removes a redundant `default=False` from a store_true arg in the same file, keeping parser.py exactly at the 5400-LOC ratchet limit. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0191Ev3QHqtQziTvKkyiiEQy
ruff format expands the --emit-followup add_argument block; remove four more redundant default=False lines from store_true args to keep parser.py at the 5400-LOC ratchet limit after formatting is applied. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0191Ev3QHqtQziTvKkyiiEQy
This was referenced Aug 6, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
--emit-followupflag toaragora coherence-scan(DIC-26 CLI surface) that surfaces DIC-17FollowupProposalobjects for every error-severity coherence issue in the scanned belief ledger.propose_followup_for_coherence_issuefromaragora.epistemicpackage API (was infollowup.__all__but missing from the package-level__init__.py).boss-ready-exclusion queue-governance invariant.Type of Change
Related Issues
Related to #6027 (DIC-17 — failed-claim / open-crux follow-up bridge)
Related to #6220 (DIC-26 — belief coherence monitor)
Checklist
Before Submitting
tests/cli/test_dic26_coherence{,_followup}.py,tests/epistemic/test_coherence*.py— 41 tests passing)Code Quality
For New Features
Test Plan
Additional Notes
Flag gating: both
ARAGORA_COHERENCE_MONITOR_ENABLED=1andARAGORA_EPISTEMIC_FOLLOWUP_ENABLED=1must be set for proposals to flow. Default is OFF. Live queue effect: none — read-only operator surface.Queue governance:
boss-readylabel is never applied to generated proposals (tested explicitly). Proposals are DIC-17 planning-truth output only; the proof-first Foreman gate controls promotion.Net diff: 273 LOC (61 modified, 212 new test lines). No changes to
scripts/, dispatch, boss loop, or swarm supervisor.Generated by Claude Code