Skip to content

Commit 6f99172

Browse files
geraldarthurdavisgeraldarthurdavis
authored
Merge pull request #54 from engineeredsoftware/version/v31
V31 Canonical Promotion: Auxillaries Support Control
2 parents 78ebe82 + 0172b2f commit 6f99172

83 files changed

Lines changed: 13485 additions & 182 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/v31-auxillaries-telemetry-proof-hooks.json‎

Lines changed: 50 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
1+
{
2+
"reportId": "v31-auxillaries-telemetry-proof-hooks",
3+
"version": "V31",
4+
"proofSourceCommit": "8c711604600afe1d1e477d3c180d653602203d0f",
5+
"generatedAt": "2026-05-22T03:36:28-03:00",
6+
"generatorId": "bitcode.proven-generator.v1",
7+
"worktreeState": "clean",
8+
"passed": true,
9+
"sourceSafe": true,
10+
"checkedFileCount": 11,
11+
"checkedFiles": [
12+
"packages/api/src/routes/auxillaries-contract.ts",
13+
"packages/api/src/routes/__tests__/auxillaries-contract.test.ts",
14+
"uapi/hooks/useUserData.ts",
15+
"uapi/hooks/useUserData.js",
16+
"uapi/app/auxillaries/components/AuxillariesExternalsPane.tsx",
17+
"uapi/tests/userDataRoute.test.ts",
18+
"uapi/tests/auxillariesExternalsPane.test.tsx",
19+
"BITCODE_SPEC_V31.md",
20+
"BITCODE_SPEC_V31_DELTA.md",
21+
"BITCODE_SPEC_V31_NOTES.md",
22+
"BITCODE_SPEC_V31_PARITY_MATRIX.md"
23+
],
24+
"requiredTelemetrySubjects": [
25+
"profile",
26+
"account",
27+
"provider_connection",
28+
"interface_admission",
29+
"wallet",
30+
"btd_pane",
31+
"organization_authority",
32+
"policy_decision",
33+
"readiness_diagnostic",
34+
"recovery_run"
35+
],
36+
"proofHookCoverage": [
37+
"theorem ids",
38+
"replay step ids",
39+
"evidence roots",
40+
"telemetry roots",
41+
"blocker ids",
42+
"repair outcomes",
43+
"source-safety classes",
44+
"proof roots"
45+
],
46+
"compatibleWith": [
47+
"V32"
48+
],
49+
"failures": []
50+
}

‎.bitcode/v31-canon-posture-drift-report.json‎

Lines changed: 77 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
1+
{
2+
"reportId": "v31-canon-posture-drift-report",
3+
"version": "V31",
4+
"checkedActiveCanonVersion": "V31",
5+
"checkedDraftTargetVersion": "V32",
6+
"pointerVersion": "V31",
7+
"proofSourceCommit": "8c711604600afe1d1e477d3c180d653602203d0f",
8+
"generatedAt": "2026-05-22T03:36:28-03:00",
9+
"generatorId": "bitcode.proven-generator.v1",
10+
"worktreeState": "clean",
11+
"passed": true,
12+
"checkCount": 10,
13+
"blockingFailureCount": 0,
14+
"blockingFailures": [],
15+
"runtimeSpecVersion": "Bitcode Spec V31 active canon / V32 system draft",
16+
"publicSpecVersion": "Bitcode Spec V31 active canon / V32 system draft",
17+
"activeProvenAppendixPath": "BITCODE_SPEC_V31_PROVEN.md",
18+
"policyRef": "policy://bitcode/spec-v31-active-v32-system-draft/current",
19+
"checkedFiles": [
20+
"protocol-demonstration/README.md",
21+
"protocol-demonstration/public/index.html",
22+
"protocol-demonstration/public/app.js",
23+
"protocol-demonstration/server.js"
24+
],
25+
"checks": [
26+
{
27+
"checkId": "pointer-active-canon-alignment",
28+
"passed": true,
29+
"detail": "BITCODE_SPEC.txt points to V31 while runtime expects V31."
30+
},
31+
{
32+
"checkId": "canon-posture-constant-alignment",
33+
"passed": true,
34+
"detail": "canon-posture constants resolve V31/V32 with operator label V31 active canon / V32 system draft."
35+
},
36+
{
37+
"checkId": "proven-appendix-alignment",
38+
"passed": true,
39+
"detail": "active generated appendix path is BITCODE_SPEC_V31_PROVEN.md."
40+
},
41+
{
42+
"checkId": "policy-ref-alignment",
43+
"passed": true,
44+
"detail": "policy reference is policy://bitcode/spec-v31-active-v32-system-draft/current."
45+
},
46+
{
47+
"checkId": "runtime-state-alignment",
48+
"passed": true,
49+
"detail": "buildInitialState() reports Bitcode Spec V31 active canon / V32 system draft with canon posture V31/V32."
50+
},
51+
{
52+
"checkId": "public-state-alignment",
53+
"passed": true,
54+
"detail": "publicState() reports Bitcode Spec V31 active canon / V32 system draft with canon posture V31/V32."
55+
},
56+
{
57+
"checkId": "server-api-alignment",
58+
"passed": true,
59+
"detail": "server.js keeps API posture sourced from SPEC_VERSION and buildPublicState(...)."
60+
},
61+
{
62+
"checkId": "browser-shell-placeholder-alignment",
63+
"passed": true,
64+
"detail": "public/index.html exposes canon-posture placeholders and no stale hardcoded hero posture."
65+
},
66+
{
67+
"checkId": "browser-shell-render-alignment",
68+
"passed": true,
69+
"detail": "public/app.js renders canon posture from runtime state and omits stale V15 explainer keys."
70+
},
71+
{
72+
"checkId": "readme-alignment",
73+
"passed": true,
74+
"detail": "README states V31 active canon and BITCODE_SPEC_V31_PROVEN.md as the current generated appendix."
75+
}
76+
]
77+
}

‎.bitcode/v31-canonical-input-report.json‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
{
2+
"reportId": "v31-canonical-input-report",
3+
"version": "V31",
4+
"proofSourceCommit": "8c711604600afe1d1e477d3c180d653602203d0f",
5+
"generatedAt": "2026-05-22T03:36:28-03:00",
6+
"generatorId": "bitcode.proven-generator.v1",
7+
"worktreeState": "clean",
8+
"checkedTargetVersion": "V31",
9+
"pointerVersion": "V31",
10+
"passed": true,
11+
"failureCount": 0,
12+
"failures": [],
13+
"specPath": "BITCODE_SPEC_V31.md",
14+
"notesPath": "BITCODE_SPEC_V31_NOTES.md",
15+
"provenPath": "BITCODE_SPEC_V31_PROVEN.md",
16+
"parityPath": "BITCODE_SPEC_V31_PARITY_MATRIX.md",
17+
"requiredGeneratedArtifactPaths": [
18+
".bitcode/v31-spec-family-report.json",
19+
".bitcode/v31-canonical-input-report.json",
20+
".bitcode/v31-canon-posture-drift-report.json",
21+
".bitcode/v31-auxillaries-telemetry-proof-hooks.json"
22+
],
23+
"requiredGeneratedArtifactCount": 4
24+
}

‎.bitcode/v31-spec-family-report.json‎

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
{
2+
"reportId": "v31-spec-family-report",
3+
"version": "V31",
4+
"proofSourceCommit": "8c711604600afe1d1e477d3c180d653602203d0f",
5+
"generatedAt": "2026-05-22T03:36:28-03:00",
6+
"generatorId": "bitcode.proven-generator.v1",
7+
"worktreeState": "clean",
8+
"checkedVersion": "V31",
9+
"mode": "promoted",
10+
"currentTarget": "V31",
11+
"pointerVersion": "V31",
12+
"passed": true,
13+
"failureCount": 0,
14+
"failures": [],
15+
"requiredFiles": [
16+
"BITCODE_SPEC_V31.md",
17+
"BITCODE_SPEC_V31_DELTA.md",
18+
"BITCODE_SPEC_V31_NOTES.md",
19+
"BITCODE_SPEC_V31_PARITY_MATRIX.md"
20+
],
21+
"supportFiles": [
22+
"BITCODE_SPECIFYING.md",
23+
"BITCODE_SPEC_TEMPLATEGUIDE.md"
24+
],
25+
"requiredStatusLabelCount": 4,
26+
"requiredPromotedStatusLabelCount": 1,
27+
"requiredSpecSectionCount": 18,
28+
"requiredAppendixSectionCount": 14,
29+
"requiredProofFamilyCount": 9,
30+
"requiredGeneratedArtifactCatalogSectionCount": 9,
31+
"requiredGeneratedArtifactPathCount": 4,
32+
"requiredNotesSectionCount": 4,
33+
"requiredSubsystemCoverageCount": 18
34+
}

‎.github/pull_request_template.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
## Title
22

3-
Use the version and gate prefix for gate PRs: `V30 Gate N: Concise Topical Title`.
4-
Use the version and promotion prefix for version promotion PRs: `V30 Canonical Promotion: Concise Topical Title`.
3+
Use the version and gate prefix for gate PRs: `V31 Gate N: Concise Topical Title`.
4+
Use the version and promotion prefix for version promotion PRs: `V31 Canonical Promotion: Concise Topical Title`.
55

66
## Closure
77

‎.github/workflows/bitcode-canon-quality.yml‎

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,14 @@ jobs:
3737
node scripts/check-bitcode-canonical-inputs.mjs --current-target V30
3838
node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V30 --draft-target V31
3939
node scripts/check-bitcode-spec-family.mjs --version V30 --mode promoted --current-target V30
40+
node scripts/check-bitcode-spec-family.mjs --version V31 --mode draft --current-target V30
41+
elif [ "$POINTER" = "V31" ]; then
42+
node scripts/check-bitcode-canonical-inputs.mjs --current-target V31
43+
node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V31 --draft-target V32
44+
node scripts/check-bitcode-spec-family.mjs --version V31 --mode promoted --current-target V31
45+
if [ -f BITCODE_SPEC_V32.md ]; then
46+
node scripts/check-bitcode-spec-family.mjs --version V32 --mode draft --current-target V31
47+
fi
4048
else
4149
echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2
4250
exit 1
@@ -88,7 +96,15 @@ jobs:
8896
node scripts/check-bitcode-spec-family.mjs --version V30 --mode draft --current-target V29
8997
fi
9098
;;
99+
spec:\ V31*|spec:\ v31*)
100+
POINTER="$(cat BITCODE_SPEC.txt)"
101+
if [ "$POINTER" = "V31" ]; then
102+
node scripts/check-bitcode-spec-family.mjs --version V31 --mode promoted --current-target V31
103+
else
104+
node scripts/check-bitcode-spec-family.mjs --version V31 --mode draft --current-target V30
105+
fi
106+
;;
91107
*)
92-
echo "Skipping strict spec-title conformance; title is not a V29/V30 spec change."
108+
echo "Skipping strict spec-title conformance; title is not a V29/V30/V31 spec change."
93109
;;
94110
esac

‎.github/workflows/bitcode-gate-quality.yml‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,9 +91,25 @@ jobs:
9191
node scripts/check-v30-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
9292
elif [ "$POINTER" = "V30" ]; then
9393
node scripts/check-bitcode-spec-family.mjs --version V30 --mode promoted --current-target V30
94+
node scripts/check-bitcode-spec-family.mjs --version V31 --mode draft --current-target V30
9495
node scripts/check-bitcode-canonical-inputs.mjs --current-target V30
9596
node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V30 --draft-target V31
9697
node scripts/check-v30-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
98+
node scripts/check-v31-gate1-spec-roadmap-opening.mjs --skip-branch-check
99+
node scripts/check-v31-gate2-auxillaries-package-route-contracts.mjs --skip-branch-check
100+
node scripts/check-v31-gate3-profile-account-state.mjs --skip-branch-check
101+
node scripts/check-v31-gate4-connects-provider-readiness.mjs --skip-branch-check
102+
node scripts/check-v31-gate5-wallet-btd-pane-readiness.mjs --skip-branch-check
103+
node scripts/check-v31-gate6-organization-team-role-policy-authority.mjs --skip-branch-check
104+
node scripts/check-v31-gate7-interfaces-pane-admission-cross-surface-contracts.mjs --skip-branch-check
105+
node scripts/check-v31-gate8-auxillaries-ux-accessibility-responsive-proof.mjs --skip-branch-check
106+
node scripts/check-v31-gate9-auxillaries-telemetry-proof-recovery-runs.mjs --skip-branch-check
107+
node scripts/check-v31-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
108+
elif [ "$POINTER" = "V31" ]; then
109+
node scripts/check-bitcode-spec-family.mjs --version V31 --mode promoted --current-target V31
110+
node scripts/check-bitcode-canonical-inputs.mjs --current-target V31
111+
node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V31 --draft-target V32
112+
node scripts/check-v31-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
97113
else
98114
echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2
99115
exit 1
@@ -120,6 +136,7 @@ jobs:
120136
pnpm --filter @bitcode/btd test -- --runTestsByPath __tests__/btc-fee-operation.test.ts
121137
pnpm --filter @bitcode/btd test -- --runTestsByPath __tests__/btd.test.ts
122138
pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/btd-crypto.test.ts --runInBand
139+
pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/auxillaries-contract.test.ts --runInBand
123140
pnpm --dir packages/executions-mcp/src/mcp-server run test:mcp -- --runTestsByPath src/__tests__/unit/auth.test.ts --runInBand
124141
pnpm --dir packages/chatgptapp exec jest --runTestsByPath src/__tests__/tools.test.ts --runInBand
125142
pnpm --filter @bitcode/pipeline-hosts exec jest --config jest.config.cjs --runTestsByPath src/__tests__/asset-pack-harness.test.ts --runInBand
@@ -132,6 +149,15 @@ jobs:
132149
- name: Test staged Reading route and Terminal harness contracts
133150
run: |
134151
pnpm --dir uapi exec jest --runTestsByPath \
152+
tests/userDataRoute.test.ts \
153+
tests/auxillariesWalletPane.test.tsx \
154+
tests/auxillariesContent.access.test.tsx \
155+
tests/auxillariesWorkspacePanels.access.test.tsx \
156+
tests/auxillariesWorkspacePanels.test.tsx \
157+
tests/api/auxillariesGithubConnectionRoute.test.ts \
158+
tests/api/vcsRoutes.test.ts \
159+
tests/auxillariesExternalsPane.test.tsx \
160+
tests/profileStep.test.tsx \
135161
tests/api/readReviewRoute.test.ts \
136162
tests/api/pipelineHarnessRoute.test.ts \
137163
tests/terminalPipelineHarnessClient.test.ts \

0 commit comments

Comments
 (0)