SCPN Phase Orchestrator v0.8.0

Added

• Released the completed PHA-C formal-acceptance boundary across the public
  documentation, package metadata, generated capability inventory, reference
  benchmark snapshot, and release-readiness notes.

• Added acceptance kinematic-equation provenance to
  PHACKinematicProofObligation and the PHA-C acceptance benchmark gate so
  Lean-facing formal manifests must remain bound to verified final-position,
  maximum-velocity, and path-length replay evidence.

• Added explicit final-position, maximum-velocity, and path-length equation
  replay to PHACAcceptanceRecord and the PHA-C acceptance benchmark gate so
  aggregate acceptance must preserve the moving-frame kinematic summary
  equations before Rust, Go, Julia, Mojo, or Python rows can pass.

• Added explicit final-position, maximum-velocity, and path-length equation
  replay to the PHA-C moving-frame benchmark gate so kinematic summaries must
  derive from the row-major velocity schedule before acceptance passes.

• Added explicit signed-margin equation replay to the PHA-C merge-window
  benchmark gate so phase and spatial lock margins must equal tolerance minus
  dispersion before merge-window acceptance passes.

• Added explicit signed-margin equation replay to the PHA-C handoff verifier
  and polyglot benchmark gate so per-sample phase and spatial margins must
  equal tolerance minus dispersion before handoff acceptance passes.

• Added explicit signed-margin equation replay to the PHA-C event-timeline
  verifier and polyglot benchmark gate so trajectory-level phase and spatial
  margins must equal tolerance minus maximum dispersion before timeline
  acceptance passes.

• Added explicit signed-margin equation replay to the PHA-C acceptance
  verifier and polyglot benchmark gate so phase and spatial safety margins must
  equal tolerance minus maximum dispersion before acceptance passes.

• Added explicit phase_budget_discharged replay to
  PHACKinematicProofObligation and PHA-C acceptance benchmarks so Lean
  phase-budget theorem metadata must agree with the fixed-point certificate
  arithmetic.

• Added Lean PhaseBudgetBounds for PHA-C fixed-point phase-lock budgets,
  including theorem metadata in PHACKinematicProofObligation, smoke proof
  coverage, benchmark acceptance fields, and API documentation updates.

• Added explicit predictive phase-drift slack to
  PHACKinematicProofObligation, including fixed-point phase-budget
  provenance, fail-closed verifier checks, module-specific tests, PHA-C
  benchmark acceptance fields, and API documentation updates.

• Added explicit predictive coupling-residual slack to
  PHACKinematicProofObligation, including fixed-point residual-bound
  provenance, fail-closed verifier checks, module-specific tests, and PHA-C
  documentation updates.

• Added SPOFormal.Continuous for PHA-C fixed-point continuous-envelope
  certificates, including horizon-drive sampling, Python manifest fields,
  benchmark row propagation, proof-gate integration, and API documentation.

• Added sampled continuous-rate evidence to the PHA-C runtime-to-Lean
  kinematic proof bridge, including fixed-point time-step fields,
  per-second velocity and residual rate bounds, Lean
  SampledRateKinematicBounds smoke proofs, benchmark acceptance fields,
  module-specific tests, API docs, README, roadmap, and performance-guide
  updates.

• Generalised the PHA-C runtime-to-Lean kinematic proof bridge from the
  zero-gain replay certificate to the finite-horizon Gronwall
  budget_certificate_discharges_budget theorem, including non-zero
  Lipschitz-gain manifest fields, trace hashing, Lean smoke proofs,
  benchmark acceptance fields, module-specific tests, API docs, README, and
  performance-guide updates.

• Added PHACKinematicProofObligation as the runtime-to-Lean PHA-C formal
  bridge, including fixed-point KinematicBounds manifest hashing, lazy UPDE
  exports, Lean zeroGainCertificate theorem discharge, benchmark acceptance
  fields, module-specific tests, API docs, roadmap, README, and benchmark
  snapshot integration.

• Added signed PHA-C moving-frame kinematic residual evidence across
  MovingFrameUPDEEngine, moving_frame_run(...), the end-to-end acceptance
  record, Rust/Go/Julia/Mojo source-contract validation, benchmark thresholds,
  module-specific tests, API docs, roadmap, README, and benchmark snapshots.

• Added signed PHA-C merge-window safety margins across MergeReport,
  handoff, event timeline, and end-to-end acceptance records, with replay
  verifiers, Rust/Go/Julia/Mojo source-contract parity checks, benchmark
  acceptance fields, module-specific tests, API docs, roadmap, and README
  updates.

• Added PHA-C hash-replay verifiers for handoff, event-timeline, and
  end-to-end acceptance records, wired them through the Rust/Go/Julia/Mojo
  source-contract validation helpers, benchmark acceptance thresholds, module
  tests, public API exports, and documentation.

• Added explicit source-contract versus native-kernel provenance to PHA-C
  handoff, timeline, and acceptance benchmark records so Rust/Go/Julia/Mojo
  adapters cannot be mistaken for native execution until reviewed kernels land.

• Added a PHA-C end-to-end acceptance gate that spans spatial modulation,
  Doppler correction, moving-frame propagation, merge-window timeline
  conversion, deterministic schedule/trajectory/hash evidence, Rust/Go/Julia/Mojo
  source-contract parity adapters, aggregate PHA-C subgate benchmark evidence,
  module-specific tests, public API documentation, and a dedicated
  local-regression benchmark snapshot with canonical reference-suite inclusion.

• Added PHA-C event timeline records that consume moving-frame phase/position
  trajectories through the handoff contract, report first lock, lock losses,
  reset counts, tolerance-profile provenance, deterministic trajectory hashes,
  Rust/Go/Julia/Mojo source-contract parity adapters, module-specific tests,
  public API documentation, and a dedicated local-regression benchmark snapshot.

• Added PHA-C event/state handoff records that bind moving-frame phase/position
  samples to merge-window lock evidence, Kuramoto order-parameter evidence,
  source-chain hashes, a fixed non-actuating claim boundary, Rust/Go/Julia/Mojo
  source-contract parity adapters, module-specific tests, public API
  documentation, and a dedicated local-regression benchmark snapshot.

• Added PHA-C merge-window tolerance profiles for the reviewed 1x baseline,
  3x buffer, and 5x review envelopes, including handoff provenance, Rust source
  coverage, module-specific tests, benchmark gates, and public API
  documentation.

• Added PHA-C.4 MergeWindowMonitor support for joint wrapped-phase and axial
  spatial merge detection, including consecutive-sample lock evidence,
  Rust/Go/Julia/Mojo source-contract surfaces, module-specific tests, public
  API documentation, and a polyglot benchmark gate.

• Added PHA-C.6 Lean 4 kinematic safety templates for finite-horizon
  fixed-point relative-distance bounds, including a discrete Gronwall-style
  budget proof, zero-gain merge-window invariant, Boolean phase-plus-spatial
  lock mirror, smoke instantiation, proof-gate integration, and public
  documentation.

Security

• Raised the FastAPI/Starlette deployment floor so QueueWaves-style services
  require Starlette >=1.0.1, which includes the Host-header validation fix
  for GHSA-86qp-5c8j-p5mr.