drools （业务逻辑引擎）招募

1. 项目概述与愿景

本项目是一项旨在探索系统级编程语言在现代规则引擎领域应用的非营利性开源项目。我们将使用仓颉语言，从头开始设计并实现一个高性能、内存安全、并发友好的规则引擎核心。其愿景是构建一个可作为未来复杂决策系统（如实时风控、智能规划、事件流处理）坚实基石的高质量参考实现。

本项目不追求功能的全面性，而是聚焦于核心算法的极致优化与工程实现的严谨性。我们相信，一个架构清晰、代码可读性强、测试完备的核心模块，其价值远胜于一个庞大但臃肿的系统。

2. 核心模块与技术规格

项目将分解为以下几个核心模块，贡献者可选择一个或多个模块深入参与。

模块一：规则语义模型与类型系统 (Rule Semantic Model & Type System)

• 目标：​ 定义强类型的、可在编译期进行大量验证的规则内部表示（IR）。

• 详细内容：

  • 设计仓颉结构体（Struct）或类（Class）来表示规则（Rule）、模式（Pattern）、条件（Condition）、动作（Action）。

  • 实现一个高效的属性访问系统，用于在规则执行时解析和访问事实对象（Fact）的字段。

  • 交付物示例：

  // 示例：仓颉语言代码（假设语法，体现强类型与内存安全概念）
  pub struct RuleId {
      id: String,
  }
  
  pub struct Pattern {
      object_type: TypeId,
      constraints: Vec<Box<dyn Constraint>>, // 约束 trait
  }
  
  pub struct Rule {
      id: RuleId,
      name: String,
      lhs: Vec<Pattern>, // Left-Hand Side (条件部分)
      rhs: Box<dyn RuleAction>, // Right-Hand Side (动作部分) Trait Object
      attributes: RuleAttributes, // 优先级、激活组等属性
  }
  
  pub trait RuleAction {
      fn execute(&self, session: &mut StatefulSession, facts: &[FactHandle]);
  }
  
  pub struct InsertAction {
      object: Box<dyn Any>, // 要插入的对象
  }
  impl RuleAction for InsertAction {
      fn execute(&self, session: &mut StatefulSession, _facts: &[FactHandle]) {
          session.insert(self.object.as_ref());
      }
  }

模块二：Rete规则网络编译器与运行时 (Rete Network Compiler & Runtime)

• 目标：​ 实现经典Rete算法或其现代变种（如ReteOO），并针对仓颉语言的零成本抽象和所有权模型进行优化。

• 详细内容：

  • 构建网络节点：AlphaNode、BetaNode、JoinNode、TerminalNode。

  • 实现高效的内存索引结构（如Hash索引），加速模式匹配。

  • 设计事实在网络中的传播机制，确保在并发场景下的正确性。

• 交付物示例：

  // 示例：网络节点定义与匹配上下文
  pub trait NetworkNode {
      fn propagate(&self, context: &PropagationContext, wm: &WorkingMemory);
  }
  
  pub struct AlphaNode {
      field_index: usize,
      expected_value: ConstraintValue,
      successors: Vec<Rc<dyn NetworkNode>>,
  }
  
  pub struct PropagationContext {
      pub fact_handle: FactHandle,
      pub token: Option<Rc<Token>>, // 用于Beta节点的部分匹配
  }
  
  // 性能关键：使用高效集合类型存储匹配结果
  pub struct BetaMemory {
      left_memory: Vec<Rc<Token>>,
      right_memory: Vec<FactHandle>,
      // 使用 HashMap 等结构建立索引，避免全量遍历
      index: HashMap<Key, Vec<usize>>,
  }

模块三：规则会话管理与并发模型 (Session Management & Concurrency)

• 目标：​ 提供线程安全、资源管理明确的规则会话接口。

• 详细内容：

  • 实现无状态会话（StatelessSession）和有状态会话（StatefulSession）。

  • 设计FactHandle与底层事实对象的映射关系，安全地管理事实的生命周期。

  • 研究并应用仓颉的并发原语（如Arc/Mutex或更高级的锁），实现安全的并行规则执行。

• 交付物示例：

  pub trait Session {
      fn insert<T: Any>(&mut self, object: T) -> FactHandle;
      fn fire_all_rules(&mut self) -> u32;
  }
  
  pub struct StatefulSession {
      rule_base: Arc<RuleBase>,
      working_memory: WorkingMemory,
      agenda: Agenda,
      // 使用线程安全的引用计数和互斥锁
      event_listeners: Arc<Mutex<Vec<Box<dyn RuleEventListener>>>>,
  }
  
  impl Session for StatefulSession {
      fn insert<T: Any>(&mut self, object: T) -> FactHandle {
          let handle = self.working_memory.insert(object);
          self.agenda.on_fact_inserted(handle, &self.working_memory);
          handle
      }
  }

3. 项目质量认证要求

所有贡献的代码必须通过以下质量关卡的验证，确保项目长期可维护性与技术卓越性。

持续集成（CI）流程：

每个Pull Request将自动触发以下流程，全部通过方可合并：

# 1. 格式检查
cargo fmt -- --check
# 2. 编译检查（包括正式版和调试版）
cargo check --all-features
cargo build --release
# 3. 静态分析
cargo clippy -- -D warnings
# 4. 测试套件与覆盖率检查
cargo test --all-features
cargo tarpaulin --ignore-tests --out Html
# 5. 基准测试（仅监控，不阻断）
cargo bench

交付件

验收标准

1.功能

1. 三方库必须有明确的功能；

2. 如果参考对标库移值开发，功能与参考三方库保持一致。

2.资料

1. Readme：包含简介，软件架构，目录结构，下载安装（编译构建），接口说明，使用示例，约束限制，开源协议，参与贡献等内容；

2. Changelog，三方库版本需包含基本的修改说明。

3.标准遵从性（可选），三方库实现需满足对应协议或行业标准，举例

1. appquth：支持对OAuth 的PKCE扩展；

2. icu4j：支持unicode标准库，通用字符集ISO/IEC 10646。

4.性能目标

1. 性能敏感三方库接口运行性能持平对标三方库

5.开源协议遵从，必须包含License文件

1. 放置合适的开源License协议，建议Apache License Version 2.0；

2. 引用或参考开源三方库，需遵从开源协议。

6.网络安全要求

1. 满足基础的网络安全红线及隐私要求，符合安全编码规范。

过程质量要求