{
  "handle": "Decompose",
  "mechanism": "{{strategy}}: The cognitive act of splitting a {{task}} into independent subordinate parts. Criterion: solving each constituent {{problem}} in isolation must yield {{solution}} to the whole. If subproblems interact, the split is wrong—try a different decomposition axis. Recurse until subproblems are trivial.",
  "gloss": "Dividing complexity into manageable units",
  "failure_modes": [
    "Coupling Leakage: Subproblems are not truly independent; solving one breaks another."
  ],
  "invariants": [
    "States the independence criterion it claims, and the split satisfies the criterion it declared."
  ],
  "preconditions": [
    "{{problem}} too large to solve directly.",
    "Decomposition axis identifiable."
  ],
  "postconditions": [
    "Set of subproblems, each satisfying the declared independence criterion.",
    "Combined {{solution}} equals original."
  ],
  "_meta": {
    "tier": 1,
    "ring": 2,
    "supersedes": [
      "sema:Decompose#mh:SHA-256:ac569dd49b1b2d91a5f03640f30b0c0fd658b3c6a46788d46fd734760c5281a4",
      "sema:Decompose#mh:SHA-256:63f31488a348d1176b6b16e770c69f196c2e03f507a240103e8297487dc4f652",
      "sema:Decompose#mh:SHA-256:db21cdd0d7ccb82af40a5f2e19aa6e8c3b34c39ff2c3909c36ddd4e2868e3926"
    ],
    "path": [
      "Mind",
      "Reasoning"
    ],
    "related": [
      "Farsimple#2209"
    ]
  },
  "sema_id": "sema:Decompose#mh:SHA-256:69942e7e0dcdc7781144da58c8f09b2e8a17c247be435dadf3325cb0d0bbb22b",
  "sema_ref": "Decompose#6994",
  "sema_stub": "6994",
  "dependencies": {
    "accepts": {
      "task": "sema:Task#mh:SHA-256:a85010f508f85055170c396c8fa390125c1206888c565ac10651f3969a339f8d"
    },
    "references": {
      "problem": "sema:Problem#mh:SHA-256:2580c43677ec78ee7ee428d200662c6096e4eab38c2c5a868154979074cc0f08",
      "solution": "sema:Solution#mh:SHA-256:8d55004ffa8f61d6e7d12d588ae4baa9723296dd7fa501759b5e6b1b97e7c9ab",
      "strategy": "sema:Strategy#mh:SHA-256:3dc598d0c6af12389df445c204e17df03950dbc886656b85700e6c87c31b2eef"
    }
  },
  "sema_layer": "Mind",
  "sema_category": "Reasoning",
  "used_by": {
    "references": {
      "BreadthGovernor": "sema:BreadthGovernor#mh:SHA-256:be54a4887d50ae1a49139c6c97d29a349c581d1af8f25f8554b13119700dd4d2",
      "ConceptualDecomposition": "sema:ConceptualDecomposition#mh:SHA-256:f1f430fc38f3944d3a02b34e0ae04d4004a002795b375b665f1ebb7a4e57b264",
      "DepthGovernor": "sema:DepthGovernor#mh:SHA-256:5b24d810ede53e7e6716e3e20e7c28cf578f171845af2358344c25f0c56b7b75",
      "Farsimple": "sema:Farsimple#mh:SHA-256:220993e41362dea99d41146c35b81e70e707f84c509b2271ae5e797f15bd0046",
      "LeastToMost": "sema:LeastToMost#mh:SHA-256:942de8e9b154190e8a85a88d74c46350b5b9c936d4d463d33e697297f02ba0e3",
      "RoutingSanityCheck": "sema:RoutingSanityCheck#mh:SHA-256:71bdf79f3d471779f7312d699718cab13efef2db27d45873aeb0e91e35c73a8b",
      "ScopeFreeze": "sema:ScopeFreeze#mh:SHA-256:548e48a88048b5383250dbf480e0b52ed61ed9cc2fd947d89fac68edc9737d21",
      "Shard": "sema:Shard#mh:SHA-256:4d41232416e3d414c714e0892e8559c2180899b4c21c25af29984372220f8704",
      "SkeletonOfThought": "sema:SkeletonOfThought#mh:SHA-256:546fddc8b06269b0fbc3c38475df6e688242ac0f6d586bd597bf20655413f874",
      "SolverDecomposition": "sema:SolverDecomposition#mh:SHA-256:ff4b4921d148c7672540eb0ec6201e5eed9b7c06b6442c6525399a856f121bfa",
      "Synthesis": "sema:Synthesis#mh:SHA-256:4f1fecba4183e6a79bfb3bd8f1981a6b6fb9f3dced92a484a9aa466c93ae249b"
    },
    "composes_with": {
      "Fermi": "sema:Fermi#mh:SHA-256:f206e74f19af3eb55825b02c2192779a627ddff7b1c465a09d73431b863232db",
      "PUREOptimization": "sema:PUREOptimization#mh:SHA-256:205b2c752f68fe87dde75b65cb848bdad8527dc5713180460e6441eac3b86be6",
      "RecursionDive": "sema:RecursionDive#mh:SHA-256:a86f17bad949a7a5405f04b4bc43a3e6be28c5c31e8328ccf178fa292719d754"
    }
  }
}