@misc{indiciae6502dbafd42f,
  title = {Compiling Sufficient Governance Context from Declared Losses and Reachable States: Exact Observation-Contract Synthesis with Cardinality and Cost Objectives},
  author = {Gaston Besanson},
  year = {2026},
  url = {https://arxiv.org/abs/2609.26016},
  note = {Source identifier: 2609.26016}
}