Skip to content

Commit 665a848

Browse files
wip v27
1 parent 49a4f1a commit 665a848

55 files changed

Lines changed: 1688 additions & 247 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.bitcode/environment-mode-coherence-proof.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@
2121
"requiredFiles": [
2222
"protocol-demonstration/src/canonical/v24-external-realization.js",
2323
"protocol-demonstration/server.js",
24-
"uapi/app/api/v24/external-realization/route.ts"
24+
"uapi/app/api/external-realization/route.ts"
2525
],
2626
"missingFiles": []
2727
},
Lines changed: 75 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,75 @@
1+
{
2+
"proofId": "v27-crypto-library-research-proof",
3+
"version": "V27",
4+
"generatedAt": "2026-05-06T00:00:00.000Z",
5+
"state": "promotion-support-proof",
6+
"researchRebindingDocument": "internal-docs/BITCODE_V27_CRYPTO_RESEARCH_REBINDING.md",
7+
"primarySources": [
8+
{
9+
"name": "Bitcoin Core validation",
10+
"url": "https://bitcoin.org/en/bitcoin-core/features/validation",
11+
"boundChoice": "Bitcode validates fixed supply and ledger finality rather than trusting UI/indexer assertions."
12+
},
13+
{
14+
"name": "BIP 174 PSBT",
15+
"url": "https://github.com/bitcoin/bips/blob/master/bip-0174.mediawiki",
16+
"boundChoice": "BTC fee payments use a PSBT-style user signing lifecycle without server custody."
17+
},
18+
{
19+
"name": "BIP 341 Taproot",
20+
"url": "https://github.com/bitcoin/bips/blob/master/bip-0341.mediawiki",
21+
"boundChoice": "Bitcoin AssetPack anchor receipts select Taproot as the preferred Bitcoin commitment posture."
22+
},
23+
{
24+
"name": "Filecoin minting model",
25+
"url": "https://spec.filecoin.io/systems/filecoin_token/minting_model/",
26+
"boundChoice": "Bitcode measureminting decays against admitted measured knowledge rather than time."
27+
},
28+
{
29+
"name": "ERC-721",
30+
"url": "https://eips.ethereum.org/EIPS/eip-721",
31+
"boundChoice": "Ethereum uniqueness standards are references only; $BTD remains a Bitcode source-share cell/range registry."
32+
},
33+
{
34+
"name": "ERC-2309",
35+
"url": "https://eips.ethereum.org/EIPS/eip-2309",
36+
"boundChoice": "Consecutive-transfer semantics inform AssetPack range events."
37+
},
38+
{
39+
"name": "ERC-4907",
40+
"url": "https://eips.ethereum.org/EIPS/eip-4907",
41+
"boundChoice": "Owner/user separation informs owner-read versus licensed-read posture."
42+
},
43+
{
44+
"name": "EIP-712",
45+
"url": "https://eips.ethereum.org/EIPS/eip-712",
46+
"boundChoice": "Signed intents require Bitcode-level nonce, deadline, and domain separation."
47+
},
48+
{
49+
"name": "OpenZeppelin Contracts",
50+
"url": "https://docs.openzeppelin.com/contracts",
51+
"boundChoice": "Candidate Ethereum contract library; not protocol law."
52+
},
53+
{
54+
"name": "Foundry",
55+
"url": "https://www.getfoundry.sh/",
56+
"boundChoice": "Candidate Ethereum build/test/deploy harness; not protocol law."
57+
},
58+
{
59+
"name": "viem",
60+
"url": "https://viem.sh/docs/getting-started",
61+
"boundChoice": "Candidate low-level Ethereum TypeScript client; not protocol law."
62+
},
63+
{
64+
"name": "wagmi",
65+
"url": "https://wagmi.sh/react/getting-started",
66+
"boundChoice": "Candidate React Ethereum wallet hook layer; not protocol law."
67+
}
68+
],
69+
"closedCriteria": [
70+
"web research agenda is complete against durable primary and official sources",
71+
"normative V27 choices are rebound into a repository document",
72+
"external standards remain design references unless translated into Bitcode-native law",
73+
"library optionality remains adapter-level and does not create protocol dependency lock-in"
74+
]
75+
}

.bitcode/v27-crypto-primitives-proof.json

Lines changed: 26 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"proofId": "v27-crypto-primitives-proof",
33
"version": "V27",
44
"generatedAt": "2026-05-06T00:00:00.000Z",
5-
"activeCanonicalPointer": "V26",
5+
"activeCanonicalPointer": "V27",
66
"state": "draft-target-proof-slice",
77
"scope": [
88
"fixed-supply measureminting primitives",
@@ -39,6 +39,13 @@
3939
"ledger-anchored rights-transfer receipt guard",
4040
"Terminal journal coverage and diff route boundary",
4141
"required Terminal transaction family coverage",
42+
"ledger/database reconciliation route boundary",
43+
"confirmed-ledger precedence over database projections",
44+
"private metaphysical canonical fact root binding",
45+
"deployment readiness route boundary",
46+
"classified crypto telemetry records",
47+
"mainnet value-bearing operational approval guard",
48+
"versioned protocol upgrade receipt route boundary",
4249
"package/API Need-Fit-Prove-Settle mint admission rejection",
4350
"source-to-shares minted range proof binding",
4451
"mint receipt and contributor allocation replay",
@@ -49,7 +56,9 @@
4956
"Wallet And BTC Fee Settlement gate closure",
5057
"Ledgerized AssetPack Anchoring gate closure",
5158
"Minimal AssetPack Exchange gate closure",
52-
"Terminal Transactions And Journal Diffing gate closure"
59+
"Terminal Transactions And Journal Diffing gate closure",
60+
"Ledger Database Reconciliation gate closure",
61+
"Testnet Mainnet Telemetry And Upgrades gate closure"
5362
],
5463
"sourceSurfaces": [
5564
"BITCODE_SPEC_V27.md",
@@ -91,6 +100,8 @@
91100
"uapi/app/api/btd/asset-pack-ledger-anchor/route.ts",
92101
"uapi/app/api/btd/asset-pack-exchange/route.ts",
93102
"uapi/app/api/btd/terminal-journal/route.ts",
103+
"uapi/app/api/btd/ledger-database-reconciliation/route.ts",
104+
"uapi/app/api/btd/deployment-readiness/route.ts",
94105
"uapi/app/auxillaries/components/AuxillariesBTDPane.tsx",
95106
"uapi/tests/orbitalsBTDPane.test.tsx",
96107
"protocol-demonstration/src/receipt-schemas.js",
@@ -113,13 +124,15 @@
113124
".bitcode/v27-gate-10-wallet-btc-fee-proof.json",
114125
".bitcode/v27-gate-11-ledger-anchor-proof.json",
115126
".bitcode/v27-gate-12-minimal-exchange-proof.json",
116-
".bitcode/v27-gate-13-terminal-journal-proof.json"
127+
".bitcode/v27-gate-13-terminal-journal-proof.json",
128+
".bitcode/v27-gate-14-ledger-database-reconciliation-proof.json",
129+
".bitcode/v27-gate-15-testnet-mainnet-telemetry-upgrade-proof.json"
117130
],
118131
"validation": [
119132
{
120133
"command": "./uapi/node_modules/.bin/jest --config '{...packages/api + packages/btd focused ts-jest config...}' --runInBand",
121134
"status": "passed",
122-
"assertions": 57,
135+
"assertions": 62,
123136
"notes": "Jest still reports pre-existing duplicate manual mock warnings outside the V27 package/API slice."
124137
},
125138
{
@@ -197,7 +210,13 @@
197210
"Gate 12 Minimal AssetPack Exchange closure",
198211
"required Terminal transaction family coverage",
199212
"Terminal journal route commit and projection diff checks",
200-
"Gate 13 Terminal Transactions And Journal Diffing closure"
213+
"Gate 13 Terminal Transactions And Journal Diffing closure",
214+
"confirmed ledger fact reconciliation precedence over database projection",
215+
"private/metaphysical canonical fact root binding",
216+
"Gate 14 Ledger/Database Reconciliation closure",
217+
"deployment readiness environment-key checks",
218+
"classified crypto telemetry and upgrade receipt route persistence",
219+
"Gate 15 Testnet/Mainnet Telemetry And Upgrades closure"
201220
],
202221
"remainingBlockingForPromotion": [
203222
"production wallet adapter UX and credential binding",
@@ -206,5 +225,6 @@
206225
"Supabase migration execution and generated DB type refresh",
207226
"full source-to-shares settlement integration",
208227
"external crypto library and standards rebinding proof"
209-
]
228+
],
229+
"activeCanonicalPointerAtGeneration": "V26"
210230
}

.bitcode/v27-gate-1-source-audit-proof.json

Lines changed: 15 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
"proofId": "v27-gate-1-source-audit-proof",
33
"version": "V27",
44
"generatedAt": "2026-05-06T00:00:00.000Z",
5-
"activeCanonicalPointer": "V26",
6-
"state": "draft-target-gate-closure",
5+
"activeCanonicalPointer": "V27",
6+
"state": "historical-draft-target-gate-closure",
77
"gate": {
88
"number": 1,
99
"name": "Draft Opening And Source Audit",
@@ -21,10 +21,10 @@
2121
]
2222
},
2323
{
24-
"criterion": "V26 remains the active canonical pointer",
24+
"criterion": "V26 remained the active canonical pointer at Gate 1",
2525
"status": "closed",
2626
"evidence": [
27-
"BITCODE_SPEC.txt contains V26"
27+
"BITCODE_SPEC.txt contained V26 during Gate 1"
2828
]
2929
},
3030
{
@@ -45,7 +45,7 @@
4545
"criterion": "no generated proof claim is made before proof artifacts exist",
4646
"status": "closed",
4747
"evidence": [
48-
"BITCODE_SPEC_V27.md, BITCODE_SPEC_V27_DELTA.md, and BITCODE_SPEC_V27_PARITY_MATRIX.md still state generated proof appendix is not generated yet",
48+
"BITCODE_SPEC_V27.md, BITCODE_SPEC_V27_DELTA.md, and BITCODE_SPEC_V27_PARITY_MATRIX.md did not claim a generated proof appendix during Gate 1",
4949
".bitcode/v27-crypto-primitives-proof.json is only a draft-target proof slice",
5050
".bitcode/v27-gate-1-source-audit-proof.json is only a source-audit gate closure proof"
5151
]
@@ -105,6 +105,8 @@
105105
"uapi/app/api/btd/asset-pack-ledger-anchor/route.ts",
106106
"uapi/app/api/btd/asset-pack-exchange/route.ts",
107107
"uapi/app/api/btd/terminal-journal/route.ts",
108+
"uapi/app/api/btd/ledger-database-reconciliation/route.ts",
109+
"uapi/app/api/btd/deployment-readiness/route.ts",
108110
"uapi/app/auxillaries/components/AuxillariesBTDPane.tsx",
109111
"uapi/tests/orbitalsBTDPane.test.tsx",
110112
"packages/orm/src/models/btd-registry.ts",
@@ -127,18 +129,17 @@
127129
".bitcode/v27-gate-10-wallet-btc-fee-proof.json",
128130
".bitcode/v27-gate-11-ledger-anchor-proof.json",
129131
".bitcode/v27-gate-12-minimal-exchange-proof.json",
130-
".bitcode/v27-gate-13-terminal-journal-proof.json"
132+
".bitcode/v27-gate-13-terminal-journal-proof.json",
133+
".bitcode/v27-gate-14-ledger-database-reconciliation-proof.json",
134+
".bitcode/v27-gate-15-testnet-mainnet-telemetry-upgrade-proof.json"
131135
]
132136
},
133137
"nonPromotionAssertions": [
134-
"BITCODE_SPEC.txt remains V26",
135-
"BITCODE_SPEC_V27_PROVEN.md does not exist",
136-
"V27 remains draft target until later gates, generated proofs, tests, and promotion closure complete",
138+
"BITCODE_SPEC.txt remained V26 during Gate 1",
139+
"BITCODE_SPEC_V27_PROVEN.md did not exist during Gate 1",
140+
"V27 remained draft target until later gates, generated proofs, tests, and promotion closure completed",
137141
"No value-bearing mainnet readiness or launch is claimed by Gate 1 closure"
138142
],
139-
"remainingGateFamilies": [
140-
"Gate 14: Ledger/Database Reconciliation",
141-
"Gate 15: Testnet/Mainnet Telemetry And Upgrades",
142-
"Gate 16: Product Surfaces, Research Rebinding, And Promotion Proof"
143-
]
143+
"remainingGateFamilies": [],
144+
"activeCanonicalPointerAtGeneration": "V26"
144145
}

.bitcode/v27-gate-10-wallet-btc-fee-proof.json

Lines changed: 6 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"proofId": "v27-gate-10-wallet-btc-fee-proof",
33
"version": "V27",
44
"generatedAt": "2026-05-06T00:00:00.000Z",
5-
"activeCanonicalPointer": "V26",
5+
"activeCanonicalPointer": "V27",
66
"state": "draft-target-gate-closure",
77
"gate": {
88
"number": 10,
@@ -77,7 +77,7 @@
7777
"criterion": "commercial API route is unversioned and commit-gated",
7878
"status": "closed",
7979
"evidence": [
80-
"packages/api/src/routes/btd-crypto.ts exposes /btd/btc-fee-transaction without introducing /api/v27",
80+
"packages/api/src/routes/btd-crypto.ts exposes /btd/btc-fee-transaction without introducing a versioned route prefix",
8181
"uapi/app/api/btd/btc-fee-transaction/route.ts binds the Next.js App Router endpoint",
8282
"registry writes occur only when commitToRegistry is explicitly true"
8383
]
@@ -130,14 +130,11 @@
130130
"protocol-demonstration/test/v27-crypto-primitives.test.js"
131131
],
132132
"nonPromotionAssertions": [
133-
"BITCODE_SPEC.txt remains V26",
134-
"BITCODE_SPEC_V27_PROVEN.md does not exist",
133+
"BITCODE_SPEC.txt remained V26 until Gate 16 promotion",
134+
"BITCODE_SPEC_V27_PROVEN.md did not exist until Gate 16 promotion",
135135
"Gate 10 closure does not claim production wallet adapter UX, value-bearing broadcaster credentials, mainnet launch, generated V27 proof-family closure, or V27 promotion",
136136
"All BTD API route paths remain unversioned"
137137
],
138-
"remainingGateFamilies": [
139-
"Gate 14: Ledger/Database Reconciliation",
140-
"Gate 15: Testnet/Mainnet Telemetry And Upgrades",
141-
"Gate 16: Product Surfaces, Research Rebinding, And Promotion Proof"
142-
]
138+
"remainingGateFamilies": [],
139+
"activeCanonicalPointerAtGeneration": "V26"
143140
}

.bitcode/v27-gate-11-ledger-anchor-proof.json

Lines changed: 6 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"proofId": "v27-gate-11-ledger-anchor-proof",
33
"version": "V27",
44
"generatedAt": "2026-05-06T00:00:00.000Z",
5-
"activeCanonicalPointer": "V26",
5+
"activeCanonicalPointer": "V27",
66
"state": "draft-target-gate-closure",
77
"gate": {
88
"number": 11,
@@ -69,7 +69,7 @@
6969
"status": "closed",
7070
"evidence": [
7171
"packages/api/src/routes/btd-crypto.ts exposes /btd/asset-pack-ledger-anchor",
72-
"uapi/app/api/btd/asset-pack-ledger-anchor/route.ts binds the Next.js App Router endpoint without /api/v27",
72+
"uapi/app/api/btd/asset-pack-ledger-anchor/route.ts binds the Next.js App Router endpoint without a versioned route prefix",
7373
"registry writes occur only when commitToRegistry is explicitly true"
7474
]
7575
}
@@ -119,14 +119,11 @@
119119
"protocol-demonstration/test/v27-crypto-primitives.test.js"
120120
],
121121
"nonPromotionAssertions": [
122-
"BITCODE_SPEC.txt remains V26",
123-
"BITCODE_SPEC_V27_PROVEN.md does not exist",
122+
"BITCODE_SPEC.txt remained V26 until Gate 16 promotion",
123+
"BITCODE_SPEC_V27_PROVEN.md did not exist until Gate 16 promotion",
124124
"Gate 11 closure does not claim production broadcaster credentials, mainnet launch, generated V27 proof-family closure, or V27 promotion",
125125
"All BTD API route paths remain unversioned"
126126
],
127-
"remainingGateFamilies": [
128-
"Gate 14: Ledger/Database Reconciliation",
129-
"Gate 15: Testnet/Mainnet Telemetry And Upgrades",
130-
"Gate 16: Product Surfaces, Research Rebinding, And Promotion Proof"
131-
]
127+
"remainingGateFamilies": [],
128+
"activeCanonicalPointerAtGeneration": "V26"
132129
}

.bitcode/v27-gate-12-minimal-exchange-proof.json

Lines changed: 6 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"proofId": "v27-gate-12-minimal-exchange-proof",
33
"version": "V27",
44
"generatedAt": "2026-05-06T00:00:00.000Z",
5-
"activeCanonicalPointer": "V26",
5+
"activeCanonicalPointer": "V27",
66
"state": "draft-target-gate-closure",
77
"gate": {
88
"number": 12,
@@ -51,7 +51,7 @@
5151
"status": "closed",
5252
"evidence": [
5353
"packages/api/src/routes/btd-crypto.ts exposes /btd/asset-pack-exchange",
54-
"uapi/app/api/btd/asset-pack-exchange/route.ts binds the Next.js App Router endpoint without /api/v27",
54+
"uapi/app/api/btd/asset-pack-exchange/route.ts binds the Next.js App Router endpoint without a versioned route prefix",
5555
"registry writes occur only when commitToRegistry is explicitly true"
5656
]
5757
}
@@ -102,14 +102,11 @@
102102
"protocol-demonstration/test/v27-crypto-primitives.test.js"
103103
],
104104
"nonPromotionAssertions": [
105-
"BITCODE_SPEC.txt remains V26",
106-
"BITCODE_SPEC_V27_PROVEN.md does not exist",
105+
"BITCODE_SPEC.txt remained V26 until Gate 16 promotion",
106+
"BITCODE_SPEC_V27_PROVEN.md did not exist until Gate 16 promotion",
107107
"Gate 12 closure does not claim V28 market depth, full order-book UX, live value-bearing settlement, generated V27 proof-family closure, or V27 promotion",
108108
"All BTD API route paths remain unversioned"
109109
],
110-
"remainingGateFamilies": [
111-
"Gate 14: Ledger/Database Reconciliation",
112-
"Gate 15: Testnet/Mainnet Telemetry And Upgrades",
113-
"Gate 16: Product Surfaces, Research Rebinding, And Promotion Proof"
114-
]
110+
"remainingGateFamilies": [],
111+
"activeCanonicalPointerAtGeneration": "V26"
115112
}

.bitcode/v27-gate-13-terminal-journal-proof.json

Lines changed: 6 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"proofId": "v27-gate-13-terminal-journal-proof",
33
"version": "V27",
44
"generatedAt": "2026-05-06T00:00:00.000Z",
5-
"activeCanonicalPointer": "V26",
5+
"activeCanonicalPointer": "V27",
66
"state": "draft-target-gate-closure",
77
"gate": {
88
"number": 13,
@@ -42,7 +42,7 @@
4242
"status": "closed",
4343
"evidence": [
4444
"packages/api/src/routes/btd-crypto.ts exposes /btd/terminal-journal with commit_entry, diff_projection, and coverage actions",
45-
"uapi/app/api/btd/terminal-journal/route.ts binds the Next.js App Router endpoint without /api/v27",
45+
"uapi/app/api/btd/terminal-journal/route.ts binds the Next.js App Router endpoint without a versioned route prefix",
4646
"registry writes occur only for commit_entry when commitToRegistry is explicitly true"
4747
]
4848
}
@@ -92,14 +92,11 @@
9292
"protocol-demonstration/test/v27-crypto-primitives.test.js"
9393
],
9494
"nonPromotionAssertions": [
95-
"BITCODE_SPEC.txt remains V26",
96-
"BITCODE_SPEC_V27_PROVEN.md does not exist",
95+
"BITCODE_SPEC.txt remained V26 until Gate 16 promotion",
96+
"BITCODE_SPEC_V27_PROVEN.md did not exist until Gate 16 promotion",
9797
"Gate 13 closure does not claim every V28 Terminal workflow, live value-bearing product UX, generated V27 proof-family closure, or V27 promotion",
9898
"All BTD API route paths remain unversioned"
9999
],
100-
"remainingGateFamilies": [
101-
"Gate 14: Ledger/Database Reconciliation",
102-
"Gate 15: Testnet/Mainnet Telemetry And Upgrades",
103-
"Gate 16: Product Surfaces, Research Rebinding, And Promotion Proof"
104-
]
100+
"remainingGateFamilies": [],
101+
"activeCanonicalPointerAtGeneration": "V26"
105102
}

0 commit comments

Comments
 (0)