cognitive_case_diagrams

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.

Cognitive security — type violations, CaseFrameValidator, injection scoring, topological robustness, semantic integrity. Use for §9b adversarial and type-checking narratives.

Hub skill for cognitive_case_diagrams Layer-2 src — case categories, diagrams, enriched/topos semantics, scalar and distributional active inference, quantum POVMs, security validators, and figure generation. Use when editing or importing from projects/cognitive_case_diagrams/src.

Geometric theories, classifying toposes, Morita checks, theory builders. Use for §6 topos-theoretic semantics and bridges between syntactic/semantic theories.

Publication figures for cognitive_case_diagrams — case graphs, enriched heatmaps, string/DisCoPy diagrams, complexity plots, active inference and DAIF panels, quantum POVM, security, Fluid-S, syntactic App A panel. Use when generating manuscript figures from src.