Skip to content

Commit 9761a74

Browse files
Promote Bitcode canon to V41
1 parent 70be386 commit 9761a74

15 files changed

Lines changed: 2842 additions & 55 deletions
Lines changed: 77 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
1+
{
2+
"reportId": "v41-canon-posture-drift-report",
3+
"version": "V41",
4+
"checkedActiveCanonVersion": "V41",
5+
"checkedDraftTargetVersion": "V42",
6+
"pointerVersion": "V41",
7+
"proofSourceCommit": "70be3860a54ff3dd3da5c0cac2c5b854a12910e1",
8+
"generatedAt": "2026-05-26T15:32:33-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 V41 active canon / V42 system draft",
16+
"publicSpecVersion": "Bitcode Spec V41 active canon / V42 system draft",
17+
"activeProvenAppendixPath": "BITCODE_SPEC_V41_PROVEN.md",
18+
"policyRef": "policy://bitcode/spec-v41-active-v42-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 V41 while runtime expects V41."
30+
},
31+
{
32+
"checkId": "canon-posture-constant-alignment",
33+
"passed": true,
34+
"detail": "canon-posture constants resolve V41/V42 with operator label V41 active canon / V42 system draft."
35+
},
36+
{
37+
"checkId": "proven-appendix-alignment",
38+
"passed": true,
39+
"detail": "active generated appendix path is BITCODE_SPEC_V41_PROVEN.md."
40+
},
41+
{
42+
"checkId": "policy-ref-alignment",
43+
"passed": true,
44+
"detail": "policy reference is policy://bitcode/spec-v41-active-v42-system-draft/current."
45+
},
46+
{
47+
"checkId": "runtime-state-alignment",
48+
"passed": true,
49+
"detail": "buildInitialState() reports Bitcode Spec V41 active canon / V42 system draft with canon posture V41/V42."
50+
},
51+
{
52+
"checkId": "public-state-alignment",
53+
"passed": true,
54+
"detail": "publicState() reports Bitcode Spec V41 active canon / V42 system draft with canon posture V41/V42."
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 V41 active canon and BITCODE_SPEC_V41_PROVEN.md as the current generated appendix."
75+
}
76+
]
77+
}
Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
{
2+
"reportId": "v41-canonical-input-report",
3+
"version": "V41",
4+
"proofSourceCommit": "70be3860a54ff3dd3da5c0cac2c5b854a12910e1",
5+
"generatedAt": "2026-05-26T15:32:33-03:00",
6+
"generatorId": "bitcode.proven-generator.v1",
7+
"worktreeState": "clean",
8+
"checkedTargetVersion": "V41",
9+
"pointerVersion": "V41",
10+
"passed": true,
11+
"failureCount": 0,
12+
"failures": [],
13+
"specPath": "BITCODE_SPEC_V41.md",
14+
"notesPath": "BITCODE_SPEC_V41_NOTES.md",
15+
"provenPath": "BITCODE_SPEC_V41_PROVEN.md",
16+
"parityPath": "BITCODE_SPEC_V41_PARITY_MATRIX.md",
17+
"requiredGeneratedArtifactPaths": [],
18+
"requiredGeneratedArtifactCount": 0
19+
}

.bitcode/v41-promotion-readiness-report.json

Lines changed: 12 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,10 @@
11
{
2+
"reportId": "v41-promotion-readiness-report",
23
"artifactId": "v41-promotion-readiness-report",
34
"schemaId": "bitcode.v41.promotionReadinessReport.v1",
45
"version": "V41",
56
"currentTarget": "V40",
6-
"generatedAt": "2026-05-25T00:00:00.000Z",
7+
"generatedAt": "2026-05-26T15:32:33-03:00",
78
"sourceSafetyVerdict": "source-safe-prompt-program-promotion-readiness-metadata",
89
"prePromotionPosture": "V40 active / V41 draft",
910
"postPromotionPosture": "V41 active / V42 draft",
@@ -357,7 +358,7 @@
357358
{
358359
"relativePath": "BITCODE_SPEC_V41.md",
359360
"present": true,
360-
"digest": "sha256:3f175df2d8a0e338c26b2e6471892f5b077374b8dab53bfdb6aaf30d9a3f8422",
361+
"digest": "sha256:9174742d79d0b0045bb0eebf9e6f312a7ab53b62193a9d12d29bcdf7fda71d79",
361362
"requiredTokens": [
362363
{
363364
"token": "V41 promotion readiness canon",
@@ -376,7 +377,7 @@
376377
{
377378
"relativePath": "BITCODE_SPEC_V41_DELTA.md",
378379
"present": true,
379-
"digest": "sha256:fc6702e82ebeccbbc4d8ef8804e5fd05d57c3927c0aadf85ab84789f7625429c",
380+
"digest": "sha256:a368d8732b02b4f943017df9bfbb1762090d3e20b393031c533ebbc14f121836",
380381
"requiredTokens": [
381382
{
382383
"token": "Gate 9: V41 Promotion Readiness",
@@ -395,7 +396,7 @@
395396
{
396397
"relativePath": "BITCODE_SPEC_V41_NOTES.md",
397398
"present": true,
398-
"digest": "sha256:94abe5cb7e5ef4cdf3f74b741bd67993fa9d91f65d1bb5c836a3e9ec0fb672d1",
399+
"digest": "sha256:38e4d70e19dff8c367acf2792c499dd75fcb771f08f0ee1774097fbf7651ea87",
399400
"requiredTokens": [
400401
{
401402
"token": "Gate 9: V41 Promotion Readiness",
@@ -414,7 +415,7 @@
414415
{
415416
"relativePath": "BITCODE_SPEC_V41_PARITY_MATRIX.md",
416417
"present": true,
417-
"digest": "sha256:19077212c19df64c25fce9fa4b620e2c3334ef7f9214f4feba824fc872a32f50",
418+
"digest": "sha256:5f49852cfb6323d19db8be1c85a026a5ca68ed792c02990390b8bd07ea2ac617",
418419
"requiredTokens": [
419420
{
420421
"token": "## Gate 9 Promotion readiness parity",
@@ -463,7 +464,7 @@
463464
{
464465
"relativePath": "packages/protocol/README.md",
465466
"present": true,
466-
"digest": "sha256:7df84eed1d322a7666597fde37d60fd179d52e12d8f125e1bcfc78a4adfdf468",
467+
"digest": "sha256:0044363192ce02d2d3fe976dbd02556d51cf7533ba84ca1698c1a32b08b3a97c",
467468
"requiredTokens": [
468469
{
469470
"token": "V41 Gate 9",
@@ -524,5 +525,9 @@
524525
"artifactRoot": "prompt-program-promotion-readiness-report:f022f18a1688c843da8d626d",
525526
"passed": true,
526527
"failures": [],
527-
"validationCommand": "pnpm run check:v41-gate9"
528+
"validationCommand": "pnpm run check:v41-gate9",
529+
"proofSourceCommit": "70be3860a54ff3dd3da5c0cac2c5b854a12910e1",
530+
"generatorId": "bitcode.proven-generator.v1",
531+
"worktreeState": "clean",
532+
"sourceSafe": true
528533
}
Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
{
2+
"reportId": "v41-spec-family-report",
3+
"version": "V41",
4+
"proofSourceCommit": "70be3860a54ff3dd3da5c0cac2c5b854a12910e1",
5+
"generatedAt": "2026-05-26T15:32:33-03:00",
6+
"generatorId": "bitcode.proven-generator.v1",
7+
"worktreeState": "clean",
8+
"checkedVersion": "V41",
9+
"mode": "promoted",
10+
"currentTarget": "V41",
11+
"pointerVersion": "V41",
12+
"passed": true,
13+
"failureCount": 0,
14+
"failures": [],
15+
"requiredFiles": [
16+
"BITCODE_SPEC_V41.md",
17+
"BITCODE_SPEC_V41_DELTA.md",
18+
"BITCODE_SPEC_V41_NOTES.md",
19+
"BITCODE_SPEC_V41_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": 10,
32+
"requiredNotesSectionCount": 4,
33+
"requiredSubsystemCoverageCount": 18
34+
}

BITCODE_SPEC.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
V40
1+
V41

BITCODE_SPEC_V41.md

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,19 +3,20 @@
33
## Status
44

55
- Version: `V41`
6-
- V41 state: Gate 9 promotion readiness implemented; V41 is ready to be promoted from the active V40 canon when its version PR validates
7-
- Current canonical/latest target: `V40`
6+
- V41 state: canonical promotion complete; V41 is the active prompt-program excellence canon and the V41 hand-authored plus generated canon are aligned
7+
- Current canonical/latest target: `V41`
8+
- Canonical proof-source commit: `70be3860a54ff3dd3da5c0cac2c5b854a12910e1`
89
- Prior canonical anchor: `BITCODE_SPEC_V40.md`
910
- Prior generated proof appendix: `BITCODE_SPEC_V40_PROVEN.md`
1011
- Active canonical pointer during draft opening: `BITCODE_SPEC.txt` -> `V40`
11-
- Generated structured artifact inventory: draft `.bitcode/v41-spec-family-report.json`, draft `.bitcode/v41-canonical-input-report.json`, Gate 2 `.bitcode/v41-promptpart-prompt-inventory.json`, Gate 3 `.bitcode/v41-registry-interpolation-contracts.json`, Gate 4 `.bitcode/v41-reading-prompt-benchmark-baselines.json`, Gate 5 `.bitcode/v41-readneed-prompt-hardening.json`, Gate 6 `.bitcode/v41-readfitsfinding-prompt-hardening.json`, Gate 7 `.bitcode/v41-conversation-tool-interface-prompt-rewrite.json`, Gate 8 `.bitcode/v41-prompt-program-benchmark-report.json`, Gate 9 `.bitcode/v41-promotion-readiness-report.json`, and eventual `BITCODE_SPEC_V41_PROVEN.md` after V41 promotion
12-
- Source parity state: V41 prompt-program parity is source-side complete for promotion readiness: prompt catalogue, benchmark, interpolation, registry, callsite, return-type, telemetry, workflow, generated-proof, promotion-command, and source-safety surfaces are specified and checked
12+
- Generated structured artifact inventory: active canonical `.bitcode/v41-spec-family-report.json`, `.bitcode/v41-canonical-input-report.json`, `.bitcode/v41-canon-posture-drift-report.json`, `.bitcode/v41-promptpart-prompt-inventory.json`, `.bitcode/v41-registry-interpolation-contracts.json`, `.bitcode/v41-reading-prompt-benchmark-baselines.json`, `.bitcode/v41-readneed-prompt-hardening.json`, `.bitcode/v41-readfitsfinding-prompt-hardening.json`, `.bitcode/v41-conversation-tool-interface-prompt-rewrite.json`, `.bitcode/v41-prompt-program-benchmark-report.json`, `.bitcode/v41-promotion-readiness-report.json`, V41 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V41_PROVEN.md` as the generated proof appendix for V41 promotion
13+
- Source parity state: V41 source-side PromptPart and Prompt inventory, registry interpolation contracts, Reading baselines, ReadNeedComprehensionSynthesis prompt hardening, ReadFitsFindingSynthesis prompt hardening, Conversation/tool/interface prompt rewrite, prompt benchmark telemetry report, workflow, and promotion surfaces are canonicalized in the promoted V41 file family
1314
- Notes companion: `BITCODE_SPEC_V41_NOTES.md`
1415
- Delta companion: `BITCODE_SPEC_V41_DELTA.md`
1516
- Parity companion: `BITCODE_SPEC_V41_PARITY_MATRIX.md`
1617
- Generated proof appendix: `BITCODE_SPEC_V41_PROVEN.md` only after V41 promotion
17-
- Scope: V41 draft system specification for Prompt and PromptPart excellence, prompts as programs, prompt benchmark hardening, registry composition audit, interpolation contracts, Reading pipeline prompt rewrite, Conversation and tool prompt rewrite, and source-safe prompt telemetry over promoted V40
18-
- Last fully realized canonical target preserved in source: `V40`
18+
- Scope: V41 canonical system specification for prompt-program excellence across PromptPart and Prompt inventory, registry interpolation contracts, Reading prompt benchmarks, ReadNeedComprehensionSynthesis rewrite hardening, ReadFitsFindingSynthesis rewrite hardening, Conversation/tool/interface prompt rewrite, prompt benchmark telemetry integration, and promotion readiness surfaces
19+
- Last fully realized canonical target preserved in source: `V41`
1920

2021
## Version executive summary
2122

BITCODE_SPEC_V41_DELTA.md

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,14 @@
33
## Status
44

55
- Version: `V41`
6-
- V41 state: Gate 9 promotion readiness implemented; this delta records the V40-to-V41 prompt-program closure set
7-
- Current canonical/latest target: `V40`
6+
- V41 state: canonical promotion complete; this delta records the promoted V40-to-V41 prompt-program excellence closure set
7+
- Current canonical/latest target: `V41`
8+
- Canonical proof-source commit: `70be3860a54ff3dd3da5c0cac2c5b854a12910e1`
89
- Prior canonical anchor: `BITCODE_SPEC_V40.md`
910
- Prior generated proof appendix: `BITCODE_SPEC_V40_PROVEN.md`
10-
- Generated structured artifact inventory: draft `.bitcode/v41-spec-family-report.json`, draft `.bitcode/v41-canonical-input-report.json`, Gate 2 `.bitcode/v41-promptpart-prompt-inventory.json`, Gate 3 `.bitcode/v41-registry-interpolation-contracts.json`, Gate 4 `.bitcode/v41-reading-prompt-benchmark-baselines.json`, Gate 5 `.bitcode/v41-readneed-prompt-hardening.json`, Gate 6 `.bitcode/v41-readfitsfinding-prompt-hardening.json`, Gate 7 `.bitcode/v41-conversation-tool-interface-prompt-rewrite.json`, Gate 8 `.bitcode/v41-prompt-program-benchmark-report.json`, Gate 9 `.bitcode/v41-promotion-readiness-report.json`, and eventual `BITCODE_SPEC_V41_PROVEN.md` after V41 promotion
11-
- Source parity state: V41 source parity now includes prompt inventory, registry/interpolation contracts, Reading benchmark baselines, semantic prompt rewrites, post-rewrite benchmark telemetry, promotion workflow support, generated proof support, and promotion-command dry-run support
12-
- Scope: V41 draft delta for Prompt and PromptPart excellence over promoted V40
11+
- Generated structured artifact inventory: active canonical `.bitcode/v41-spec-family-report.json`, `.bitcode/v41-canonical-input-report.json`, `.bitcode/v41-canon-posture-drift-report.json`, `.bitcode/v41-promptpart-prompt-inventory.json`, `.bitcode/v41-registry-interpolation-contracts.json`, `.bitcode/v41-reading-prompt-benchmark-baselines.json`, `.bitcode/v41-readneed-prompt-hardening.json`, `.bitcode/v41-readfitsfinding-prompt-hardening.json`, `.bitcode/v41-conversation-tool-interface-prompt-rewrite.json`, `.bitcode/v41-prompt-program-benchmark-report.json`, `.bitcode/v41-promotion-readiness-report.json`, V41 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V41_PROVEN.md` as the generated proof appendix for V41 promotion
12+
- Source parity state: V41 source-side PromptPart and Prompt inventory, registry interpolation contracts, Reading baselines, ReadNeedComprehensionSynthesis prompt hardening, ReadFitsFindingSynthesis prompt hardening, Conversation/tool/interface prompt rewrite, prompt benchmark telemetry report, workflow, and promotion surfaces are canonicalized in the promoted V41 file family
13+
- Scope: V41 canonical delta for prompt-program excellence over promoted V40 exhaustive commercial application testing canon
1314

1415
## Why V41 exists
1516

BITCODE_SPEC_V41_NOTES.md

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,17 @@
33
## Status
44

55
- Version: `V41`
6-
- V41 state: Gate 9 promotion readiness implemented; V41 notes now accompany the full prompt-program specification family through promotion readiness
7-
- Current canonical/latest target: `V40`
6+
- V41 state: canonical promotion complete; V41 notes record accepted prompt inventory, registry/interpolation, Reading baselines, ReadNeed and ReadFitsFinding prompt hardening, Conversation/tool/interface prompt rewrite, benchmark telemetry, and promotion-readiness evidence
7+
- Current canonical/latest target: `V41`
8+
- Canonical proof-source commit: `70be3860a54ff3dd3da5c0cac2c5b854a12910e1`
89
- Canonical pointer: `BITCODE_SPEC.txt` -> `V40`
910
- Prior canonical anchor: `BITCODE_SPEC_V40.md`
1011
- Prior generated proof appendix: `BITCODE_SPEC_V40_PROVEN.md`
11-
- Generated structured artifact inventory: draft `.bitcode/v41-spec-family-report.json`, draft `.bitcode/v41-canonical-input-report.json`, Gate 2 `.bitcode/v41-promptpart-prompt-inventory.json`, Gate 3 `.bitcode/v41-registry-interpolation-contracts.json`, Gate 4 `.bitcode/v41-reading-prompt-benchmark-baselines.json`, Gate 5 `.bitcode/v41-readneed-prompt-hardening.json`, Gate 6 `.bitcode/v41-readfitsfinding-prompt-hardening.json`, Gate 7 `.bitcode/v41-conversation-tool-interface-prompt-rewrite.json`, Gate 8 `.bitcode/v41-prompt-program-benchmark-report.json`, Gate 9 `.bitcode/v41-promotion-readiness-report.json`, and eventual `BITCODE_SPEC_V41_PROVEN.md` after V41 promotion
12-
- Source parity state: V41 notes track prompt-program planning, catalogue, benchmark, rewrite, telemetry, promotion parity, and active V41 / draft V42 promotion posture over active V40
12+
- Generated structured artifact inventory: active canonical `.bitcode/v41-spec-family-report.json`, `.bitcode/v41-canonical-input-report.json`, `.bitcode/v41-canon-posture-drift-report.json`, `.bitcode/v41-promptpart-prompt-inventory.json`, `.bitcode/v41-registry-interpolation-contracts.json`, `.bitcode/v41-reading-prompt-benchmark-baselines.json`, `.bitcode/v41-readneed-prompt-hardening.json`, `.bitcode/v41-readfitsfinding-prompt-hardening.json`, `.bitcode/v41-conversation-tool-interface-prompt-rewrite.json`, `.bitcode/v41-prompt-program-benchmark-report.json`, `.bitcode/v41-promotion-readiness-report.json`, V41 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V41_PROVEN.md` as the generated proof appendix for V41 promotion
13+
- Source parity state: V41 source-side PromptPart and Prompt inventory, registry interpolation contracts, Reading baselines, ReadNeedComprehensionSynthesis prompt hardening, ReadFitsFindingSynthesis prompt hardening, Conversation/tool/interface prompt rewrite, prompt benchmark telemetry report, workflow, and promotion surfaces are canonicalized in the promoted V41 file family
1314
- Draft target posture: V41 Gate 1 creates the full SPEC, DELTA, NOTES, and PARITY family.
14-
- Scope: Prompt and PromptPart excellence over the promoted V40 exhaustive testing base.
15+
- Scope: V41 canonical notes for prompt-program excellence over promoted V40 exhaustive commercial application testing canon
16+
- Last fully realized canonical target preserved in source: `V41`
1517

1618
## Notes companion rule
1719

0 commit comments

Comments
 (0)