Skip to content

I0703 — Implement the decision and prove it holds

Implement whatever I0702 decided across every command that writes a durable record, and turn the characterisation case into one that asserts the new behaviour.

BLOCKED wave 2 · p1 · debugging profile · runs alone

Part of M002 — A durable record names the worker that wrote it.

Blocked. This issue cannot start until I0702 is done. The status is derived from that, not declared.

Objective

Implement whatever I0702 decided across every command that writes a durable record, and turn the characterisation case into one that asserts the new behaviour.

Why

A defect is fixed when the case that reproduced it goes from describing the gap to describing the guarantee. Anything less leaves the next worker unable to tell which of the two the code is in.

Current state

The choice is recorded. decision, checkpoint and question still resolve the active task from the checkout, and the case still asserts that.

Desired state

Every command that writes a durable record follows the decision, the case asserts the new behaviour, and a refusal — if that is what was chosen — names the rule that refused and what to run instead.

Scope

  • lib
  • share
  • test/cases

Out of scope

  • Any behaviour the decision did not choose

Dependencies

What waits on this

Acceptance criteria

  • Every command that writes a durable record is covered, not only decision
  • The case from I0701 asserts the guarantee rather than the gap
  • A refusal names the rule and the command that resolves it
  • If the rule is enforced, it is declared in share/doctrines.yaml and doctor proves it reaches its command

Validation

  • bash test/run.sh
  • bin/majordomus doctor

Evidence required

  • suite
  • doctor

Evidence

None recorded. Every token above needs a command or an artifact behind it before this issue can be completed; narrative is refused.

Risk

Three commands share this resolution path; fixing one and not the others leaves a defect that looks fixed, which is worse than one that looks broken.

Timeline

started
—
verified
—
completed
—

Those three fields, the evidence above and the state of the dependencies are all the status is made of. There is no status field to disagree with them.

Canonical record: .ai/repo/project/issues/I0703.yaml. Read it back with majordomus plan show I0703.