vicTop-cw/fist-mbt/src/core

src

vicTop-cw/fist-mbt/src/core does not have a README file

Action

pub enum Action {
  CreateSpec
  ReviewSpec
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

每个任务的完整操作清单（仅保留 Omega 强验证相关 Action）

Action::to_string

source

fn Action::to_string(self : Action) -> String

Action 可读名（供错误消息）

Principle

source

pub struct Principle {
  index : Int
  title : String
  body : String
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

单条原则

Principle::get_body

source

fn Principle::get_body(self : Principle) -> String

Principle::get_index

source

fn Principle::get_index(self : Principle) -> Int

Principle::get_title

source

fn Principle::get_title(self : Principle) -> String

Principle::to_json

source

fn Principle::to_json(self : Principle) -> Json

单条原则转 JSON（供 resource 输出）

Role

source

pub enum Role {
  HumanSteward
  Leader
  Searcher
  Allocator
  Executor
  Verifier
  Recorder
  Observer
  SpecAuthor
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

八角色

Role::description

source

fn Role::description(self : Role) -> String

角色职责说明

Role::from_string

source

fn Role::from_string(s : String) -> Role?

Role::to_string

source

fn Role::to_string(self : Role) -> String

Task

source

pub struct Task {
  id : String
  parent_id : String?
  project_dir : String
  ns : String
  priority : String
  importance : String
  depth : Int
  split_n : Int
  status : TaskStatus
  assignee : String?
  description : String
  deliverable : String
  created_at : String
  updated_at : String
  completed_by : String?
  cleanup_mode : String
  depends_on : Array[String]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

FIST-Mbt 任务实体

Task::archive

source

fn Task::archive(self : Task) -> Result[Task, String]

已完成 -> 已归档

Task::claim

source

fn Task::claim(self : Task, assignee~ : String) -> Result[Task, String]

待领取 -> 已领取（角色：any active agent）

Task::complete

source

fn Task::complete(self : Task, completed_by~ : String) -> Result[Task, String]

待验收 -> 已完成（人类主权：completed_by 必须 human / human_steward 或明确授权）注意：此处仅校验 completed_by 非空；不引入独立的强身份认证模型（鉴权属上层 MCP 工具/MCP 层职责，本域不做权宜式身份伪造防护，避免脆弱的新鉴权模型）。

Task::execute

source

fn Task::execute(self : Task) -> Result[Task, String]

拆分中/已领取/执行中 -> 执行中（进入/覆盖/追加交付物）执行中 -> execute = 覆盖/追加交付物（retry 后原地更新交付物的直觉行为） BUG-2（Round 2 收口）：合法前态含「执行中」。retry 的落点就是执行中，若这里不收，「被打回重做」这条最该更新交付物的路径会写不进 deliverable（omega_result_verify 随即报「尚无交付物」），诱导操作者新建任务覆盖旧账、破坏 append-only 审计。选择放宽 execute 而不改 retry 的落点：retry→执行中是对外承诺的语义 （AGENTS.md 工具表「打回后重试（→执行中）」、已发布流水线的状态判据都按它写），改它等于改一条公共状态机迁移；而「执行中重复 execute」本就是幂等追加，影响面更小。错误文案必须给出路（当前状态 → 该走哪条迁移），否则调用方只能猜或另起任务。

Task::execute_exit_hint

source

fn Task::execute_exit_hint(status : TaskStatus) -> String

execute 被拒时按当前状态给出可用出路（BUG-2 文案，纯函数便于回归测试）。

Task::from_db

source

fn Task::from_db(id : String, parent_id : String?, project_dir : String, ns : String, priority : String, importance : String, depth : Int, split_n : Int, status_s : String, assignee : String?, description : String, deliverable : String, created_at : String, updated_at : String, completed_by : String?, cleanup_mode : String, depends_on : Array[String]) -> Task

按存储行字段直接构建任务（供 store 层反序列化使用；status 为存储字符串，非法回退 Pending）

Task::get_assignee

source

fn Task::get_assignee(self : Task) -> String?

Task::get_depth

source

fn Task::get_depth(self : Task) -> Int

Task::get_description

source

fn Task::get_description(self : Task) -> String

Task::get_id

source

fn Task::get_id(self : Task) -> String

Task::get_parent

source

fn Task::get_parent(self : Task) -> String?

Task::get_status

source

fn Task::get_status(self : Task) -> TaskStatus

Task::get_updated_at

source

fn Task::get_updated_at(self : Task) -> String

Task::is_leaf

source

fn Task::is_leaf(self : Task) -> Bool

Task::mark_decomposing

source

fn Task::mark_decomposing(self : Task) -> Result[Task, String]

拆分中标记（AO 式拆解用，宽于 split：待领取/已领取/拆分中均可转入）

Task::new

source

fn Task::new(id~ : String, project_dir~ : String, description? : String, priority? : String, importance? : String, depth? : Int, split_n? : Int, parent_id? : String, assignee? : String, cleanup_mode? : String, created_at? : String, ns? : String, depends_on? : Array[String]) -> Task

构造器（字段带默认值）

Task::pause

source

fn Task::pause(self : Task) -> Result[Task, String]

任意活跃状态 -> 已暂停（外部中断/等待依赖）

Task::reject

source

fn Task::reject(self : Task, reason? : String) -> Result[Task, String]

待验收 -> 已打回（验收不通过，需重做）

Task::reopen

source

fn Task::reopen(self : Task) -> Result[Task, String]

任意非归档状态 -> 已领取（被打回重做）

Task::resume_task

source

fn Task::resume_task(self : Task) -> Result[Task, String]

已暂停 -> 已领取（恢复执行）

Task::retry

source

fn Task::retry(self : Task) -> Result[Task, String]

已打回 -> 执行中（重新执行）

Task::split

source

fn Task::split(self : Task) -> Result[Task, String]

已领取 -> 拆分中（指挥官拆解）

Task::status_to_string

source

fn Task::status_to_string(self : Task) -> String

便捷状态访问

Task::submit

source

fn Task::submit(self : Task) -> Result[Task, String]

执行中 -> 待验收

Task::to_json

source

fn Task::to_json(self : Task) -> Json

任务转 JSON（供 MCP resource / tool 输出）

Task::with_deliverable

source

fn Task::with_deliverable(self : Task, deliverable : String, now : String) -> Task

Task::with_depends_on

source

fn Task::with_depends_on(self : Task, dep_id : String, now : String) -> Task

追加一条前置依赖（去重）并更新时间戳；返回带新 depends_on 的副本。供显式 DAG 构建（dag_depend）使用——不只靠 plan_deep 的隐式父子关系。

Task::with_updated_at

source

fn Task::with_updated_at(self : Task, now : String) -> Task

记录类复制更新（跨包不便直接构造 record，由 core 提供）

TaskStatus

source

pub enum TaskStatus {
  Pending
  Claimed
  Splitting
  Executing
  Reviewing
  Completed
  Archived
  Rejected
  Paused
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

任务七态状态机

TaskStatus::can_execute

source

fn TaskStatus::can_execute(self : TaskStatus) -> Bool

execute 的前态谓词（engine.execute 的第一道门）。 BUG-2 相邻加固（守卫一致性）：这里曾多出一条 Rejected，而 Task::execute 并不接受已打回——两条门不一致时，调用方拿到的是引擎的"非法执行: 任务处于 [已打回]"（无出路），而不是域迁移里带 retry 出路的文案。集合与 Task::execute 逐字对齐（对外结果不变：两条门对 Rejected 都是拒，只是文案统一）。

TaskStatus::can_split

source

fn TaskStatus::can_split(self : TaskStatus) -> Bool

状态谓词（供跨包业务层判断，避免直接构造变体）

TaskStatus::from_string

source

fn TaskStatus::from_string(s : String) -> TaskStatus?

TaskStatus::is_active

source

fn TaskStatus::is_active(self : TaskStatus) -> Bool

TaskStatus::is_archived

source

fn TaskStatus::is_archived(self : TaskStatus) -> Bool

TaskStatus::is_claimed

source

fn TaskStatus::is_claimed(self : TaskStatus) -> Bool

TaskStatus::is_completed

source

fn TaskStatus::is_completed(self : TaskStatus) -> Bool

TaskStatus::is_executing

source

fn TaskStatus::is_executing(self : TaskStatus) -> Bool

TaskStatus::is_paused

source

fn TaskStatus::is_paused(self : TaskStatus) -> Bool

TaskStatus::is_pending

source

fn TaskStatus::is_pending(self : TaskStatus) -> Bool

TaskStatus::is_rejected

source

fn TaskStatus::is_rejected(self : TaskStatus) -> Bool

TaskStatus::is_reviewing

source

fn TaskStatus::is_reviewing(self : TaskStatus) -> Bool

TaskStatus::is_splitting

source

fn TaskStatus::is_splitting(self : TaskStatus) -> Bool

TaskStatus::order

source

fn TaskStatus::order(self : TaskStatus) -> Int

TaskStatus::to_string

source

fn TaskStatus::to_string(self : TaskStatus) -> String

can

source

fn can(role : Role, action : Action) -> Bool

权限判定：Can(HumanSteward, 任意) = true；非人类角色只能做自己职责内的非破坏性动作。

child_id

source

fn child_id(parent_id~ : String, idx~ : Int) -> String

ensure_can

source

fn ensure_can(role : Role, action : Action) -> Result[Unit, String]

权限校验函数（带可读错误消息）

ensure_can_create_spec

source

fn ensure_can_create_spec(actor : String) -> Result[Unit, String]

Omega 强验证：语料创建权校验（供 engine 包调用，避免跨包构造枚举值）

ensure_can_review_spec

source

fn ensure_can_review_spec(actor : String) -> Result[Unit, String]

Omega 强验证：语料审核 / 成果复验权校验

principles

source

fn principles() -> Array[Principle]

七条金条的权威定义（与 FIST-SKILL/Python 版保持同源）

principles_json

source

fn principles_json() -> Json

全部原则转 JSON 数组

role_of

source

fn role_of(s : String) -> Result[Role, String]

从字符串解析角色（MCP 参数用）

Source Files

Site source Report issue Packages Build queue Skills Statistics

#Action

#Action::to_string

#Principle

#Principle::get_body

#Principle::get_index

#Principle::get_title

#Principle::to_json

#Role

#Role::description

#Role::from_string

#Role::to_string

#Task

#Task::archive

#Task::claim

#Task::complete

#Task::execute

#Task::execute_exit_hint

#Task::from_db

#Task::get_assignee

#Task::get_depth

#Task::get_description

#Task::get_id

#Task::get_parent

#Task::get_status

#Task::get_updated_at

#Task::is_leaf

#Task::mark_decomposing

#Task::new

#Task::pause

#Task::reject

#Task::reopen

#Task::resume_task

#Task::retry

#Task::split

#Task::status_to_string

#Task::submit

#Task::to_json

#Task::with_deliverable

#Task::with_depends_on

#Task::with_updated_at

#TaskStatus

#TaskStatus::can_execute

#TaskStatus::can_split

#TaskStatus::from_string

#TaskStatus::is_active

#TaskStatus::is_archived

#TaskStatus::is_claimed

#TaskStatus::is_completed

#TaskStatus::is_executing

#TaskStatus::is_paused

#TaskStatus::is_pending

#TaskStatus::is_rejected

#TaskStatus::is_reviewing

#TaskStatus::is_splitting

#TaskStatus::order

#TaskStatus::to_string

#can

#child_id

#ensure_can

#ensure_can_create_spec

#ensure_can_review_spec

#principles

#principles_json

#role_of

Source Files

Action

Action::to_string

Principle

Principle::get_body

Principle::get_index

Principle::get_title

Principle::to_json

Role

Role::description

Role::from_string

Role::to_string

Task

Task::archive

Task::claim

Task::complete

Task::execute

Task::execute_exit_hint

Task::from_db

Task::get_assignee

Task::get_depth

Task::get_description

Task::get_id

Task::get_parent

Task::get_status

Task::get_updated_at

Task::is_leaf

Task::mark_decomposing

Task::new

Task::pause

Task::reject

Task::reopen

Task::resume_task

Task::retry

Task::split

Task::status_to_string

Task::submit

Task::to_json

Task::with_deliverable

Task::with_depends_on

Task::with_updated_at

TaskStatus

TaskStatus::can_execute

TaskStatus::can_split

TaskStatus::from_string

TaskStatus::is_active

TaskStatus::is_archived

TaskStatus::is_claimed

TaskStatus::is_completed

TaskStatus::is_executing

TaskStatus::is_paused

TaskStatus::is_pending

TaskStatus::is_rejected

TaskStatus::is_reviewing

TaskStatus::is_splitting

TaskStatus::order

TaskStatus::to_string

can

child_id

ensure_can

ensure_can_create_spec

ensure_can_review_spec

principles

principles_json

role_of