Skip to content

docs(conformance): add shapeMatchesSchema to P1-003 connect step (corpus consistency)#209

Merged
dp-web4 merged 1 commit into
mainfrom
worker/web4-20260518-120044
May 18, 2026
Merged

docs(conformance): add shapeMatchesSchema to P1-003 connect step (corpus consistency)#209
dp-web4 merged 1 commit into
mainfrom
worker/web4-20260518-120044

Conversation

@dp-web4
Copy link
Copy Markdown
Owner

@dp-web4 dp-web4 commented May 18, 2026

Summary

Single-line corpus-consistency follow-up to PR #208 (merged ac9de279, C5-G4).

P1-003 (v1 protocolVersion bumped on connect) was the only assertion step in the presence-protocol conformance corpus whose expect block lacked a shapeMatchesSchema — despite the corpus's own top-level description stating the harness "verifies shapes against the JSON Schemas in schemas/presence-protocol/{v0,v1}/". This adds it, mirroring P0-001 verbatim.

  • Correct schema URI: https://web4.io/schemas/presence-protocol/v0/tools/hestia_connect.schema.json#/$defs/output. The connect schema is shared at v0/tools/ (there is no v1/tools/hestia_connect.schema.json); its $defs/output has protocolVersion: {type: integer, minimum: 0} so a protocolVersion: 1 connect payload validates against it — exactly as P0-001 (a protocol_version: 0 connect) already uses the same schema.
  • Refined invariant: assertion steps (have an expect block) shape-validate; setup steps (state-prep, only input/capture, no expect) correctly do not. Post-fix: steps with an expect block but no shapeMatchesSchema = 0. P1-003 was the sole violator across all 17 tool steps / 14 scenarios.
  • Contract-neutral for assertion semantics: adds a shape check the connect response already satisfies. Scenario count (14) and lastUpdated (2026-05-18) unchanged.

This resolves the non-blocking gap flagged on PR #208 (issuecomment-4477974582), pre-sanctioned by the prior session's recorded next-session signal and previously part of that session's policy-approved scope.

Provenance

v2 autonomous session protocol — propose → policy review (APPROVED, all 6 criteria) → execute → document. Session log: private-context/autonomous-sessions/legion-web4-20260518-120044-session.md.

Test plan

  • JSON parse valid
  • Corpus invariant: every expect-bearing step carries shapeMatchesSchema (0 violations post-fix)
  • Scenario count unchanged (14); lastUpdated unchanged
  • Reviewer: confirm v0 connect schema is the intended shared schema for v1 connect responses (consistent with P0-001 + the §-shared connect schema design)

🤖 Generated with Claude Code

…pus consistency)

P1-003 ("v1 protocolVersion bumped on connect") was the only assertion
step in the presence-protocol conformance corpus whose expect block
lacked a shapeMatchesSchema, despite the corpus description stating the
harness "verifies shapes against the JSON Schemas". Every other
expect-bearing step shape-validates; setup-only steps (no expect block)
correctly do not.

Adds the v0 connect output schema URI (verbatim mirror of P0-001 — the
connect schema is shared at v0/tools/hestia_connect.schema.json with no
v1 variant; its $defs/output admits protocolVersion:1). Contract-neutral
for assertion semantics: adds a shape check the response already
satisfies. No scenario-count or lastUpdated change.

Resolves the non-blocking gap flagged on PR #208 (issuecomment-4477974582),
pre-sanctioned by the prior session's recorded next-session signal.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@dp-web4
Copy link
Copy Markdown
Owner Author

dp-web4 commented May 18, 2026

APPROVED: Single-line corpus-consistency follow-up to merged #208. Adds the one missing shapeMatchesSchema to the sole expect-bearing presence-protocol step lacking it (P1-003), mirroring P0-001 which already uses the same shared v0 connect schema (v0/tools/hestia_connect.schema.json#/$defs/output, protocolVersion integer ≥0 → a v1 connect payload validates). Contract-neutral, 1 file / 1 line, 0 new files, scenario count + lastUpdated unchanged. Resolves the non-blocking gap flagged on #208. No drift.

@dp-web4 dp-web4 merged commit b5c9e87 into main May 18, 2026
@dp-web4 dp-web4 deleted the worker/web4-20260518-120044 branch May 18, 2026 23:10
dp-web4 added a commit that referenced this pull request May 19, 2026
…tion)

PR #210 (3f12462) revealed 3 of 8 documented xfails were vector-spec
staleness, not architectural gaps — vectors authored before Sprints
44/47/48 strengthened invariants. Suite now 34 passed / 5 xfailed.

Executive Summary line 41 corrected from "8 xfailed gaps documented for
the next operator architectural-decision pass" to "5 xfailed gaps awaiting
operator architectural decisions" — sharpens framing alongside the count
fix to disambiguate vector errors from operator-decision-bound gaps.

PUBLISHER_CONTEXT.md updated with 2026-05-19 entry covering #208/#209/#210/#211.
md + docs/whitepaper-web artifacts rebuilt; PDF/web not refreshed (prose
edit only, no structure change).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant