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:
| 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.jsondata/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.