菜单
Cognitive security — type violations, CaseFrameValidator, injection scoring, topological robustness, semantic integrity. Use for §9b adversarial and type-checking narratives.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Linguistic case formally typed as an analytic category — CaseRole, Morphism, AlignmentFunctor, MonoidalFunctor, Natural Transformations. Crucial for §2 core topology, downstream §7c DAIF alignment, and §9b adversarial injection formal verification.
Scalar active inference on case diagrams — beliefs, variational free energy, belief updates, prediction error, EFE, N400/P600 proxies. Use for §7; use src.daif for distributional returns and full ERP pipeline (§7c).
Distributional Active Inference — push-forward returns, quantile/IQN updates, VMP/Bethe FE, distributional case assignment, policy G(π), ERP profiles, convergence metrics. Use for manuscript §7c and quantitative DAIF results.
DisCoCat/DisCoCirc-style string diagrams, complexity metrics, ditransitive constructions, discourse-level prompt scanning. Use for manuscript §3–§4c (and cross-links to §5b magnitude homology metrics, §9b protocol-level checks where `Discourse` is used).
[0,1]-enriched categories, standard proximity matrix, categorical magnitude helpers. Use for §5 distributional proximity and enrichment that feeds cognitive/security modules.
POVM-based quantum case assignment — CasePOVM, case probabilities, crisp/graded/fluid-S POVM factories, semantic state helpers. Use for §8 and §8b quantum semantics.
| name | ccd-security |
| description | Cognitive security — type violations, CaseFrameValidator, injection scoring, topological robustness, semantic integrity. Use for §9b adversarial and type-checking narratives. |
src/security/from src.security import (
TypeViolation,
CaseFrameValidator,
detect_type_violation,
injection_score,
topological_robustness,
semantic_integrity_check,
)
§9b (09b_cognitive_security.md).