Skip to content

Commit a6afcbc

Browse files
KSemenenkoKSemenenko
committed
Record exact-source composition test evidence and remaining gates
1 parent ca7e22d commit a6afcbc

6 files changed

Lines changed: 345 additions & 32 deletions

‎docs/Features/DatabaseComposition.md‎

Lines changed: 12 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -126,12 +126,16 @@ lease/ACK composition requires a separate inbox saved-authority replay contract.
126126
## Evidence and remaining delivery gates
127127

128128
The [source-stage receipt](../implementation/database-composition-source-stage-001.json)
129-
binds the proposed source to its pre-change commit, file hashes and original local
130-
reports. Local Release build, formatter, governance, normal/scalar composition and
131-
real process-kill checks do not replace delivered-source Linux Actions. The full
132-
local unit suite retains baseline failures, so its complete gate is failed. RF3
133-
SQL/.NET/official MCP cases require genuine workflow images and receipts; no local
134-
image-identity bypass is permitted. Website source is updated; publication waits
135-
for the existing complete Benchmarks/site gates. Full model SQL sources/joins/DML,
136-
native client sessions, distributed composition and comparable performance remain
129+
retains the initial source packet and historical development/Actions results. The
130+
[latest integrated receipt](../implementation/database-composition-integrated-stage-004.json)
131+
records original Linux Actions for `ca7e22d9c201304f0b81f59f3a0ae18e4125be37`:
132+
32/32 composition unit cases, 7/7 composition process-recovery cases and both
133+
SQL/.NET/official MCP RF3 composition cases pass. The complete process-recovery
134+
suite passes 194/194 and genuine Docker/Aspire RF3 passes 67/67. Build, formatter,
135+
governance and analyzers pass. The normal unit suite passes 2573/2576 with three
136+
errors; the complete scalar suite is skipped, so full qualification remains open.
137+
Local development results and process kills do not prove GitHub scalar or
138+
power-loss qualification. Website source is updated; publication waits for the
139+
existing complete Benchmarks/site gates. Full model SQL sources/joins/DML, native
140+
client sessions, distributed composition and comparable performance remain
137141
mandatory future stages.

‎docs/implementation/database-composition-copy-stage-003.json‎

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -68,15 +68,24 @@
6868
"pushedTo": "main",
6969
"ciRunId": 37125791272,
7070
"ciUrl": "https://github.com/managedcode/KeyLoad/actions/runs/37125791272",
71-
"ciStatus": "pending_zero_jobs_original_artifacts_not_yet_available",
71+
"ciStatus": "automatically_cancelled_zero_jobs_by_newer_main_source",
7272
"supersededPushRunId": 37125776668,
7373
"supersededPushStatus": "automatically_cancelled_zero_jobs_by_explicit_canonical_dispatch",
74-
"runtimeQualified": false
74+
"runtimeQualified": false,
75+
"latestIntegratedEvidence": "docs/implementation/database-composition-integrated-stage-004.json"
7576
},
7677
"remainingGates": [
7778
"Delivered-source complete Linux normal/scalar/recovery/RF3 CI",
7879
"Same-run complete Benchmarks archive coverage site and publication pipeline"
7980
],
8081
"fullDeclarativeSqlComplete": false,
81-
"websitePublished": false
82+
"websitePublished": false,
83+
"latestIntegratedEvidence": "docs/implementation/database-composition-integrated-stage-004.json",
84+
"copySourceDelivery": {
85+
"sourceRevision": "bfb04d64bf9c0ca8a1ab6e0c703194e1813250f0",
86+
"pushedTo": "main",
87+
"sourceScope": "The three reviewed composition copy files and this source-stage receipt were integrated in this revision; mandatory complete site publication gates remain pending",
88+
"integratedEvidence": "docs/implementation/database-composition-integrated-stage-004.json",
89+
"websitePublished": false
90+
}
8291
}

‎docs/implementation/database-composition-fixture-stage-002.json‎

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"schema": "keyload.database-composition.fixture-stage.v1",
3-
"status": "verified_development_snapshot_genuine_RF3_rerun_required",
3+
"status": "fixture_source_delivered_RF3_passed_full_qualification_pending",
44
"decision": "docs/ADR/ADR-067-composable-agent-database.md",
55
"task": "TASK-COMP-007",
66
"acceptance": [
@@ -149,17 +149,19 @@
149149
"pushedTo": "main",
150150
"ciRunId": 37125791272,
151151
"ciUrl": "https://github.com/managedcode/KeyLoad/actions/runs/37125791272",
152-
"ciStatus": "pending_zero_jobs_original_artifacts_not_yet_available",
152+
"ciStatus": "automatically_cancelled_zero_jobs_by_newer_main_source",
153153
"supersededPushRunId": 37125776668,
154154
"supersededPushStatus": "automatically_cancelled_zero_jobs_by_explicit_canonical_dispatch",
155-
"runtimeQualified": false
155+
"runtimeQualified": false,
156+
"latestIntegratedEvidence": "docs/implementation/database-composition-integrated-stage-004.json"
156157
},
157158
"remainingGates": [
158-
"Delivered-source complete normal/scalar/process recovery CI",
159-
"Both genuine Docker Aspire RF3 SQL SDK official MCP composition cases",
159+
"Complete delivered-source Linux unit/scalar gates; full process recovery and RF3 pass in latest integrated receipt",
160+
"Full SQL all-model and distributed composition qualification",
160161
"Complete Benchmarks/site publication inputs"
161162
],
162163
"fullDeclarativeSqlComplete": false,
163164
"allModelCompositionQualified": false,
164-
"websitePublished": false
165+
"websitePublished": false,
166+
"latestIntegratedEvidence": "docs/implementation/database-composition-integrated-stage-004.json"
165167
}

‎docs/implementation/database-composition-integrated-stage-004.json‎

Lines changed: 283 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,283 @@
1+
{
2+
"schema": "keyload.database-composition.integrated-verification.v1",
3+
"status": "bounded_source_delivered_full_qualification_pending",
4+
"decision": "docs/ADR/ADR-067-composable-agent-database.md",
5+
"feature": "docs/Features/DatabaseComposition.md",
6+
"sourceRevision": "bfb04d64bf9c0ca8a1ab6e0c703194e1813250f0",
7+
"observedMainRevision": "ca7e22d9c201304f0b81f59f3a0ae18e4125be37",
8+
"observedMainRuntimeAndTestSourceEquivalent": true,
9+
"sourceIdentity": [
10+
{
11+
"path": "src",
12+
"gitObjectId": "a896d5fbff18309d1765a5836d2420d9bee82e25"
13+
},
14+
{
15+
"path": "tests",
16+
"gitObjectId": "fc103a7f5a58d564291685406c1bd6b79f98a972"
17+
},
18+
{
19+
"path": "benchmarks",
20+
"gitObjectId": "0f2f791f48c593b62c3bed1e458682960b8135e3"
21+
},
22+
{
23+
"path": "scripts",
24+
"gitObjectId": "3fa3c52e22bf3465150f9de18c526c57f4c23b49"
25+
},
26+
{
27+
"path": "site",
28+
"gitObjectId": "03a9c69c038feeb4ba49329605c437a95e837d50"
29+
},
30+
{
31+
"path": ".github",
32+
"gitObjectId": "11c5da54bcebdc2eb26a2860a3bcc743f6804792"
33+
},
34+
{
35+
"path": "AGENTS.md",
36+
"gitObjectId": "b204776f779e590f97a4b8d30a9fee4733efb144"
37+
},
38+
{
39+
"path": "Directory.Build.props",
40+
"gitObjectId": "21bdbccddeecfefdd04eeec1bbe2013754da01a6"
41+
},
42+
{
43+
"path": "Directory.Build.targets",
44+
"gitObjectId": "714268742fc3b4bc3fa71970bcc6fd5056cecebc"
45+
},
46+
{
47+
"path": "Directory.Packages.props",
48+
"gitObjectId": "5e03c04b0db2d673a9a6cb921b17e144394108b4"
49+
},
50+
{
51+
"path": "global.json",
52+
"gitObjectId": "5318a83cfaaac20d7388429baf6ad9d67553d7b2"
53+
},
54+
{
55+
"path": ".editorconfig",
56+
"gitObjectId": "7a5cd049ce8dba6f4ba68896305b39802977c733"
57+
},
58+
{
59+
"path": "KeyLoad.slnx",
60+
"gitObjectId": "4608a87d384a00345e56d113d3e78137fccd69e0"
61+
}
62+
],
63+
"localDevelopment": {
64+
"os": "macOS/Darwin 27",
65+
"architecture": "arm64",
66+
"dotnetSdk": "10.0.401",
67+
"githubQualification": false,
68+
"sourceFixture": "/private/tmp/keyload-composition-integrated-bfb-check",
69+
"fixtureMetadata": {
70+
"path": "/private/tmp/keyload-composition-integrated-bfb-check/source.json",
71+
"sha256": "28d9556de52a6096780ffc8fd3eab18c936d07e487936106ea3b6aca4bfe1a3d"
72+
},
73+
"build": {
74+
"exitCode": 0,
75+
"projects": 26,
76+
"warnings": 0,
77+
"errors": 0,
78+
"log": {
79+
"path": "/private/tmp/keyload-composition-integrated-bfb-build.log",
80+
"sha256": "e71ce521de829513cbd770737b332cd5ebf1d2f4f2e9c299ea6b09af2edf8185"
81+
}
82+
},
83+
"format": {
84+
"exitCode": 0,
85+
"log": {
86+
"path": "/private/tmp/keyload-composition-integrated-bfb-format.log",
87+
"sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
88+
}
89+
},
90+
"governance": {
91+
"exitCode": 0,
92+
"log": {
93+
"path": "/private/tmp/keyload-composition-integrated-bfb-governance.log",
94+
"sha256": "76cb9ab8d9569308e691c3b773158a6447ff5fb4be35c6528a3497948ddd31ae"
95+
}
96+
},
97+
"normal": {
98+
"path": "/private/tmp/keyload-composition-integrated-bfb-unit-canonical-results/KeyLoad.UnitTests_net10.0_arm64.trx",
99+
"sha256": "d98d101da739809b8c9c601d23f07151361ce15a48846b0c690a9b7480dd24cf",
100+
"total": 2576,
101+
"passed": 2573,
102+
"failed": 3,
103+
"notExecuted": 0,
104+
"compositionPassed": 32,
105+
"failedNames": [
106+
"AcIso004InvalidGuardEncodingFailsClosed(null)",
107+
"AcMp006_MissingAndMalformedStoredBodiesStillRejectThenRecover",
108+
"CancelledNativeCompareExchangeDoesNotCreateAnyMembershipRow"
109+
]
110+
},
111+
"normalFixture": "Actual owning-repository Git objects detached at sourceRevision, unchanged tracked files; TMPDIR=/private/tmp physical base. No GitHub executor fields, assertions or production path guards altered.",
112+
"normalFullGatePassed": false,
113+
"fullScalarExecuted": false,
114+
"compositionScalar": {
115+
"path": "/private/tmp/keyload-composition-integrated-bfb-scalar-results/KeyLoad.UnitTests_net10.0_arm64.trx",
116+
"sha256": "868354b60cca0e40aafc72ee4e93a30b5bb3497e602ef8e8764f295eed400cb3",
117+
"total": 32,
118+
"passed": 32,
119+
"failed": 0,
120+
"notExecuted": 0,
121+
"compositionPassed": 32,
122+
"failedNames": []
123+
},
124+
"scalarSetting": "DOTNET_EnableHWIntrinsic=0",
125+
"fullProcessRecovery": {
126+
"path": "/private/tmp/keyload-composition-integrated-bfb-recovery-results/KeyLoad.RecoveryTests_net10.0_arm64.trx",
127+
"sha256": "a91471bc2cf40e8c6700f7fa39015276121e5948e080086b0267530130433740",
128+
"total": 194,
129+
"passed": 194,
130+
"failed": 0,
131+
"notExecuted": 0,
132+
"compositionPassed": 7,
133+
"failedNames": []
134+
},
135+
"powerLossQualified": false,
136+
"initialArchiveNormalAttempt": {
137+
"path": "/private/tmp/keyload-composition-integrated-bfb-unit-results/KeyLoad.UnitTests_net10.0_arm64.trx",
138+
"sha256": "6257f7fae4a4ea393fbce136d4d1e5b3cac0470c14fa99982c36f9b0b1e57b88",
139+
"total": 2576,
140+
"passed": 2561,
141+
"failed": 15,
142+
"notExecuted": 0,
143+
"compositionPassed": 32,
144+
"failedNames": [
145+
"AcIso004InvalidGuardEncodingFailsClosed(null)",
146+
"AcIso006BundleValidationRejectsChangedOrUnsafeEvidence(valid)",
147+
"AC_ISO_007_MissingDuplicateAndFailedProofCellsCannotCreateOutput",
148+
"AC_ISO_007_PreservesWhitespaceAndRawHashAndRejectsOversizedInput",
149+
"AC_ISO_007_UnsafePathsAndSymlinksLeaveExistingPublicationByteIdentical",
150+
"AcIso007RealNativeFileStreamAndInventoryRejectChangedOrUnsafeEvidence(valid)",
151+
"AC_ISO_007_SuppliedWorkerHashMismatchCannotCreatePublication",
152+
"AcIso007ControlledHeaderBoundaryPreservesBinaryBodyAcrossChunks(4096)",
153+
"AcIso007ControlledHeaderBoundaryPreservesBinaryBodyAcrossChunks(1)",
154+
"AcIso007ControlledHeaderBoundaryPreservesBinaryBodyAcrossChunks(7)",
155+
"AcIso002CliRetainsFullPlanAndEmitsBothCompleteGithubMatrices",
156+
"AcMp006_MissingAndMalformedStoredBodiesStillRejectThenRecover",
157+
"CancelledNativeCompareExchangeDoesNotCreateAnyMembershipRow",
158+
"RealStorePersistsNativeSnapshotAndRejectsStaleCompareExchange",
159+
"NativeIncomingDescriptorResumesAndLegacyDescriptorRefusesWithoutDeletingPartialImage"
160+
]
161+
},
162+
"initialAttemptLimit": "Unchanged archive lacked Git metadata and used macOS TMPDIR through /var symlink. CLI/path fixture errors motivated the physical-temp real-Git rerun; no product checks disabled."
163+
},
164+
"githubQualification": {
165+
"sourceRevision": "ca7e22d9c201304f0b81f59f3a0ae18e4125be37",
166+
"ciRunId": 37126562970,
167+
"ciUrl": "https://github.com/managedcode/KeyLoad/actions/runs/37126562970",
168+
"status": "failure_original_Linux_reports_verified",
169+
"linuxOnly": true,
170+
"runtimeQualified": false,
171+
"sourceEquivalentToLocalCommittedFixture": true,
172+
"sourceDeliveryHistory": [
173+
{
174+
"revision": "b8ee2a3f67da345fbe809d6f40270e36d901c58d",
175+
"runId": 37125791272,
176+
"status": "cancelled_zero_jobs"
177+
},
178+
{
179+
"revision": "bfb04d64bf9c0ca8a1ab6e0c703194e1813250f0",
180+
"runId": 37126290194,
181+
"status": "cancelled_zero_jobs"
182+
},
183+
{
184+
"revision": "c86b098b3b8cf2e08c414a6c79dc814d1195e5b3",
185+
"runId": 37126493055,
186+
"status": "cancelled_zero_jobs"
187+
}
188+
],
189+
"rf3": {
190+
"jobId": 111213726275,
191+
"jobUrl": "https://github.com/managedcode/KeyLoad/actions/runs/37126562970/job/111213726275",
192+
"jobConclusion": "success",
193+
"total": 67,
194+
"passed": 67,
195+
"failed": 0,
196+
"skipped": 0,
197+
"compositionPassed": 2,
198+
"compositionTotal": 2,
199+
"reportSha256": "adbc51da8e77398835f688d58f18fd5760049f63b3b1c4d67b91f437ebdff12a",
200+
"artifactId": 11275304182,
201+
"artifactName": "docker-rf3-qualification",
202+
"artifactSha256": "10802d43d347dc2cd18110963b375882d1c7abb98d5ca494290da1c0dc9ba812",
203+
"originalReportFormat": "TUnit_JSON",
204+
"sourceIdentityVerified": true,
205+
"cancelled": 0,
206+
"timedOut": 0,
207+
"flaky": 0,
208+
"reportArtifactPath": "TestResults/KeyLoad.IntegrationTests-linux-net10.0.tunit-report.json"
209+
},
210+
"ciConclusion": "failure",
211+
"verifyJobId": 111214136684,
212+
"verifyJobUrl": "https://github.com/managedcode/KeyLoad/actions/runs/37126562970/job/111214136684",
213+
"buildFormatGovernanceAnalyzers": "passed",
214+
"normal": {
215+
"total": 2576,
216+
"passed": 2573,
217+
"failed": 3,
218+
"skipped": 0,
219+
"cancelled": 0,
220+
"timedOut": 0,
221+
"flaky": 0,
222+
"compositionPassed": 32,
223+
"compositionTotal": 32,
224+
"reportSha256": "9425b903887d06a728ad00259a3ea4d4a40d3c96563b7a5c820f1eb30bf68acb",
225+
"reportArtifactPath": "TestResults/KeyLoad.UnitTests-linux-net10.0.tunit-report.json",
226+
"sourceIdentityVerified": true,
227+
"failedNames": [
228+
"AcMp006_MissingAndMalformedStoredBodiesStillRejectThenRecover",
229+
"AcIso004InvalidGuardEncodingFailsClosed(null)",
230+
"CancelledNativeCompareExchangeDoesNotCreateAnyMembershipRow"
231+
],
232+
"documentMutationImagePassed": 2
233+
},
234+
"scalar": "skipped_after_normal_failure_no_original_report",
235+
"recovery": {
236+
"total": 194,
237+
"passed": 194,
238+
"failed": 0,
239+
"skipped": 0,
240+
"cancelled": 0,
241+
"timedOut": 0,
242+
"flaky": 0,
243+
"compositionPassed": 7,
244+
"compositionTotal": 7,
245+
"reportSha256": "9e7f22202880bcb3508ed9b6241593ed001f7559ad69004231b4d2738b8b86d9",
246+
"reportArtifactPath": "TestResults/KeyLoad.RecoveryTests-linux-net10.0.tunit-report.json",
247+
"sourceIdentityVerified": true
248+
},
249+
"fullGatePassed": false,
250+
"artifacts": [
251+
{
252+
"id": 11276010074,
253+
"name": "test-results-ubuntu-latest",
254+
"sha256": "97f008284fc00fd5fb7ad42534f7f5741f02e3949774889b8299d7bd277ecf10",
255+
"url": "https://github.com/managedcode/KeyLoad/actions/runs/37126562970/artifacts/11276010074"
256+
},
257+
{
258+
"id": 11275304182,
259+
"name": "docker-rf3-qualification",
260+
"sha256": "10802d43d347dc2cd18110963b375882d1c7abb98d5ca494290da1c0dc9ba812",
261+
"url": "https://github.com/managedcode/KeyLoad/actions/runs/37126562970/artifacts/11275304182"
262+
}
263+
],
264+
"originalReportFormat": "TUnit_JSON",
265+
"powerLossQualified": false
266+
},
267+
"sourceScope": [
268+
"One linked AI-agent database in mandatory rules architecture ADR feature README and site source",
269+
"Same-partition QueueToGraph and GraphToQueue through authorized SQL CALL SDK and official MCP",
270+
"Deterministic bounded atomic primitive effects with private persisted replay row authority"
271+
],
272+
"fullDeclarativeSqlComplete": false,
273+
"nativeSqlClientProtocolComplete": false,
274+
"crossPartitionCompositionComplete": false,
275+
"allModelCompositionQualified": false,
276+
"websitePublished": false,
277+
"remainingGates": [
278+
"Complete delivered-source Linux normal/scalar gates: three original unit errors remain and scalar is skipped; all 194 process recovery and 67 RF3 tests pass",
279+
"Full SQL model sources joins DML and client protocol",
280+
"All-model/distributed fault endurance and comparable performance",
281+
"Same-run complete Benchmarks archive coverage site and publication"
282+
]
283+
}

‎docs/implementation/database-composition-source-stage-001.json‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -330,15 +330,15 @@
330330
"sameFailureCausesProven": false,
331331
"caveat": "Ubuntu CI and macOS local baseline differ; same names do not prove identical causes"
332332
},
333-
"latestIntegratedSourceRevision": "ca22b1baa919198c81749d86ffab56df24ec9317",
334-
"latestIntegratedCiRunId": 37124217640,
335-
"latestIntegratedCiUrl": "https://github.com/managedcode/KeyLoad/actions/runs/37124217640",
333+
"latestIntegratedSourceRevision": "ca7e22d9c201304f0b81f59f3a0ae18e4125be37",
334+
"latestIntegratedCiRunId": 37126562970,
335+
"latestIntegratedCiUrl": "https://github.com/managedcode/KeyLoad/actions/runs/37126562970",
336336
"latestIntegratedCiStatus": "failure_original_Linux_reports_verified",
337-
"latestIntegratedEvidence": "docs/implementation/database-composition-fixture-stage-002.json"
337+
"latestIntegratedEvidence": "docs/implementation/database-composition-integrated-stage-004.json"
338338
},
339339
"remainingGates": [
340-
"Delivered-source full build/format/governance and TUnit normal/scalar/process recovery",
341-
"Genuine Docker/Aspire RF3 SQL/.NET/official MCP cases with original image receipts",
340+
"Complete delivered-source Linux normal/scalar gates: see latest integrated receipt for original three unit errors and skipped scalar",
341+
"All 67 genuine Docker/Aspire RF3 tests pass on latest integrated source, including both SQL/.NET/official MCP composition cases; retain exact-source proof for subsequent changes",
342342
"Full SQL model sources, joins, DML and native client-session interoperability",
343343
"All-model/distributed correctness, endurance, fault and comparable resource/performance qualification",
344344
"Complete Benchmarks and site pipeline before publication"

0 commit comments

Comments
 (0)