Skip to content

V33 Gate 2: Interface Contract Catalog#67

Merged
geraldarthurdavis merged 1 commit into
version/v33from
v33/gate-2-interface-contract-catalog
May 22, 2026
Merged

V33 Gate 2: Interface Contract Catalog#67
geraldarthurdavis merged 1 commit into
version/v33from
v33/gate-2-interface-contract-catalog

Conversation

@geraldarthurdavis

Copy link
Copy Markdown
Contributor

Summary

  • adds the package-owned InterfaceContractCatalog over Terminal handoff, public API, MCP API, ChatGPT App, package consumers, and deferred Exchange/Conversations hooks
  • generates .bitcode/v33-interface-contract-catalog.json as source-safe Gate 2 proof metadata
  • wires Gate 2 package scripts, workflow checks, spec-family profile coverage, and V33 roadmap/spec parity updates

Validation

  • pnpm --filter @bitcode/btd typecheck
  • pnpm --filter @bitcode/btd test -- --runTestsByPath tests/interface-contract-catalog.test.ts
  • pnpm run generate:v33-interface-contract-catalog
  • pnpm run check:v33-interface-contract-catalog
  • pnpm run check:v33-gate2
  • pnpm run check:v33-gate1
  • node scripts/check-bitcode-spec-family.mjs --version V33 --mode draft --current-target V32
  • node scripts/check-bitcode-canonical-inputs.mjs --current-target V32
  • node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V32 --draft-target V33
  • node scripts/check-v32-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
  • node scripts/run-bitcode-spec-quality.mjs --mode strict-version --version V33
  • pnpm --filter @bitcode/btd test
  • pnpm --filter @bitcode/protocol test
  • git diff --check
  • staged secret-shaped token scan

Add a package-owned InterfaceContractCatalog over Terminal handoff, public API, MCP API, ChatGPT App, package consumers, and deferred Exchange/Conversations hooks.

Generate the source-safe V33 interface contract catalog artifact and wire Gate 2 checks into package scripts, spec-family profile coverage, and gate workflow validation.

Update V33 SPEC/DELTA/NOTES/PARITY and the roadmap to make Gate 2 closure criteria auditable.
@vercel

vercel Bot commented May 22, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
engi-uapi Ready Ready Preview, Comment May 22, 2026 2:52pm

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 7e18fb4a92

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +55 to +59
const catalogRows = Object.freeze([
{
interfaceId: 'terminal_handoff',
status: 'active_contract',
bindingKind: 'terminal_handoff',

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Derive artifact rows from package catalog source

Replace the hard-coded catalogRows table with data imported from the package catalog builder so the generated proof cannot drift from runtime contracts. As written, check:v33-interface-contract-catalog only verifies that .bitcode/v33-interface-contract-catalog.json matches this script’s own static rows, so a future change in packages/btd/src/interface-contract-catalog.ts can leave Gate 2 “passing” while publishing stale interface metadata.

Useful? React with 👍 / 👎.

Comment on lines +272 to +280
scanTokens('packages/btd/src/interface-contract-catalog.ts', [
'buildBtdInterfaceContractCatalog',
'terminal_handoff',
'public_api',
'mcp_api',
'chatgpt_app',
'package_consumer',
'conversations_hook',
'deferred_not_admitted',

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Add exchange_hook to source-evidence token checks

The source-evidence scan validates conversations_hook but omits exchange_hook, so the artifact can still report complete source evidence if Exchange coverage is removed from packages/btd/src/interface-contract-catalog.ts. Because passed depends on these token checks, this creates a false-green path for Gate 2 proof integrity on Exchange interface coverage.

Useful? React with 👍 / 👎.

@geraldarthurdavis
geraldarthurdavis merged commit 5424a7c into version/v33 May 22, 2026
29 checks passed
@geraldarthurdavis
geraldarthurdavis deleted the v33/gate-2-interface-contract-catalog branch May 22, 2026 15:08
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