Thanks for these interesting posts.
I am not saying that any thickness of compost is necessary for no dig to work, but I advise up to two inches annually for abundant, good vegetables and less weeding. A neighbour does successful no dig for ornamentals with a gravel mulch.
In the 1980s I used a half inch of compost per year on 7 acres of beds and had good results, but was also adding a thick wadge of straw to paths i.e. feeding soil in a different way.
Now I find it simpler to add compost to beds only, compost means less slugs. I add more than before in order to have higher yields and more double cropping, also less weeding i.e. its time efficient.
However the extra compost does cost more in some places, so I suggest a thinner layer if that is the case.
I would suggest Winstanley to use less, it just means you will have some extra weeds and slightly less abundance. The same applies whether you dig or not – vegetables are hungry plants. At least your not-digging is conserving more organic matter in the soil, compared to having some carbon oxidise into CO2, when digging.