{
  "components": 1,
  "claim": "one anchor fixes the one component; k components would need k anchors or canonical sections",
  "trivial_holonomy_is_not_canonical_normalization": true,
  "torsor_remaining": "the nonzero flat sections form a K^x-torsor (Round 030 (20.2)); C10 asks for a canonical section or one exact anchor",
  "C10_claimed": false,
  "consistent": true,
  "agrees": true
}