openDox root: bump code to a99eba03 and spec to a8f5eb73 (§ 4.3 lazy proxy; BUILD slice 1b) - #6
Conversation
…proxy; BUILD slice 1b) Both legs' three-fact invariant (contracts/*-pin.yaml, scripts/validate-pins.py): | fact | code leg | spec leg | |---|---|---| | gitlink | a99eba03e31a0aee1cc15a061fdf718cc88a2c44 | a8f5eb73671c209871bc1598fe95ddf83b99ce24 | | contracts/<role>-pin.yaml commit: | same | same | | digests.tree_sha256: | 80913dc9392e79182a0b7c3b7684f6ad029ddb90b9a62c8e9328031a4e8d0c22 | 658c034d6eba529ff19c6d776ddcfb87ed36633ae413a5e3b776fdad4e455e16 | | was | da8aae969b4057bd46d2550c265e5bb363142458 | 1a216ea413cdcc14791aa3939712e2e459cfa6b6 | - code: opensoft/openDox-code#11 (§ 4.3, profile_openxfactory becomes a lazy proxy registered by the host at process start), merged 2026-09-11T19:04Z. - spec: opensoft/openDox-spec#7 (BUILD § 3.6, split-opendox slice 1b, the 10 stale citations corrected in place), merged 2026-09-11T17:44Z. Both digests computed under sorted-ls-tree-r-v1 via this repository's own scripts/repo_shape.py::tree_digest (not reimplemented) and cross-checked against an independently hand-rolled git ls-tree -r -z reduction; both agree exactly. No .github/workflows/*.yml carries an @<sha> reference to either leg repository, so the lockstep invariant's third fact has no member here. contracts/manifest.yaml's carved_from: block is untouched. Lane: openxfactory-4-opendox-extraction Refs opensoft/openxFactory#656 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Reviewer's guide (collapsed on small PRs)Reviewer's GuideThis routine lockstep bump advances the code leg to the lazy-proxy implementation and the spec leg to the BUILD slice 1b corrections, updating each gitlink plus its contract pin and tree digest while leaving manifest provenance, workflows, and changelog unchanged. File-Level Changes
Tips and commandsInteracting with Sourcery
Customizing Your ExperienceAccess your dashboard to:
Getting Help
|
|
There was a problem hiding this comment.
🟢 Approval recommended
No unresolved review issues were reported.
Pull request overview
Synchronizes the openDox code and spec legs with updated commits and matching pin metadata.
Changes:
- Updates both gitlink references.
- Refreshes commit pins and tree digests.
File summaries
| File | Description |
|---|---|
contracts/spec-pin.yaml |
Updates the spec commit and tree digest. |
contracts/code-pin.yaml |
Updates the code commit and tree digest. |
Review details
- Files reviewed: 4/4 changed files
- Comments generated: 0
- Review effort level: Lite
💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
There was a problem hiding this comment.
Sorry @brettheap, you've used your own review budget of 250,000 diff characters for the last 7 days.
You can request another review in 2 days and 20 hours by commenting @sourcery-ai review. Upgrade to get a review now.



Lane: openxfactory-4-opendox-extraction
Refs opensoft/openxFactory#656 — routine leg pin-sync at the openDox assembly
root, advancing both legs to their current
main.Sibling search:
gh pr list --repo opensoft/openDox --state open= none beforethis branch was pushed.
What moved, in the one commit
Both legs' three-fact invariant (README
## The lockstep invariant;scripts/validate-pins.py):a99eba03e31a0aee1cc15a061fdf718cc88a2c44a8f5eb73671c209871bc1598fe95ddf83b99ce24contracts/<role>-pin.yamlcommit:digests.tree_sha256:80913dc9392e79182a0b7c3b7684f6ad029ddb90b9a62c8e9328031a4e8d0c22658c034d6eba529ff19c6d776ddcfb87ed36633ae413a5e3b776fdad4e455e16da8aae969b4057bd46d2550c265e5bb3631424581a216ea413cdcc14791aa3939712e2e459cfa6b6opensoft/openDox-code#11(§ 4.3 lazy proxy:profile_openxfactorybecomes a lazy proxy registered by the host at process start, read by both
composition points), merged 2026-09-11T19:04Z.
opensoft/openDox-spec#7(BUILD § 3.6, split-opendox slice 1b:the 10 stale citations corrected in place, inside the Q-L1 declared lines),
merged 2026-09-11T17:44Z.
Both digests recomputed under
sorted-ls-tree-r-v1via this repository's ownscripts/repo_shape.py::tree_digest(not reimplemented) — cross-checkedagainst an independently hand-rolled
git ls-tree -r -zreduction for eachleg separately; both agree exactly.
Files changed:
code,spec(gitlinks),contracts/code-pin.yaml,contracts/spec-pin.yaml— exactly the shape of the prior bump, PR #5.What did NOT move (deliberately)
contracts/manifest.yaml'scarved_from:block — untouched (stillb075fd91dc8fced8e1373825ba80220c33536bae/opendox-carve-0)..github/workflows/*.ymlcarries an@<sha>reference to either legrepository, so the lockstep invariant's third fact has no member here.
contracts/CHANGELOG.md— untouched, matching PR openDox root: bump code to da8aae96 and spec to 1a216ea4 (Q-L8 (a), BUILD slices 1+2) #5's precedent (noper-bump line kept there for a routine leg-only bump).
Verification
make validate(both submodules initialised at their new pins) — exit 0:Not done here
🤖 Generated with Claude Code
Summary by Sourcery
Enhancements: