Skip to content

Commit 21370bf

Browse files
geraldarthurdavisgeraldarthurdavis
committed
wip v26
1 parent bdccd93 commit 21370bf

76 files changed

Lines changed: 1089 additions & 1611 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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

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

Lines changed: 2 additions & 2 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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"gate": "gate-5",

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

Lines changed: 2 additions & 2 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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"gate": "gate-5",

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

Lines changed: 2 additions & 2 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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"gate": "gate-4",

‎.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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

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

Lines changed: 4 additions & 4 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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,
@@ -43,11 +43,11 @@
4343
"packages/orm/src/models/bitcode-execution-storage.ts",
4444
"packages/orm/src/models/bitcode-execution-storage.d.ts",
4545
"packages/orm/src/profile-contract.ts",
46-
"packages/orm/src/queries/vector.ts",
4746
"packages/orm/src/types/database.generated.ts",
4847
"packages/orm/src/types/database.ts",
48+
"packages/orm/src/types/generated/asset_pack_pipeline.generated.ts",
49+
"packages/orm/tsconfig.json",
4950
"packages/orm/scripts/generate-db-types.ts",
50-
"packages/orm/scripts/generate-db-types.js",
5151
"packages/orm/src/__tests__/bitcode-execution-storage.test.ts",
5252
"uapi/app/edgetimes/edgetimes-topology.ts",
5353
"uapi/app/edgetimes/EdgetimesPageContent.tsx",

‎.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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

‎.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": "93b652b76315046863c456db20b6970460bd7901",
5-
"generatedAt": "2026-05-06T01:29:27-03:00",
4+
"proofSourceCommit": "bdccd937bbd9ae0997a3d8d1248a157c00574d46",
5+
"generatedAt": "2026-05-06T06:30:53-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
77
"worktreeState": "dirty-preview",
88
"passed": true,

0 commit comments

Comments
 (0)