Skip to content

V46 Canonical Promotion: Protocol Comprehension #232

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
geraldarthurdavis merged 13 commits into from
Jun 2, 2026
Merged

V46 Canonical Promotion: Protocol Comprehension #232

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
ae39171
V46 Gate 1: Open protocol comprehension roadmap (#224)
geraldarthurdavis Jun 1, 2026
c7c0e47
V46 Gate 2: Define protocol comprehension claims (#225)
geraldarthurdavis Jun 1, 2026
134cd32
V46 Gate 3: Bound public and operator claims (#226)
geraldarthurdavis Jun 1, 2026
555ddeb
V46 Gate 4: Bind product route comprehension readback (#227)
geraldarthurdavis Jun 2, 2026
27cc141
V46 Gate 5: Interface Claim Contracts
geraldarthurdavis Jun 2, 2026
bb5dad4
V46 Gate 6: Proof Readback Operator Explanation
geraldarthurdavis Jun 2, 2026
0ca7a96
V46 Gate 7: Local Interface Comprehension Rehearsal
geraldarthurdavis Jun 2, 2026
ff8d9a5
V46 Gate 8: Promotion Readiness And Canon Workflow
geraldarthurdavis Jun 2, 2026
40a32e9
V46 promotion: repair canonical posture rewrite
geraldarthurdavis Jun 2, 2026
980bda7
Promote Bitcode canon to V46
github-actions[bot] Jun 2, 2026
ed27385
V46 promotion: trigger required checks
geraldarthurdavis Jun 2, 2026
8248512
V46 promotion: harden canon pointer predicates
geraldarthurdavis Jun 2, 2026
ff295a0
V46 promotion: open V47 notes posture
geraldarthurdavis Jun 2, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions .bitcode/v35-public-docs-usage-guides.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -185,7 +185,7 @@
},
{
"guideId": "protocol_usage",
"publicRoute": "/docs/protocol-v26",
"publicRoute": "/docs/protocol",
"title": "Protocol usage guide",
"audience": [
"protocol_reviewers",
Expand All @@ -209,7 +209,7 @@
"packages/protocol/src/canonical/v21-specifying.js"
],
"docsSections": [
"protocol-v26",
"protocol",
"proofs",
"settlement-btd"
],
Expand Down Expand Up @@ -273,7 +273,7 @@
"present": true
}
],
"guideRoot": "public-docs-guide-row:5c4fedd9d938be94edf328b5"
"guideRoot": "public-docs-guide-row:3727d65d984dc16170993019"
},
{
"guideId": "auxillaries_usage",
Expand Down Expand Up @@ -925,7 +925,7 @@
],
"docsSections": [
"proofs",
"protocol-v26"
"protocol"
],
"proofSignals": [
"witness artifact",
Expand Down Expand Up @@ -983,7 +983,7 @@
"present": true
}
],
"guideRoot": "public-docs-guide-row:b9282e3a3536175084ee6acc"
"guideRoot": "public-docs-guide-row:2478e2c9f6e7ab968976fa12"
},
{
"guideId": "exchange_deferred_boundary",
Expand Down Expand Up @@ -1186,7 +1186,7 @@
},
{
"guideId": "protocol_usage",
"publicRoute": "/docs/protocol-v26",
"publicRoute": "/docs/protocol",
"routePresent": true,
"allSourceRootsPresent": true,
"sourceRoots": [
Expand Down Expand Up @@ -1433,5 +1433,5 @@
]
}
],
"artifactRoot": "public-docs-usage-guides:d796083bee958b2958c76a5d"
"artifactRoot": "public-docs-usage-guides:082b5a06f4d926438e165af5"
}
48 changes: 24 additions & 24 deletions .bitcode/v43-deposit-option-admission.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
"currentTarget": "V42",
"sourceSafetyVerdict": "source-safe-deposit-option-admission-metadata",
"generatedAt": "deterministic",
"artifactRoot": "v43-deposit-option-admission:57ad99a6209685eb2961858b",
"artifactRoot": "v43-deposit-option-admission:211f52c6a8d7a1678c2061ad",
"passed": true,
"objectIds": [
"DepositAssetPackOptionAdmissionReport",
Expand Down Expand Up @@ -110,41 +110,41 @@
}
],
"sourceRoots": {
"activePointer": "BITCODE_SPEC.txt:75f3f6d81f999da998f40cb6",
"spec": "BITCODE_SPEC_V43.md:276f928dbae1236a7bc367d3",
"delta": "BITCODE_SPEC_V43_DELTA.md:2903a709b782ea69cecb3bb0",
"notes": "BITCODE_SPEC_V43_NOTES.md:16afebc86b2bb502f0b919c4",
"parity": "BITCODE_SPEC_V43_PARITY_MATRIX.md:a5a5bf2fdee2d02f6221d00f",
"roadmap": "SPECIFICATIONS_ROADMAP.md:33994a7cf33bb6e3138b932a",
"readme": "README.md:e492ee74bfb581f11a687148",
"protocolReadme": "packages/protocol/README.md:85b0c2ee2ac15860466612c7",
"packageJson": "package.json:a02cfbf6b200910870068e4c",
"gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:a13e5ee752c88a9da7afa4a6",
"canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:88bbe4ac9d23a6107216d9cc",
"activePointer": "BITCODE_SPEC.txt:820a850b09546da1a1a1c447",
"spec": "BITCODE_SPEC_V43.md:28f17417fec136cec3a08645",
"delta": "BITCODE_SPEC_V43_DELTA.md:360fe5346443a0bf0d44f8c7",
"notes": "BITCODE_SPEC_V43_NOTES.md:8c4b6932fea7cdfe81a8406c",
"parity": "BITCODE_SPEC_V43_PARITY_MATRIX.md:450948415f13c6732f50eb6e",
"roadmap": "SPECIFICATIONS_ROADMAP.md:64b11cb963635e16fd70bf48",
"readme": "README.md:d28ec731634e03953d8adfe6",
"protocolReadme": "packages/protocol/README.md:f5b175049f4f4e8df179e184",
"packageJson": "package.json:b79014968c556bc1b43ab341",
"gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:e5de1dddfaeeb0ee525b0c0f",
"canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:43cc4ded2bd9757dda9091dc",
"optionModel": "packages/pipelines/asset-pack/src/deposit-asset-pack-options.ts:df560ea2544282645f57a6b5",
"policyModel": "packages/pipelines/asset-pack/src/deposit-asset-pack-option-policy.ts:12816b23b2d8e304ab4a1638",
"admissionModel": "packages/pipelines/asset-pack/src/deposit-asset-pack-option-admission.ts:4d2b0c5e6e10c2b14a75a8c8",
"optionModelTest": "packages/pipelines/asset-pack/src/__tests__/deposit-asset-pack-options.test.ts:66cfc8c728f134087476a3a3",
"policyModelTest": "packages/pipelines/asset-pack/src/__tests__/deposit-asset-pack-option-policy.test.ts:1af7adccac488298ccd7f048",
"admissionModelTest": "packages/pipelines/asset-pack/src/__tests__/deposit-asset-pack-option-admission.test.ts:9f156ea0d8c603487a7a8152",
"routeModel": "uapi/app/deposit/deposit-route-model.ts:7354c10d543af2cb65ba0ade",
"client": "uapi/app/deposit/DepositPageClient.tsx:ee78319e6a48ccf12e2eb925",
"routeModelTest": "uapi/tests/depositRouteModel.test.ts:0fb7d8d4d58d7e231ada4510",
"pageTest": "uapi/tests/depositPageClient.test.tsx:b1acbca83d8f3244147217dc",
"packActivityModel": "uapi/components/base/bitcode/activity/pack-activity-model.ts:d848bb7a06bc8f4c46c2fc8a",
"packActivityModelTest": "uapi/tests/packActivityModel.test.ts:7854762895ce63b0de8b6940",
"uapiJestConfig": "uapi/jest.config.cjs:352ee765a17823c7a486fe92",
"packageIndex": "packages/pipelines/asset-pack/src/index.ts:24854bd26b47ce7700e02380",
"packageManifest": "packages/pipelines/asset-pack/package.json:f998601555d9f21de1393f74",
"protocolIndex": "packages/protocol/src/index.js:647a8c9de68e311caf5b7d8f",
"protocolTypes": "packages/protocol/src/index.d.ts:50025035a9239ee2fad2ac2c",
"routeModel": "uapi/app/deposit/deposit-route-model.ts:6485e388dd745c79907f992c",
"client": "uapi/app/deposit/DepositPageClient.tsx:8526b7980e568ab7d5228e8f",
"routeModelTest": "uapi/tests/depositRouteModel.test.ts:3f7377f8c55ce132f970ad09",
"pageTest": "uapi/tests/depositPageClient.test.tsx:3385b14ea538e4ea1bb3ed01",
"packActivityModel": "uapi/components/base/bitcode/activity/pack-activity-model.ts:88d0334af8bc699e071ca2a1",
"packActivityModelTest": "uapi/tests/packActivityModel.test.ts:e6c865c6b351c41c6b6e1f43",
"uapiJestConfig": "uapi/jest.config.cjs:7384e1c2812fc3479936eef8",
"packageIndex": "packages/pipelines/asset-pack/src/index.ts:aca8dabbfc7a4348a1e9eed8",
"packageManifest": "packages/pipelines/asset-pack/package.json:6e9dd21d8ac1fb420997527a",
"protocolIndex": "packages/protocol/src/index.js:1f16ea428bd71351a1292cb6",
"protocolTypes": "packages/protocol/src/index.d.ts:278dfc652c621533b5e86f4d",
"protocolTest": "packages/protocol/test/v43-deposit-option-admission.test.js:53ae55cfef55536ebc552b65",
"generator": "scripts/generate-v43-deposit-option-admission.mjs:b7101699843c09250a84d41f",
"checker": "scripts/check-v43-gate7-deposit-option-admission.mjs:6a857acf8b23f5fdb15fb02d"
},
"predicateResults": [
{
"id": "active-canon-pointer-remains-v42",
"id": "active-canon-pointer-supports-v43-draft-or-later",
"sourcePath": "BITCODE_SPEC.txt",
"passed": true
},
Expand Down
42 changes: 21 additions & 21 deletions .bitcode/v43-deposit-policy-compensation.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
"currentTarget": "V42",
"sourceSafetyVerdict": "source-safe-deposit-policy-compensation-metadata",
"generatedAt": "deterministic",
"artifactRoot": "v43-deposit-policy-compensation:e9a1ba9d758dbfa92dc171d1",
"artifactRoot": "v43-deposit-policy-compensation:481dea513c53c49c5f5e41a8",
"passed": true,
"objectIds": [
"DepositAssetPackOptionPolicy",
Expand Down Expand Up @@ -99,36 +99,36 @@
}
],
"sourceRoots": {
"activePointer": "BITCODE_SPEC.txt:75f3f6d81f999da998f40cb6",
"spec": "BITCODE_SPEC_V43.md:276f928dbae1236a7bc367d3",
"delta": "BITCODE_SPEC_V43_DELTA.md:2903a709b782ea69cecb3bb0",
"notes": "BITCODE_SPEC_V43_NOTES.md:16afebc86b2bb502f0b919c4",
"parity": "BITCODE_SPEC_V43_PARITY_MATRIX.md:a5a5bf2fdee2d02f6221d00f",
"roadmap": "SPECIFICATIONS_ROADMAP.md:33994a7cf33bb6e3138b932a",
"readme": "README.md:e492ee74bfb581f11a687148",
"protocolReadme": "packages/protocol/README.md:85b0c2ee2ac15860466612c7",
"packageJson": "package.json:a02cfbf6b200910870068e4c",
"gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:a13e5ee752c88a9da7afa4a6",
"canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:88bbe4ac9d23a6107216d9cc",
"activePointer": "BITCODE_SPEC.txt:820a850b09546da1a1a1c447",
"spec": "BITCODE_SPEC_V43.md:28f17417fec136cec3a08645",
"delta": "BITCODE_SPEC_V43_DELTA.md:360fe5346443a0bf0d44f8c7",
"notes": "BITCODE_SPEC_V43_NOTES.md:8c4b6932fea7cdfe81a8406c",
"parity": "BITCODE_SPEC_V43_PARITY_MATRIX.md:450948415f13c6732f50eb6e",
"roadmap": "SPECIFICATIONS_ROADMAP.md:64b11cb963635e16fd70bf48",
"readme": "README.md:d28ec731634e03953d8adfe6",
"protocolReadme": "packages/protocol/README.md:f5b175049f4f4e8df179e184",
"packageJson": "package.json:b79014968c556bc1b43ab341",
"gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:e5de1dddfaeeb0ee525b0c0f",
"canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:43cc4ded2bd9757dda9091dc",
"optionModel": "packages/pipelines/asset-pack/src/deposit-asset-pack-options.ts:df560ea2544282645f57a6b5",
"policyModel": "packages/pipelines/asset-pack/src/deposit-asset-pack-option-policy.ts:12816b23b2d8e304ab4a1638",
"optionModelTest": "packages/pipelines/asset-pack/src/__tests__/deposit-asset-pack-options.test.ts:66cfc8c728f134087476a3a3",
"policyModelTest": "packages/pipelines/asset-pack/src/__tests__/deposit-asset-pack-option-policy.test.ts:1af7adccac488298ccd7f048",
"routeModel": "uapi/app/deposit/deposit-route-model.ts:7354c10d543af2cb65ba0ade",
"client": "uapi/app/deposit/DepositPageClient.tsx:ee78319e6a48ccf12e2eb925",
"routeModelTest": "uapi/tests/depositRouteModel.test.ts:0fb7d8d4d58d7e231ada4510",
"pageTest": "uapi/tests/depositPageClient.test.tsx:b1acbca83d8f3244147217dc",
"packageIndex": "packages/pipelines/asset-pack/src/index.ts:24854bd26b47ce7700e02380",
"packageManifest": "packages/pipelines/asset-pack/package.json:f998601555d9f21de1393f74",
"protocolIndex": "packages/protocol/src/index.js:647a8c9de68e311caf5b7d8f",
"protocolTypes": "packages/protocol/src/index.d.ts:50025035a9239ee2fad2ac2c",
"routeModel": "uapi/app/deposit/deposit-route-model.ts:6485e388dd745c79907f992c",
"client": "uapi/app/deposit/DepositPageClient.tsx:8526b7980e568ab7d5228e8f",
"routeModelTest": "uapi/tests/depositRouteModel.test.ts:3f7377f8c55ce132f970ad09",
"pageTest": "uapi/tests/depositPageClient.test.tsx:3385b14ea538e4ea1bb3ed01",
"packageIndex": "packages/pipelines/asset-pack/src/index.ts:aca8dabbfc7a4348a1e9eed8",
"packageManifest": "packages/pipelines/asset-pack/package.json:6e9dd21d8ac1fb420997527a",
"protocolIndex": "packages/protocol/src/index.js:1f16ea428bd71351a1292cb6",
"protocolTypes": "packages/protocol/src/index.d.ts:278dfc652c621533b5e86f4d",
"protocolTest": "packages/protocol/test/v43-deposit-policy-compensation.test.js:f84b0c016065b10f796eb775",
"generator": "scripts/generate-v43-deposit-policy-compensation.mjs:0117b1222d0f4a4640324b47",
"checker": "scripts/check-v43-gate6-deposit-policy-compensation.mjs:03412b725c36f24991a6325e"
},
"predicateResults": [
{
"id": "active-canon-pointer-remains-v42",
"id": "active-canon-pointer-supports-v43-draft-or-later",
"sourcePath": "BITCODE_SPEC.txt",
"passed": true
},
Expand Down
50 changes: 25 additions & 25 deletions .bitcode/v43-deposit-route-options.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
"currentTarget": "V42",
"sourceSafetyVerdict": "source-safe-deposit-route-option-metadata",
"generatedAt": "deterministic",
"artifactRoot": "v43-deposit-route-options:f065a83b632a3746d3e07733",
"artifactRoot": "v43-deposit-route-options:fe1939f8087f1093d00e506e",
"passed": true,
"stepIds": [
"connect-source",
Expand Down Expand Up @@ -110,41 +110,41 @@
}
],
"sourceRoots": {
"activePointer": "BITCODE_SPEC.txt:75f3f6d81f999da998f40cb6",
"spec": "BITCODE_SPEC_V43.md:276f928dbae1236a7bc367d3",
"delta": "BITCODE_SPEC_V43_DELTA.md:2903a709b782ea69cecb3bb0",
"notes": "BITCODE_SPEC_V43_NOTES.md:16afebc86b2bb502f0b919c4",
"parity": "BITCODE_SPEC_V43_PARITY_MATRIX.md:a5a5bf2fdee2d02f6221d00f",
"roadmap": "SPECIFICATIONS_ROADMAP.md:33994a7cf33bb6e3138b932a",
"readme": "README.md:e492ee74bfb581f11a687148",
"protocolReadme": "packages/protocol/README.md:85b0c2ee2ac15860466612c7",
"packageJson": "package.json:a02cfbf6b200910870068e4c",
"gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:a13e5ee752c88a9da7afa4a6",
"canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:88bbe4ac9d23a6107216d9cc",
"activePointer": "BITCODE_SPEC.txt:820a850b09546da1a1a1c447",
"spec": "BITCODE_SPEC_V43.md:28f17417fec136cec3a08645",
"delta": "BITCODE_SPEC_V43_DELTA.md:360fe5346443a0bf0d44f8c7",
"notes": "BITCODE_SPEC_V43_NOTES.md:8c4b6932fea7cdfe81a8406c",
"parity": "BITCODE_SPEC_V43_PARITY_MATRIX.md:450948415f13c6732f50eb6e",
"roadmap": "SPECIFICATIONS_ROADMAP.md:64b11cb963635e16fd70bf48",
"readme": "README.md:d28ec731634e03953d8adfe6",
"protocolReadme": "packages/protocol/README.md:f5b175049f4f4e8df179e184",
"packageJson": "package.json:b79014968c556bc1b43ab341",
"gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:e5de1dddfaeeb0ee525b0c0f",
"canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:43cc4ded2bd9757dda9091dc",
"terminalRoutes": "uapi/app/terminal/terminal-routes.ts:80f478da2673f1a64ada9bfb",
"routeModel": "uapi/app/deposit/deposit-route-model.ts:7354c10d543af2cb65ba0ade",
"routeModel": "uapi/app/deposit/deposit-route-model.ts:6485e388dd745c79907f992c",
"page": "uapi/app/deposit/page.tsx:6bab6a9debab3f4350d0ddca",
"client": "uapi/app/deposit/DepositPageClient.tsx:ee78319e6a48ccf12e2eb925",
"client": "uapi/app/deposit/DepositPageClient.tsx:8526b7980e568ab7d5228e8f",
"optionModel": "packages/pipelines/asset-pack/src/deposit-asset-pack-options.ts:df560ea2544282645f57a6b5",
"optionModelTest": "packages/pipelines/asset-pack/src/__tests__/deposit-asset-pack-options.test.ts:66cfc8c728f134087476a3a3",
"packageIndex": "packages/pipelines/asset-pack/src/index.ts:24854bd26b47ce7700e02380",
"packageManifest": "packages/pipelines/asset-pack/package.json:f998601555d9f21de1393f74",
"publicCopy": "uapi/components/base/bitcode/layout/bitcode-public-copy.ts:3a45184ba8d2a4e71858c597",
"publicExplainers": "uapi/components/base/bitcode/layout/bitcode-public-explainers.ts:282d915eac3c9f22ba8c07f1",
"packageIndex": "packages/pipelines/asset-pack/src/index.ts:aca8dabbfc7a4348a1e9eed8",
"packageManifest": "packages/pipelines/asset-pack/package.json:6e9dd21d8ac1fb420997527a",
"publicCopy": "uapi/components/base/bitcode/layout/bitcode-public-copy.ts:9b39322f872b899e1c752701",
"publicExplainers": "uapi/components/base/bitcode/layout/bitcode-public-explainers.ts:4e3b84dda50607ea8ea2b73e",
"workspaceSurface": "uapi/components/base/bitcode/layout/workspace-surface.ts:12418d5db9c3ddad6d10c841",
"nav": "uapi/components/base/bitcode/layout/nav.tsx:d7d1a8104e780bb7c25f1880",
"footer": "uapi/components/base/bitcode/layout/footer.tsx:44749b98e5f63e7ac8f9f574",
"routeModelTest": "uapi/tests/depositRouteModel.test.ts:0fb7d8d4d58d7e231ada4510",
"pageTest": "uapi/tests/depositPageClient.test.tsx:b1acbca83d8f3244147217dc",
"protocolIndex": "packages/protocol/src/index.js:647a8c9de68e311caf5b7d8f",
"protocolTypes": "packages/protocol/src/index.d.ts:50025035a9239ee2fad2ac2c",
"nav": "uapi/components/base/bitcode/layout/nav.tsx:802e44030967176ec5c18cea",
"footer": "uapi/components/base/bitcode/layout/footer.tsx:2ccbbecfc6054f371e66ab5f",
"routeModelTest": "uapi/tests/depositRouteModel.test.ts:3f7377f8c55ce132f970ad09",
"pageTest": "uapi/tests/depositPageClient.test.tsx:3385b14ea538e4ea1bb3ed01",
"protocolIndex": "packages/protocol/src/index.js:1f16ea428bd71351a1292cb6",
"protocolTypes": "packages/protocol/src/index.d.ts:278dfc652c621533b5e86f4d",
"protocolTest": "packages/protocol/test/v43-deposit-route-options.test.js:6576a3d4947b9bc23f7a786d",
"generator": "scripts/generate-v43-deposit-route-options.mjs:2d92d5e9c25e2e66712953f9",
"checker": "scripts/check-v43-gate5-deposit-route-options.mjs:10c6ad1594ea8bd06f97d7d5"
},
"predicateResults": [
{
"id": "active-canon-pointer-remains-v42",
"id": "active-canon-pointer-supports-v43-draft-or-later",
"sourcePath": "BITCODE_SPEC.txt",
"passed": true
},
Expand Down
Loading
Loading