C885 — Close the fixed three-distinct-Key inventory

Question

Does the P/J order condition persist in all six finite orders?

Inputs

{
  "inventory": "permutations of E,P,J only"
}

Sources

[
  "C880–882"
]

Opened utc

2026-09-28T02:49:28.793669+00:00

Results

{
  "finite_inventory": {
    "path": "model/three_distinct_key_domains.json",
    "sha256": "396e93451a0634f82f1679a9fa96b483eab9ab4be5d902e76818129e324f851b",
    "bytes": 1012
  },
  "domains": [
    158171,
    474513
  ]
}

Finding

All six orders share final coefficient175000/158171. Stagewise domains split only by P/J order:158171Z with J before P and474513Z with P before J. This bounded confirmation closes the word test; no unlimited route search follows.

Reassessment

Separate grid-based order effects from different-anchor affine order.

Checks

{
  "six": true,
  "common_final": true,
  "classification": true
}

Closed utc

2026-09-28T02:49:28.794219+00:00

Record provenance

Exact record hash: 831a00c939ec4ebbf07d83edcca856f6cc960b7289bd409fa716698115196676

Source journal: Research_Cycles/C0832_C0931/journal.json