{"id": "c885", "title": "C885 — Close the fixed three-distinct-Key inventory", "filename": "C885.md", "role": "Research action", "step": 885, "sha256": "bd14c19450bd51d7110eac5c00815bfd271fbd7996d6bcf10a15f941e288a318", "bytes": 1191, "origins": ["C480–C1634/Research_Cycles/C0832_C0931/journal.json#C885"], "download": "/sources/bd14c19450bd51d7110eac5c00815bfd271fbd7996d6bcf10a15f941e288a318.md", "format": "md", "derived": true, "tags": [], "excerpt": "Does the P/J order condition persist in all six finite orders?", "content": "# C885 — Close the fixed three-distinct-Key inventory\n\n## Question\n\nDoes the P/J order condition persist in all six finite orders?\n\n## Inputs\n\n```json\n{\n  \"inventory\": \"permutations of E,P,J only\"\n}\n```\n\n## Sources\n\n```json\n[\n  \"C880–882\"\n]\n```\n\n## Opened utc\n\n2026-09-28T02:49:28.793669+00:00\n\n## Results\n\n```json\n{\n  \"finite_inventory\": {\n    \"path\": \"model/three_distinct_key_domains.json\",\n    \"sha256\": \"396e93451a0634f82f1679a9fa96b483eab9ab4be5d902e76818129e324f851b\",\n    \"bytes\": 1012\n  },\n  \"domains\": [\n    158171,\n    474513\n  ]\n}\n```\n\n## Finding\n\nAll 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.\n\n## Reassessment\n\nSeparate grid-based order effects from different-anchor affine order.\n\n## Checks\n\n```json\n{\n  \"six\": true,\n  \"common_final\": true,\n  \"classification\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T02:49:28.794219+00:00\n\n## Record provenance\n\nExact record hash: `831a00c939ec4ebbf07d83edcca856f6cc960b7289bd409fa716698115196676`\n\nSource journal: `Research_Cycles/C0832_C0931/journal.json`", "journalDownload": "/sources/6a37be4e218f9f467cbde5e9db3723ce9c79dc78cc97d1a289422b96cb9971e0.json", "evidenceLinks": [{"id": "d-396e93451a0634f8", "title": "model/three_distinct_key_domains.json"}]}