Skip to content

V30 Gate 6: Source-To-Shares Proof Cleanup#38

Merged
geraldarthurdavis merged 1 commit into
version/v30from
v30/gate-6-source-to-shares-proof-cleanup
May 21, 2026
Merged

V30 Gate 6: Source-To-Shares Proof Cleanup#38
geraldarthurdavis merged 1 commit into
version/v30from
v30/gate-6-source-to-shares-proof-cleanup

Conversation

@geraldarthurdavis

Copy link
Copy Markdown
Contributor

Summary

  • Adds package-owned SourceToSharesProof primitives for fit-deposit measurements, contribution weights, BTD range slices, BTC fee allocation, conservation checks, zero-cell/refit tail posture, and ancestry evidence.
  • Exposes source-to-shares proof settlement through the BTD API boundary and Next route without route-local accounting reinterpretation.
  • Updates the V30 SPEC/DELTA/NOTES/PARITY family, BTD/Terminal docs, Gate Quality workflow, and check:v30-gate6.

Proof

  • pnpm --filter @bitcode/btd typecheck
  • pnpm --filter @bitcode/api build
  • pnpm --filter @bitcode/btd test
  • pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/tests/btd-crypto.test.ts --runInBand
  • pnpm --dir uapi exec tsc --noEmit --pretty false
  • pnpm run check:v30-gate6
  • git diff --check

Accepted Boundaries

  • Does not add a new physical source-to-shares registry table.
  • Does not expose protected AssetPack source before paid unlock and delivery admission.
  • Does not change BTD supply law or measureminting.
  • Does not promote V30 or change BITCODE_SPEC.txt.

Add package-owned SourceToSharesProof primitives for contribution weights, BTD range slices, BTC fee allocation, settlement conservation, zero-cell/refit tail posture, ancestry evidence, and no-overpayment/no-underpayment theorem verdicts.

Expose the proof through the BTD API boundary and Next route, add focused BTD/API tests, document the Gate 6 protocol contract, and wire check:v30-gate6 into gate quality.

Proof: pnpm --filter @bitcode/btd typecheck; pnpm --filter @bitcode/api build; pnpm --filter @bitcode/btd test; pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/btd-crypto.test.ts --runInBand; pnpm --dir uapi exec tsc --noEmit --pretty false; pnpm run check:v30-gate6; git diff --check.
@vercel

vercel Bot commented May 21, 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 21, 2026 10:05pm

@geraldarthurdavis
geraldarthurdavis merged commit f7b91fe into version/v30 May 21, 2026
30 checks passed
@geraldarthurdavis
geraldarthurdavis deleted the v30/gate-6-source-to-shares-proof-cleanup branch May 21, 2026 22:17
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