v0.6.0

Added

• Added deterministic time-series discovery evidence for auto-binding
  proposals, including regular time-column sample-rate inference,
  sparse-derivative regression summaries, phase-aware Kuramoto SINDy evidence,
  residual-scored SINDy library selection, correlation graph edges, lagged
  directed graph inference, clustering evidence, CLI zero-config support,
  tests, and documentation.
• Added review-only extractor-parameter proposals and an auto_initial_k
  binding template for time-series auto-binding, including per-family source
  statistics, validator-accepted cross_channel_couplings, audit provenance,
  CLI JSON exposure, tests, and documentation.
• Added synthetic reference-suite benchmark coverage for auto-binding proposal
  quality, measuring extractor coverage, validator acceptance, expected
  initial-K support recall, generated edge count, and wall-clock throughput in
  the dated benchmark snapshot.
• Added crate-owned Kani formal safety harnesses and function contracts for
  supervisor action projection and regime classification invariants.
• Added an adaptive fixed-point rate-limit contract for certifiable actuator
  envelopes, including exact integer projection helpers and Rust regression
  tests.
• Added a WebGPU UPDE backend package generator with WGSL compute shader,
  browser ES-module runner, dispatcher registration, tests, and documentation.
• Added a protobuf-backed audit event stream with hash-chained envelopes,
  spo watch live replay, tests, and documentation.
• Added auto-coupling-estimation for transfer-entropy causal discovery of
  directed coupling matrices from phase time-series data, with CLI, audit
  records, tests, and API documentation.
• Added Bayesian UPDE uncertainty propagation over sampled omega and K_nm
  distributions, reporting posterior-predictive R ± sigma, credible
  intervals, audit records, tests, and API documentation.
• Added fail-closed LLM-guided domainpack scaffolding through
  spo scaffold --llm, including strict JSON proposal validation,
  deterministic binding YAML generation, audit records, tests, and
  documentation.
• Added a transport-neutral distributed phase synchronisation protocol for
  UPDE nodes, with canonical wire messages, digest checks, sequence
  watermarks, bounded circular phase correction, deterministic lossy-gossip
  replay, tests, and API documentation.

Changed

• Updated the public documentation inventory and contributor documentation
  duties to reflect the current API-page, example, and module-docstring
  coverage state.
• Replaced external Kani proof stubs with spo-supervisor harnesses that call
  the same Rust functions used at runtime, and made the Kani workflow fail on
  proof failures.