Given the mainnet launch, has Filecoin solved proof of storage and retrieval yet?

for retrieval other projects are working to solve it

https://blog.kyve.network/kyve-mainnet-successfully-launched-paving-the-way-for-a-truly-trustless-data-future-58bde73ef59f

and 

http://strn.network/

are trying to build retrieval markets on arweave/ipfs respectively

IIUC proofs of storage have been live, but production ready retrieval market implementations, that address existing issues with direct retrieval from storage providers, have not been shipped yet.