skills-sweep ⑤: objectstack-ui (2,298 md lines + 616 contract/eval JSON lines, 6 files) — behavioral-claim verification, cross-repo probes into objectui

[huangyiirene]

Member card of program #13658 (published-skills factual sweep). Flight ⑤ target: skills/objectstack-ui/** — 6 files enumerated at origin/main this hour:

• SKILL.md (2,094) · references/react-blocks.md (117) · references/_index.md (56) · evals/README.md (31) · contracts/react-blocks.contract.json (559) · evals/analytics-inline-vs-dataset.json (57)

Scope: verify every behavioral claim against the implementation per the program method as BOUND by #13658 comments 5474435934 / 5474464789 / 5475032239 + calibration 5476328676. The JSON files are claim carriers at full weight (contract entries assert renderer behavior; an eval fixture asserts grading truth). Distinctives for this flight:

• The implementing code lives in the objectui repository (@object-ui/* packages: core, react, components, types) plus packages/spec/src/ui/** in this repo. Cross-repo probes are in scope; edits are NOT — corrections land only in this repo's skills/objectstack-ui/**. Any objectui-side falsehood found is reported for filing, never fixed from this flight.
• Check whether contracts/react-blocks.contract.json is generated before touching it (a generator or sync gate may own it — check:skill-refs syncs references/ with spec; hand-editing a generated file is the os-regen hazard class). If generated: regenerate or report, never hand-edit.

Constraints: published governed surface — draft PR, human merge, .md content goes to maintainer review; token-ratchet ceilings unchanged; net line budget at most 0; NOT MEASURABLE recorded in the report. Clause ② CONTENT limb (批 #12): the PR creator attaches needs:contract-review to the PR AND this card in the same stroke the PR exists (both carriers, per 载体纪律).

Part of #13658; this card closes with the flight's PR (Fixes).

Generated by Claude Code

[huangyiirene]

Claim: PM loop round 1
Session: session_01EnE7G31tqbxN1rqpQmzurT
Branch: claude/issue-13772-skills-sweep-ui
Worktree: objectstack-issue-13772 (edits) + a DETACHED probe worktree in objectui for execution probes (no branch pushed, torn down at end)
Domain: domain:skills
File surface: skills/objectstack-ui/** in objectstack ONLY (stop on breach; explain in the report). objectui is probe-read territory — zero edits there.
Container & model: M (claim verification with cross-repo executed probes — judgment tier), mode:subagent, model: opus — no path-derived mandate on skills/** per this morning's dispatch-gates.mjs --tier posture; tier is the PM's judgment call.
Clause-②: yes — 批 #12 CONTENT-limb criterion; needs:contract-review attaches to the PR AND this card in the same stroke the PR exists (both carriers); this seat runs the review chain at CONTRACT_REVIEW_TIER at ACCEPT.
Serial constraints cleared: skills/objectstack-ui/** is touched by no open PR (open-PR listings read this hour; flights ③/④ PRs merged 09:46Z/10:43Z; #13727 is .claude/hooks/**; #13746 is references/** — all disjoint). Read-coupling note: objectui PR #6984 (AGENTS.md) and ui#7000 (hooks) touch no @object-ui runtime code — probe targets are stable.

---

Generated by Claude Code

[huangyiirene]

os-dev-report

{
 "issue": 13772,
 "status": "done",
 "branch": "claude/issue-13772-skills-sweep-ui",
 "pr": "https://github.com/objectstack-ai/objectstack/pull/13777",
 "premise_still_valid": true,
 "summary": "Flight 5 swept skills/objectstack-ui (6 files: SKILL.md 2094 + references/react-blocks.md 117 + references/_index.md 56 + evals/README.md 31 + contracts/react-blocks.contract.json 559 + evals/analytics-inline-vs-dataset.json 57 — the PM's stated face re-derived from the fetched tree and CONFIRMED exactly). 8 distinct false facts / 8 landing sites, all in SKILL.md; ~185 behavioral claims inventoried => 4.3% density, inside the 1.5-6% working range and at the top of it as predicted for analytics-adjacent packages. The dominant class is 3 retired 'silently dropped' claims that outlived the protocol-17 strict-unknown-keys cutover (object-view tabs userFilters, the legacy inline widget query keys, and the widget position key) — all three now REJECT by name, so the doc was teaching a silent no-op where the platform fails loudly. 3 more are the hidden-shipped-capability direction: the List Views table omitted type 'page' (10-member enum, 9 rows), the Widget Types table omitted 'combo' (20-member ChartTypeSchema, 19 listed), and the date-macro table enumerated 32 tokens under a heading that counts 36 (the four next_*_end tokens were missing). Cross-file contradiction scan ran first and found 2 of the 8 for free as md-vs-contract-JSON disagreements ('page' and 'combo' are both already in the generated contract). Generated files: all three are generator-owned, both sync gates report them already in sync with packages/spec, so no regeneration was due and nothing was hand-edited. objectui was probe-read only from a detached worktree, zero edits, no branch pushed, worktree removed. Net -12 tokens / -2 lines; SKILL.md headroom was 0, so the additions were paid for by deleting two genuinely redundant timeSegments passages that restated the field table directly above them. No ratchet ceiling touched, no changeset (pure skills/** publishes nothing — the documented skip-changeset exemption, which I verified in pr-automation.yml myself). needs:contract-review attached to BOTH carriers (PR and card 13772) in the same stroke and compare-read-back confirmed on each; never self-cleared.",
 "tests": "Union of gates run at ec46764f = this PR's head commit (git rev-parse --short HEAD). Gate families derived from the REAL diff by 'node scripts/pm/dispatch-gates.mjs --repo objectstack-ai/objectstack' (exit 0, no STALE warning; the script derived the change set itself from the merge base c42bc8ee6 — no hand-supplied path list), harvested with --commands so neither invocation spelling was dropped: 14 families, 9 pnpm + 5 direct node. Results, each exit code captured with redirect-then-capture BEFORE any pipe: check-ci-filter-parity 0 | check-cross-package-test-inputs 0 | check-shard-attestation 0 | check-skills-token-ratchet 0 | check-test-completeness EXIT=3 NOT MEASURED (its own verdict text: needs a turbo test log it cannot produce, 'not a red, nothing here to fix') | check:doc-formula-expressions 0 (first run EXIT=1 PREREQUISITE NOT MET, nothing measured; built @objectstack/formula then @objectstack/lint and re-ran to a real 0) | check:agent-test-spelling 0 | check:corpus-claim-drift 0 | check:cross-package-test-inputs 0 | check:doc-authoring 0 | check:pm-governed-merges 0 | check:role-word 0 | check:skill-compatibility 0 | check:skill-frame-sync 0. POPULATION CHECKS the diff implicates: check:skill-examples EXIT=0, judgment line '260 prose examples type-check across 3 surface(s) — every marked block parsed, so tsc ran the SEMANTIC pass on all of them' (first run EXIT=1 refused as a would-be false green because client-react/dist had no .d.ts after my OS_SKIP_DTS spec build; built @objectstack/client-react WITH declarations and re-ran to a real 0). Population is NON-EMPTY — objectstack-ui carries 11 os:check markers, unlike flight 3's objectstack-query which had 0 and recorded an empty population; marker count is 11 before and after, and a line-level check proves 0 of the 22 changed lines falls inside any fence, so the marked-example population is byte-identical across this diff. check:skill-refs EXIT=0 '9 generated files in sync with packages/spec'; check:react-blocks EXIT=0 '2 generated files in sync with packages/spec' — re-run AFTER the spec rebuild, both still 0, tree clean. check-nul-bytes EXIT=0 (7578 files) plus a direct control-byte grep of the edited file: clean. RATCHET before 25125/25125 headroom 0; after 25113/25125 headroom 12 (-12 tokens); git numstat 22 added / 24 removed = net -2 lines, echoed by the PR's own additions/deletions. EXECUTED PROBES (non-vacuity control satisfied many times; every probe carries positive AND negative controls, run against a freshly built packages/spec so no probe read a stale dist): (1) DATE_MACRO_TOKENS.length === 36 and isDateMacroToken returns true for all four next_*_end, false for the control next_fortnight_end, true for the control today; 0_days_ago accepted, which settles the positive-vs-non-negative item. (2) ListViewSchema.safeParse ACCEPTS type 'page' + pageName; control type 'carousel' REJECTED and its own error enumerates all ten members including page. (3) ChartTypeSchema enumerates 20 members including combo. (4) ObjectListViewSchema REJECTS element 'tabs' ('expected one of dropdown|toggle'); controls: dropdown ACCEPTED, and page-list ListViewSchema still ACCEPTS tabs — so the probe discriminates; the spec's own pin object-list-view.test.ts says 'rejected at parse' and records the flip from 'drops'. (5) DashboardSchema returns unrecognized_keys naming position, and separately object/categoryField/valueField/aggregate; controls: clean dataset+values widget ACCEPTED, widget missing dataset REJECTED for that reason alone. (6) Renderer facts read at objectui origin/main a5a799d: comparisonStyle() in plugin-charts/src/AdvancedChartImpl.tsx gives the dash to line/area only and differs in opacity per family, falsifying the crossed-families sentence. VACUITY TRAP CAUGHT BY A CONTROL, worth recording: GanttConfigSchema.safeParse ACCEPTS timeSegments — but it accepts a bogus __zz__ key identically, because that schema is passthrough, so the acceptance measured nothing; settled instead on the declaration (19 declared members, timeSegments not among them, zero hits in packages/spec/src/), which CONFIRMS the doc's existing claim rather than overturning it. Heavy runs all went through scripts/pm/os-verify-lock.sh under a stable slot (waited 0s each; VERDICT lines command-exit 0).",
 "mcp_calls": "6 — one issue_read get_comments (the 4 binding method comments on 13658, which the zero-quota payload channel could not reach because they sit past the first timeline page), create_pull_request, two issue_write label updates (PR + card), one pull_request_read get for the body read-back, one add_issue_comment for this report. Everything else went zero-quota: repo-scoped REST is 403 for this session (probed first, GitHub App session gate), so card/PR reads and both label read-backs used the public-repo embedded-JSON payload channel and all history/diff reads used git.",
 "open_questions": [],
 "out_of_scope_findings": []
}

---

Generated by Claude Code

[huangyiirene]

ACCEPT — PR #13777; governed md ⇒ parked draft, both approvers requested; contract-review PASS on the PR

Reviewed against GitHub, not the report: draft ✓ · Fixes #13772 + Part of #13658 ✓ · diff confined to skills/objectstack-ui/SKILL.md (all 8 corrections land there; generated contract/reference files untouched, both sync gates quoted green) ✓ · labels {documentation, size/s, skip-changeset} with needs:contract-review attached to BOTH carriers at creation and cleared at PASS (trace with five re-measured anchors: comment 5477723431 on the PR) ✓ · budget net −2 lines / −12 tokens, zero-headroom SKILL.md paid by deleting genuinely redundant passages, no ceiling touched ✓.

Spot readings beyond the anchors: the cross-file scan earning 2 of 8 findings from md-vs-generated-contract disagreement is the method working at zero marginal cost; the GanttConfigSchema vacuity-trap catch (passthrough acceptance discarded as measuring nothing, claim settled on the declaration — CONFIRMING the doc) is exactly the discipline the program's non-vacuity rule exists for; the check:skill-examples first-run refusal (missing .d.ts would have false-greened) handled by building declarations and re-running to a real 0. objectui probed read-only from a detached worktree, zero edits, no branch pushed, worktree removed — the cross-repo fence held. The skipped second claim comment (the PM's claim already carries this session ID + branch; mode:subagent shares the ID and the anti-duplication function was served) — accepted as a reasoned deviation, noted for the record.

Dominant finding class for the program: three retired-key claims that outlived the protocol-17 strict-unknown-keys cutover, each teaching "silently dropped" where the platform now REJECTS by name — the same deader-than-real direction flights ②–④ measured.

Card → pm:awaiting-maintainer; closes via Fixes when the maintainer merges #13777.

---

Generated by Claude Code