待验证50% 置信事实精确时间
声明规则语言（Claim Rule Language）是 AD FS 内置的一种轻量级 DSL，支持条件判断、从 Active Directory 查询属性以及声明值的正则替换等操作，典型语法为“条件 => 动作”，动作可以是 issue、add 或 issueStore。
1
来源数
50%
置信度
长期有效
时效性
2026/11/4
首次发现
来源
涉及实体
相关事实
待验证形式语法是计算理论中描述语言生成规则的形式化系统，最经典的分类是乔姆斯基层级：正则语法、上下文无关语法、上下文相关语法和无限制语法，四者依次对应有限状态自动机、下推自动机、线性有界自动机和图灵机所能识别的语言类。62% 相似待验证Rules 通常是声明式的约束条目，由用户以自然语言或结构化格式编写，用于限定代码风格、技术栈、审查清单等必须遵守的条件。60% 相似待验证结构化口令词（Structured Prompt）是指将任务拆解为明确的字段和约束条件，而非用自然语言随意描述。60% 相似待验证Prompt中的自然语言描述与响应schema不同：schema是显式声明，规定响应对象必须包含的键、类型及是否允许额外字段59% 相似待验证Schema在软件工程中指的是对数据结构、字段类型和约束条件的正式定义。57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1134559API
curl https://kongchang.com/api/v1/knowledge/claims/1134559MCP
get_claim(id=1134559)