# Falsification And Decision Criteria

## Purpose

This note records how the `j3_oc` branch should be judged.

Its job is to separate three different outcomes:

1. what would genuinely rule out the branch
2. what would only demote a strong claim into a weaker status
3. what would keep `J3(O)` competitive inside the larger program

This is a control note. It exists to prevent the branch from surviving on breadth alone.

---

## Core decision question

The central question is:

> What would make `J3(C \otimes O)` physically better than `J3(O)`, rather than merely larger?

The branch should be judged by explanatory gain under disciplined reduction, not by ambient richness by itself.

---

## What would rule out the branch

The branch would be seriously damaged, or locally ruled out as a preferred ambient branch, if it cannot do at least one of the following in a non-ad hoc way:

1. recover a viable reduced route to Standard-Model-like structure or a disciplined replacement target
2. explain why a selected direction `u` is preferred, induced, or naturally stabilized
3. give a non-arbitrary route from structural `SU(3)` to physical color
4. define mixing geometrically rather than leaving it as imported reduced-model language
5. produce a sharper ambient-to-observable reduction than the real `J3(O)` branch can currently provide

More sharply, the branch is in trouble if it repeatedly requires:

- extra inserts with no clear ambient origin
- selective matching to the reduced target without a named reduction operation
- physical claims that rely on complexification but never explain why the real branch is insufficient
- an admissibility map that never does more than broad cleanup before the physically important work is inserted later

---

## What would demote claims rather than kill the branch

Several failures would not automatically kill the branch, but they would change claim status.

### If `u` is not derived

Then the safe reading becomes:

- `u` is branch data or phenomenological choice

rather than:

- `u` is ambiently derived

### If `SU(3)` is only structural

Then the safe reading becomes:

- the branch contains an `SU(3)`-type stabilizer pattern

rather than:

- the branch realizes physical color

### If `Spin(2,3)` is only matched, not reduced

Then the safe reading becomes:

- `spin2_3` is a useful downstream comparison branch

rather than:

- `spin2_3` is obtained from `J3(C \otimes O)` by disciplined reduction

### If mixing remains heuristic

Then the safe reading becomes:

- mixing is an interpretive or effective borrowing from the reduced branch

rather than:

- mixing is a geometrically controlled consequence of the complexified Jordan setting

### If observables remain vague

Then the safe reading becomes:

- the branch is a large ambient organizer

rather than:

- the branch provides a physical observable framework

---

## What would keep `J3(O)` competitive

The real exceptional Jordan branch remains competitive if any of the following happen:

1. the complexified branch adds room but not explanatory necessity
2. the real branch can support the same reduction story with fewer assumptions
3. the complexified branch does not earn a better account of `u`, `SU(3)`, or observables
4. the complexified branch requires extra conditions whose physical meaning is weaker than the real branch's simplicity
5. every apparent advantage of `J3(C \otimes O)` turns out to be interpretation rather than derivation
6. the admissibility step collapses to little more than a generic Hermitian restriction with no later branch-defining gain

In that case the most disciplined conclusion would be:

- `J3(C \otimes O)` remains an ambient enlargement
- `J3(O)` remains the better controlled effective organizer

---

## Practical decision tests

The branch should periodically be checked against the following questions.

### D0. Admissibility test

Does the admissibility map do real branch-defining work, or does it only trim the ambient arena before all physically important choices are reintroduced later?

### D1. Reduction test

Can the branch name the operations that take it from ambient Jordan structure to an observable sector?

### D2. Necessity test

Does complexification earn something the real branch cannot presently earn?

### D3. Direction test

Does the branch improve the status of `u` from raw choice toward induced structure?

More sharply:

- does the admissible or reduced sector determine `u` at least up to the right orbit or stabilizer class?

### D4. Color test

Does the branch narrow the gap between structural `SU(3)` and physical color?

### D5. Mixing test

Does the branch give a clearer geometric meaning to mixing than the reduced branch alone?

### D6. Measurement test

Does the branch say what states, observables, and measurement are after reduction?

If the answer stays "no" across most of these, the branch should be treated as exploratory rather than preferred.

---

## Claim-status consequences

The branch should use the following discipline:

- failure to derive does not mean failure to explore
- failure to distinguish structural room from physical necessity does mean the claim must be weakened
- failure to improve the bridge relative to `J3(O)` means the real branch remains competitive

So the main decision categories are:

- `Preferred`: complexified branch earns a clearer bridge
- `Competitive`: both branches remain viable
- `Exploratory only`: complexified branch adds room without enough control

---

## Working bottom line

The `j3_oc` branch should not be judged by elegance alone.

It succeeds only if it sharpens at least one of the framework's core debts:

1. reduction
2. direction selection
3. color realization
4. mixing
5. observables

If it does not, then the right conclusion is not embarrassment but discipline:

- keep the branch
- weaken the claims
- leave `J3(O)` fully competitive
