Skip to content

Commit 893b788

Browse files
geraldarthurdavisgeraldarthurdavis
committed
wip v26
1 parent 3bd4b38 commit 893b788

93 files changed

Lines changed: 1279 additions & 1421 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/application-composition-proof.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-application-composition-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

‎.bitcode/conversations-continuity-proof.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-conversations-continuity-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-environment-mode-coherence-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

‎.bitcode/persistence-schema-totality-proof.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-persistence-schema-totality-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

‎.bitcode/prompt-space-completeness-proof.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-prompt-space-completeness-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": false,

‎.bitcode/prompt-system-totality-proof.json‎

Lines changed: 21 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-prompt-system-totality-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,
@@ -14,14 +14,15 @@
1414
"@bitcode/doc-code",
1515
"@bitcode/tools-generics",
1616
"@bitcode/conversations-generics",
17-
"@bitcode/digest"
17+
"@bitcode/digest",
18+
"@bitcode/generic-tools-task-comprehension"
1819
],
1920
"checks": [
2021
{
2122
"checkId": "prompt-package-core",
2223
"label": "PromptPart, Prompt, PromptExecution, public-boundary proof, prompt surface map, tests, and package docs remain explicit",
2324
"passed": true,
24-
"detail": "12 required files present",
25+
"detail": "13 required files present",
2526
"requiredFiles": [
2627
"packages/prompts/README.md",
2728
"packages/prompts/src/index.ts",
@@ -32,6 +33,7 @@
3233
"packages/prompts/src/parts/PromptPart.ts",
3334
"packages/prompts/src/__tests__/prompt.test.ts",
3435
"protocol-demonstration/V26_PROMPT_SURFACES.md",
36+
"protocol-demonstration/V26_INFERENCE_SYSTEMS.md",
3537
"protocol-demonstration/test/v26-prompt-system-boundary.test.js",
3638
"protocol-demonstration/test/v26-prompt-surface-map.test.js",
3739
"protocol-demonstration/test/v26-prompt-runtime-loadability.test.js"
@@ -155,9 +157,10 @@
155157
"checkId": "doc-comment-doc-code-tool-injection-support",
156158
"label": "Doc-comment and doc-code keep tool prompt injection explicit under Bitcode ownership",
157159
"passed": true,
158-
"detail": "16 required files present",
160+
"detail": "17 required files present",
159161
"requiredFiles": [
160162
"protocol-demonstration/V26_DOC_COMMENT_REFORM.md",
163+
"protocol-demonstration/V26_INFERENCE_SYSTEMS.md",
161164
"packages/doc-comment/README.md",
162165
"packages/doc-comment/src/build-plugin.ts",
163166
"packages/doc-code/README.md",
@@ -180,11 +183,23 @@
180183
"checkId": "reference-prompt-consumer-boundaries",
181184
"label": "Retained reference prompt consumers stay explicit on narrow public prompt primitive subpaths",
182185
"passed": true,
183-
"detail": "14 required files present",
186+
"detail": "26 required files present",
184187
"requiredFiles": [
185188
"packages/generic-agents/web-researcher/src/index.ts",
186189
"packages/generic-agents/web-researcher/src/prompts/system-prompt-web-researcher.ts",
187190
"packages/generic-tools/files-maintaining/src/prompts/tool-prompt-transaction-begin.ts",
191+
"packages/generic-tools/task-comprehension/README.md",
192+
"packages/generic-tools/task-comprehension/package.json",
193+
"packages/generic-tools/task-comprehension/tsconfig.json",
194+
"packages/generic-tools/task-comprehension/src/index.ts",
195+
"packages/generic-tools/task-comprehension/src/primitives.ts",
196+
"packages/generic-tools/task-comprehension/src/types/prompt-part.ts",
197+
"packages/generic-tools/task-comprehension/src/types/tools-generics.ts",
198+
"packages/generic-tools/task-comprehension/src/prompts/AnalyzeTaskSemanticsDocCodeToolPrompt.ts",
199+
"packages/generic-tools/task-comprehension/src/prompts/ValidateTaskComprehensionDocCodeToolPrompt.ts",
200+
"packages/prompts/src/raw_promptparts/specific/promptpart_specific_tool_analyzetasksemantics_doccodetoolpurpose.ts",
201+
"packages/prompts/src/raw_promptparts/specific/promptpart_specific_tool_analyzeimplementationcomplexity_doccodetoolexample3.ts",
202+
"packages/prompts/src/raw_promptparts/specific/promptpart_specific_tool_validatetaskcomprehension_doccodetoolpurpose.ts",
188203
"packages/generic-tools/vcs/src/prompts/ListRepositoriesDocCodeToolPrompt.ts",
189204
"packages/chatgptapp/src/prompts/chatgpt-tool-doc-prompts.ts",
190205
"packages/chatgptapp/tsconfig.test.json",

‎.bitcode/retained-package-admissibility-proof.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-retained-package-admissibility-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

‎.bitcode/runs-pipelines-totality-proof.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-runs-pipelines-totality-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": false,

‎.bitcode/system-reform-admissibility-proof.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-system-reform-admissibility-proof",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-canonical-input-report",
33
"version": "V26",
4-
"proofSourceCommit": "c36cdd2eefc3464db6b08d2a61571971e65271c1",
5-
"generatedAt": "2026-04-23T07:54:52-03:00",
4+
"proofSourceCommit": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5+
"generatedAt": "2026-04-23T08:52:39-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"checkedTargetVersion": "V26",

0 commit comments

Comments
 (0)