v1.3.0

Added

• OpenTelemetry bridge — ponens otel import <otlp.json> converts an OTLP-JSON span export into a
  ponens trace: spans → actions, parent-span tree → meta-actions, span start/end → action timestamps,
  and the ponens.inputs/outputs attribute convention → artifact lineage.
• Langfuse bridge — ponens langfuse import <trace.json> does the same for a Langfuse trace export
  (nested SPAN / GENERATION / EVENT observations).
• ponens demos — list and get bundled, checkable sample traces that ship with the CLI.
• Machine-readable checks — ponens trace check --json emits the policy_evaluations array;
  --write stamps it back into the trace file (self-describing traces).
• Policy evidence — evaluations now carry evidence_action_ids / violating_action_ids (plus the
  matching artifact ids); the visualizer renders these on each policy card.
• Data-driven high-stakes surface — the high_stakes_path predicate reads trace.high_stakes_paths
  (falling back to the demo defaults), so "where formal methods make sense" is decided by evidence.
• Policy packs — "Apply Formal Methods Where It Makes Sense", and the "Agentic Execution Provenance"
  spec mapping the FIX AI Working Group's six discussion points onto the trace model (with worked
  pass/fail example traces under examples/fix_ai_wg/).

Fixed

• make release reads the version from pyproject.toml (no longer depends on uv version --short).
• pyproject.toml uses an SPDX license = "MIT" expression, removing the setuptools ≥77 deprecation
  warning on upload.