Skip to content

Bounded L16 director product (BL-85)

BL-85 turns the existing L16 indicator calculation into a policy-gated local product. It runs three frozen small-system scenarios, replays every result, maps the legacy heuristic labels into the BL-33 safety envelope, and writes digest-bound JSON and Markdown evidence.

This surface does not establish a classical or quantum Lyapunov exponent. The Loschmidt echo evolves an exact ground state under the same Hamiltonian, so it is an invariance check. The weighted stability_score is an uncalibrated heuristic, not a PCS certificate, causal diagnosis, stability theorem, or permission to actuate a plant.

Public API

from scpn_quantum_control.codesign.evidence import build_demo_loop, demo_inputs
from scpn_quantum_control.l16 import (
    observer_inputs_from_l16,
    run_l16_director_suite,
)

evidence = run_l16_director_suite()
assert evidence.functional_passed
assert not evidence.promotion_ready

# BL-33 interprets adjust as hold and halt as abort.
output = build_demo_loop().step(
    demo_inputs()[0],
    observers=observer_inputs_from_l16("adjust"),
)
assert output.safety.action.value == "hold"

run_l16_indicator_scenario(...) requires a ClosedLoopExecutionPolicy. The default suite supplies a bounded simulation policy. An unauthorised policy fails before calculation, and an otherwise ticketed hardware decision is still refused because BL-85 is simulator-only.

Frozen functional evidence

The committed evidence is generated by:

python scripts/run_l16_director_evidence.py
Scenario Oscillators Coupling scale Frequency scale Result
paper27_baseline 4 1.0 1.0 continue; no nontrivial raw indicator
susceptibility_probe 3 0.3 0.1 continue; fidelity susceptibility 14.1898827
weak_coupling_probe 3 0.01 1.0 continue; no nontrivial raw indicator

All results replay deterministically. Functional execution passes, while promotion does not: the real frozen scenarios do not establish action diversity, two scenarios have fewer than two nontrivial indicators, and there is no provider, QPU, plant, or realtime-hardware evidence.

Artefacts:

  • data/l16_director_product/bl85_l16_director_evidence.json
  • data/l16_director_product/bl85_l16_director_evidence.md

Safety and route mapping

L16 heuristic BL-33 action Meaning
continue allow L16 adds no interlock; all other envelopes still apply.
adjust hold Preserve current parameters and require replanning.
halt abort Stop the loop step before parameter application.

An identity-observer hold or abort retains precedence over L16. BL-52 exposes adapter:l16.local_indicator as supported bounded-local work and adapter:l16.autonomous_hardware_control as a permanent boundary. A supported route is not a stability or hardware claim.

Claim boundary

Bounded exact-simulator L16 indicator and heuristic safety-routing evidence; no classical or quantum Lyapunov-exponent proof, PCS certificate, causal diagnosis, stability guarantee, autonomous actuation, provider, QPU, or production-control claim.