dsh-hams 0.1.3 → 0.1.4

package/src/service/types.ts

@@ -1,219 +0,0 @@
-/**
- * 服务层共享类型：命令上下文与回执。
- *
- * 两条边界：
- * - `principalId` 只能由进站适配器从服务端上下文解析后传入，**绝不读请求体**（C5 结论）；
- * - 业务成败写在回执的 `ok` / `status` 上，HTTP 状态码只表达传输层（backend-design §9）。
- */
-import type { HamsErrorCode } from '../domain/errors.ts'
-
-export type Channel = 'ui' | 'tool' | 'system' | 'connector'
-export type MemberKind = 'human' | 'bot' | 'system'
-
-export interface CommandContext {
-  /** 服务端解析出来的操作者；不接受客户端自报。 */
-  principalId: string
-  channel: Channel
-  correlationId: string
-  /** 写命令的幂等键；同一 principal + action + key 只产生一次业务效果。 */
-  idempotencyKey?: string
-  expectedRevision?: number
-  /** 代录：实际操作人（P1 单机模式下他人参与的留痕方式）。 */
-  onBehalfOf?: string
-  authSubject?: string
-  hostPreset?: string
-}
-
-export interface CommandReceipt {
-  ok: boolean
-  status: 'applied' | 'accepted' | 'rejected'
-  objectId?: string
-  objectRevision?: number
-  executionEpoch?: number
-  approvalId?: string
-  auditId: string
-  correlationId: string
-  detail?: Record<string, unknown>
-  error?: {
-    code: HamsErrorCode
-    message: string
-    nextStep?: string
-    detail?: unknown
-  }
-}
-
-export interface Principal {
-  memberId: string
-  kind: MemberKind
-  name: string
-  role: string
-  status: string
-  currentVersion: number
-  positions: { positionId: string; name: string }[]
-  capabilities: Set<string>
-}
-
-export interface WorkItemRow {
-  id: string
-  project_id: string | null
-  parent_id: string | null
-  template_version_id: string | null
-  asset_id: string | null
-  domain: string
-  category: string
-  title: string
-  priority: number
-  status: string
-  resume_state: string | null
-  blocked_reason: string | null
-  owner_human_id: string
-  assignee_id: string | null
-  due_at: number | null
-  next_action_at: number | null
-  check_generation: number
-  close_requires_approval: number
-  dedupe_key: string | null
-  revision: number
-  execution_epoch: number
-  fence_seq: number
-  evidence_set_hash: string
-  created_by: string
-  created_at: number
-  updated_at: number
-  completed_at: number | null
-}
-
-export interface ApprovalRow {
-  id: string
-  subject_kind: string
-  subject_id: string
-  subject_revision: number
-  execution_epoch: number
-  evidence_set_hash: string
-  criteria_ref: string
-  criteria_json: string
-  reason_text: string
-  requested_by: string
-  requested_channel: string
-  approver_id: string
-  status: string
-  decided_by: string | null
-  decided_channel: string | null
-  decision_note: string
-  decided_at: number | null
-  invalidated_reason: string | null
-  expires_at: number
-  created_at: number
-}
-
-export interface CheckRow {
-  id: string
-  work_item_id: string
-  generation: number
-  execution_epoch: number
-  template_version_id: string | null
-  planned_due_at: number
-  status: string
-  evidence_set_hash: string
-  result_json: string
-  evaluated_at: number | null
-  created_at: number
-}
-
-export interface TemplateRow {
-  id: string
-  key: string
-  name: string
-  domain: string
-  category: string
-  published_version_id: string | null
-}
-
-export interface TemplateVersionRow {
-  id: string
-  template_id: string
-  version: number
-  required_evidence_json: string
-  validator_key: string | null
-  validator_params_json: string
-  check_policy_json: string
-  review_policy_json: string
-  misfire_policy: string
-  status: string
-  published_by: string | null
-  published_at: number | null
-}
-
-export interface RunRow {
-  id: string
-  work_item_id: string
-  thread_id: string
-  check_id: string | null
-  member_id: string
-  member_version: number
-  execution_epoch: number
-  runtime_epoch: number
-  fence: number
-  trigger: string
-  attempt: number
-  status: string
-  result_summary: string | null
-  created_at: number
-  started_at: number | null
-  finished_at: number | null
-}
-
-export interface ThreadRow {
-  id: string
-  work_item_id: string
-  generation: number
-  session_id: string
-  member_id: string
-  member_version: number
-  status: string
-  turn_count: number
-  opened_at: number
-  closed_at: number | null
-  close_reason: string | null
-}
-
-export interface EvidenceRow {
-  id: string
-  work_item_id: string
-  run_id: string | null
-  kind: string
-  ref: string
-  content_hash: string
-  source: string
-  observed_at: number
-  captured_at: number
-  captured_by: string
-  on_behalf_of: string | null
-  supersedes_id: string | null
-  status: string
-  verified_by: string | null
-  verified_at: number | null
-  purged_at: number | null
-}
-
-export interface ProposalRow {
-  id: string
-  subject_key: string
-  project_id: string | null
-  work_item_id: string | null
-  kind: string
-  dedupe_key: string
-  proposed_by: string
-  decider_id: string
-  title: string
-  body: string
-  rationale_json: string
-  impact_json: string
-  status: string
-  duplicate_count: number
-  snoozed_until: number | null
-  expires_at: number | null
-  result_work_item_id: string | null
-  revision: number
-  created_at: number
-}

package/src/service/work-item-create.ts

@@ -1,159 +0,0 @@
-/**
- * 建工作项与额度记账：命令层（告警入站 / 提议采纳）与调度（schedule 物化）共用这一份。
- *
- * 抽出来的原因：建单要同时满足五个不变量——负责人必须是人、模板必须已发布、
- * `dedupe_key` 未结单唯一、项目额度未超、事件与变更游标同事务。调度如果再抄一遍，
- * 迟早出现「人建的扣额度、定时建的不扣」这种账。
- */
-import type { DatabaseSync } from 'node:sqlite'
-import { denied, stateInvalid } from '../domain/errors.ts'
-import type { IdFactory } from '../domain/ids.ts'
-import { parseReviewPolicy } from '../domain/check.ts'
-import { writeChange, writeEvent } from './audit.ts'
-import type { MemberKind, TemplateVersionRow, WorkItemRow } from './types.ts'
-
-export interface WorkItemFactory {
-  db: DatabaseSync
-  ids: IdFactory
-  now: () => number
-  /** 预算按哪个时区切日/周。 */
-  timeZone: string
-}
-
-export interface InsertWorkItemInput {
-  domain: string
-  category: string
-  title: string
-  ownerHumanId: string
-  projectId?: string | null
-  templateVersionId?: string | null
-  assetId?: string | null
-  dedupeKey?: string | null
-  priority?: number
-  dueAt?: number | null
-  createdBy: string
-  actorKind: MemberKind
-}
-
-export function insertWorkItem(factory: WorkItemFactory, input: InsertWorkItemInput): WorkItemRow {
-  const { db } = factory
-  const at = factory.now()
-
-  const owner = db.prepare('SELECT kind FROM member WHERE id = ?').get(input.ownerHumanId) as
-    | { kind: string }
-    | undefined
-  if (!owner) throw stateInvalid(`负责人不存在：${input.ownerHumanId}`)
-  if (owner.kind !== 'human') throw denied('工作项负责人必须是人')
-
-  let closeRequiresApproval = 1
-  if (input.templateVersionId) {
-    const template = db.prepare('SELECT * FROM work_template_version WHERE id = ?').get(input.templateVersionId) as
-      | TemplateVersionRow
-      | undefined
-    if (!template) throw stateInvalid(`模板版本不存在：${input.templateVersionId}`)
-    if (template.status !== 'published') throw stateInvalid(`模板版本未发布：${template.status}`)
-    closeRequiresApproval = parseReviewPolicy(template.review_policy_json).autoClose ? 0 : 1
-  }
-
-  if (input.projectId) consumeBudget(factory, input.projectId, at)
-
-  const workItemId = factory.ids()
-  db.prepare(
-    `INSERT INTO work_item
-       (id, project_id, parent_id, template_version_id, asset_id, domain, category, title, priority, status,
-        owner_human_id, assignee_id, due_at, next_action_at, check_generation, close_requires_approval,
-        dedupe_key, revision, execution_epoch, fence_seq, evidence_set_hash, created_by, created_at, updated_at)
-     VALUES (?, ?, NULL, ?, ?, ?, ?, ?, ?, 'ready', ?, NULL, ?, NULL, 0, ?, ?, 1, 1, 0, '', ?, ?, ?)`,
-  ).run(
-    workItemId,
-    input.projectId ?? null,
-    input.templateVersionId ?? null,
-    input.assetId ?? null,
-    input.domain,
-    input.category,
-    input.title,
-    input.priority ?? 0,
-    input.ownerHumanId,
-    input.dueAt ?? null,
-    closeRequiresApproval,
-    input.dedupeKey ?? null,
-    input.createdBy,
-    at,
-    at,
-  )
-
-  const item = db.prepare('SELECT * FROM work_item WHERE id = ?').get(workItemId) as WorkItemRow
-  writeEvent(db, factory.ids(), {
-    workItemId,
-    kind: 'work_item_created',
-    actorId: input.createdBy,
-    actorKind: input.actorKind,
-    payload: {
-      title: input.title,
-      dedupeKey: input.dedupeKey ?? null,
-      templateVersionId: input.templateVersionId ?? null,
-    },
-    revision: item.revision,
-    executionEpoch: item.execution_epoch,
-    at,
-  })
-  writeChange(db, {
-    objectKind: 'work_item',
-    objectId: workItemId,
-    revision: item.revision,
-    changeKind: 'created',
-    at,
-  })
-  return item
-}
-
-/**
- * 建单额度：日与周是两行，各自滚动；没有额度行视为不限。
- * 条件更新 `used < limit_value` 保证并发下不会超卖（单写者其实已足够，但这样更直白）。
- */
-export function consumeBudget(factory: WorkItemFactory, projectId: string, at: number): void {
-  const { db } = factory
-  const { dayStart, weekStart } = periodStarts(factory.timeZone, at)
-  for (const [kind, start] of [
-    ['day', dayStart],
-    ['week', weekStart],
-  ] as const) {
-    const row = db
-      .prepare(
-        `SELECT used, limit_value FROM project_budget
-          WHERE project_id = ? AND period_kind = ? AND period_start = ? AND metric = 'new_tasks'`,
-      )
-      .get(projectId, kind, start) as { used: number; limit_value: number } | undefined
-    if (!row) continue
-    if (Number(row.used) >= Number(row.limit_value)) {
-      throw denied(
-        `项目「${kind === 'day' ? '日' : '周'}」建单额度已用尽（${row.used}/${row.limit_value}）`,
-        '调高额度或等下一个周期',
-      )
-    }
-    const updated = db
-      .prepare(
-        `UPDATE project_budget SET used = used + 1
-          WHERE project_id = ? AND period_kind = ? AND period_start = ? AND metric = 'new_tasks' AND used < limit_value`,
-      )
-      .run(projectId, kind, start)
-    if (updated.changes !== 1) {
-      throw denied(`项目「${kind === 'day' ? '日' : '周'}」建单额度竞争失败`, '刷新后重试')
-    }
-  }
-}
-
-export function periodStarts(timeZone: string, at: number): { dayStart: string; weekStart: string } {
-  const parts = new Intl.DateTimeFormat('en-CA', {
-    timeZone,
-    year: 'numeric',
-    month: '2-digit',
-    day: '2-digit',
-  }).formatToParts(new Date(at))
-  const pick = (type: string): number => Number(parts.find((part) => part.type === type)?.value ?? '0')
-  const date = new Date(Date.UTC(pick('year'), pick('month') - 1, pick('day')))
-  const weekday = date.getUTCDay()
-  const monday = new Date(date.getTime() - ((weekday + 6) % 7) * 86_400_000)
-  const format = (value: Date): string => value.toISOString().slice(0, 10)
-  return { dayStart: format(date), weekStart: format(monday) }
-}