What problem does it solve? Engineers modifying TinySocs detection, rule-loading, FIM, or federation code risk breaking hidden invariants — like the dual-engine split where only the C# engine fires alerts, or the signed-pack loader that is implemented but dormant — because the real behavior differs from comments and design docs. This Skill provides a code-verified map of how the system actually behaves before you touch those subsystems. ## Core Features & Use Cases - Dual-engine contract: Explains that only the C# agent engine (threshold_by_key rules, inline in the shipper batch loop) fires alerts, while the Python KQL catalogue never runs on a schedule. - Rule-loading trust chain: Details the legacy unsigned RuleLoader versus the signed-but-dormant PackLoader path, including Ed25519 verification, key_id pinning, licence gating, and refuse-and-freeze failure semantics. - Known weak points register: Names open issues plainly — no allowlist runtime, schema-only baselines, unauthenticated dashboard and /storage/purge endpoints, and the TS-080 direct-alert duplication. - Use Case: Before editing DetectionEngine.cs, PackLoader.cs, FileIntegrityInput.cs, or node.py, load this Skill to avoid silently disabling rules, breaking the TS-113 host-key grouping, or misrepresenting the signed-pack path as active. ## Quick Start Load the TinySocs architecture contract before modifying DetectionEngine.cs or PackLoader.cs and explain which invariants my change could violate.