Skip to content

Commit bdccd93

Browse files
wip v26
1 parent 93b652b commit bdccd93

84 files changed

Lines changed: 516 additions & 464 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": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-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": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-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": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

.bitcode/fifth-gate-closure-deepening-proof.json

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-fifth-gate-closure-deepening-proof",
33
"version": "V26",
4-
"proofSourceCommit": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"gate": "gate-5",
@@ -134,8 +134,8 @@
134134
]
135135
},
136136
{
137-
"axisId": "old-world-reform-and-retained-package-baseline",
138-
"label": "Old-world reform and retained package baseline",
137+
"axisId": "retained-system-reform-and-retained-package-baseline",
138+
"label": "Retained-system reform and retained package baseline",
139139
"baselineAdvanced": true,
140140
"closurePassed": true,
141141
"currentDeepening": "Prompt primitives, retained-package roles, system-reform classification, and prompt-space baseline are proof-backed after fourth-gate promotion.",

.bitcode/fifth-gate-closure-proof.json

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-fifth-gate-closure-proof",
33
"version": "V26",
4-
"proofSourceCommit": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"gate": "gate-5",
@@ -271,9 +271,9 @@
271271
}
272272
},
273273
{
274-
"rowId": "old-world-reform-and-retained-package-baseline",
275-
"queueItem": "Old-world reform saturation",
276-
"gateAxis": "Old-world reform and retained package baseline",
274+
"rowId": "retained-system-reform-and-retained-package-baseline",
275+
"queueItem": "Retained-system reform saturation",
276+
"gateAxis": "Retained-system reform and retained package baseline",
277277
"proofEvidencePassed": true,
278278
"sourceEvidencePassed": true,
279279
"closurePassed": true,
@@ -284,15 +284,15 @@
284284
".bitcode/system-reform-admissibility-proof.json"
285285
],
286286
"sourceCheck": {
287-
"checkId": "old-world-reform-source-evidence",
288-
"label": "Retained live-path packages are classified, public-boundary clean, Bitcode-repurposed, and not teaching parallel old-world ownership",
287+
"checkId": "retained-system-reform-source-evidence",
288+
"label": "Retained live-path packages are classified, public-boundary clean, Bitcode-repurposed, and not teaching parallel non-Bitcode ownership",
289289
"passed": true,
290290
"detail": "4 source evidence requirements satisfied",
291291
"requiredEvidence": [
292292
{
293293
"file": "protocol-demonstration/test/v26-active-product-naming.test.js",
294294
"evidence": "active V26 retained package surfaces use Bitcode naming instead of Engi naming",
295-
"description": "active naming test blocks old-world product-language reintroduction"
295+
"description": "active naming test blocks non-Bitcode product-language reintroduction"
296296
},
297297
{
298298
"file": "protocol-demonstration/src/canonical/proven-generator.js",

.bitcode/fourth-gate-reclosure-review-proof.json

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-fourth-gate-reclosure-review-proof",
33
"version": "V26",
4-
"proofSourceCommit": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"gate": "gate-4",
@@ -153,11 +153,11 @@
153153
]
154154
},
155155
{
156-
"criterionId": "fourth-gate-criterion-10-old-world-tools-repurposed",
157-
"label": "Old-world tools and agents are Bitcode-purposed with prompt ownership and reader-first scope",
156+
"criterionId": "fourth-gate-criterion-10-retained-tools-repurposed",
157+
"label": "Retained tools and agents are Bitcode-purposed with prompt ownership and reader-first scope",
158158
"status": "closed",
159159
"passed": true,
160-
"detail": "Prompt, inference, and retained-package proofs keep old-world ports bounded to Bitcode roles such as need ingestion and source-attributed support.",
160+
"detail": "Prompt, inference, and retained-package proofs keep retained ports bounded to Bitcode roles such as need ingestion and source-attributed support.",
161161
"evidenceArtifactPaths": [
162162
".bitcode/prompt-system-totality-proof.json",
163163
".bitcode/inference-implementation-records-proof.json",

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"reportId": "v26-inference-implementation-records-proof",
33
"version": "V26",
4-
"proofSourceCommit": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

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

Lines changed: 3 additions & 3 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": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,
@@ -89,7 +89,7 @@
8989
{
9090
"file": "packages/orm/src/client.ts",
9191
"evidence": "export interface BitcodeOrmClient",
92-
"description": "public ORM client is named as Bitcode infrastructure rather than old-world Engi infrastructure"
92+
"description": "public ORM client is named as Bitcode infrastructure rather than Engi infrastructure"
9393
},
9494
{
9595
"file": "packages/orm/src/client.d.ts",

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

Lines changed: 4 additions & 4 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": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,
@@ -17,7 +17,7 @@
1717
"whole-repository prompt inventory saturation across every retained consumer",
1818
"product-grade prompt quality and commercial readiness for Exchange, Terminal, MCP, and third-party interfaces",
1919
"final retirement or promotion of compatibility prompt names after all callers converge",
20-
"full raw promptpart reservoir audit for old-world product semantics and reference-only language",
20+
"full raw promptpart reservoir audit for non-Bitcode product semantics and reference-only language",
2121
"eighth-gate total proof that every live inference path is explainable from the explicit prompt substrate"
2222
],
2323
"openCompletenessDimensions": [],
@@ -210,7 +210,7 @@
210210
"missingFiles": [],
211211
"promptSpaceRole": "raw-promptpart-carry-through",
212212
"closureTier": "fifth-gate-baseline",
213-
"fifthGateUse": "Prevents runtime JavaScript from silently preserving old-world prompt text after TypeScript prompt reform.",
213+
"fifthGateUse": "Prevents runtime JavaScript from silently preserving non-Bitcode prompt text after TypeScript prompt reform.",
214214
"laterGateRemaining": "The full raw promptpart reservoir remains subject to later prompt-space saturation and product-copy quality review."
215215
},
216216
{

.bitcode/prompt-system-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-prompt-system-totality-proof",
33
"version": "V26",
4-
"proofSourceCommit": "288a6db8d92ac876a80b811dfecf8eb71a7798f5",
5-
"generatedAt": "2026-05-05T21:59:08-03:00",
4+
"proofSourceCommit": "93b652b76315046863c456db20b6970460bd7901",
5+
"generatedAt": "2026-05-06T01:29:27-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

0 commit comments

Comments
 (0)