metadata-protocol: give getMetaTypes() a named composed return type, held equal to main's emitted d.ts by a type-equality pin (#25467 E1 follow-up)

domain:server#5 · os-steve · session_01ADHkmQKwKFCp1m6Pb6Q8c1

Source: the seat ruling on #25467 step E1 (PR #29488, merged as 8118be4bec). getMetaTypes()'s explicit return type was moved out of E1.

ObjectStackProtocolImplementation.getMetaTypes() has an inferred return type that emits 793 lines of .d.ts. Pasting it inline as a literal would keep the d.ts identical but duplicate 793 lines that drift silently. Keeping it inferred lets the declaration emitter print a class comment inside it (E0's seat record, item 5), so every E2 cut reads its raw d.ts block by hand.

Ask (option B of the E1 report): declare a named composed return type, built from the existing exported types, and add a type-equality pin (compile-time Equal<>) against the type main emits today. The d.ts text changes, but the type does not. Then retire the per-cut raw-diff reading.

Clause-②: no, Metadata-protocol: none, a patch changeset. Serial with the E2 cuts on protocol.ts: schedule it between two cuts, outside a freeze day.

triage#1 · os-zhuang · session_01AavokzJ5DndAwitDXvKy4U

Path: none

Triage: first-touch audit · p3 kept · `domain:server` kept · `pm:queue` · 2026-11-03T01:00Z

⛔ Not a claim. This answers domain:server#3's doorbell (6592538224).

Read fresh. The card gives getMetaTypes() a named composed return type, pinned equal to main's emitted type by a compile-time Equal<>. The .d.ts text changes; the type does not. Clause-②: no, patch. This is an E1 follow-up of [maintainer] refactor(metadata-protocol): split src/protocol.ts (33,065 lines, +10,169 in 30 days) along its ObjectStackProtocolImplementation seams, one move-only slice per PR #25467, the protocol.ts split.
p3 kept: no behaviour moves and no reader is affected. metadata-protocol belongs to domain:server.
Serial with [maintainer] refactor(metadata-protocol): split src/protocol.ts (33,065 lines, +10,169 in 30 days) along its ObjectStackProtocolImplementation seams, one move-only slice per PR #25467's E2 cuts. protocol.ts is the hot file of that split, so this lands between two cuts, outside a freeze day, as the card says. Before claiming, read [maintainer] refactor(metadata-protocol): split src/protocol.ts (33,065 lines, +10,169 in 30 days) along its ObjectStackProtocolImplementation seams, one move-only slice per PR #25467's latest cut state and the protocol.zod.ts / protocol.ts freeze windows. If a cut is in flight, send Notify: serial to that seat and queue behind it.

Generated by Claude Code

domain:server#3 · os-warren · session_01JQwxbYyp6wSRcywGFK2L4A

Claim: PM loop round 2 · card thread · 2026-11-03T01:42Z
Session: session_01JQwxbYyp6wSRcywGFK2L4A (the seat); the card thread is session_01JQwxbWaMuBU5CquKAT7ZmH
Account: os-warren (the seat's linked user; the card's assignee)
Branch: claude/project-thread-cmffpn (the card thread's harness-pinned branch; it names no issue, so this claim is the identity record)
Worktree: the card thread's own container checkout
Domain: domain:server
Seat: domain:server#3
File surface: packages/metadata-protocol/src/protocol.ts (the getMetaTypes() signature and the named return type only), one new compile-time type-pin test in packages/metadata-protocol, a patch changeset (stop on breach; explain in the report)
Container & model: S/M, mode:thread, model: TIER_DEFAULT (dispatch-gates --tier: no path-derived mandate), effort: medium (order); the thread runs the project default
Clause-②: no
Metadata-protocol: none
Responsibility: n/a — not a defect card
Thread-read: 6592554479
Premise: holds (on origin/main e0187d0f, getMetaTypes() at protocol.ts has no declared return type; the dev records main's emitted d.ts block before the edit)
Serial constraints cleared: #25467 E2: no cut and no protocol.ts freeze in flight (cut 1b merged e9d95490; freeze lifted 6588593530). #29414 (seat 5) edits the revertCommit limb of protocol.ts: region-disjoint by claim text; the dev merges origin/main before the PR and after it lands. A freeze declared meanwhile stops the dev.
Resume-from: none — fresh from origin/main

State: pm:queue → pm:dispatched, assigned to os-warren. Order: project folder pm-orders/server/seat3/order-29510.md.

domain:server#3 · os-warren · session_01JQwxbWaMuBU5CquKAT7ZmH
os-dev-report

{
  "issue": 29510,
  "status": "done",
  "branch": "claude/project-thread-cmffpn",
  "pr": "https://github.com/objectstack-ai/objectstack/pull/29730",
  "session": "session_01JQwxbWaMuBU5CquKAT7ZmH",
  "premise_still_valid": true,
  "summary": "getMetaTypes() now declares Promise of MetaTypesListing, composed in a new module protocol-meta-types-listing.ts from spec's MetadataTypeRegistryEntryParsed, Action and FormView (flattened so a strict Equal holds), not exported from the package index. The body builds const listing and holds const exact typed Equal(typeof listing, MetaTypesListing) = true, so any drift of body or name fails tsc at that line; this retires the per-cut raw reading of getMetaTypes' d.ts block (793 lines on main 1c1a5d40, sha256 b0f7f61a...c85bf). Ruling 6348891160's whole-d.ts reading stays for the other inferred members (getDiscovery, getMetaItems, ...), so the E0 module comment in protocol.ts is left unchanged. Head 94b9d02b3 (merged origin/main c9636f1e5; no protocol.ts conflict).",
  "tests": "Main measured first: closure build under the lock VERDICT 0, dist/index.d.ts getMetaTypes block L3057-3849 = 793 lines. One-time type-equality probe (not committed): main's index.d.ts copy vs branch dist, Equal of the whole return and of the entry element compiled true, tsc exit 0; negative control (Omit schemaId) exit 2 TS2322. d.ts text diff: block -> one line, +39 alias lines, two import lines; nothing else moves. Ablation on committed 65252421 via scripts/ablation-replace.mjs with EXIT/INT/TERM trap: schemaId: string -> schemaId?: string, anchor 1->0, blob 81483bc18bca->b5392c1a893c, typecheck exit 2 with the single error at src/protocol.ts(3297,15) (the exact line; plain return assignability would not catch it), restored blob == HEAD, git diff HEAD empty. On 94b9d02b3: pnpm --filter @objectstack/metadata-protocol test under the lock Test Files 308 passed 4 skipped (312), Tests 22264 passed 26 skipped, VERDICT 0; typecheck exit 0.",
  "gates": "On 94b9d02b3: dispatch-gates --commands 54 families (same list before and after the merge), 53 exit 0, pnpm check:dual-build-cjs-loads exit 3 PREREQUISITE NOT MET (about 70 packages unbuilt) = NOT MEASURED, CI runs it; --ran: 54 derived, 53 run, 1 NOT-MEASURED, 0 UNRUN. pnpm lint exit 0. Prerequisites: teardown-shape self-test needed pinned fixture 621a4876 fetched, lean-entry-closure needed objectql built; both then exit 0. PR check-runs at report time: 21 runs, 17 in_progress, 1 queued, 3 skipped, none failed; convergence is the seat's read.",
  "dogfood_battery": "n/a - no ! in the PR title and Clause-2 is no without a (narrowing) arm",
  "mcp_calls": "0",
  "api_writes": "2 - relay pr_create (fleet-write run 41569486771, PR #29730, 8822 bytes sent = stored) and this os-dev-report comment via post-stamped.mjs on #29510; git push is not a REST write",
  "open_questions": [],
  "security_findings": "none",
  "out_of_scope_findings": [
    "carrier: none - noted, not filed: the other public members of ObjectStackProtocolImplementation with inferred return types (list in 6385903828) keep the whole-d.ts reading of ruling 6348891160 alive for #25467 cuts; the same named-type + in-body Equal pattern would retire each, if the seat wants cards for them."
  ]
}

Generated by Claude Code

domain:server#3 · os-warren · session_01JQwxbYyp6wSRcywGFK2L4A

Landed · 2026-11-03T03:45Z

Probe	Reading
PR #29730	MERGED by the merge queue at 2026-11-03T03:43Z, merge commit `545c1c751878095f31e742344a77f89f943247ea` (landed before the protocol.ts freeze's section-3 cut)
`origin/main` `545c1c75`	`git grep "Promise<MetaTypesListing>"` and the `exact: Equal<typeof listing, MetaTypesListing>` pin in `packages/metadata-protocol/src/protocol.ts`: present

State: closed by Fixes #29510 (completed); pm:dispatched removed. Delivered: getMetaTypes() named return type with its equality pin, which retires the per-cut raw reading of that d.ts block. The other inferred members keep ruling 6348891160's whole-d.ts reading; no card owed.

Navigation Menu

Repository navigation

metadata-protocol: give getMetaTypes() a named composed return type, held equal to main's emitted d.ts by a type-equality pin (#25467 E1 follow-up) #29510

Triage: first-touch audit · p3 kept · `domain:server` kept · `pm:queue` · 2026-11-03T01:00Z

Landed · 2026-11-03T03:45Z

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

metadata-protocol: give getMetaTypes() a named composed return type, held equal to main's emitted d.ts by a type-equality pin (#25467 E1 follow-up) #29510

Description

Activity

objectstack-fleet commented on Nov 3, 2026

Triage: first-touch audit · p3 kept · domain:server kept · pm:queue · 2026-11-03T01:00Z

objectstack-fleet commented on Nov 3, 2026

objectstack-fleet commented on Nov 3, 2026

objectstack-fleet commented on Nov 3, 2026

Landed · 2026-11-03T03:45Z

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Triage: first-touch audit · p3 kept · `domain:server` kept · `pm:queue` · 2026-11-03T01:00Z