Skip to content

V30 Gate 9: Interface Integration And Regression Proof#41

Merged
geraldarthurdavis merged 1 commit into
version/v30from
v30/gate-9-interface-integration-regression-proof
May 21, 2026
Merged

V30 Gate 9: Interface Integration And Regression Proof#41
geraldarthurdavis merged 1 commit into
version/v30from
v30/gate-9-interface-integration-regression-proof

Conversation

@geraldarthurdavis

@geraldarthurdavis geraldarthurdavis commented May 21, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add package-owned BTD interface integration contracts and regression proof builders
  • expose the JSON-safe interface integration regression API route and Terminal proof-admission boundary
  • wire Terminal, MCP, and ChatGPT App adapter records to consume package-owned BTD objects without route-local policy copies
  • update V30 SPEC, DELTA, NOTES, PARITY, READMEs, gate workflow, and Gate 9 checker

Proof

  • pnpm --filter @bitcode/btd typecheck
  • pnpm --filter @bitcode/btd test
  • pnpm --filter @bitcode/api build
  • pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/tests/btd-crypto.test.ts --runInBand
  • pnpm --dir packages/chatgptapp exec tsc --noEmit --pretty false
  • pnpm --dir packages/chatgptapp exec jest --runTestsByPath src/tests/tools.test.ts --runInBand
  • pnpm --dir packages/executions-mcp/src/mcp-server run type-check
  • pnpm --dir packages/executions-mcp/src/mcp-server run test:mcp -- --runTestsByPath src/tests/unit/auth.test.ts --runInBand
  • pnpm --dir uapi exec tsc --noEmit --pretty false
  • pnpm --dir uapi exec jest --runTestsByPath tests/api/readReviewRoute.test.ts tests/api/pipelineHarnessRoute.test.ts tests/terminalPipelineHarnessClient.test.ts tests/terminalDepositReadWorkbench.test.ts tests/terminalTransactionQuery.test.ts tests/terminalTransactionReadModel.test.ts tests/terminalProtocolProjection.test.ts tests/terminalInterfaceIntegrationRegression.test.ts tests/terminalWalletBtcOperation.test.ts tests/terminalJournalReconciliation.test.ts tests/terminalOrganizationAuthority.test.ts tests/protocolCommercialBoundary.test.ts tests/terminalTransactionDetailCards.test.tsx tests/terminalTransactionDetailSnapshot.test.ts tests/terminalUxBrowserProof.test.tsx tests/pipelineExecutionLogHeader.test.tsx --runInBand
  • node scripts/check-v30-gate1-roadmap-and-gating.mjs --skip-branch-check
  • node scripts/check-v30-gate2-protocol-package-api-boundaries.mjs --skip-branch-check
  • node scripts/check-v30-gate3-bitcoin-taproot-psbt-fee-rigor.mjs --skip-branch-check
  • node scripts/check-v30-gate4-btd-assetpack-mint-read-receipts.mjs --skip-branch-check
  • node scripts/check-v30-gate5-testnet-ledger-projection-hardening.mjs --skip-branch-check
  • node scripts/check-v30-gate6-source-to-shares-proof-cleanup.mjs --skip-branch-check
  • node scripts/check-v30-gate7-bridge-readiness-research-boundaries.mjs --skip-branch-check
  • node scripts/check-v30-gate8-protocol-telemetry-proof-hooks.mjs --skip-branch-check
  • pnpm run check:v30-gate9
  • node scripts/check-bitcode-spec-family.mjs --version V30 --mode draft --current-target V29
  • node scripts/check-bitcode-canonical-inputs.mjs --current-target V29
  • node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V29 --draft-target V30
  • git diff --check
  • git diff --cached --check

@geraldarthurdavis
V30 Gate 9: Prove interface integration regression
f9fff9c 
Add package-owned BTD interface integration contracts and regression proof builders, including source-safe coverage for Terminal, API, MCP, ChatGPT App, Auxillaries hooks, and Exchange hooks.

Expose the JSON-safe API admission route, wire Terminal/MCP/ChatGPT adapter records, and update V30 spec, parity, notes, README, gate workflow, and checker coverage.

Proof: BTD/API/MCP/ChatGPT/Terminal focused tests, touched typechecks, V30 Gate 1-9 checkers, spec-family/canonical-input/posture checks, and diff hygiene passed locally.
@vercel

vercel Bot commented May 21, 2026 •
edited
Loading

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 21, 2026 11:15pm

chatgpt-codex-connector[bot]
chatgpt-codex-connector Bot reviewed May 21, 2026
View reviewed changes

@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: f9fff9c53f

ℹ️ 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 thread packages/btd/src/interface-integration.ts
Comment on lines +187 to +189
const proofId =
input.proofId ??
stableInterfaceIntegrationRoot('btd-interface-integration-proof', [proofRoot]);

@chatgpt-codex-connector chatgpt-codex-connector Bot May 21, 2026

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 Sanitize caller-supplied proofId before building proof

buildBtdInterfaceIntegrationRegressionProof validates most incoming string fields with assertSourceSafeString, but input.proofId is accepted verbatim, so /btd/interface-integration-regression can return and persist identifiers containing secret-like or protected-source text even though this feature is explicitly source-safe. This creates a bypass of the commit’s own secret/source guardrails for any caller that sets proofId.

Useful? React with 👍 / 👎.

Comment thread uapi/app/terminal/terminal-interface-integration-regression.ts
consumerId: 'bitcode-mcp-interface',
packageExport: '@bitcode/btd/interface-integration-contract',
adapterPath: 'packages/executions-mcp/src/mcp-server/src/interface-integration.ts',
objectFamilies: ['source_to_shares_proof', 'organization_authority'],

@chatgpt-codex-connector chatgpt-codex-connector Bot May 21, 2026

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 Keep MCP surface record aligned with exported contract

The terminal regression proof hard-codes the MCP record without protocol_telemetry, even though buildMcpInterfaceIntegrationRecord declares that family for the same MCP consumer. Because gate coverage is computed from this terminal record set, the regression proof can pass while under-reporting MCP’s actual contract surface, weakening its ability to catch MCP interface regressions.

Useful? React with 👍 / 👎.

@geraldarthurdavis
geraldarthurdavis merged commit f177157 into version/v30 May 21, 2026
30 checks passed
@geraldarthurdavis
geraldarthurdavis deleted the v30/gate-9-interface-integration-regression-proof branch May 21, 2026 23:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@chatgpt-codex-connector chatgpt-codex-connector[bot] chatgpt-codex-connector[bot] left review comments

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@geraldarthurdavis