TCB ENFORCEMENT LAYER
DAL-A SPEC
cbf.legacyledger.org
Public Utility Infrastructure | Programmable Logic (PL) Projection Simulator
Environmental State (Physics)
Local Admissibility (h_i)
1.00
Neighbor Trust (T_j)
1.00
BFT Layer (Intelligence)
Nominal Control Intent (u_nom)
100
%
CBF Hardware Gate (axi_cbf_wrapper.sv)
System Mode (K_i)
VERIFIED
Cross-Domain Barrier (Phi_ij)
0.75
Effective Contraction (c_eff)
1.00
u* =
100
%
Projected Safe Control (Actuation)
[SYS] Initializing TITANIUM R_RT PL Core...
[SYS] Admissible Manifold [A_G] bounded.
[SYS] Listening for Orchard BFT proposals...