jb/harness-tools
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs: record simplified workflow approval

Browse Source
This commit is contained in:
jb
2026-09-04 15:20:02 -04:00
parent 574adac57f
commit 88c20ca51b
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/workflow/develop-workflow-record.md
+7 -5
View File
@@ -3,8 +3,8 @@
## Status
- Status: active
- Current phase: final simplified review
- Next safe action: obtain one final independent review of the simplified cooperative contract, then integrate if both axes approve.
- Current phase: local integration
- Next safe action: commit these final approvals, recheck Git identity and source cleanliness, then fast-forward local `main`.
## Request and scope
@@ -210,8 +210,9 @@ Before integration, abandon only by preserving evidence and obtaining cleanup ap
- Approved architecture revision: the user selected a cooperative lock contract. Conforming helper invocations serialize through exclusive `wx` acquisition and never replace an existing lock. Concurrent out-of-protocol pathname mutation is not a supported safety boundary.
- Simplification decision: the user directed the parent to remove the disproportionate adversarial lock machinery and move on. Keep only practical cooperative lock behavior and its existing concurrency/stale-lock tests.
- Simplification result: inode/device guards and the adversarial replacement test were removed; the public reference now states the cooperative boundary. Focused tests pass 13/13, link tests pass 8/8, typecheck and the full suite exit 0.
- Final simplified standards reviewer: pending.
- Final simplified specification reviewer: pending.
- Final simplified standards reviewer: `develop-workflow-simplified-standards` / `precedent-locator`; digest confirmed; APPROVE with no findings.
- Final simplified specification reviewer: `develop-workflow-simplified-spec` / `claim-verifier`; digest confirmed; APPROVE with no findings.
- Final review evidence: both reviewers confirmed product tree `a9c951c9ab0349e7e2ea2fbbd5238acf9dc715c9`, metadata-only review delta, and clean unchanged state.
- This review-brief checkpoint is necessarily a metadata-only commit after the pinned product HEAD because a record cannot contain the digest of bytes that include its own digest. Prove it touches only this record.
## Integration and rollback
@@ -247,4 +248,5 @@ Rebase the feature branch onto the latest remote/local `main` when available, re
- Architecture decision: the user approved narrowing the contract to cooperative helper invocations rather than broadening Slice 1–2 with a broker or platform-specific native primitive.
- Approved follow-up: remove inode/device identity tracking and adversarial replacement tests, retain exclusive `wx` acquisition plus ordinary owned-lock cleanup, reverify once, and complete final review/integration without further hardening scope.
- Simplified product: `ebbf3c3d19677d161c1fd05229e9faf0852e1ee5`, tree `a9c951c9ab0349e7e2ea2fbbd5238acf9dc715c9`, digest `6ff7dfffd896870e7d4cfb2411b78a0b8fbb6f293e33d9b87801728ad51d2740`.
- Next safe action: commit this metadata-only brief, complete one final review, and integrate on approval.
- Final review result: both standards and specification approved with no findings; reviewers remained read-only.
- Next safe action: commit the approval evidence and perform the pre-approved local fast-forward integration.