Skip to content

Commit cc1cc44

Browse files
wip v26
1 parent 893b788 commit cc1cc44

25 files changed

Lines changed: 1407 additions & 75 deletions

.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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

.bitcode/inference-implementation-records-proof.json

Lines changed: 675 additions & 0 deletions
Large diffs are not rendered by default.

.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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": false,

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

Lines changed: 5 additions & 3 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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,
@@ -22,7 +22,7 @@
2222
"checkId": "prompt-package-core",
2323
"label": "PromptPart, Prompt, PromptExecution, public-boundary proof, prompt surface map, tests, and package docs remain explicit",
2424
"passed": true,
25-
"detail": "13 required files present",
25+
"detail": "15 required files present",
2626
"requiredFiles": [
2727
"packages/prompts/README.md",
2828
"packages/prompts/src/index.ts",
@@ -32,8 +32,10 @@
3232
"packages/prompts/src/execution/PromptExecution.js",
3333
"packages/prompts/src/parts/PromptPart.ts",
3434
"packages/prompts/src/__tests__/prompt.test.ts",
35+
"protocol-demonstration/src/canonical/inference-implementation-records.js",
3536
"protocol-demonstration/V26_PROMPT_SURFACES.md",
3637
"protocol-demonstration/V26_INFERENCE_SYSTEMS.md",
38+
"protocol-demonstration/test/v26-inference-implementation-records.test.js",
3739
"protocol-demonstration/test/v26-prompt-system-boundary.test.js",
3840
"protocol-demonstration/test/v26-prompt-surface-map.test.js",
3941
"protocol-demonstration/test/v26-prompt-runtime-loadability.test.js"

.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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-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": "3bd4b385ee5bfcaa897738aad8eeec7968c19118",
5-
"generatedAt": "2026-04-23T08:52:39-03:00",
4+
"proofSourceCommit": "893b7889b3738c9053b02b4df350832e5ffca5da",
5+
"generatedAt": "2026-04-23T09:25:03-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

0 commit comments

Comments
 (0)