+
��iK � �x � R t ^ RIHt ^ RIHt ^ RIt] ! R R4 4 tR R ltR R lt R
R lt
R R
lt R# )ar Parametric DSFB FSM replica.
Mirrors the Rust `dsfb_robotics::engine::DsfbRoboticsEngine<W, K>` and
`figures_real.run_dsfb`, but with W, K, beta, delta_s, and per-component
disable flags exposed as runtime parameters. Used by `sensitivity_grid.py`
and `ablation.py`. Validated against the Rust binary for the canonical
parameter set (W=8, K=4, beta=0.5, delta_s=0.05).
)� annotations)� dataclassNc �z � ] tR t^t$ ^tR]R& ^tR]R& RtR]R& RtR]R& R t R
]R & R t
R
]R & R t R
]R
& Rt R# )� FsmParams�int�W�Kg �?�float�
boundary_fracg�������?�delta_sF�bool�
disable_drift� disable_slew�disable_hysteresis� N)
�__name__�
__module__� __qualname__�__firstlineno__r �__annotations__r r
r r
r r �__static_attributes__r � �B/home/one/dsfb/crates/dsfb-robotics/scripts/dsfb_fsm_parametric.pyr r sG � �
�A�s�J�
�A�s�J� �M�5� ��G�U�� �M�4� � �L�$� � $���$r r c �( � V ^8� d QhRRRRRRRR/# )� �hitsz
list[bool]� hit_countr r �return�strr )�formats "r � __annotate__r s( � � � �� �� �� �� r c �6 � W8� d \ V 4 V8� d R # R# )�Boundary�
Admissible)�sum)r r r s &&&r �_check_grazingr% s � ��~�#�d�)�q�.�� r c � � V ^8� d QhRRRR/# )r � residuals�
np.ndarrayr r r )r s "r r r # s � � � �:� �%� r c �� � \ V 4 pV^ 8X d \ R4 # \ ^V^, 4 pV RV pV\ P ! V4 , pVP
^ 8X d \ R4 # \ \ P ! \ P ! V4 4 4 p\ \ P ! \ P ! V4 4 4 pVRV, , # )� �infNg @) �lenr �max�np�isfinite�size�mean�abs�std)r' �n�cal_n�cal�finite�mu�sigmas & r �_calibrate_enveloper: # s� � � �I��A��A�v��U�|�� ��1��6�N�E�
�F�U�
�C�
����S�!�
"�F�
�{�{�a���U�|�� �r�w�w�r�v�v�f�~�&� '�B� �"�&�&����� �(� )�E�
��e� � �r c �$ � V ^8� d QhRRRRRR/# )r r' r( �paramsr r �dictr )r s "r r r 1 s& � � q� q�z� q�9� q�� qr c �^ � \ V 4 pVP pR.V, p^ p^ pRpRp^ p Rp
R.VP , p ^ p ^ p
^ ;p;ppRpV EF� p\ P ! V4 ' * p\ P ! V4 ' d \ V4 MRpVV, pVV8� d TpVWE& V^, V, pWc8 d
V^,
pV' g V^8 d RpRpRpM�\
Wc4 pRp^ p^pVV8 dt WS, ^,
V^,
,
V, p WS, ^,
V,
V, p VVV , VV , ,
,
pV^,
pV^,
pKz V^ 8� d
VV, MRpVV,
pTpVP ' d RpVP ' d RpVV8� d Rp MlVVP V, 8� d? V^ 8� d Rp MJ\ V4 VP 8� d Rp M-\ W�VP 4 p M\ W�VP 4 p VVP V, 8� ;' d VV8* p V W�& V ^, VP , p W�P 8 d
V
^,
p
VP ' d T p
M%V V8X d V ^8 d
V ^,
p V ^8� d T p
MT p^p V
R8X d
V^,
pEK� V
R8X d
V^,
pEK� V
R8X g EK� V^,
pEK� \ V 4 p VV, p!V ^ 8� d
V!V , MRp"RV RVRVR VR
V"R V/# ) z�Run the parametric FSM, return aggregate census.
Drift/slew accumulation follows the Rust `sign::SignWindow::push`
summation order exactly so the Python census matches the Rust binary
bit-for-bit on canonical-parameter runs.
g r# F� Violationr" �
total_samples�
admissible�boundary� violation�compression_ratio�max_residual_norm_sq)r: r r r. r/ r2 �minr
r r
r r% r r, )#r' r< �rhor �norms�head�count�
prev_drift�pending�confirms� committed�
boundary_hits�hit_headr rA rB rC � max_norm_sq�r� below_floor�norm�norm_sq�drift�slew�filled�sum_diff�n_diffs�i�cur�prev�raw� is_approachr4 �reviewed� compressions# && r �run_fsmrb 1 s" � � �i�
(�C����A�
�E�A�I�E� �D�
�E��J��G��H� �I��G�f�h�h�&�M��H��I�()�)�J�)��I��K�
�� �+�+�a�.�(� ����Q� � �s�1�v�S����+�� �[� �!�K� �� ��q��A�~�� �9� �Q�J�E� �%�!�)��E��D� �J� ��]�F��H��G��A��f�*��x�!�|�q�1�u�-��2�� ��1� �q�(�A�-���E�#�J��t�� 4�4���1� ���Q���*1�A�+�H�w�&�3�E��:�%�D� �J� � � � ��E� � � � ��D� �#�:� �C�
�F�(�(�3�.�
.��q�y� ���T��V�^�^�+� ��$�]�v�x�x�H�� � �6�8�8�D�C��f� 2� 2�S� 8�8�H�H�T�S�[� �"-�
� � �q�L�F�H�H�,�� �x�x� � ��N�I� � $� $� $��I��g�~��a�<� ��M�H��q�=� #�I�� �� �� � � $� �!�O�J�
�*�
$� ��M�H�
�+�
%� ��N�I�[ �^ �I��A��)�#�H�$%��E�8�a�<�s�K����j��H��Y��[� � �
� r c � � V ^8� d QhRRRR/# )r �pathr r r( r )r s "r r r � s � � .� .�s� .�z� .r c
�< � . p\ V 4 ;_uu_ 4 pVP 4 P 4 p VP \ VP R 4 R, 4 4 V FN pVP 4 pV' g K VP \ VP R 4 R, 4 4 KP RRR4 \ P ! V\ P R7 # \ d L�i ; i \ d K� i ; i + ' g i LY; i)�,N)�dtype�����)
�open�readline�strip�appendr �split�
ValueErrorr. �asarray�float64)rd �rows�fh�header�lines & r �load_residual_streamru � s� � ��D�
�d���r���� �$�$�&�� � �K�K��f�l�l�3� /�� 3�4� 5� �D��:�:�<�D���
�� � �E�$�*�*�S�/�"�"5� 6�7� �
� �:�:�d�"�*�*� -�-�� � � � �� �
��
��
��sR � D �0C(�& D �0C9�6D �( C6�3D �5C6�6D �9 D �D �D �D � D ) �__doc__�
__future__r � dataclassesr �numpyr. r r% r: rb ru r r r �<module>rz sD ��� #� !� � �%� %� �%�� � q�h.r