pub const ALL_WITNESS_KEYS: &[&str] = &[
"affidavit-receipt-chain",
"ai-llm/aamodt-plaza-1994-cbr",
"ai-llm/agent-based-post-irradiation-cell-digital-twin",
"ai-llm/agent-centric-os-review",
"ai-llm/agent-tcp-ip-transaction-system",
"ai-llm/agentic-ai-intent-industrial-automation",
"ai-llm/agentic-learner-grow-refine-semantic-memory",
"ai-llm/ai-environmental-protection-wisconsin",
"ai-llm/ai-era-teaming-frameworks-optimizing",
"ai-llm/ai-multi-agent-interoperability-conversations",
"ai-llm/ai-tailoring-fashion-image-popularity",
"ai-llm/alphaevolve-evolutionary-coding-agent",
"ai-llm/alphastar-unplugged-offline-rl",
"ai-llm/aprmcts-llm-program-repair-tree-search",
"ai-llm/autoagent-zero-code-llm-agents",
"ai-llm/automated-risk-of-bias-gepa-programmatic",
"ai-llm/back-to-bits-shannon-computing-performance",
"ai-llm/bench-coe-expert-collaboration-benchmark",
"ai-llm/bootstrapping-object-planning-llm",
"ai-llm/bridging-last-mile-time-series-llm",
"ai-llm/bridging-ui-chatbot-form-conversational",
"ai-llm/carjan-agent-traffic-scenario-ajan",
"ai-llm/classical-ai-foundations-overview",
"ai-llm/claude-code-best-practices-agentic",
"ai-llm/code-llm-design-patterns-understanding",
"ai-llm/codehalu-llm-hallucination-execution",
"ai-llm/codemirage-llm-code-hallucinations",
"ai-llm/computational-bio-modelling-then-now",
"ai-llm/context-aware-workflow-mobile-ui-annotation",
"ai-llm/cysecbench-generative-ai-cybersecurity-prompts",
"ai-llm/dafny-verification-intermediate-code-gen",
"ai-llm/data-driven-electrical-machine-design-ai",
"ai-llm/deliver-ai-agents-with-confidence",
"ai-llm/digital-twin-ml-anomaly-power-electronics",
"ai-llm/erman-1980-hearsay-ii",
"ai-llm/ethos-ai-agents-ethical-holistic-oversight",
"ai-llm/evolvable-agents-event-trees-emergency-decision",
"ai-llm/federated-agents-scientific-workflows",
"ai-llm/feigenbaum-1971-dendral",
"ai-llm/fikes-nilsson-1971-strips",
"ai-llm/g-designer-multi-agent-gnn-topology",
"ai-llm/genai-cross-border-ecommerce-brand",
"ai-llm/graph-of-thoughts-elaborate-problem-solving",
"ai-llm/hardware-acceleration-neural-networks-survey",
"ai-llm/haven-llm-verilog-hallucination-mitigation",
"ai-llm/human-machine-n-person-games-partial-knowledge",
"ai-llm/hybrid-cloud-emerging-ai-workloads",
"ai-llm/inpars-plus-synthetic-data-ir",
"ai-llm/kowalski-1974-predicate-logic-programming",
"ai-llm/laird-1987-soar",
"ai-llm/lamma-p-multi-agent-pddl-long-horizon",
"ai-llm/layout-reading-order-ordering-relations-vrd",
"ai-llm/learning-navigate-web-rl-agent",
"ai-llm/learning-refine-agentic-rl-sparql",
"ai-llm/llm-automatic-test-refactoring",
"ai-llm/llm-automating-security-policies",
"ai-llm/llm-code-hallucinations-evaluation",
"ai-llm/llm-financial-documents-comprehensibility",
"ai-llm/llm-first-search-self-guided",
"ai-llm/llm-open-source-innovation-github-copilot",
"ai-llm/llm-open-source-issues-causes-solutions",
"ai-llm/llm-reasoning-planning-incomplete-api-queries",
"ai-llm/llm-scenario-gui-testing",
"ai-llm/llm-semantic-web-multi-agent-ajan",
"ai-llm/llm-semiotic-machines-structuralist",
"ai-llm/maci-multi-agent-collaborative-intelligence",
"ai-llm/manufacturing-knowledge-llm-context-prompting",
"ai-llm/marr-poggio-1976-stereo-disparity",
"ai-llm/meta-prompting-protocol-adversarial-feedback",
"ai-llm/ml-analysis-paralysis-rashomon-paradox",
"ai-llm/ml-crowd-density-hajj-classification",
"ai-llm/ml-cybersecurity-digital-forensics-review",
"ai-llm/mle-bench-ml-agents-engineering-evaluation",
"ai-llm/neuro-symbolic-task-planning-goal-decomposition",
"ai-llm/newell-simon-1963-gps",
"ai-llm/no-ai-without-pi-ocel-generative-predictive",
"ai-llm/optimal-task-planning-pddl-popf",
"ai-llm/ortac-plus-dsl-multi-agent-mission",
"ai-llm/pddl-env-interaction-llm-planning",
"ai-llm/pddl-workflow-automated-generation",
"ai-llm/pix2struct-screenshot-parsing-pretraining",
"ai-llm/predictable-emergent-abilities-llm-proxy",
"ai-llm/prompt-optimization-state-space-search",
"ai-llm/public-facility-failure-management-llm",
"ai-llm/qimeng-automated-hw-sw-processor-chip",
"ai-llm/reason-to-recommend-iot-reasoning",
"ai-llm/reprompt-automatic-prompt-engineering-agents",
"ai-llm/robinson-1965-resolution-principle",
"ai-llm/rpg-repository-planning-graph-codebase-gen",
"ai-llm/search-on-graph-llm-reasoning-kg",
"ai-llm/semantic-communication-robot-arm-digital-twin",
"ai-llm/semantic-constraint-web-form-test-gen",
"ai-llm/shortliffe-1975-mycin-cf-model",
"ai-llm/smog-schema-matching-graph",
"ai-llm/soft-constraint-following-llm-step-by-step",
"ai-llm/solutions-architects-handbook",
"ai-llm/sussman-1973-hacker",
"ai-llm/ta-9-2024-0138-eu-regulation",
"ai-llm/thriftllm-cost-effective-llm-selection",
"ai-llm/uav-math-reasoning-rag",
"ai-llm/universal-pddl-domain",
"ai-llm/vlm-geometry-grounded-3d-reasoning",
"alignment-paper",
"alpha-miner",
"causal-consistency",
"cf-perspective",
"cognition/abductive-ibe-1965",
"cognition/abductive-lp-1992",
"cognition/ac3-csp-1977",
"cognition/act-r-1998",
"cognition/allen-temporal-1983",
"cognition/asp-1988",
"cognition/bayesian-network-1988",
"cognition/belief-merging-2002",
"cognition/bellman-mdp-1957",
"cognition/boden-creativity-1977",
"cognition/cbr-foundations-1994",
"cognition/cdcl-sat-1999",
"cognition/circumscription-1980",
"cognition/classical-ai-foundations-overview",
"cognition/clp-1987",
"cognition/conceptual-dependency-1972",
"cognition/construction-grammar-1995",
"cognition/contingent-plan-2010",
"cognition/ctl-model-checking-1986",
"cognition/default-logic-1980",
"cognition/dempster-shafer-1976",
"cognition/dendral-1971",
"cognition/ebl-1986",
"cognition/el-description-logic-2005",
"cognition/eliza-1966",
"cognition/episodic-memory-1983",
"cognition/event-calculus-1986",
"cognition/frames-1974",
"cognition/gps-1961",
"cognition/hacker-learning-1973",
"cognition/hearsay-ii-1980",
"cognition/ilp-1990",
"cognition/ltl-runtime-monitoring-2001",
"cognition/mamdani-fuzzy-1975",
"cognition/markov-logic-2006",
"cognition/marr-poggio-vision-1976",
"cognition/meta-reasoning-2011",
"cognition/morphological-1969",
"cognition/mycin-1975",
"cognition/naive-physics-1979",
"cognition/ocpm-route-discoverer-2019",
"cognition/partial-order-plan-1991",
"cognition/pddl-llm-planning",
"cognition/pomdp-1998",
"cognition/problog-2007",
"cognition/prolog-1974",
"cognition/q-learning-1992",
"cognition/qualitative-physics-1984",
"cognition/robinson-resolution-1965",
"cognition/script-sam-1977",
"cognition/shop2-2003",
"cognition/situation-calculus-1991",
"cognition/sme-analogy-1989",
"cognition/soar-1987",
"cognition/strips-1971",
"cognition/tableaux-1968",
"cognition/triz-1984",
"cognition/version-space-1982",
"cross-log-correlation",
"data-perspective",
"declare-constraints",
"declare-family",
"domain/agile-scrum-team-autonomy-antecedents",
"domain/agriculture-cloud-bigdata-activity-monitoring",
"domain/ai-risk-management-maturity-nist-rmf",
"domain/ai-ship-finance-loan-origination",
"domain/ansible-workshop-automation",
"domain/api-management-maturity-focus-area",
"domain/artificial-intelligence-omg-standards",
"domain/ash-framework-elixir-b5",
"domain/atlas-adaptive-trading-llm-multi-agent",
"domain/audit-maturity-model",
"domain/auto-property-insurance-analysis",
"domain/auto-tables-multi-step-transformations",
"domain/automation-trust-zero-sum-epistemic-agency",
"domain/bartpredict-llm-iot-cyber-threat",
"domain/bayesian-network-project-maturity-risk",
"domain/blake3-hash-function-2020",
"domain/blockchain-secure-vehicle-auction-smart-contracts",
"domain/blockchain-trilemma-algorand-ethereum-analysis",
"domain/bpr-supply-chain-halal-industry",
"domain/broadway-elixir-data-processing",
"domain/c4isr-architecture-framework-vva-simulation",
"domain/category-theory-probability-foundations",
"domain/ccmm-cybersecurity-capability-maturity-limitations",
"domain/cdn-architecture-performance-future-trends",
"domain/center-of-excellence-blueprint",
"domain/change-management-traceability-global-software",
"domain/closed-form-task-success-status-driven",
"domain/cmmi-itil-sqa-service-maturity",
"domain/complex-program-management",
"domain/computational-irreducibility-agency-undecidability",
"domain/concurrent-data-processing-elixir",
"domain/corl-environment-system-integration",
"domain/crypto-agility-maturity-assessment",
"domain/defect-prevention-cmmi-xp-integration",
"domain/developer-verification-software-guidelines",
"domain/digital-business-ecosystem-maturity-service-firms",
"domain/digital-game-maturity-model",
"domain/digital-twin-emerging-cellular-networks-survey",
"domain/distributed-software-org-maturity-model",
"domain/engineering-elixir-applications",
"domain/excess-growth-rate-mathematical-study",
"domain/fapl-federated-learning-privacy-iov",
"domain/genetic-algorithms-elixir",
"domain/geno-multimodal-interaction-web-applications",
"domain/great-mental-models-farnam-street",
"domain/hft-mini-flash-crashes",
"domain/hierarchy-frustrations-complex-intermarket",
"domain/ics-ctm2-industrial-cybersecurity-maturity",
"domain/information-governance-amazon-one-medical",
"domain/instructor-ex-elixir-structured-output",
"domain/intermarket-emh-ml-evaluation",
"domain/intermarket-trading-strategies-katsanos",
"domain/intro-adopting-elixir",
"domain/iot-vulnerability-fix-times-survival-model",
"domain/isic-classification-llm-circular-economy",
"domain/ism3-human-factors-security-maturity",
"domain/lead-lag-stop-reverse-minmax",
"domain/lifestyle-redesign-health-wellbeing",
"domain/malware-prediction-ml-windows-machines",
"domain/maturity-models-combinatorial-graph-theory",
"domain/maturity-models-survey-nolon-devops",
"domain/mental-health-ot-higher-education",
"domain/metaverse-ux-business-readiness-competitiveness",
"domain/middle-path-innovation",
"domain/mlsmm-machine-learning-security-maturity",
"domain/moggi-1991-notions-computation-monads",
"domain/mydigitwin-privacy-cardiovascular-risk",
"domain/nomad-fair-big-data-materials-science",
"domain/observability-fog-computing",
"domain/odata-v4-csdl-errata03",
"domain/official-scrum-at-scale-guide",
"domain/picosecond-mode-locked-laser-quantum-networks",
"domain/posthumous-data-management-digital-will",
"domain/pqc-government-transition-2024",
"domain/pragmatic-programmer-20th-anniversary",
"domain/pricing-cyber-insurance-maturity-models",
"domain/pricing-driven-devops-saas-industry-support",
"domain/privacy-norms-web-forms",
"domain/program-controls-effectiveness-framework",
"domain/programming-phoenix-liveview",
"domain/proof-bound-enterprise-change",
"domain/pseudo-automation-labor-frontline-retail",
"domain/public-admin-open-translation-maturity",
"domain/quantconnect-lean-engine-python",
"domain/real-time-phoenix-channels",
"domain/research-software-security-maturity",
"domain/responsible-ai-maturity-global-survey",
"domain/sap-leanix-business-capability-map-full",
"domain/sap-leanix-business-capability-map-light",
"domain/sbom-faq-2024",
"domain/selling-item-through-persuasion",
"domain/service-colonies-autonomous-cooperative-architecture",
"domain/session-types-transport-layer-tcp",
"domain/signal-theory-optimal-intent-encoding",
"domain/signature-event-context-derrida",
"domain/simulation-research-method-software-engineering",
"domain/software-testing-glossary-syntactic-semantic",
"domain/spl-architecture-process-maturity",
"domain/spl-business-maturity-model",
"domain/sre-himm-healthcare-requirements-maturity",
"domain/stix-v2-1-oasis-standard",
"domain/system-reliability-engineering-industry-4-0",
"domain/system-resiliency-design-methods",
"domain/tdd-maturity-model-anti-patterns",
"domain/technology-adoption-network-externalities-finance",
"domain/test-metrics-software-project-success",
"domain/togaf-archimate-iaf-dodaf-security-ea",
"domain/togaf-semat-essence-kernel",
"domain/tokenized-assets-portability-distributed-ledgers",
"domain/total-quality-leadership-tqm-practices",
"domain/tpot2-automl-evolutionary-optimization",
"domain/trading-usdchf-gold-hmm-coupling",
"domain/trusted-ci-cybersecurity-open-science",
"domain/twin-transition-green-digital-roadmapping",
"domain/type-safe-process-evidence-engineering",
"domain/uav-swarm-market-replanning-search-rescue",
"domain/uls-systems-architecture-maturity-interoperability",
"domain/upcase-usability-process-maturity-small-org",
"domain/virtual-org-architecture-breeding-methodology",
"domain/w6h-stakeholder-viewpoint-enterprise-architecture",
"domain/web-service-composition-search-tree",
"domain/wolpert-macready-1997-no-free-lunch",
"domain/zero-trust-identity-threat-segmentation",
"domain/zuchongzhi-3-0-quantum-computational-advantage",
"inductive-miner",
"log-skeleton",
"oc-petri-net-paper",
"oc-petri-nets",
"oc-pm-convergence",
"oc-pm-divergence",
"ocel-2.0",
"ocel-attribute-type",
"ocel-event-type",
"ocel-object-type",
"ocpq-paper",
"pm4py-api-grammar",
"pmax-consumer-grammar",
"powl-paper",
"predictive-monitoring-family",
"process-cube-aggregation-view",
"process-cube-analytical-view",
"process-cube-operational-view",
"process-cube-paper",
"rdf/agentict2s-text2sparql-heterogeneous-kg",
"rdf/aruqula-llm-text2sparql-react-kg",
"rdf/automationml-ontology-graph-queries-validation",
"rdf/autordf2gml-rdf-graph-machine-learning",
"rdf/barq-vectorized-sparql-query-engine",
"rdf/bdi-ontology-mental-reality-agency",
"rdf/citation-processing-parking-administrative",
"rdf/common-foundations-shacl-shex-pg-schema",
"rdf/condensed-rdf-graph-versioning",
"rdf/consistent-query-answering-shacl",
"rdf/cypherbench-llm-full-scale-kg",
"rdf/data-space-landscape-concepts-applications",
"rdf/deontic-rdf-conflict-tolerant-scheme",
"rdf/eat-own-kr-semantic-web-indexing",
"rdf/electricity-management-kg-harmonized-data",
"rdf/explainable-nl-enterprise-communication",
"rdf/firesparql-llm-sparql-scholarly-kg",
"rdf/fuzzy-ontology-embeddings-visual-query",
"rdf/glam-metadata-crosswalk-workflow",
"rdf/graphql-rdf-multiway-joins",
"rdf/grasp-generic-reasoning-sparql-kg",
"rdf/hypermedia-game-learning-tic-tac-toe",
"rdf/interacsparql-query-refinement-nl",
"rdf/jelly-patch-rdf-dataset-changes",
"rdf/kg-building-procedure-industry-applications",
"rdf/kg-er-conceptual-schema-language",
"rdf/kgpipe-pipeline-data-integration-kg",
"rdf/kif-wikidata-heterogeneous-kg-integration",
"rdf/knowledge-aware-self-correction-llm-kg",
"rdf/knowledge-control-plane-intelligent-swarm",
"rdf/knowledge-patterns",
"rdf/legislative-property-graph-pattern-detection",
"rdf/linked-data-llm-conversational-ui",
"rdf/llm-kg-bench-3-0-semantic-technology",
"rdf/llm-kg-explanations-component-based-qa",
"rdf/llms-plagiarize-kg-training-data",
"rdf/mcp-model-context-protocol-spec",
"rdf/metadata-model-profiling-multidimensional",
"rdf/metadata-representation-kg-embeddings",
"rdf/multi-agent-graphrag-text-cypher",
"rdf/nosql-graph-databases-overview",
"rdf/ocep-ontology-complex-event-healthcare",
"rdf/ontoaligner-kg-embedding-aligners",
"rdf/ontology-manufacturing-multi-agent-feedback",
"rdf/ontology-procurement-contracts-north-macedonian",
"rdf/ontology-workflow-model-transformation",
"rdf/owl-dl-ontology-planning-extended",
"rdf/owl-expressivity-fair-cognitive-interoperability",
"rdf/perennial-semantic-data-terms-decentralized-web",
"rdf/pkg-api-personal-knowledge-graph",
"rdf/poseidon-onegraph-engine",
"rdf/process-trace-querying-kg-notation3",
"rdf/provenance-tracking-semantic-web",
"rdf/pyrml-kg-creation-streamlining",
"rdf/qlever-sparql-engine-cikm-2017",
"rdf/rag-event-kb-proof-assistant-reasoning",
"rdf/rdf-gnn-semantic-rich-recommender",
"rdf/rdf-tensors-sparql-querying",
"rdf/rdfgraphgen-shacl-shapes-generator",
"rdf/rdfstar2vec-graph-embeddings-mining",
"rdf/real-time-health-ontology-cep-llm-tb",
"rdf/recursive-semantic-anchoring-iso-639-2023",
"rdf/relational-to-rdf-migration-query-evaluation",
"rdf/rule-based-cep-air-quality-smart-city",
"rdf/semantic-audit-cloud-iso-iec-tr-3445-2022",
"rdf/shacl-ds-extension-dataset-validation",
"rdf/shacl-ontology-semantics-rewriting",
"rdf/shacl2fol-toolkit-decision-problems",
"rdf/shacl4bib-library-data-validation",
"rdf/shape-link-traversal-query-optimization",
"rdf/sigsparql-signals-first-class-kg",
"rdf/slm-finetuning-shape-property-extraction",
"rdf/smart-web-services-future",
"rdf/sparql-anything-f-acade-kg-construction",
"rdf/sparql-n3-construct-rule-language",
"rdf/spider4ssc-text-multi-query-sparql-cypher",
"rdf/ta-g-t-subjectivity-table-text-rdf",
"rdf/task-oriented-gnn-large-kg",
"rdf/taxonomy-inference-tabular-llm",
"rdf/temporal-obligations-gucon-sparql-star",
"rdf/time-probability-iot-smart-building",
"rdf/urban-intermodal-freight-ontology-llm",
"rdf/web-applications-knowledge-graphs",
"rdf/webdial-multi-domain-rdf-dialogue",
"rdf/xpshacl-explainable-validation-rag",
"receipt-family",
"resource-perspective",
"rust-typestate-law",
"separable-wfnet-paper",
"streaming-evidence",
"temporal-profile-witness",
"time-aware-witness",
"time-perspective",
"wasm4pm-bridge",
"wasm4pm-conformance",
"wasm4pm-lifecycle",
"wasm4pm-mining",
"wasm4pm-replay",
"wfnet-soundness-paper",
"wfnet-to-powl",
"workflow-patterns-paper",
"workflow/anthropic-claude-code-usage",
"workflow/compliance-aware-predictive-2026",
"workflow/handson-python-devops",
"workflow/hierarchical-separable-wfnet-2026",
"workflow/ocel-2-0-spec-2024",
"workflow/ocpq-paper-2025",
"workflow/pm4py-library-python",
"workflow/pm4py-software-impacts-2023",
"workflow/pmax-agentic-process-mining-2026",
"workflow/process-mining-healthcare-2022",
"workflow/real-life-bpmn-edition-4",
"workflow/sairflow-serverless-scheduler",
"workflow/stochastic-conformance-2020",
"workflow/why-automate-time-use-wellbeing",
"workflow/workflow-patterns-definitive-guide-2016",
"workflow/workflows-community-summit-2024",
"workflow/xes-oced-integration-2025",
"workflow/yawl-open-source-bpms",
"workflow/yawl-technical-manual-5-0",
"workflow/yawl-user-manual-5-1",
"workflow/yawl-yet-another-workflow-language-2004",
"xes-1849-2016",
"xes-concept-extension",
"xes-lifecycle-extension",
"yawl-paper",
];
const _: () = {
let keys = ALL_WITNESS_KEYS;
let n = keys.len();
let mut i = 0;
while i < n {
let mut j = i + 1;
while j < n {
assert!(
!crate::witness_law::str_eq(keys[i], keys[j]),
"duplicate witness key — authority collision in ALL_WITNESS_KEYS"
);
j += 1;
}
i += 1;
}
};