Copy E0007/P0003 into main ledgers after mapping land

[ericvh]

Human Summary

• Behavior/outcome changed: durable main ledgers now name E0007/E0008/P0003, and the formulation horizon points at the opened t0011 (t0011: squashuser vs owner assertion (v9fs/test#28) #5) and t0013 (t0013: ACL xattr / TMPFS_XATTR (v9fs/test#28) #6) slices.
• Mechanism or implementation: copy rows from docs/ledgers/diod-upstream.md into evidence-map.md / proof-ledger.md after PR Map t0011/t0013 tip residuals (M0 evidence) #2 landed; no product code.
• Review focus: rows must match the already-reviewed PR Map chaos/diod HEAD and open issues against harness XFAIL #3 inventory; do not imply t0011/t0013 are implemented.
• Proof result: Mapped + Static unchanged. scripts/check-diod-upstream-inventory.sh and scripts/check-scaffold.sh passed on this branch.
• Known gaps not claimed: comment-only v9fs/test diod/xfail.txt patch still deferred; no kernel/diod/harness behavior change; floating DIOD_REF=master is not a SHA pin.

Evidence and Target

• Related issue: Map chaos/diod HEAD and open issues against harness XFAIL #4
• Milestone: M0 - Bootstrap
• Evidence version and paths/scenarios: chaos/diod de51d1ee1bd5ccf1d8c16b96227c8bb03ec50106; run 33511542559; implementation issues t0011: squashuser vs owner assertion (v9fs/test#28) #5 and t0013: ACL xattr / TMPFS_XATTR (v9fs/test#28) #6
• Target components/APIs/artifacts: this forge's evidence-map and proof-ledger

Proof Movement

• Before: E0007/P0003 lived only in docs/ledgers/diod-upstream.md (disjoint from PR Map t0011/t0013 tip residuals (M0 evidence) #2)
• After: same claim, also in the main tables
• Discriminating observation: inventory checker still fails if diod server: infinite loop chaos/diod#164 is dropped from the ledger; FAIL snapshot remains t0011/t0013 only
• Exact commands/artifacts and results:
  • scripts/check-diod-upstream-inventory.sh → passed
  • scripts/check-scaffold.sh → passed

Independent Review

• Creator: this closeout agent
• Reviewer: distinct from creator (required; do not self-approve)
• Review note: pending
• Decision: pending

Follow-Ups

• Land docs/patches/v9fs-test-diod-upstream/xfail.txt as comments on v9fs/test when that write scope is free. Trigger: test-repo push; do not overlap t0011/t0013 writing diod/xfail.txt.
• Optional: pin DIOD_REF to de51d1ee1bd5ccf1d8c16b96227c8bb03ec50106. Trigger: chaos/diod HEAD moves.

Durable State Updated

• Evidence map (E0007, E0008)
• Proof ledger (P0003)
• Decision/experiment/risk records as applicable (X0001, R0003 issue links)
• Methodology trigger (none; two landed mapping slices, not five)
• Compact audit-report link when required (off)

Closeout

• Current GitHub status/proof/review labels: kind:scaffold, area:test, proof:mapped, status:review, review:needs-independent
• Next dependency-ordered issue: #5 t0011 (do not start in this PR)
• State closer: human merge of this draft only; product implementation is a later assigned implementer

[ericvh]

The remaining gate is a distinct independent review, not more mapping work.

This draft only copies E0007/P0003 into the main ledgers after PR #2/#3. Scaffold CI is green. It does not implement t0011/t0013 and must not start #5/#6.

Unblock path: a reviewer other than the creator records Mapped+Static unchanged, then un-draft for human merge. review:needs-independent still holds; do not self-approve.

Posted from the personal Second Brain Attention pane.