If (e.g.) pro photo RGB is a superset of all practical input/output devices, and at the same time the numerical representation is such that quantization is no problem, then representing an image in that format together with output device profile ought to give the rendering application the (best available) knowledge about:
1) The color of the scene
2) The color abilities of an output device
Right, but if the rendering to the printer gamut takes proPhoto as the source gamut, then the output will very likely not be pleasing, since you are squashing the very large gamut down to the printer gamut, taking your image with it.
If the profile has a very generic gamut mapping then this problem is avoided, but you also don't get to keep anything outside that generic gamut mapping, rather reducing the benefits of having your images stored in a large gamut space.
Of course you can manually reduce the gamut of your image into the printer space using an image editing package, and use relative colorimetric when printing it, but that's going to require a good deal more effort for each and every image.
What can be achieved by telling the output module about the gamut limits of the acquisition device?
I don't know - why would you want to do that ?
So I know that rgb[258,257,256] may in fact correspond to any value in an out-of-gamut volume that has been clipped. If the clipped number is the closest mapping, it still seems to make sense to use that value (outside of speculative gamut recovery)?
Sorry, I'm not following you. While technically clipping is a form of gamut mapping, gamut mapping is typically of interest when applied to achieving perceptually pleasing results, by compressing the gamut so as to trade absolute color accuracy in return for maintaining the distinction between different colors in the original image.
Me think that "accurate" color is asymptotically hard/expensive to achieve and seldom 100% anyways.
The original comment was about accurate gamut mapping, not accurate color reproduction.
Loss of accuracy can occur and many stages. One of them is in the maths/code used to implement gamut mapping, but also in the workflow chosen in making use of gamut mapping.