killinchu 6DOF FMU Twin

6-degree-of-freedom vessel/UAS dynamics — EFFECTORS SIMULATED, human-on-loop
MODELED / SIMULATED 0 runtime CDN locked 8 @ c7c0ba17 Λ = Conjecture 1 OpenModelica + FMPy pattern (never Cameo/Dymola) receipt: …

6DOF rigid-body plant FMU co-simulated with an engagement state-machine FMU (Idle→Detect→Evaluate→Engage→Assess→RTB) and a stochastic threat generator. SIMULATION OUTPUT only — no live vessel/weapon control.

idle

Signed provenance receipt (DSSE)

run a co-sim to produce a signed receipt…
Related surfaces: Water-Tank Co-SimReq→Lean→FMU→Receipt
All outputs MODELED/SIMULATED — not physical hardware. Effectors SIMULATED, human-on-loop; no live vessel/weapon control. Signed receipts are integrity proofs for the simulation run, not operational data. Trust is bounded and NEVER 100%. Doctrine v11 LOCKED 749/14/163 @ kernel c7c0ba17 · Λ = Conjecture 1 (NEVER theorem) · Khipu BFT = Conjecture 2 · SLSA L1/L2 attested, L3 roadmap. Stack: OpenModelica + FMPy + SysML-v2 patterns — never Cameo/Dymola (proprietary).