Repository navigation
T094/T098: phase 3's interim F11.1, tick both (plan 034) - #1237
Merged
Merged
Conversation
F11.1 by T093's procedure at T094's landing, ARC_TIP 3690848 (#1236), recorded in specs/034-opendox-standalone-operation/evidence/f11.1-phase3.txt with the walk to main's head, a negative control and 3.3's row; T098 ticked; README and plan.md link the record. Bookkeeping: no Arc trailer. Lane: openxfactory-3 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Reviewer's guide (collapsed on small PRs)Reviewer's GuideThis bookkeeping-only PR records phase 3’s interim F11.1 run for T098 at T094’s landed ARC tip, documents its successful guard and supporting checks, marks T098 complete, and links the new evidence from the feature documentation and evidence tree. Flow diagram for phase 3 F11.1 evidence recordingflowchart LR
T094[T094 landed ARC tip<br/>36908480] --> Guard[Run F11.1 guard]
Guard --> Result{Requirement 1 holds}
Result -->|0 notes; all paths declared| Evidence[f11.1-phase3.txt]
Evidence --> T098[T098 marked complete]
Evidence --> Docs[Feature README and plan evidence tree updated]
File-Level Changes
Tips and commandsInteracting with Sourcery
Customizing Your ExperienceAccess your dashboard to:
Getting Help
|
There was a problem hiding this comment.
Copilot review overview
🟢 Approval recommended
The bookkeeping is internally consistent with T098, the F11.1 guard, and T094’s verified landing metadata.
Review effort: Balanced
Findings: None
What changed in this PR
Records Plan 034’s phase-3 interim F11.1 verification after T094 landed.
Changes:
- Adds the phase-3 verification evidence.
- Marks T098 complete.
- Links the evidence from the plan and README.
| File | Description |
|---|---|
README.md |
Links phase-3 evidence. |
specs/034-opendox-standalone-operation/plan.md |
Adds evidence to the plan tree. |
specs/034-opendox-standalone-operation/tasks.md |
Completes T098 with results. |
specs/034-opendox-standalone-operation/evidence/f11.1-phase3.txt |
Records guard execution and controls. |
💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
Lane openxfactory-4 asked (2026-10-05) for this PR to tick T094 too, in #1226's form: the box, and a Landed bullet drawn from the PR bodies. T094 landed as openXdox#22 -> 9564d5d9 (T090 step 5), then openxFactory#1236 -> 3690848 (step 6, both pin pairs in caa8d37). Bookkeeping: no Arc trailer. Lane: openxfactory-3 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
brettheap
changed the title
|
brettheap
changed the title
brettheap
marked this pull request as ready for review
October 5, 2026 14:46
|
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 7 hours and 36 minutes by commenting |
Contributor
Author
|
READY at 57fb136 — Lane: openxfactory-4 (openXfactory-4-openDox_extraction) Holder: lane openXfactory-3's D3, the first half: T098, phase 3's interim F11.1, with T094's tick. It is bookkeeping and evidence, with no
|
Contributor
Author
|
Lane: openxfactory-4 (openXfactory-4-openDox_extraction) LANDING — lane openxfactory-4, session faabad8b-8c31-4958-abd5-b35bdc9cd282@Eagle, 2026-10-05T14:49:32Z, PR #1237 into opensoft/openxFactory main |
Contributor
Author
This was referenced Oct 5, 2026
brettheap
added a commit
that referenced
this pull request
Oct 5, 2026
…1238) Lane: openxfactory-4 (openXfactory-4-openDox_extraction) Authored by lane openXfactory-3, delegated by lane openxfactory-4 (#656 5984809456) **Plan 034 T089, phase 3's checkpoint, and T092's phase-3 notes.** This PR runs every check T089 names, at the commits phase 3 pinned, and quotes each one. It also carries T092's phase-3 notes in `docs/opendox-carve-manifest.yaml`, on the holder's decision below. - Every check passes. F5.2 whole passes after T086's repair, so **F5.2's box closes here** (RULED `5962785556`, item 1: *"F5.2's box closes at phase 3's checkpoint (T089)"*), and F4.1's box closes here too (plan 034's box map: `F4.1 → T089`). T097 ticks both in #1144; this PR ticks only T089. - This PR is bookkeeping, so it carries no `Arc:` trailer (R1Q20 (a), `5817152735`; T091). Claims: #656 comments `5984809456` (lane openXfactory-3's D3: T098 and T089) and `5987202231` (D5: T092's phase-3 notes), delegated by lane openxfactory-4. Ruled, as T089 cites: F5.2's close, `5962785556`, item 1. The amended forms run: batch H (F10.1, F13.1), batches M and P (F16.1), batches C, F, G and K (F5.2), batch A (F11.1's guard). **No Rule 6 window.** This PR touches nothing under `openspec/changes/`: the checkpoint finds no record in #1144 that is wrong, so #1144's `tasks.md` is untouched. The record is [`specs/034-opendox-standalone-operation/evidence/checkpoint-phase3.md`](specs/034-opendox-standalone-operation/evidence/checkpoint-phase3.md). - Each falsifier in it was extracted by anchor, byte for byte, from #1144's `tasks.md` at `36908480` (sha256 `48db295594a6…`), and every extraction reproduces the sha256 the earlier records quote (F4.1 `8900b985e72f`; F10.1 `d94265449831` → `2358bd8f76ab`; F13.1 `1e1f7da5564a` → `0a47fa31f5e0`; F16.1 `fe22ec4873d1` → `619b32a955e2`; F5.2 `808619e066fa` → `4b1512c26814`; F11.1 `60beede1244b`). - Each ran from a fresh detached worktree at the pinned commit, with an empty `git status --porcelain --ignored`, in a scrubbed `env -i` environment, in the foreground of its wrapper. ## Verdict | # | T089's check | where | result, quoted | |---|---|---|---| | 1 | F4.1 | openDox-code `dede32b4` | **PASS**, exit 0: `1 passed` twice, then `no deferred reach names the consumer or the publisher` | | 2 | F10.1, as batch H amends it | openDox-code `dede32b4`, `pip install ".[local]"` (`opendox-0.1.0`) | **PASS**, exit 0: the bundled database, migrations `['0001', '0002']`; `validation: opendox-snapshot: 0 violations`; `serving http://127.0.0.1:8080/index.html` | | 3 | F13.1, as batch H amends it | openDox-code `dede32b4` | **PASS**, exit 0: the bundled database, migrations `['0001', '0002']`; every assertion holds, the last `grep -q OPENDOX_OIDC_ISSUER …/default.err` | | 4 | F16.1, as batches M and P amend it, with T100's named test | openDox-code `dede32b4` | **PASS**, exit 0: `24 passed` (16.6), the dialect line, `no model configured: the catalog offers nothing`, `83 passed` (`tests/test_chat_model_configuration.py`), `532 passed` (`tests/test_model_binding_trust.py`) | | 5 | F5.2 whole, as batches C, F, G and K amend it, after T086's repair | openXdox-code `56e1c238`, openDox-code `dede32b4` installed over it, `OPENXFACTORY` at `36908480` | **PASS**, exit 0: the seven suites pass whole (`45`, `23`, `18`, `6`, `40`, `9` and `12 passed`), `test -s` holds, and the `--chains` step prints `ok: 5 protected edit(s), each entered and holding` | | 6 | T098's interim F11.1 | openxFactory, `ARC_TIP` at T094's landing `36908480` | **PASS**: quoted from [`f11.1-phase3.txt`](specs/034-opendox-standalone-operation/evidence/f11.1-phase3.txt) (#1237 → `20ce593e`), and re-run here with the same line, `requirement 1 holds: 0 note(s) annotated, every other path a declared surface (11.1)` | ## T092's phase-3 notes, carried here **Where they ride, and which reaches they cover.** - **Phase 2's decision (b)**, recorded in T064's PR (#1215): phase 2's notes rode in T063's checkpoint PR, as phase 1's rode in T049's. - **The holder's decision for phase 3** (lane openxfactory-4's round-2 delegation, 2026-10-05, D5, recorded there and here): *"Phase 3's notes ride in phase 3's checkpoint PR, the T089 PR, not in T094's arc PR. This follows phases 1 and 2, whose notes rode in T049's and T063's checkpoint PRs on the holder's decisions (T092's text names both). The checkpoint PR carries no `Arc:` trailer, so F11.1's count of annotated notes never includes them. Run F11.1's content rule over them in that PR, as T049 and T063 did."* - **The holder's ruling (A)** (`#656` comment `5994463071`, 2026-10-05), on lane openXfactory-3's question whether `consumer_reach.py`'s last stand-ins take notes too: *"Phase 3 reads T092 as phase 2 did. T092 asks for one `edits[].note` per closed reach. Phase 2's T055 removed ten stand-in names of the same kind, and T063's checkpoint PR noted none of them (decision (b), recorded in #1215). A stand-in's removal is therefore not counted as a closed reach. Phase 3's notes cover the reaches T084 and T086 closed, the three rows of the default patch."* 3 notes on 3 rows (2 added, 1 extended), for the eleven reaches phase 3 closed. They are #1144's 4.3 reaches into openXdox that F4.1's scan still named at phase 2's pin `047bb4fa`, and the three rows of openXdox-code's ratchet `OPENDOX_BACK_IMPORTS`. All eleven drop at T084 (opensoft/openDox-code#77 → `e49b17c3`), which also retires `consumer_reach.py`. | entry | carve lines | reaches at `1e4a57fb` | note | |---|---|---|---| | `branch_session.py` `edits[0]` | 1574, 1992 | `:1587`, `:2005` | extended (phase 2's note left these two open for phase 3) | | `serve_project.py` `edits[0]` | 246, 247 | `:246`, `:247` | added | | `serve_workbench.py` `edits[0]` | 346, 406, 407, 543, 1214, 1664, 2606 | `:347`, `:407`, `:408`, `:544`, `:1215`, `:1665`, `:2607` | added | Each note cites the landings that close its reaches, each re-verified at this PR's run (`closers-p3.py`, quoted in the record): T084 (opensoft/openDox-code#77 → `e49b17c3`), T086 (opensoft/openXdox-code#37 → `56e1c238`: `openxdox.column_contributions.register()`, and `OPENDOX_BACK_IMPORTS` at `(0, 0)` with its pin at T087's commit `dede32b4`), and T094 (#1236 → `36908480`: the host's call). So the stand-ins `consumer_reach.py` still held at `047bb4fa` (`gate_console`, `serve_gate`, `serve_projection` and the two late bases) take no note, on ruling (A). F11.1's content rule, T049's script byte for byte, over `main`'s manifest and this PR's: ``` extended: scripts/ideation_dashboard/branch_session.py edits[0] added: scripts/ideation_dashboard/serve_project.py edits[0] added: scripts/ideation_dashboard/serve_workbench.py edits[0] F11.1's manifest content rule holds: 3 note(s) annotated, nothing else in the manifest moved ``` With every `edits[].note` removed, the two manifests are equal, and no other line moved. The note check, the reach mapping, `scripts/validate-carve-manifest.py` (`OK`) and F4.1's scan walk are quoted in the record's last section. ## The pins From `pins.sh` over openxFactory at `36908480`, with `openDox` and `openXdox` initialized recursively: openDox root `e1e3a3c3` (`code` → openDox-code `dede32b4`, T087's pin), openXdox root `9564d5d9` (`code` → openXdox-code `56e1c238`, T086's landing; its `contracts/opendox-pin.yaml` → `e1e3a3c3`), and openXdox-code's `pyproject.toml` pins openDox-code `dede32b4`. All six T090 equalities hold, and the runs used exactly the pinned commits. ## What changed (5 files) - `specs/034-opendox-standalone-operation/evidence/checkpoint-phase3.md`: new, `Status: record`. It is linked from the feature 034 entry in `README.md`, beside T098's F11.1 record, and from `plan.md`'s evidence tree. - `specs/034-opendox-standalone-operation/tasks.md`: T089 ticked, with its Run bullet (T063's form), and T092's entry gains phase 3's sentence after phase 2's (#1218's form; T092 stays unticked, since 11.1 is ticked at ARC close). The box map already names T089 for F4.1 and F5.2, and nothing moves, so it is unchanged. - `specs/034-opendox-standalone-operation/plan.md`: the evidence tree and its prose. - `README.md`: the checkpoint link. - `docs/opendox-carve-manifest.yaml`: T092's phase-3 notes, `note:` lines only (2 added, 1 extended). With every note removed the manifest is unchanged. ## Validation, at the head against `main` `20ce593e` - **`python3 scripts/validate-openspec-cli-pin.py --all --strict`** (pinned CLI 1.12.0): rc 0, `Totals: 110 passed, 1 failed (111 items)`, `0 UNDISPOSITIONED failures`; the one failure is the accepted `add-chain-attestation` exception, as on `main`. - **doc-health `--single-repo . --as-of 2026-10-05`**, run at `main` `20ce593e` and at the head in two worktrees of one clone, each named `openxFactory`, so like is compared with like: rc 0 at both, `Findings: 31 critical, 26 error, 69 warning, 20 info. New regressions vs previous report: 0.`, and the two reports are byte-identical, a delta of zero. - Every 8-character commit sha in the record and in this diff resolves with `git rev-parse --verify` in its own repository (openxFactory, openDox-code, openXdox-code and the two roots). The two `spec` shas in the record's pin table, `f7ee3c76` and `f088b097`, are the roots' gitlinks, read with `git ls-tree`. ## Rehearsal (2026-10-04, at that day's mains, before T086, T087, T094 and T098) At openDox-code `38d3350e`, openXdox-code `6a3b93b9` and openxFactory `c8d80020` (ARC_TIP `fcb45380`): F4.1, F10.1, F13.1, F16.1 (`24`, `83` and `135 passed`) and F11.1 passed; F5.2 was red as expected until T086, on `tests/test_session_snapshot.py` (`17 failed, 6 passed`: 16 `SeamNotRegistered` at openDox's kickoff seam, 1 `IndexError`) and `tests/test_snapshot_validation_launch.py` (`9 failed`: T070's install-mode precondition, hosted by default and refused for no `OPENDOX_OIDC_ISSUER`), with the other five suites whole and `--chains` at `ok: 4 protected edit(s)`. opensoft/openXdox-code#37's scope covers all 26. Host paths in the quotes are written `<workdir>`, and the user `<user>`. No closing keyword appears in this body or in any commit. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Lane: openxfactory-4 Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
brettheap
added a commit
that referenced
this pull request
Oct 5, 2026
Lane: openxfactory-4 (openXfactory-4-openDox_extraction) Authored by lane openXfactory-3, delegated by lane openxfactory-4 (#656 5984809190) **Plan 034 T097, release 1's bookkeeping.** This PR ticks all 63 release-1 boxes of #1144's `tasks.md` (`add-neutral-product-standalone-operability`) that a realization task closes, each with its evidence note, and records research R16's non-normative corrections. Its After set has landed: batch P (#1230), T096 (#1241 → `8a37a087`) and T099 (the publish at the cut, and openDox#19 → `d77f8cbf`). On the holder's rulings it also ticks plan 034's T095, T099, T002, T007 and T097, each with its bullet, so plan 034 closes at 92 of its 96 tasks. T090 to T093 tick at the arc's close. - Bookkeeping, so it carries no `Arc:` trailer (R1Q20 (a), `5817152735`; T091) and no closing keyword. It touches `openspec/changes/`, so lane openxfactory-4 lands it under a Rule 6 `LANDING`/`LANDED` window. - **Based on `main` `8a37a087`** (#1241, T096), merged in by `0cde3961`. The PR was first based on `c8d80020` (#1232). The merges since are listed below. Its commits: - `76d8ff37`: the ticks, the notes and R16; - `b7f49673` and `e2efb3a1`: from Copilot's review (below), which edit note text only; - `bd32ea9c`: the merge of `main` after batch P landed; - `cf2c6bdc`: 16.3a's tick, on the T100 follow-on's landing (openDox-code#86 → `651c35fe`); - `5870cd00`: 4.3's and 9.2's ticks, on T086's landing (openXdox-code#37 → `56e1c238`); - `23665543`: 5.5's note reworded (Copilot at `5870cd00`), note text only; - `96c74eab`: the merge of `main` after T094 and T098 landed; - `935164af`: 3.3's tick, on T098's landing (openxFactory#1237 → `20ce593e`); - `e93ab9fb`: 5.4a's note reworded (Copilot at `935164af`), note text only; - `f6c6dc3c`: the merge of `main` after T089 landed; - `e873b25f`: F4.1's, F5.2's and F16.1's ticks, on T089's landing (openxFactory#1238 → `fab575ad`); - `9759313b`: the merge of `main` `f2acc88c`; - `10b6ba05`: the phase-1 and phase-2 checkpoint citations by path (below), note text only; - `0cde3961`: the merge of `main` after T096 landed; - `f94be2fd`: 10.3's tick, on T099's publish, and plan 034's ticks (below); - `9713f991`: plan 034's opening status, which still said batch P was to land (Copilot at `f94be2fd`, below), plan text only. If `main` moves before the landing, I merge it in. No rebase and no force-push. ## Measured, not copied Lane 4's table (2026-10-03T20:05Z, at `de2ab703`: 52 CLOSED-LANDED, 11 PENDING, 5 LEFT-OPEN, 2 ALREADY-TICKED) was regenerated by its own generator, patched, at `c8d80020`, at `ba6bb870`, and again after each closing landing: - every landing PR, now 115 across the six repositories, re-read with `gh pr view <n> -R opensoft/<repo> --json state,mergeCommit,mergedAt`, last at 2026-10-05T16:50Z. Since the first reading these have landed: #1230 (batch P, `ba6bb870`), openDox-code#84 (T104, which realizes no box, `32943cbf`), openDox-code#86 (the T100 follow-on, `651c35fe`), openDox-code#78 and openDox-code#79 (T101, `d59f3f26` and `dede32b4`), openDox#17 (T076, `504324de`), openDox#18 (T087, `e1e3a3c3`), openXdox-code#37 (T086, `56e1c238`), openXdox#22 (T094's openXdox root step, `9564d5d9`), #1234 (T094's ahead PR, `ca1c1486`), #1235 (phase 3's plan ticks, `70602a0a`), #1236 (T094, `36908480`), #1237 (T094/T098, `20ce593e`), #1238 (T089, `fab575ad`), openDox-code#75 (T095, which realizes no box, `389e5a4a`) and openDox#19 (T099's root README, `d77f8cbf`); - every task's landing re-read from plan 034's own `Landed:` bullet (78 of 96 tasks ticked at `c8d80020` and `ba6bb870`, 85 at `20ce593e`, 86 at `a43845e6`, 87 at `8a37a087`), and each run record traced to the openxFactory PR that added it: `checkpoint-phase1.md` (#1204 → `9d2e5bc3`), `checkpoint-phase2.md` (#1218 → `a883bbf6`), `f10.1-run.md` (#1223 → `f261fefa`), `f13.1-run.md` (#1224 → `de2ab703`), `f16.1-run.md` (#1231 → `0e01ca85`), `f11.1-phase3.txt` (#1237 → `20ce593e`), `checkpoint-phase3.md` (#1238 → `fab575ad`) and `at-r1/oracle-verdict.md` (#1241 → `8a37a087`). The T100 follow-on, which is no task, is read from the forge; - batch P's text read at #1230's heads `84113a44` and `d08249a2`, and as it landed (`ba6bb870`, the squash of its head `051f9945`). **Result: 63 CLOSED-LANDED, 0 PENDING, 5 LEFT-OPEN and 2 ALREADY-TICKED, of 70.** Since lane 4's table: - T082 (openDox-code#76 → `ca9e1bd5`), T100 (openDox-code#82 → `38d3350e`), T102 (openDox-code#81 → `0116293a`) and T083 (openxFactory#1231 → `0e01ca85`) have landed. That closes 16.4, 16.5 and 16.6. - The T100 follow-on (openDox-code#86 → `651c35fe`) has landed. That closes 16.3a. - T086 (openXdox-code#37 → `56e1c238`) has landed. That closes 4.3 and 9.2. - T098 (openxFactory#1237 → `20ce593e`), phase 3's interim F11.1, has landed. That closes 3.3 (below). - T089 (openxFactory#1238 → `fab575ad`), phase 3's checkpoint, has landed. That closes F4.1, F5.2 and F16.1 (below). - T076 (openDox#17 → `504324de`) and T101 (openDox-code#78 → `d59f3f26`, openDox-code#79 → `dede32b4`) have landed. - T095 (openDox-code#75 → `389e5a4a`) and T096 (#1241 → `8a37a087`), AT-R1's two halves, have landed. They close no box of #1144. - T099 has published `opendox` 0.1.0, and its root README PR has landed (openDox#19 → `d77f8cbf`). That closes 10.3 (below), the last box. Batch P closes and rewords no box. In #1144's `tasks.md` it only inserts addenda at the ends of 12.4a, 16.3a and F16.1: no box line moves and no box changes state. Since `ba6bb870`, no landing has touched #1144's `tasks.md`. In plan 034's `tasks.md`, T097's own text is unchanged. ## The census `python3 box_census.py openspec/changes/add-neutral-product-standalone-operability/tasks.md`, with the tool written from research.md § Appendix (byte-identical to the Appendix's heredoc). Before, at `main` `8a37a087` (identical to `c8d80020`'s, `ba6bb870`'s, `20ce593e`'s and `a43845e6`'s): ``` 2 8 2.1[ ] 2.1a[ ] 2.2[ ] 2.3[ ] 2.4[ ] 2.5[ ] 2.6[ ] F2.1[ ] 3 5 3.0[x] 3.1[ ] 3.2[ ] 3.3[ ] F3.1[ ] 4 5 4.1[ ] 4.1a[ ] 4.2[ ] 4.3[ ] F4.1[ ] 5 12 5.0[ ] 5.1[ ] 5.2[ ] 5.3[ ] 5.3a[ ] F5.1[ ] 5.4[ ] 5.4a[ ] F5.2[ ] 5.5[ ] 5.6[x] F5.3[ ] 7 8 7.0[ ] 7.1[ ] 7.1b[ ] 7.1a[ ] 7.2[ ] 7.3[ ] F7.1[ ] F7.2[ ] 9 8 9.1[ ] 9.2[ ] 9.2a[ ] 9.3[ ] 9.4[ ] 9.5[ ] F9.1[ ] F9.2[ ] 10 5 10.1[ ] 10.2[ ] 10.2a[ ] 10.3[ ] F10.1[ ] 11 3 11.0[ ] 11.1[ ] F11.1[ ] 13 8 13.1[ ] 13.2[ ] 13.3[ ] 13.4[ ] 13.4a[ ] 13.5[ ] 13.6[ ] F13.1[ ] 16 8 16.1[ ] 16.2[ ] 16.3[ ] 16.3a[ ] 16.4[ ] 16.5[ ] 16.6[ ] F16.1[ ] total 125 Counter({' ': 105, 'x': 11, '~': 9}) ``` After, at this head `9713f991` (`9713f991` changes only plan 034, so the census is `f94be2fd`'s): ``` 2 8 2.1[x] 2.1a[x] 2.2[x] 2.3[x] 2.4[x] 2.5[x] 2.6[x] F2.1[x] 3 5 3.0[x] 3.1[x] 3.2[x] 3.3[x] F3.1[x] 4 5 4.1[x] 4.1a[x] 4.2[x] 4.3[x] F4.1[x] 5 12 5.0[x] 5.1[x] 5.2[x] 5.3[x] 5.3a[x] F5.1[x] 5.4[x] 5.4a[x] F5.2[x] 5.5[x] 5.6[x] F5.3[x] 7 8 7.0[x] 7.1[x] 7.1b[x] 7.1a[x] 7.2[x] 7.3[x] F7.1[x] F7.2[x] 9 8 9.1[x] 9.2[x] 9.2a[x] 9.3[x] 9.4[x] 9.5[ ] F9.1[x] F9.2[ ] 10 5 10.1[x] 10.2[x] 10.2a[x] 10.3[x] F10.1[x] 11 3 11.0[ ] 11.1[ ] F11.1[ ] 13 8 13.1[x] 13.2[x] 13.3[x] 13.4[x] 13.4a[x] 13.5[x] 13.6[x] F13.1[x] 16 8 16.1[x] 16.2[x] 16.3[x] 16.3a[x] 16.4[x] 16.5[x] 16.6[x] F16.1[x] total 125 Counter({'x': 74, ' ': 42, '~': 9}) ``` The release-1 groups are shown. Groups 1, 6, 8, 12, 14, 15 and the follow-ons read the same before and after. Earlier heads read `'x': 66, ' ': 50` (`76d8ff37` to `bd32ea9c`), `'x': 67, ' ': 49` (`cf2c6bdc`), `'x': 69, ' ': 47` (`5870cd00` and `23665543`), `'x': 70, ' ': 46` (`935164af` to `f6c6dc3c`) and `'x': 73, ' ': 43` (`e873b25f` to `0cde3961`). ## The change: #1144's `tasks.md`, and plan 034's ticks - **63 boxes ticked**, each with its evidence note as the item's last paragraph, after any addenda. The note is in 1.8's and 3.0's form: a bold dated lead, `**Landed <date>**`, where the date is the last landing of the box's realizing tasks; the tasks; the landings as `repo#n → sha8`; and the falsifier's result, with where it was quoted. For example, 2.4: > **Landed 2026-09-27** (T030, in T011's PR): openDox-code#46 → `0e88454a`. `tests/test_imports_standalone.py::test_every_module_imports_with_no_sibling` first asserts the four siblings absent, then imports every module, failing with the first that still needs one (`evidence/checkpoint-phase1.md` § 1). - **No ratified line moves.** Against `main` `8a37a087`, #1144's diff is the 63 checkbox lines, `[ ]` → `[x]`, and 64 inserted paragraphs (482 lines): 63 notes, and 1 R16 note on an open box (9.5). This was proven at `f94be2fd` by setting every checkbox to `[ ]` in both files and diffing: the result is 64 insertions and nothing else, and the lines the two files share differ only by the 63 flips. The only other file the PR changes is plan 034's `tasks.md` (below). The file is byte-identical to a fresh re-apply of the regenerated decisions onto `main`'s file. - **Research R16** (research.md § R16), each figure re-checked against research R2, R4, R5, R10 and R13 and plan 034's records: | R16 item | box | where it is recorded | |---|---|---| | 1 | 2.5 | in 2.5's note: 22 modules, not 26, were reached by no CI step | | 2 | 9.4 | in 9.4's note: openXdox-code's floors read `564/558/6` at `626f2c8d`, not `539/533/6` | | 3 | 4.3 | in 4.3's note, since 4.3 closed on T086 (an open-box note until then): `run_scoped_doc_health` makes three of the four reaches, and the fourth is `session_documents` | | 4 | 3.2 | in 3.2's note: the proxy's refusal was written for NOTHING REGISTERED | | 5 | 10.1 | in 10.1's note: Q-R4 is recorded at `runtime/cli.py:39-42`, not `:40-46` | | 6 | 9.5 | a note on the open box (open for the arc's close, T090): the openDox pin was 11 commits behind, not 9, and T086 has since moved it to `dede32b4` | | 7 | Group 2's heading | in 2.1's note, the box the heading introduces: 1,305 and 1,239 at `1e4a57fb` | | 8 | 3.0 | no new line: 3.0's own note already records it (*"Read at ratification, 2026-09-24"*) | ## 10.3, closed on T099 10.3's box says the openDox root documents the entry point and does not host it, and batch H's addendum makes the documented command `pip install "opendox[local]"`, then `opendox generate-and-open --local …`. Plan 034 maps it to T076, T101 and T099: - **T076** (openDox#17 → `504324de`) documents the install and the start, and adds no `make` target. - **T101** adds the release workflow and the version bump (openDox-code#78 → `d59f3f26`, openDox-code#79 → `dede32b4`). - **T099** publishes that commit at the cut, on Brett Heap's word (`5997633384`). Read from the forge and from PyPI: - the annotated tag `v0.1.0` (`9153c254`) names `dede32b4`, which the openDox root's `contracts/code-pin.yaml` names; - openDox-code's `release` run 37339111713, dispatched on that tag, completed `success` in all four jobs: `build and verify`, `publish to TestPyPI (the dry run)`, `install opendox[local] from TestPyPI` and `publish to PyPI`, whose steps include `PyPI serves the files the build job verified`; - `https://pypi.org/pypi/opendox/0.1.0/json` lists exactly two files, neither yanked: `opendox-0.1.0-py3-none-any.whl` (sha256 `8ecea00db6f9…`) and `opendox-0.1.0.tar.gz` (sha256 `56869b6208a8…`); - openDox#19 → `d77f8cbf` replaces the README's stand-in paragraph. At that commit, the README's first line resolves from PyPI, and no paragraph says that no release is published. ## Plan 034: T095, T099, T002, T007 and T097 Lane openxfactory-4's delegation of 2026-10-05T16:37:31Z asks #1233 to tick these, each with a `Landed` or `Done` bullet in #1226's form, so that release 1 closes at 92 of 96. Its ruling `5999175092` settles three points: (a), (a) and (a). Every sha in the bullets was read from GitHub. - **T095**: openDox-code#75 → `389e5a4a`, which is X. Its `acceptance` job at X is the dispatched run 37333323932: `head_sha` X, job 111841708700, `success`, and its log reads `AT-R1 HTTP half: PASS (314 assertions held)`. - **T099**: P against X. The compare shows four files between them, none a build input, so the ruled check exits 0. Then the tag, the release run, PyPI's two files and openDox#19, as above. - **T002** (ruling (a)): 45 of the 50 slices in the three phases' writer tables were claimed on #656, and the bullet cites each claim. The five that were not are named in T091's form: P1-C, whose claim `5850230046` was posted as a literal file path and never edited, and P1-L, P2-H, P2-L and P2-M. Nothing is back-filled. - **T007** (ruling (a)): batches A to P have landed (P #1230 → `ba6bb870`), and its status sentence now says so. - **T097**: the census and research R16's corrections, with two non-normative notes beside them: - D6's T096 refusals, *"refused by name, with no browser signal"*; - the reachability of #1241's first commit, `f632d70c`, which `oracle-verdict.md` names as holding the bytes that ran (ruling (a)'s wording). It is not on `main`: `refs/pull/1241/head` (`5c663a7e`) reaches it, and so does #1241's branch, which still stands. `main`'s `SHA256SUMS` fixes the reviewed scripts, and the record names the ran bytes by their sha256. ## The checkpoint citations, by path Lane openxfactory-4 ruled at 2026-10-05T16:25:25Z that the notes' `CP1 § n` and `CP2 § n` citations name their records, as the phase-3 notes name `evidence/checkpoint-phase3.md`. `CP1` and `CP2` are the shorthand of lane 4's table, and #1144 never defines them. The change is non-normative and inside T097's R16 scope. `10b6ba05` makes it. The 26 citations, in 25 notes, now read `evidence/checkpoint-phase1.md` (T049, #1204) and `evidence/checkpoint-phase2.md` (T063, #1218). A word diff against `e873b25f` finds those 26 tokens and nothing else; only the 25 paragraphs' line breaks move. ## F4.1, F5.2 and F16.1, closed on T089 T089, phase 3's checkpoint, landed on 2026-10-05T15:26:43Z as #1238 → `fab575ad`. Its record, `specs/034-opendox-standalone-operation/evidence/checkpoint-phase3.md`, extracts each block from #1144 by anchor at `36908480` and runs it from a fresh worktree at the commits phase 3 pinned: openDox-code `dede32b4`, the `code` of the openDox root `e1e3a3c3` (T087), and openXdox-code `56e1c238` (T086). It says of F4.1 and F5.2 *"T097 ticks both in #1144; this record ticks nothing there"*, and plan 034's T089 `Run` bullet says the same. Each box closes on that run, by plan 034's Box accounting: - **F4.1** (`F4.1 → T089`): as extracted (sha256 `8900b985e72f`) and run unchanged, it exits 0 with `1 passed`, `1 passed`, then `no deferred reach names the consumer or the publisher` (§ 1). - **F5.2** (`F5.2 → T086, T089`; RULED `5962785556`, item 1, moves its close to phase 3): whole, as batches C, F, G and K amend it (`OPENXFACTORY` at `36908480`, last step `--chains`), it exits 0. The seven suites pass whole (45, 23, 18, 6, 40, 9 and 12 passed), `test -s` holds, and the last step prints five `admitted:` lines, then `ok: 5 protected edit(s), each entered and holding` (§ 5). One of the five admits T086's edits to `tests/test_session_snapshot.py`, by entries 16, 17 and 19 of `tests/protected_suite_respellings.yaml` at `56e1c238`: the three pre-arc reds that T063 quoted, each entry naming the test it repairs. - **F16.1** (`F16.1 → T083 (at 38d3350e), T089 (batch P's cases, at T087's pin)`): with batch M's line, it exits 0 with `24 passed`, the dialect line, `no model configured: the catalog offers nothing`, `83 passed` and `532 passed` (§ 4). `dede32b4` carries the T100 follow-on (openDox-code#86 → `651c35fe` is its ancestor, and the only commit between T100's landing and `dede32b4` that touches `tests/test_model_binding_trust.py`). That file is the same at both: 160 tests, among them batch P's six `test_F16_1_batch_p_*` cases and A8's `test_A8_a_state_directory_that_is_a_link_trusts_nothing`, none of which exists at `38d3350e`. T083's run there is quoted beside it, as before. ## 3.3, closed on T098 3.3 asks that the carve manifest's `deleted_at_carve` row for `scripts/ideation_dashboard/profile_openxfactory.py` stay BYTE-IDENTICAL. T017, which realizes it, reads the row through the three interim F11.1 runs, *"and T097 ticks 3.3 on all three"*. Each was re-checked on `main` `20ce593e`: - **Phase 1**, T018 (#1202 → `e81eed62`, `evidence/f11.1-phase1.txt`): the amended run at T047's landing prints `requirement 1 holds: 0 note(s) annotated, every other path a declared surface (11.1)`, and the record's T017 section reads the row. - **Phase 2**, T065 (#1217 → `1f670bc3`, `evidence/f11.1-phase2.txt`): the same line, at T064's landing. - **Phase 3**, T098 (#1237 → `20ce593e`, `evidence/f11.1-phase3.txt`), at ARC_TIP `36908480` (T094, #1236). It prints the same line (exit 0) over the arc's three landings, and it refuses a planted path. `docs/opendox-carve-manifest.yaml` is touched by none of the three. Its T017 section finds the row equal at the manifest's introducing commit `17167481` and at that tip, both raw and parsed: `not_moved`, `deleted_at_carve`, no `edits`. - **Re-read for this tick at `main` `20ce593e`:** the row is still equal to `17167481`'s, both raw (4 lines) and parsed. `scripts/opendox_host.py` is still openxFactory's host: T094 modified it and deleted nothing, which F11.1 would have refused. ## 4.3 and 9.2, closed on T086 T086 landed on 2026-10-05T12:23:03Z as openXdox-code#37 → `56e1c238`. It is a squash whose tree (`78ef1ed1`) is that of its head `57bebd8b`. Its pin is openDox-code `dede32b4`, the commit T087 pins (openDox#18 → `e1e3a3c3`). - **4.3** closes *"with the last of"* the nineteen reaches into openXdox, and *"openXdox-code's ratchet (`OPENDOX_BACK_IMPORTS`) is tightened to `(0, 0)` in the same landing"*. At `56e1c238`: - `tests/test_dependency_direction.py` holds `OPENDOX_BACK_IMPORTS = {}`, and `test_the_pinned_opendox_does_not_import_openxdox_back` asserts `(0, 0)`. - openXdox-code#37's body reads that file `17 passed` at the pin, with the census empty. - `consumer_reach.py`, absent at `dede32b4`, was retired by T084 (openDox-code#77 → `e49b17c3`). - **9.2** closes in phase 3 (batch F's addendum), with batch B's note. At `56e1c238`: - `tests/declared_exclusion.yaml` holds 66 entries carrying 68 reasons: 60 `doc_health`, 3 `status-exemption-rail` and 5 `openxfactory-contracts`. - CI's `validate` at the PR's head (openXdox-code run 37307785866) printed `open extraction: the declared exclusion` and `triple: selected=1099 passed=1095 skipped=4 failures=0 errors=0`. - Requirement 9 stays open until T008. ## 16.3a, closed on the T100 follow-on 16.3a is *"Carried out by T100"*, and batch P's addendum adds *"Carried out by a T100 follow-on openDox-code PR (claim `5982447319`), which is no task of plan 034 and lands before T087"*: - T100 landed as openDox-code#82 → `38d3350e`. - The follow-on landed as openDox-code#86 → `651c35fe` (09:49:55Z). It is a squash whose tree is that of its head `aecac805`, and it landed before T087 (openDox#18, 11:58:27Z) and T101. - It carries out Brett Heap's `5982436447`, item 2, and `5983805990`, with the holder's `5984069416`, `5985046107` (C1 to C5) and `5985553609`, and the holder's A8. - Its body records the falsifier: F16.1's block as batch P amends it, run by T089's runner at `aecac805`, exits 0 with `532 passed` in `tests/test_model_binding_trust.py`. The six `test_F16_1_batch_p_*` tests are present at `651c35fe`. - The open trust-time existence check, and the follow-ons of openDox-code#86's eighth Copilot review, move no box of release 1. 16.3a's own text says so for the first, and the holder's `5992038800` for the second. ## Left open, by T097's own text - 9.5, 11.0, 11.1 and F11.1, for the arc's close (T090 to T093), and F9.2, until T008. Nothing else is held. ## T097 is ticked T097's task is *"Tick #1144's release-1 boxes, each with its evidence note: the 63 in the table below."* All 63 are ticked, so `f94be2fd` ticks T097 in the same commit as 10.3, the last box, as lane 4's brief requires. ## The merges of `main` - **`bd32ea9c`** merged batch P (`ba6bb870`). It gave the one conflict this PR expected, at 16.4's checkbox line, which follows batch P's insertion at the end of 16.3a. The resolution took `main`'s text for every hunk batch P changed and re-applied the ticks and notes with the same tool, byte-identical to a fresh re-apply onto `main`'s file. - **`96c74eab`** merged `main` `20ce593e` (#1234 to #1237). It was clean, because none of the four touches #1144's `tasks.md`. - **`f6c6dc3c`** merged `main` `a43845e6` (#1238 and #1239). It was clean too, because neither touches #1144's `tasks.md`. - **`9759313b`** merged `main` `f2acc88c` (#1240), and **`0cde3961`** merged `main` `8a37a087` (#1241). Both were clean, for the same reason. - Every tick since is a fresh re-apply onto `main`'s file. ## Gates, at `main` `8a37a087` and at this head `9713f991`, in one full clone named `openxFactory` | gate | `main` `8a37a087` | this head `9713f991` | |---|---|---| | `python3 scripts/validate-openspec-cli-pin.py --all --no-cache` (CI's form; pinned 1.12.0) | rc 0, `110 passed, 1 failed (111 items)`, `0 UNDISPOSITIONED failures`, 1 accepted exception (`add-chain-attestation`) | identical output, but for the pinned CLI's temporary directory | | `… --change add-neutral-product-standalone-operability` | — | rc 0, `1 passed, 0 failed`, `validated --strict clean` | | `scripts/doc-health.py --single-repo . --as-of 2026-10-05` | `31 critical, 22 error, 69 warning, 20 info`, 0 new regressions | byte-identical report | | `proposal-support.py . verify add-neutral-product-standalone-operability` | ok | identical | | `validate-sequenced-after.py . --ledger-diff` | 229 rows, consistent | identical | | `validate-code-surface.py`, `validate-target-release.py`, `validate-pin-registrations.py`, `validate-document-catalog.py` | rc 0 each (the catalog: 0 errors, 0 warnings) | identical | | `pytest -m "not postgres"` over `tests/doc-health`, `sequenced_after`, `proposal-support`, `former_id_arrival`, `citation_remainder`, `signed_execution_chain`, `openspec_cli_pin`, `target_release`, `code_surface`, `packet_reference`, `scope_globs` | the 8 below fail identically | running (the last full run, at `10b6ba05`: `8 failed, 3427 passed, 1 skipped`) | The 8 failures are environmental, the same 8 at every head. Each needs the `openDox` and `openXdox` legs initialized, as CI's `pytest-suite` does, or a reachable pinned validator: `test_ideation_readiness.py` (3), `test_readiness_dispatch.py` (1), `test_sentinel_vocabulary.py` (2), `test_status_reader_real_lines.py` (1) and `test_chain_reader.py` (1). Re-run alone at `main` `8a37a087`, they read `8 failed` with the same messages. The venv was built by CI's own `pip install --require-hashes -r requirements/hermes-runtime-contracts.lock`, with `LANG=C.UTF-8` and every `GIT_*`/`XF_*` variable unset. The earlier rounds read the same: `main` `c8d80020` against `76d8ff37`, `b7f49673` and `e2efb3a1`, `main` `ba6bb870` against `bd32ea9c`, `cf2c6bdc`, `5870cd00` and `23665543`, `main` `20ce593e` against `935164af`, `main` `a43845e6` against `e873b25f`, and `main` `f2acc88c` against `10b6ba05`. At `f94be2fd` the local run was stopped at 31% on a session swap, and CI's `pytest-suite` passed there. No test, script or workflow reads plan 034's files (`git grep` over `tests`, `scripts` and `.github` finds none). Also checked, on the inserted text at `9713f991`: - every `repo#n → sha8` in #1144's notes (71 distinct pairs, 122 mentions) and in plan 034's bullets is that PR's merge commit, per the forge; - every other sha (`17167481`, `1e4a57fb`, `36908480`, `5c137a90`, `626f2c8d`, `aecac805`, `dede32b4`, `f8a1ece`; in the plan, `5c663a7e`, `9153c254` and `f632d70c`) resolves in its repository, and the file digests match PyPI's JSON and the `SHA256SUMS` files; - each of the 63 `Landed` dates equals the last landing of the box's realizing tasks (F5.1's and F7.1's notes also name T063's later re-run, and 5.4a's names the host line, #1215); - no closing keyword, no `Arc:` line, no host path, and no unqualified reference to another repository, in the diff, the commit messages or this body; - no inserted line is wider than 80 characters, and in #1144 none starts a list, a heading or a table. ## CI and review - **CI at this head `9713f991`:** running. - **CI at `f94be2fd`:** every check-run completed `success`, the 8 required among them (`pytest-suite` 17:13:56Z to 17:31:21Z). - **CI at `10b6ba05`:** every check-run completed `success` (`pytest-suite` until 17:04:09Z). - **CI at `e873b25f`:** every check-run completed `success`, the 8 required among them (`pytest-suite` 15:57:01Z to 16:22:01Z). `lane-line` re-ran on each edit of this description and passed. - **CI at `935164af`, `23665543`, `cf2c6bdc`, `bd32ea9c` and `e2efb3a1`:** every check-run completed `success`, the 8 required among them (`signed-execution-chain-gate`, `lane-line`, `former-id-arrival-gate`, `openspec-cli-pin`, `wallet-validation`, `pytest-suite`, `release-tag-gate`, `openxdox-consumer-gate`). At `5870cd00`, `23665543`'s run superseded its `pytest-suite`. - **Copilot at `76d8ff37`:** one finding, r4179674026: F7.2's note named no landing commit for T058 or T063. `b7f49673` names them (openDox-code#68 → `047bb4fa`, openxFactory#1218 → `a883bbf6`), and 7.1's changelog landing too (openDox#15 → `66758438`). The thread is answered and resolved. - **Copilot at `b7f49673`:** no new finding, and one "previously missed" note: that 5.4a's note wrongly said T059's run deselected the three pre-arc cases. The note was right, and comment `5985467371` gives the records. The cited lines are T059's Falsifier line, written before it landed; T059's `Landed` record and openXdox-code#35's body (rulings 4 and 6, and its F5.2 run) record the deselections. `e2efb3a1` makes the note exact and cites them. - **Copilot at `5870cd00`:** *"Findings: None"*, and one "previously missed" low note: 5.5's note read as though `consumer_reach` *"names the task lists"*. `23665543` says what it meant, that the seven `consumer_reach` names T055 lists are retired. - **Copilot at `e2efb3a1`, `bd32ea9c`, `cf2c6bdc` and `23665543`:** *"Findings: None"*. Where its status line read *"Changes recommended"*, it named only what this DRAFT waits for. - **Copilot at `935164af`:** one finding, r4185667778: 5.4a's note read *"the seven red at both pins"*. `e93ab9fb` reads "the seven reds", and the thread is answered and resolved. - **Copilot at `e873b25f`:** one finding, r4186043242: this description was stale after T089's ticks. It is refreshed here, and the thread is answered and resolved. A second request at that head registered no new review. - **Copilot at `10b6ba05`:** *"Findings: None"*. - **Copilot at `f94be2fd`:** two findings, review `5418196219`. r4186761333: plan 034's opening status still said batch P was to land, against this PR's T007 tick. `9713f991` says that all sixteen batches have landed, A (#1171) to P (#1230), and that T007 is closed. r4186761413: this description was stale at `e873b25f`. It was refreshed at 17:16:28Z, while that review ran, and is refreshed again here for `9713f991`. Both threads are answered and resolved. - **Copilot at `9713f991`:** review `5418607294`, on the push. Its one open item was r4186761413, this description, refreshed here for `9713f991`. Its two "previously missed" low notes, at plan 034's lines 129 ("whose message lacks") and 4496 ("the drive"), need no change, because each phrase is the wording of the record it cites, T091's and `oracle-verdict.md`'s. A comment on this PR gives the records. - Sourcery posted a reviewer's guide, and no comment on the diff. At 17:16:25Z it reported its review budget used, and its check-run reads `skipped` at `f94be2fd` and at `9713f991`. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Lane: openxfactory-4 Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Lane: openxfactory-4 (openXfactory-4-openDox_extraction)
Authored by lane openXfactory-3, delegated by lane openxfactory-4 (#656 5984809456)
Plan 034's bookkeeping for phase 3's consumer pins. It records T098, phase 3's interim F11.1, and ticks T098 and T094 in
specs/034-opendox-standalone-operation/tasks.md, on T094's landing (#1236 →36908480). Lane openxfactory-4 asked for T094's tick here (2026-10-05), in openxFactory#1226's form: the box, and a Landed bullet drawn from the PR bodies. #1217 ticked T064 beside T065 the same way.Bookkeeping only, in two commits:
22de755erecords T098, and57fb1368ticks T094. It edits four files:specs/034-opendox-standalone-operation/evidence/f11.1-phase3.txt;specs/034-opendox-standalone-operation/tasks.md;specs/034-opendox-standalone-operation/plan.md's evidence tree;README.mdentry.git diff origin/main --stat -- openspec/is empty, so there is no Rule 6 window.No
Arc:trailer on any commit, and no closing keyword anywhere in the commits or in this body (both scanned). So F11.1 itself never walks this PR.T098: F11.1 at T094's landing
PACKET_MERGE=94b6f7f13b45c351b9142345738965c974b7dd37(File add-neutral-product-standalone-operability: open the BUILD arc, recording ten rulings #1144's landing;evidence/arc-base.md).ARC_TIP=36908480b40b32509c308087d9d54e6c9d81759d: T094: phase 3's consumer pins, openDox e1e3a3c3 and openXdox 9564d5d9, with phase 3's host wiring: openXdox's columns and the governed binding-trust policy (plan 034) #1236's squash commit, landed 2026-10-05T14:06:42Z onto70602a0a, carrying the trailer. The sha was read withgh pr view 1236 -R opensoft/openxFactory --json mergeCommit, checked withgit rev-parse --short=8, and confirmed on the first-parent line.openspec/changes/add-neutral-product-standalone-operability/tasks.mdlines 1654-1733 at36908480, extracted by anchor, byte for byte (sha25660beede1244b6052…, the bytes T065 ran), and run as extracted. It is the guard as T018 left it, with batch A'sCOMPOSITION_TESTSand the closedADMITTED_ARC_EDITS(RULED5890601202). No path was added to either list for phase 3.f56c87c6(T047),fcb45380(T064) and36908480(T094). Every path T094 touched is on a declared surface (the record lists each with its surface, read out of the extracted guard's own sets), and the manifest is untouched.Verbatim output, exit 0, empty stderr:
Beside it, as T065's record carried:
36908480) finds the same three landings and prints the same line, so nothing after36908480on the first-parent line carries the trailer.36908480, one planted commit (12d724df) with the trailer and one file on no surface. The same script refused it with exit 1:FAIL: the arc changed what requirement 1 keeps: 12d724df557a: touched docs/a-path-on-no-f11.1-surface.md. The worktree was removed, and the commit is on no branch.deleted_at_carverow forscripts/ideation_dashboard/profile_openxfactory.pyis byte-identical (raw text and parsed) between the manifest's introducing commit17167481and36908480, so T097 can tick 3.3 on all three interim runs.The record quotes all of it, with the guard's
arc-commits.txtandarc-changes.tsv.The tick, with its evidence
evidence/f11.1-phase3.txtrequirement 1 holdsatARC_TIP=36908480, with the negative control above9564d5d9(T090 step 5: the openXdox root's code56e1c238, openDox pine1e3a3c3), then #1236 →36908480(step 6)caa8d377, as for T047 and T064 (verify-opendox-pin.pyrefuses either pair alone). The host callsopenxdox.column_contributions.register()after the projection line, andGovernedBindingTrustis a sixthseams()entry. 29 carve admissions are added, and the stalesrc/opendox/consumer_reach.pyone is removed. The ahead PR landed first (#1234 →ca1c1486). The holder's READY is5996119122, with Copilot'sr4184739661an accepted limit; CI at #1236's final head7e31eca1passes every check (pytest-suite:selected=9376 passed=9370 skipped=6 failures=0 errors=0).Left unticked: T089, whose checkpoint quotes this record (its own PR follows). T087 was ticked by #1235.
Validation
python3 scripts/validate-openspec-cli-pin.py --all --strict, through the pinned CLI 1.12.0, from the openxFactory root at this head (57fb1368): rc 0,Totals: 110 passed, 1 failed (111 items),0 UNDISPOSITIONED failures. The one failure is the acceptedadd-chain-attestationexception (Brett Heap, 2026-09-05), the same atmain36908480.specs/034-opendox-standalone-operation/(git grepovertests,scriptsand.githubfinds nothing), and this PR touches no code.Rehearsals (before T094 landed)
fcb45380, with the extraction above:requirement 1 holds: 0 note(s) annotated, every other path a declared surface (11.1), the walk tomainc8d80020found the same two landings, a planted path (d14d04b4, never pushed) was refused by name, and 3.3's row was byte-identical. Lane openxfactory-4's dry run of 2026-10-03 had run the guard over a simulated T094; every path of that draft sat on a declared surface.16136990. The guard walked T094's seven branch commits, each carrying the trailer, then T064 and T047, and printed the same line. The branch's merge ofmain,9cd1bf23, carries no trailer (the holder's ruling), so it is no landing to the guard, and the first-parent walk never enters its second parent,main'sca1c1486. Over a local squash of that head ontomainca1c1486(never pushed), the walk was exactly three landings, the squash, T064 and T047, with the same line; a planted path was refused by name, and 3.3's row was byte-identical.Host paths in the record are written
<workdir>. No closing keyword appears in this body or in any commit.🤖 Generated with Claude Code