Skip to content

M1-08: Implement ADR 0004 DecisionInput and STOP reason boundary #19

Closed

Description

@pillowtalk-Qy
Type: Contract Implementation
Priority: P0 / trust boundary
Initial status: Blocked
Owner: Contract/Security
Depends on: accepted M1-07
Blocks: #6
Writable: docs/adr/0004-*.md, docs/adr/README.md,
          packages/report-schema/src/**, packages/report-schema/test/**

唯一目标

从 @moss-mini-demo/report-schema 唯一 public entry 导出 strict DecisionInputV0_1Schema 和 inferred type。

实施步骤

  1. 合并/落地 accepted ADR 0004。
  2. 组合现有 Schema,不复制 intent/quote/capability/simulation 字段定义。
  3. 加 contextual SourceReference 验证。
  4. 拒绝完整 PreflightReport 和所有 forbidden fields。
  5. 加 package-name import smoke。

验收

[ ] valid projection parse succeeds
[ ] full report、decision、limitations、presentation、credential 均失败
[ ] unknown version/nested unknown field 失败
[ ] missing/dangling/metadata/circular ref 失败
[ ] items/<i> 三类 canonical ref 成功
[ ] 旧 raw/<i> 路径失败
[ ] public package import 在 Node 22 成功
[ ] MANUAL_REVIEW 合同与 M1-07 完全一致

验证

pnpm --filter @moss-mini-demo/report-schema build
pnpm vitest run packages/report-schema/test
pnpm test:package-import
pnpm typecheck
pnpm lint
pnpm format:check
pnpm check
git diff --check

Codex 指令

先证明 M1-07 Accepted,再实现 M1-08。复用现有 schema 和 contextual validator,
所有测试经 public entry;不要写 Decision Engine,不引入 Moss、UI 或 Clear402。

Activity

  1. pillowtalk-Qy commented on Jul 30, 2026

    @pillowtalk-Qy
    ContributorAuthor

    Dependency cleared by the Maintainer Accepted decision in #18: #18 (comment)

    M1-08 is now Ready. ADR 0004 and the strict public DecisionInput boundary must implement the accepted v0.1 correction before #6 begins.

  2. added and removed
    status:blockedBlocked by an unresolved dependency
    on Jul 30, 2026
  3. pillowtalk-Qy commented on Jul 30, 2026

    @pillowtalk-Qy
    ContributorAuthor

    Implementation scope confirmed after #18 Accepted:

    This Issue delivers one cohesive report-schema contract correction:

    1. ADR 0004 recording the accepted v0.1 correction;
    2. strict public DecisionInputV0_1Schema and inferred type;
    3. a dedicated closed StopReasonCodeV0_1 / STOP output schema boundary; and
    4. code-specific STOP trigger and SourceReference validation.

    This does not implement @moss-mini-demo/decision-engine, Moss, RPC, UI, expected transaction identifiers/counts, or non-empty partial-set completeness detection. Those remain outside M1-08.

  4. changed the title [-]M1-08: Export strict DecisionInputV0_1 runtime boundary[/-] [+]M1-08: Implement ADR 0004 DecisionInput and STOP reason boundary[/+] on Jul 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:architectureArchitecture and module boundariesarea:qaQuality assurance and testingpriority:P0Critical priorityrisk:trust-boundaryChanges a trust or evidence boundarytype:featureNew product functionality

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions