Dear Falvio
This is quite an interesting essay.
I was particularly intrigued by the alternative classical theory possessing some features analogous to quantum theory. The implementation of the ontological indeterminacy aspect is noteworthy.
However as I understand the scheme there seems to be some problematic aspect with the minimal requirements for measurement.
Let's recall that the framework is meant to deal with the in-principle infinite number of digits that determines a real number, (associated with a physical quentity) and pass to a modified scheme in which only a portion of those digits have well defined values.
So let me start with the second requirement :
2 Intersubjectivity: Different agents can access the same measurement outcomes.
This seems to make a lot of sense at first sight however, it must be emphasized that i is only so if it the different agents are truly referring to the SAME quantity. That means among other things the quentity at the same time ( or spactime event). Consider now for instance a particle moving in one dimension. We would like to focus on the value of its velocity ( ina given frame), but of course if we want to assign it, a value we should specify at which time or at what positio . Once those data are specified, it makes all the sense to look at the corresponding value of the velocity... but if time and position are subject to the same indefiniteness as everything else how can we make sure that two agents refer to the same quantity ( i.e. the velocity at time t or at position x).
Related concerns arise when considering the first requirement:
1. Stability: Consecutive measurements of the same quantity leave the already determined digits unchanged.
To start with it seems to me that this can only be sensibly demanded if the quantity in question is one not expected, classically, to depend on time ( i.e. say a quantity which in the normal version would vanishing Poison brackets with the Hamiltonian) , otherwise a change can be expected even in standard situations. So perhaps one should at least place a bound of the time elapsed between consecutive measurements, but how to do so precisely if such precision is discarded ab initio.
Finally, similar concerns apply to the last postulate:
3. Precision improvability: With more accurate measurement apparatuses, more digits become available (with the former two properties)
It seems we might properly talk about improvement of the measurement only as long as it is a measurement of the same quantity at the same time, etc. and as we have seen those notions seem to be made problematic by the basic ideas underlying the proposal.
So perhaps Flavio could clarify these issues for us.
In any event, as I said, the general idea is quite interesting.