Skip to content

feat(math): mode collapse — degenerate guards become the only path (item 2 parked) - #2665

Draft
jucor wants to merge 1 commit into
spr/edge/31c19ea5from
spr/edge/13e86ed3
Draft

feat(math): mode collapse — degenerate guards become the only path (item 2 parked)#2665
jucor wants to merge 1 commit into
spr/edge/31c19ea5from
spr/edge/13e86ed3

Conversation

@jucor

@jucor jucor commented Jul 27, 2026

Copy link
Copy Markdown
Collaborator

GOAL_CUTOVER_READY.md Phase 2, chunk C1 (inventory: journal s7). The
engine now always runs the Clojure semantics on degenerate input:

  • _compute_pca: only a truly-EMPTY matrix short-circuits (Clojure runs
    real math on 1x1 — every-vote step-0 oracle); the improved-mode <2
    guard is deleted.
  • _compute_clusters: the <2-in-conv-participants early return and the
    <2-base-clusters early return (improved-only) are deleted — degenerate
    ticks fall through to the full base->group chain exactly like
    conversation.clj (max-k always >= 2).
  • conv_repness: the <2 matrix guard is deleted — repness/consensus
    computed at every size (best-agree guarantee).

The deleted improved-mode guards are queue item 2 in
POST_CUTOVER_IMPROVEMENTS.md; the improvements/* park commit is minted at
the end of the collapse (reverse of this commit's guard hunks).
Improved-mode guard tests deleted with their branches
(test_degenerate_tick_parity.py). Legacy tests unchanged and green.

commit-id:13e86ed3


Stack:


⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

…tem 2 parked)

GOAL_CUTOVER_READY.md Phase 2, chunk C1 (inventory: journal s7). The
engine now always runs the Clojure semantics on degenerate input:

- _compute_pca: only a truly-EMPTY matrix short-circuits (Clojure runs
  real math on 1x1 — every-vote step-0 oracle); the improved-mode <2
  guard is deleted.
- _compute_clusters: the <2-in-conv-participants early return and the
  <2-base-clusters early return (improved-only) are deleted — degenerate
  ticks fall through to the full base->group chain exactly like
  conversation.clj (max-k always >= 2).
- conv_repness: the <2 matrix guard is deleted — repness/consensus
  computed at every size (best-agree guarantee).

The deleted improved-mode guards are queue item 2 in
POST_CUTOVER_IMPROVEMENTS.md; the improvements/* park commit is minted at
the end of the collapse (reverse of this commit's guard hunks).
Improved-mode guard tests deleted with their branches
(test_degenerate_tick_parity.py). Legacy tests unchanged and green.

commit-id:13e86ed3
This was referenced Jul 27, 2026
This was referenced Jul 27, 2026
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