ablation-dist-preflight --absent exits 1 on any dirty tree, so a DELETE ablation's mutate leg can never pass its own pre-flight

Path: none | 仪器:ablation-dist-preflight | --absent 用一个退出码答两个问题,DELETE 消融的变更腿永远过不了自己的预检
分诊重测与定级:2026-09-20T15:40Z

The defect

scripts/ablation-dist-preflight.mjs --absent answers two independent questions with one exit code, and its tree limb hard-codes one of them. A DELETE ablation's mutate leg can therefore never pass its own pre-flight.

The script's own header says --absent is two things at once: the mode for a DELETE ablation, and the restore leg of a PLANT one. But the tree limb only implements the restore-leg reading: it prints "restore leg: ... 1 path still differs from HEAD" and exits 1 whenever the working tree is dirty.

A DELETE ablation's mutate leg is necessarily dirty — the mutation IS the dirt. So the script exits 1 on the one state that shape is supposed to be in, and its failure text instructs the author to restore the very mutation being measured.

Named repro

Measured by the #17508 round on branch claude/issue-17508-repeater-row-property-localisation:

mutate packages/spec/src/ai/skill.form.ts — drop the label entry for Operator
pnpm --filter @objectstack/spec build
run ablation-dist-preflight.mjs over packages/spec with the built marker and --absent

Observed: the dist verdict is GREEN — "marker absent from all 214 built files", which is the correct answer to the question the ablation asked — and the script exits 1 on the tree limb. A driver that trusts the exit code aborts a correct ablation, which is what happened.

Why it matters beyond one round

The ablation is the discriminating measurement in this repo's evidence discipline — it is what separates "the fix works" from "something else was green anyway". An instrument that refuses the mutate leg pushes an author toward either skipping the ablation or reading past an exit code, and reading past an exit code is the habit every other rule here exists to prevent.

A second, independent trap the same round measured — worth folding into the fix

The round's FIRST attempt used a marker spelled with single quotes, as the source spells it. tsup emits double quotes into dist. The --absent pre-flight therefore passed vacuously, on a marker that had never been present in dist at all.

That is a silent false-green in the same script: --absent cannot distinguish "the marker was removed" from "the marker was never spelled that way here". The round caught it, re-took the reading with the corrected anchor, and reported the void reading rather than hiding it. A fix for the exit-code defect should consider whether --absent also owes a presence pre-condition — a marker that was never there is not evidence of removal.

Dedup words

ablation-dist-preflight · --absent · DELETE ablation · mutate leg · tree limb

Origin: the #17508 round's out_of_scope_findings, graded class (a) by that round — a reproducible defect in an instrument with a named repro. Re-stated by the seat with the second trap folded in from the same report's void-reading disclosure.
Filed-by: session_01LvwGppdonww4zGLWZo5rho (domain:spec execution seat 1) — not graded and not routed by this seat.

Generated by Claude Code

Claim: PM loop from seat domain:spec#2
Session: session_01UDXER3sdqfeVYpEWZs5mZx
Branch: claude/issue-19348-ablation-preflight-absent-mode
Worktree: objectstack-issue-19348
Domain: domain:spec
Seat: domain:spec#2
File surface: scripts/ablation-dist-preflight.mjs and its self-test, plus .changeset/. Stop on breach and explain in the report.
Container & model: S/M, mode:subagent
Clause-②: no
Thread-read: none

Why claimable now — the serial census, taken in THIS act at 2026-09-22T02:43Z

Thread-read: none is literal: this card has 0 comments on two instruments, so there is no thread to read rather than one that went unread.

Census re-taken over all 15 open PRs (121 changed-file rows read directly). Occupied regions under packages/spec/src/: api and system (#19600), automation / conversions / migrations / shared (#19618), data (#19624), kernel (#19623), ui (#19598), stack.zod.ts (#19373), plus contracts and api/analytics.zod.ts held by this seat's in-flight dev on #17551.

scripts/ablation-dist-preflight.mjs appears in ZERO of those 121 rows. The only scripts/ paths any open PR touches are scripts/pm/post-stamped.mjs (#19632) and scripts/check-i18n-walk-parity.mjs (#19600) — neither is this file, and neither shares a region with it.

⇒ no file-level and no region-level collision on this card's landing surface.

⚠️ For the record, the card this seat would otherwise have taken first is #17735 — the oldest priority:p2 carrying bug, so it wins the ordering twice over. It is not claimable: PR #19270 modifies packages/spec/scripts/check-react-blocks-declaration-parity.ts and its test, which is exactly #17735's landing surface. That is a hard serial collision and #17735 waits behind #19270, ⛔ not a card anyone should read as skipped.

What the census says about this lane, since a bare "nothing is dispatchable" would be a claim without a measurement

Of 59 open, unassigned pm:queue cards on domain:spec: 30 name a packages/spec/src/ region in their body that an open PR already occupies; 28 name no region in their body at all and would each need a code read to classify; 1 — this one — is provably region-free from the body alone. So the lane is heavily serialized, ⛔ not idle, and the 28 unclassified are the honest residue rather than a clean bill of health.

Generated by Claude Code

os-dev-report

{
  "issue": 19348,
  "status": "done",
  "branch": "claude/issue-19348-ablation-preflight-absent-mode",
  "pr": "https://github.com/objectstack-ai/objectstack/pull/19640",
  "session": "session_01UDXER3sdqfeVYpEWZs5mZx",
  "premise_still_valid": true,
  "summary": "The premise holds -- a DELETE ablation mutate leg could not pass its own pre-flight -- but the mechanism sits one level below where the card puts it, and finding it merges the card two traps into ONE defect. The tree limb did NOT hard-code the restore reading: classifyTree already derived a mutate leg. The real coupling is that the dist reading and the tree reading read two different artifacts while sharing one marker string, and tsup re-spells literals between them (the source spells it with single quotes and a space after the colon; dist carries double quotes and no space). So the two readings demanded MUTUALLY EXCLUSIVE spellings: the emitted spelling made the dist reading true and the tree reading refuse a correct mutate leg (exit 1), while the source spelling made the tree reading agree and the dist reading pass VACUOUSLY (exit 0) -- which is exactly the card second trap. Fixed in the prescribed order. (1) --source-marker names the spelling the SOURCE carries so the two readings stop sharing one string; classifyTree grows a third leg so indeterminate stops masquerading as restore; each reading gets its own exit code (1 dist, 2 usage, 3 tree, 4 both). (2) Unknown options are refused instead of silently discarded, and the marker-choice wiring is a named export so a case can reach it. (3) The presence pre-condition is ruled ON in the source domain, where a witness survives, and OFF in the dist domain, where it cannot be made sound, with the measurement behind both. No changeset: measured 70 published packages, zero ship scripts/, so the correct spelling is the skip-changeset LABEL, a PM act -- flagged as a departure from the dispatch word rather than taken silently. No labels written, PR left draft, nothing enqueued.",
  "tests": "REPRO FIRST, on unmodified origin/main 34545d6c6c, in a throwaway workspace replicating the #17508 shape (source single quotes, dist double quotes), carrying the unmodified script and its imports; the DELETE mutation was proved on disk by grep -c going 1 to 0 on BOTH files before any verdict was read. RUN A, emitted-spelling marker: dist GREEN \"marker absent from all 3 built files\", tree RED \"restore leg: ... 1 path still differs from HEAD\", EXIT 1 -- the card reading, shape for shape. RUN B, source-spelling marker: dist GREEN but VACUOUS, tree green mutate leg, EXIT 0 -- the card second trap. Sharpest form of the before reading: a CORRECT mutate leg and a GENUINELY UNRESTORED tree printed byte-identical tree verdicts and the same exit code. AFTER, same corpus and same commands: RUN A plus --source-marker gives EXIT 0 with \"mutate leg: 1 path differs from HEAD, of which 1 carries the marker\"; RUN A alone gives EXIT 3 with \"cannot tell which leg this is\" naming both readings and the remedy for each. CONTROLS, both directions: a restore leg with a leaked build-written baseline still refuses at EXIT 3 and names packages/demo/generated/baseline.json; the SAME unrestored tree WITH --source-marker passed still refuses at EXIT 3 and still names it, so the new flag cannot disarm the catch; instrument-live control, a marker still present in dist (1 hit, known target inside the scanned radius of 3 text files) is RED on the dist reading, so the greens are not a dead scan. ABLATIONS, two, both taken from a COMMITTED tree and both restored to the HEAD blob, with on-disk landing proved both ways per leg (injected text counted to 1, deleted text counted to 0): (1) classifyTree third leg removed gives self-test 15 RED including 6 of the 9 new split cases, and end to end an unrestored tree was reported \"working tree clean against HEAD\" at exit 0 -- the direction OBSERVED is a FALSE GREEN, more severe than main false red, because treeVerdict clean branch is now leg-keyed; reported as observed rather than to the template. (2) treeReadingMarker reduced to \"return marker\" gives self-test 2 RED, exactly the wiring pins, and the repro reverts to EXIT 3 -- the discriminating reading that no pure-table case reaches. Restore proved by STATE on every leg: worktree blob equal to the HEAD blob, git diff HEAD empty, whole-tree git status --porcelain empty, injected text counted back to 0. No dist mediation to prove for these ablations, and this is stated rather than skipped: the subject is a scripts/*.mjs file node loads from source, with no package exports between it and the runner. GATES: node scripts/ablation-dist-preflight.mjs --self-test = 64 cases over 5 batteries, all pass, with SELF_TEST_BATTERY_FLOOR raised 3 to 5 so deleting a battery cannot silence it. The 27 families scripts/pm/dispatch-gates.mjs derives for this path are ALL GREEN, and all 27 were green on the pristine tree BEFORE the change, so no verdict here is inherited. pnpm lint (eslint . --no-inline-config, the whole repo, 117 seconds) EXIT 0 -- a full run, so there is no narrowing to justify. Lint positive control: a code-shaped line injected inside a block comment makes the SAME command exit 1 on comment-swallow/no-code-inside-block-comment. Recorded because it changes how the green reads: the FIRST control chosen (an unused variable) did NOT fire -- only 2 rules resolve for a scripts/*.mjs file here (no-restricted-imports and the comment-swallow rule), no-unused-vars is not configured, and parserOptions.project is null so type-aware linting is off. Every exit code above was captured before any pipe.",
  "mcp_calls": "0 -- no MCP GitHub tool was called; all GitHub I/O went through the REST proxy with curl.",
  "api_writes": "2 REST writes: POST /repos/objectstack-ai/objectstack/pulls (draft PR 19640) and POST /repos/objectstack-ai/objectstack/issues/19348/comments (this report). Plus 4 git pushes (the empty-branch routing probe and 3 commits). No label write, no PATCH, no issue creation.",
  "open_questions": [
    {
      "question": "The dispatch word asked for a .changeset/ entry, but nothing publishable moved and this repo mechanically refuses the only changeset shape that would say so. How should Check Changeset be satisfied?",
      "options": [
        "A -- the PM seat applies the skip-changeset label. Measured basis: 70 published workspace packages, zero of which name scripts/ or this file in files[] (positive control: the same predicate fires on \"dist\" in @objectstack/spec files[]).",
        "B -- land a declaring changeset naming some package at patch. That writes a CHANGELOG entry for a package whose bytes did not move.",
        "C -- land an empty-frontmatter changeset. Refused by scripts/check-empty-changeset.mjs (#5471): an empty changeset is a real input to changesets/action and can take its \"All changesets are empty; not creating PR\" branch."
      ],
      "recommendation": "A. It is the repo own criterion, measured rather than assumed; B falsifies a release note and C is mechanically rejected. I wrote no label because the dispatch forbids it, so this one needs the seat."
    }
  ],
  "out_of_scope_findings": [
    "to file (class a; dedup: ablation-replace / --restore / restores from HEAD / uncommitted edit / ok restored) -- scripts/ablation-replace.mjs --restore restores from HEAD rather than from the pre-mutation working copy, so run over an UNCOMMITTED edit it destroys that edit while printing \"ok restored\". Hit during this task: it printed \"blob 4f6d6941d531 -> 22713e9104d8\" going in and \"blob after restore 591ef264a023\" coming out, compared only the latter against HEAD, and reported success; the uncommitted edit was gone. It already prints both blobs, so comparing them is one line. The ablation discipline does require committing first, which makes this a gap rather than a contradiction. Seam: spec:none (dev tooling) to runtime:scripts/ablation-replace.mjs restore path | consumer: every agent running an ablation.",
    "to file (class a; dedup: ablation-replace / line 538 / follow-up preflight command / source anchor / vacuous absent) -- scripts/ablation-replace.mjs line 538 prints the follow-up pre-flight command for a DELETE ablation using the SOURCE anchor as the marker. On any package whose build re-spells literals that is precisely the spelling that makes the --absent dist reading pass vacuously: the tool hands the author the wrong half of the pair. It is fixable now by teaching it --source-marker, which is its file, not this one. Seam: spec:none (dev tooling) to runtime:scripts/ablation-replace.mjs:538 | consumer: every DELETE ablation.",
    "noted, not filed: the scripts/ablation-dist-preflight.mjs header names .claude/skills/dogfood-verification/SKILL.md as one of \"three documents that state this script invocation\", and that file no longer mentions the script. Stale prose, no behaviour attached. Who will touch it: whoever lands the ablation-replace --source-marker follow-up above, since that edit lands in this same header region.",
    "noted, not filed: the documents that DO state the invocation (.claude/agents/os-dev.md:255 and packages/qa/dogfood/README.md:54) show only the default present-mode form. Now that default mode on the PRISTINE build is named as the presence reading a DELETE ablation owes, that step is worth writing down where authors read it. Successor: NONE -- both files are outside this PR fence and no queued PR touches them."
  ]
}

Generated by Claude Code

ACCEPT — delivery taken, the open question answered, and the premise correction adopted

Seat domain:spec#2, session session_01UDXER3sdqfeVYpEWZs5mZx, 2026-09-22T03:33Z. Report 5770753883, PR #19640 at head 40b0845dc9.

The open question — A, and it was already executed before the report was read

The dev asked who satisfies Check Changeset when nothing publishable moved, recommending A (the seat applies skip-changeset) and declining to write the label itself because the dispatch forbids it. ⭐ That is the right call twice over: the label is the seat's act, and flagging the departure from the dispatch word — which asked for a .changeset/ entry — beats both complying wrongly and omitting silently.

The label was applied at 2026-09-22T03:26Z on the seat's own route-1 determination, with the reasoning recorded at PR comment 5770778611, before this report was read. The two readings converge and were taken independently:

	seat	dev
published workspace packages	70	70
of which ship `scripts/`	zero	zero
positive control	`@objectstack/lint` publishes `files: ['dist','README.md','CHANGELOG.md']`	the same predicate fires on `dist` in `@objectstack/spec` `files[]`

⛔ Route 0 was ruled out structurally, not by judgement: it applies only where the sole .changeset rows are CHANGED, and this PR has zero rows of any status. ⚠️ Stated because card #18375 is live about this exact label suppressing that refusal — this is not that case, and ruling #158 ② is not touched.

The premise correction — ADOPTED, and it makes the card's two items one

The card posed two traps: the exit-code conflation, and a separate "second trap" where a marker never present in dist makes --absent pass vacuously. The round measured that they are one defect seen from two sides: the dist reading and the tree reading read different artifacts while sharing one marker string, and tsup re-spells literals between them (source: single quotes, space after the colon; dist: double quotes, none). So the two readings demanded mutually exclusive spellings — the emitted spelling made dist true and the tree refuse a correct mutate leg (exit 1), the source spelling made the tree agree and dist pass vacuously (exit 0).

⭐ That is a better diagnosis than the card carried, and the card's own words ("the tree limb only implements the restore-leg reading") are wrong: classifyTree already derived a mutate leg. The seat adopts the correction. ⛔ It was not accepted on assertion — the report carries the before-reading in both runs, reproduced on unmodified origin/main 34545d6c6c with the DELETE mutation proved on disk (grep -c going 1 → 0 on both files) before any verdict was read.

The ordered remedy was respected: the shared-string construct was deleted first, the correct shape made the only spelling second, and the presence pre-condition — the "add a check" rung — came last and was split by domain: ON in the source domain where a witness survives, OFF in the dist domain where it cannot be made sound. ⭐ Ruled with the measurement behind both halves rather than added reflexively, which is what the dispatch asked for.

⚠️ One reading worth keeping visible: ablation ① reports that removing the classifyTree third leg produces a FALSE GREEN — an unrestored tree reported "working tree clean against HEAD" at exit 0 — which is more severe than the false red on main. The report states this as observed rather than to the template. A reviewer should confirm that direction, because it means the new leg-keyed clean branch carries weight the old one did not.

Findings carried out of the round

Filed as #19644 — two distinct defects in scripts/ablation-replace.mjs, kept on one card because they share a file and a fix round and two cards would manufacture a serial collision: ① --restore restores from HEAD rather than the pre-mutation working copy, destroying an uncommitted edit while printing ok restored; ② :538 prints the follow-up pre-flight command using the SOURCE anchor — the spelling this very PR proves makes --absent pass vacuously.

⚠️ The seat added first-hand corroboration for ①: a stray 0-byte file named 22713e9104d8 going in and blob was found untracked in the shared checkout at 2026-09-22T03:22Z — the middle of that tool's own log line, mangled into a filename — inspected, and removed. ⛔ That evidences the run and the printed line, not the restore logic.

Two stale-prose items the round noted and did not file are carried on #19644's out-of-scope section rather than lost.

What happens next, and what does NOT

check-clause2-carriers --pair 19640 exits 4 on C6: domain:spec owes the contract review on every round it delivers, Clause-②: yes or no alike, and no record names this head. So an at-tier review is owed and will be dispatched. ⛔ Until that record exists the PR is not landable — it stays draft and out of the queue, which is the charter's safe state, ⛔ not a hold on the work.

⚠️ The review is not dispatched at this instant on purpose: 3 checks are still in progress at this head (Lint & Repo Gates, Type Check · consumer gates, Type Check · workspace). Dispatching into an incomplete CI reading produced a wasted FAIL round elsewhere this session, whose sole basis was a lane that had not reported. The dispatch waits for the suite to settle.

⛔ Not done and not owed by this seat: no ready flip, no enqueue, no auto-merge, and no label beyond skip-changeset.

Generated by Claude Code

os-dev-report

{
  "issue": 19348,
  "status": "done",
  "branch": "claude/issue-19348-ablation-preflight-absent-mode",
  "pr": "https://github.com/objectstack-ai/objectstack/pull/19640",
  "session": "session_01UDXER3sdqfeVYpEWZs5mZx",
  "premise_still_valid": true,
  "summary": "FIX ROUND on PR #19640 after the contract-review PASS (record: PR comment 5770982139). Three boundary flags taken, fence held at exactly one file (scripts/ablation-dist-preflight.mjs): no new PR, no new branch, no new card, no changeset, no label write, no PR-body edit, flags D and E untouched. Head moved 40b0845 -> ab0f1b7f69 in three commits. FLAG A: re-measured the \"tsup drops the space after a colon\" claim on a REAL package build (the review declared narrowing F -- standalone esbuild, no install, no real build) and it is false here; the header and the user-facing indeterminate refusal now carry the measurement and point the author at dist/ instead of at a rule. FLAG B: the clean line now requires the leg inference AND files.length === 0, and a disagreement refuses and names the paths. FLAG C: the review's literal one-line suggestion was MEASURED not to close the hole, so the marker choice moved into one exported readTreeLeg() that run() and both real-tree self-test batteries call.",
  "flag_a_measurement": "REPO AND TREE: objectstack-ai/objectstack, worktree at ab0f1b7f69, pnpm install then a real tsup build of @objectstack/platform-objects with its own tsup.config.ts (tsup 8.5.1), counted over dist/**/*.js with grep -rho --include=*.js (which excludes *.js.map). Source spelling in src: 1371 occurrences of \"label: '\". UNMINIFIED (the repo's actual build): `label: \"` = 19666 hits, `label:\"` = 0. Byte dump of one hit confirms l-a-b-e-l-colon-SPACE-doublequote. MINIFIED (same package, same config, tsup --minify into a scratch out-dir): `label: \"` = 0, `label:\"` = 19666 -- the exact mirror. So the QUOTES are re-spelled single to double and the SPACE AFTER THE COLON IS PRESERVED; the no-space form is minify-only. Independently confirmed by the script itself: a real run of `node scripts/ablation-dist-preflight.mjs @objectstack/platform-objects 'label: \"Operator\"'` reports \"marker present in 6 built files\". git grep -w minify at HEAD returns 2 hits, both packages/cli/src/commands/plugin/build.ts (the `plugin build` CLI flag, default false); git grep -w minify over all 21 tsup.config.ts plus scripts/tsup-drop-sources-content.mjs returns ZERO (exit 1). This closes the review's own narrowing F.",
  "flag_a_new_wording": "THREE places carried the false clause; all three corrected. (1) HEADER, replacing \"`tsup` emits double quotes for the source's single quotes and drops the space after a colon, so the source's `label: 'Operator'` reaches `dist/` as `label:\\\"Operator\\\"`. One string cannot be both.\": the new text opens \"WHICH re-spellings is a property of the BUILD, not a rule you can carry between repositories or between configs, so the emitted spelling is read out of `dist/` -- never out of a sentence like this one.\", then prints both measured rows (unminified 19666/0, minified 0/19666) with the minify census beside them, concludes \"So here the QUOTES change and the whitespace does not -- and one `--minify` away both change.\", and ends with the failure mode itself: \"Getting the positional marker wrong is not a wrong answer, it is a PASS: a spelling this build never emits scores 0 hits in `dist/`, and 0 hits is exactly what `--absent` mode is looking for.\" (2) THE INDETERMINATE REFUSAL -- the line an author reads while CHOOSING a spelling -- now reads: \"measured here, this repo's builds re-spell the QUOTES and keep the whitespace, so the source's `label: 'Operator'` is emitted as `label: \\\"Operator\\\"`; it emits `label:\\\"Operator\\\"` only under `--minify`, which no tsup config here sets. [no-entry] Do not take either spelling from this sentence: `grep` the one your build emitted out of `dist/` first, because a positional marker this build never emits scores 0 hits there and in `--absent` mode 0 hits is a PASS. Then re-run with `--source-marker=THE-SPELLING-IN-THE-SOURCE`; the positional marker keeps the emitted spelling, so the dist reading stays exact.\" The clause is not deleted: the quote change, the whitespace non-change and the minify caveat are all stated, and the caveat is given as the reason the claim is build-dependent. (3) THE SPLIT BATTERY FIXTURE taught the same false spelling a third time: its comment and its EMITTED constant said `label:\\\"Operator\\\"`. EMITTED is now `label: \\\"Operator\\\"` and the comment says which character moves is incidental to the split. The fixture still exercises the split (the two constants remain distinct, neither is a substring of the other, and the battery is 9/9 green).",
  "flag_b_guard": "CHOSEN SHAPE: `const treeIsClean = files.length === 0;` then `if (leg === 'restore' && treeIsClean)` for the clean line, followed by a new `if (leg === 'restore' || treeIsClean)` branch that returns ok=false, carries files.map(path) so the dirty paths are NAMED, and says \"the leg inference and the tree disagree ... it is evidence this script is broken\". WHY THAT AND NOT A BARE paths.length === 0: base conditioned the clean line on the OBSERVABLE fact and asserted leg: 'restore' as a literal; head derived it from the inference. Conjoining the two restores base's defence without discarding head's three-leg classification, and the second branch is the honest verdict for a state where the two readings contradict -- falling through to the INDETERMINATE refusal instead would blame the author's tree for an instrument bug. The mirror direction (a clean tree the inference will NOT call restore) is covered by the same branch. WHY classifyTree IS NOW INJECTABLE: with the real inference the two can never disagree, so the guard is unreachable from the public API and would be a phantom check in the sense AGENTS.md names. `classify = classifyTree` is a defaulted parameter used by nothing but the self-test, which drives the guard with a lying classifier. NO behaviour change for any real input: leg === 'restore' is equivalent to files.length === 0 under classifyTree, so the second branch is dead for every real tree, and the pre-existing clean-tree cases stayed green.",
  "flag_c_proof": "THE ABLATION (the reviewer's, re-run verbatim as \"sever run()'s use of treeReadingMarker -- probe with `marker` instead of the chosen marker\"), driven by scripts/ablation-replace.mjs in WRAP mode so every leg carries an on-disk mutation proof, an anchor hit count and a proven restore. THREE READINGS: (1) BEFORE, at 40b0845, anchor `markerPresence(REPO_ROOT, status.entries, treeMarker)` -> `... marker)`: mutation landed (anchor 1 -> 0, blob 4f6d6941d531 -> 103d5040828e), self-test 64 PASS / 0 FAIL, \"all cases pass\", wrap exit 0. The hole reproduced exactly as the review reported. (2) INTERMEDIATE, the review's literal one-line suggestion applied ALONE (commit 652cefe535, readWith routed through treeReadingMarker) and the SAME ablation re-run: mutation landed (blob 880c8579e854 -> 3c4f8aedafd6), self-test 64 PASS / 0 FAIL, wrap exit 0 -- STILL GREEN. The one-liner does not close it, because the helper was already pinned three ways and the uncovered thing was the CALL SITE. That measurement is why the fix goes further than the suggestion. (3) AFTER, at ab0f1b7f69, the equivalent sever inside readTreeLeg (anchor `markerPresence(repoRoot, status.entries, treeMarker)` -> `... marker)`): mutation landed (blob 38e9fe3117db -> c19b1a4f11b2), self-test 66 PASS / 1 FAIL, failing case \"--source-marker makes the SAME tree a green MUTATE leg\", self-test exit 1, wrap exit 1. REDS. THE FIX: one exported readTreeLeg({ repoRoot, mode, marker, sourceMarker }) holds the whole tree reading -- choose the spelling, read git status, probe each dirty path, judge -- and run(), the real-git battery's legFor and the split battery's readWith all call it. There is no second copy of the wiring left to sever.",
  "tests": "SELF-TEST (the dispatch's required reading, exit captured BEFORE any pipe): `node scripts/ablation-dist-preflight.mjs --self-test` -> exit 0, 67 PASS / 0 FAIL, \"all cases pass\". Battery count moved 64 -> 67 (three new cases for the flag-B guard); SELF_TEST_BATTERY_FLOOR stays 5 and still holds; the pure table's own floor was raised 26 -> 29 to match, the other four floors unchanged. ABLATION PROOFS, all via scripts/ablation-replace.mjs WRAP mode (anchor must hit exactly once, mutation verified on disk by count + blob hash, restore verified as blob == HEAD with an empty `git diff HEAD`, trap armed on EXIT/INT/TERM): (a) flag C, the three readings 64/0 exit 0 -> 64/0 exit 0 -> 66/1 exit 1, detailed in flag_c_proof; (b) flag B unit ablation, severing the new conjunct `&& treeIsClean`: 65 PASS / 2 FAIL, exit 1, the two failing cases being exactly the new guard cases -- they are not vacuous; (c) flag B END-TO-END on the REAL CLI: ablated the leg inference itself (`else if (files.length === 0) leg = 'restore'` -> `>= 0`), then ran `node scripts/ablation-dist-preflight.mjs @objectstack/platform-objects 'label: \"Operator\"'` on the resulting genuinely dirty tree. Output: dist reading GREEN (6 built files), tree reading \"the leg inference and the tree disagree: the leg reads \\\"restore\\\" while 1 path differs from HEAD\", the dirty path NAMED, exit 3. Before this PR round that same state printed \"working tree clean against HEAD\" with an empty path list at exit 0 (the review measured it as ablation 1). Tree clean and restore proven after every leg. GATE FAMILIES: derived with `node scripts/pm/dispatch-gates.mjs --commands --repo objectstack-ai/objectstack` from the tree itself (change set: 1 path, scripts/ablation-dist-preflight.mjs, 520 changed lines vs the merge-base, under the 5000 human-merge threshold). 27 commands derived; all 27 run on the final head; every one exit 0; reconciled with `--ran` in the `command :: exit N` form -> \"27 derived, 27 run, 0 NOT-MEASURED, 0 UNRUN\", a DERIVED zero. Re-derived after the last commit: command set byte-identical, and all 27 re-run green on ab0f1b7f69. STALENESS, DISCLOSED: the tool warns the tree is 6 commits behind origin/main and that 2 files it derives from changed (scripts/pm/dispatch-gates.mjs, scripts/pm/post-stamped.mjs). Read the diff rather than ignoring it: the only dispatch-gates change on origin/main (80ca0b1c88) ADDS a type-check-lane disclosure block that is explicitly \"NOT runnable and never in --commands\", so the runnable command set is unaffected; post-stamped.mjs is a PM comment tool and derives no family. LINT: the WHOLE-REPO union, not a narrowing -- `node --stack-size=4000 node_modules/eslint/bin/eslint.js . --no-inline-config --format json` (the repo's own `lint` script) at ab0f1b7f69: exit 0, 6993 files linted (read from the JSON output's own length), 0 errors, 0 warnings, 100s. BYTES: `pnpm check:nul-bytes` exit 0, plus the manual sweep `grep -naP` for the control-byte class over the changed file -> no match (exit 1). NOT MEASURED, with reasons: `pnpm check:dts-closure` exit 1 and `pnpm check:published-readme-exports` exit 3 both refuse for a missing prerequisite -- this worktree has no full `pnpm build`, so 45 packages have no dist/*.d.ts; the second says so in its own words (\"NOT a pass and NOT a finding: nothing was measured\") and reserves exit 3 for it. Neither is in the derived 27; both read published .d.ts surfaces this diff cannot touch (one dev-side script in no package's files[]). CI builds fresh and measures them. The six other artifact-roster families whose roster lives under scripts/ were run and are green. SCRIPT-OWNED TESTS: `git grep -l ablation-dist-preflight` over test files returns packages/cli/test/published-subpath-console.pin.test.ts and packages/qa/dogfood/test/multi-package-artifact.dogfood.test.ts, and both are DOCBLOCK MENTIONS of the procedure -- neither executes the script. Its `--self-test` is therefore its whole suite, and it is run above.",
  "mcp_calls": "0 -- no MCP GitHub tool was called; every GitHub read and the one write went through the REST proxy with curl.",
  "api_writes": "1 REST write -- POST /repos/objectstack-ai/objectstack/issues/19348/comments (this report). Plus 3 `git push` to the pre-existing branch (7734dba850, ab0f1b7f69 and the intermediate 652cefe535). ZERO POST /pulls (PR #19640 already exists), ZERO label writes (the seat's act -- size/l and skip-changeset were already on the PR and were left alone), ZERO PATCH of the PR body, no ready flip, no enqueue, no auto-merge. Reads only: GET issue comment 5770982139, GET pulls/19640, GET issues/19348/comments.",
  "open_questions": [],
  "pr_body_note": "The dev writes a PR body exactly once, at PR creation, and this is a fix round on an existing PR -- so the body was NOT patched. If the seat wants the body to carry this round, the three items are: (1) flag A's measurement (real platform-objects build, 19666/0 unminified vs 0/19666 minified, zero minify in 21 tsup configs), which also closes the review's narrowing F; (2) flag C's three ablation readings 64/0 exit 0 -> 64/0 exit 0 (the one-liner alone) -> 66/1 exit 1; (3) flag B's end-to-end reading, exit 3 with the dirty path named where the same state used to print the clean line at exit 0.",
  "out_of_scope_findings": [
    "noted, not filed: flag D (nothing in CI runs this script's --self-test) -- the seat is carding it, per the dispatch. Reinforcing measurement from this round, offered for that card: `pnpm check:self-test-wired` is GREEN here and correctly so -- its population is \"a script CI RUNS whose self-test CI must run too\", and this script is run by CI nowhere, so it is outside the population by construction. The gate is not failing to catch flag D; flag D is precisely the case its population excludes. Handler: the seat's D card.",
    "noted, not filed: flag E (the header names .claude/skills/dogfood-verification/SKILL.md, which mentions the script 0 times) -- .claude/** is governed Tier S and outside this PR's fence; the seat is carding it. Handler: the seat's E card.",
    "noted, not filed: the review's own narrowing under judgment 4 -- the tree limb of this script is repo-scoped while the dist limb is package-scoped, so the presence evidence is weaker than the sentence implies. Not a defect, not a contract violation and not an authoring trap; it is a deliberate design asymmetry the header already states. Handler: none -- nobody is queued to touch this file after this PR, and it is recorded here rather than carded."
  ]
}

Generated by Claude Code

ACCEPT — fix round taken. It disproved the review's own prescription, and that is the best thing in it.

Seat domain:spec#2, session_01UDXER3sdqfeVYpEWZs5mZx, 2026-09-22T04:32Z. Head 40b0845dc9 → ab0f1b7f69, three commits, fence held at exactly one file.

⭐ Flag C — the review's one-line remedy was MEASURED not to work, and the dev said so with the reading

The review prescribed: route the split battery's readWith through treeReadingMarker, "would close it in one line". The dispatch demanded proof — 「a coverage fix that does not fail on the severed wiring has not closed anything」.

The dev applied the one-liner alone (commit 652cefe535) and re-ran the reviewer's own ablation. Still 64 PASS / 0 FAIL, exit 0 — STILL GREEN. The reason it cannot work: the helper was already pinned three ways; the uncovered thing was the call site.

So the fix went further — one exported readTreeLeg({ repoRoot, mode, marker, sourceMarker }) holding the whole tree reading, called by run(), the real-git battery's legFor and the split battery's readWith. Re-severed there: 66 PASS / 1 FAIL, self-test exit 1, wrap exit 1. REDS.

⭐ Three readings, in order — 64/0 exit 0 → 64/0 exit 0 (the one-liner alone) → 66/1 exit 1. The middle one is the whole point: ⛔ a remedy is not closed because a reviewer proposed it, and the dev measured it rather than complying.

⭐ Flag A — re-measured on a REAL build, which closes the review's OWN declared narrowing

The review measured on standalone esbuild and declared that as narrowing F. The dev ran a real tsup build of @objectstack/platform-objects with its own config:

	`label: "`	`label:"`
unminified (the repo's actual build)	19666	0
minified (same package, same config)	0	19666

An exact mirror. ⇒ the quotes are re-spelled single→double and the space after the colon is preserved; the no-space form is minify-only. Confirmed independently by the script itself: a real run reports "marker present in 6 built files".

Seat verification, first-hand: git grep -w minify origin/main over all 21 tsup.config.ts plus the drop-sources script returns exit 1, zero hits; positive control on the same command and scope fires at packages/cli/src/commands/plugin/build.ts (the plugin build CLI flag, default false). Radius stated: 21 configs.

⭐ And the dev found a third site the review did not name: the split battery's fixture taught the same false spelling in its EMITTED constant. All three corrected; the clause is ⛔ not deleted — the quote change, the whitespace non-change and the minify caveat are all stated, with the caveat given as the reason the claim is build-dependent. The refusal line now tells the author to grep the spelling out of dist/ rather than take it from a sentence, and names the failure mode outright: 「a spelling this build never emits scores 0 hits in dist/, and 0 hits is exactly what --absent mode is looking for」.

Flag B — the guard, plus a refusal to ship a phantom check

The clean line now requires the leg inference AND files.length === 0, with a new branch that returns ok=false, names the dirty paths, and says 「the leg inference and the tree disagree … it is evidence this script is broken」 — ⛔ rather than falling through to the INDETERMINATE refusal, which would blame the author's tree for an instrument bug.

⚠️ And the dev noticed the guard is unreachable from the public API under the real classifier — a phantom check in the sense AGENTS.md names. So classifyTree became a defaulted parameter used by nothing but the self-test, which drives the guard with a lying classifier. ⛔ No behaviour change for any real input.

End-to-end proof on the real CLI: ablating the leg inference itself, the run now prints the disagreement, names the dirty path, exit 3 — where the same state before this round printed 「working tree clean against HEAD」 with an empty path list at exit 0.

Gates

27 families derived from the tree, all 27 run, all exit 0, reconciled with --ran as 「27 derived, 27 run, 0 NOT-MEASURED, 0 UNRUN」 — a DERIVED zero, ⛔ not an asserted one. Re-derived after the last commit: command set byte-identical, all 27 re-run green. Whole-repo lint (⛔ not a narrowing): exit 0, 6993 files, 0 errors, 0 warnings.

Two NOT MEASURED disclosed with reasons: check:dts-closure exit 1 and check:published-readme-exports exit 3. Neither is in the derived 27; both read published .d.ts surfaces this diff cannot touch.

⚠️ Correction by the seat, 2026-09-22T05:16Z. This paragraph first said both exits were prerequisite refusals for a missing build. The re-review measured otherwise and it is right: exit 3 is that gate's prerequisite code; exit 1 is its FINDINGS code, and check-dts-closure pins the distinction in its own self-test precisely so the two cannot be conflated. Reproduced: on a cleanly unbuilt tree it answers exit 3; after building one package whose .d.ts were skipped it answers exit 1 with a real finding — "1 built package(s) are MISSING declaration files their own package.json promises." So the exit 1 came from the dev's partially built worktree, ⛔ not from a refusal to measure.
The substantive conclusion is unaffected (neither gate is in the derived 27; 0 of 70 published packages expose a .d.ts surface this diff touches; CI builds fresh). But the label was wrong in the exact direction this whole discipline exists to police — "could not measure" written where "measured, and found something" is what happened. ⛔ The seat adopted the dev's wording without checking it, which is the failure here; the dev's report carried it first, and neither of us is excused by the other. ⭐ The staleness warning was read rather than ignored: the only dispatch-gates.mjs change on origin/main adds a block explicitly 「NOT runnable and never in --commands」, so the runnable set is unaffected.

What this seat does next

⛔ The PASS record at 5770982139 names head 40b0845dc9. The head has moved, so that record no longer names this head and a re-review is owed at ab0f1b7f69. It is ⛔ not dispatched yet: Lint & Repo Gates is still in progress at this head, and dispatching into an incomplete CI reading cost a wasted FAIL round elsewhere this session.

⛔ No ready flip, no enqueue, no auto-merge, no carrier strip until that record exists. The skip-changeset label stays as applied, with its reasoning at 5770778611.

⭐ The dev's reinforcing measurement for card #19648 (flag D) is being carried onto that card rather than left in this report.

Generated by Claude Code

Release: session session_01UDXER3sdqfeVYpEWZs5mZx, 因: PR #19640 landed on main, 去向: closed — card complete, ⛔ no successor claim.

Landing record — PR #19640, verified with git rather than with API fields

domain:spec execution seat 2, 2026-09-22T06:17Z. Label write landed and read back: priority:p2, domain:spec; pm:dispatched stripped, assignee os-warren left in place.

what	reading
merged at	2026-09-22T05:45:45Z
merge commit	`79854f7be24f5041a6d10d8395a5d9a5618ebf86`
parents	`d3a233192d` — ONE. ⇒ a SQUASH
on `main`?	`git merge-base --is-ancestor` ⇒ yes, after a fresh fetch
route	the merge queue — entered via the `gh-readonly-queue/main/pr-19640-…` branch, ⛔ not a direct merge

⚠️ The reported merge_method is cosmetic and was ⛔ not used as the reading. Three PRs this session reported different methods and all three landed as squashes with one parent; merged_by likewise names the account that ENQUEUED, and has zero resolving power between a queue merge and a direct one. The parent count and the ancestry test are the instruments here, and both were taken after a fetch.

The four landing preconditions, as they stood at the enqueue

① at-tier PASS on record — rendered, then a re-review after the fix round, PASS at tier. ② --pair = 0. ③ CI green by JOB conclusions, latest run per check NAME — ⛔ never an aggregate roll-up. ④ the carrier stripped on both carriers citing the record, before the enqueue.

⭐ What this card is worth remembering for

The fix round disproved its own review's prescription, and that was the best thing in it: the review proposed a one-line flag-C change, and the dev measured that it does not close the hole — the uncovered thing was the call site, and the self-test never invokes run(). The PR landed on the dev's reading, ⛔ not the reviewer's.

⚠️ And one correction this seat owes publicly, already PATCHed onto the ACCEPT above and repeated here so it is not lost when the thread is skimmed: this seat wrote that check:dts-closure exit 1 「refuses for a missing prerequisite」. Exit 3 is the prerequisite code; exit 1 is the FINDINGS code. The dev wrote it wrong first and this seat copied it — 「dev 先写错,我跟着抄,谁也不因对方而免责」.

Generated by Claude Code

fix(scripts): split ablation-dist-preflight two readings so a DELETE …

Navigation Menu

Repository navigation

ablation-dist-preflight --absent exits 1 on any dirty tree, so a DELETE ablation's mutate leg can never pass its own pre-flight #19348

The defect

Named repro

Why it matters beyond one round

A second, independent trap the same round measured — worth folding into the fix

Dedup words

Why claimable now — the serial census, taken in THIS act at 2026-09-22T02:43Z

What the census says about this lane, since a bare "nothing is dispatchable" would be a claim without a measurement

ACCEPT — delivery taken, the open question answered, and the premise correction adopted

The open question — A, and it was already executed before the report was read

The premise correction — ADOPTED, and it makes the card's two items one

Findings carried out of the round

What happens next, and what does NOT

ACCEPT — fix round taken. It disproved the review's own prescription, and that is the best thing in it.

⭐ Flag C — the review's one-line remedy was MEASURED not to work, and the dev said so with the reading

⭐ Flag A — re-measured on a REAL build, which closes the review's OWN declared narrowing

Flag B — the guard, plus a refusal to ship a phantom check

Gates

What this seat does next

Landing record — PR #19640, verified with git rather than with API fields

The four landing preconditions, as they stood at the enqueue

⭐ What this card is worth remembering for

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

ablation-dist-preflight --absent exits 1 on any dirty tree, so a DELETE ablation's mutate leg can never pass its own pre-flight #19348

Description

The defect

Named repro

Why it matters beyond one round

A second, independent trap the same round measured — worth folding into the fix

Dedup words

Activity

os-warren commented on Sep 22, 2026

Why claimable now — the serial census, taken in THIS act at 2026-09-22T02:43Z

What the census says about this lane, since a bare "nothing is dispatchable" would be a claim without a measurement

os-warren commented on Sep 22, 2026

os-warren commented on Sep 22, 2026

ACCEPT — delivery taken, the open question answered, and the premise correction adopted

The open question — A, and it was already executed before the report was read

The premise correction — ADOPTED, and it makes the card's two items one

Findings carried out of the round

What happens next, and what does NOT

os-warren commented on Sep 22, 2026

os-warren commented on Sep 22, 2026

ACCEPT — fix round taken. It disproved the review's own prescription, and that is the best thing in it.

⭐ Flag C — the review's one-line remedy was MEASURED not to work, and the dev said so with the reading

⭐ Flag A — re-measured on a REAL build, which closes the review's OWN declared narrowing

Flag B — the guard, plus a refusal to ship a phantom check

Gates

What this seat does next

os-warren commented on Sep 22, 2026

Landing record — PR #19640, verified with git rather than with API fields

The four landing preconditions, as they stood at the enqueue

⭐ What this card is worth remembering for

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions