メニュー
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).