teleo/teleo-infrastructure
8
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions 1

Retain VPS-schema proposal lifecycle proof

Browse source
This commit is contained in:
twentyOne2x 2026-07-15 05:32:03 +02:00
parent 0125fbff12
commit 0ce09dbc78
2 changed files with 608 additions and 566 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1072
docs/reports/leo-working-state-20260709/proposal-apply-lifecycle-canary-current.json
View file

File diff suppressed because it is too large Load diff

102
docs/reports/leo-working-state-20260709/proposal-apply-lifecycle-receipt-current.json
View file

@ -1,66 +1,68 @@
{ {
"applied_row_ids": { "applied_row_keys": {
"claim_edges": [ "claim_edges": [
"b28d8770-9ac9-5b5f-bfe2-7280d7422a21" "3ff15dc5-f9e8-5079-8e70-dc51d6f3e4c8"
], ],
"claim_evidence": [ "claim_evidence": [
"13e580c5-458d-5146-aef3-8c74ffc43b7c", "32cc5b57-0d89-58aa-9cc1-f9e0c63947fb|bf697d93-8b77-5e2b-a6c0-0825e5ba76fd|grounds",
"dac3934f-b7ad-5205-8efe-a00163370a54" "4d8f5ef5-d1a3-5043-a9e8-fdc202c10d95|7a2198b6-16b2-52c6-a641-7ad59826e5bf|illustrates"
], ],
"claims": [ "claims": [
"38dead14-6b1d-5909-99c4-3c45ad2dd21f", "32cc5b57-0d89-58aa-9cc1-f9e0c63947fb",
"71a3331b-fb75-5e18-aa61-b256bc38af36" "4d8f5ef5-d1a3-5043-a9e8-fdc202c10d95"
], ],
"reasoning_tools": [ "reasoning_tools": [
"2b8a01ea-125c-5d90-a9b9-39ccb0a1c9e0" "41b58d96-37f6-526c-b021-58f1dbcfdb6c"
], ],
"sources": [ "sources": [
"a86f55dc-5058-585d-b492-a4f1d932670f", "7a2198b6-16b2-52c6-a641-7ad59826e5bf",
"ed9da5f1-846e-5298-8689-15027a7ce56d" "bf697d93-8b77-5e2b-a6c0-0825e5ba76fd"
] ]
}, },
"applied_row_sha256": { "applied_row_sha256": {
"claim_edges": [ "claim_edges": [
"60d14cbc45d424fa1eb62db6478f185bf2c2d86559e57ffa77474e8d0b3c527c" "65e5186be950498bd8ff8ef2043804181ec5bef02c9c1bb36a965dd9410e8b5b"
], ],
"claim_evidence": [ "claim_evidence": [
"e97de162c0730da69b357e1350f0da7e5843c4e67d498c12d731a0f04a8868d7", "9164b7c63641e5cbf5422f50299490053d547ba6ce1108c970b1ebfb89dc8e25",
"3054718195abe3f78e08cfcacd59902d41eb91c7153c6c63f9bcb3bc7c6902ac" "c098ddaadc9b7d14e3f0d48f844b88750fc7529813a20762240557abcdb1391b"
], ],
"claims": [ "claims": [
"e593b9cf7b0bc9267f3e48d8173129b84b09c028f290f1abc97ccb73940b31dc", "e8cb8a99124bcc1f98fb0316132155c4db6d9dd12879f40a0ece82cc97e54085",
"24280b5159cbbf75e00eb24ae50ab69994397a583f347a241a5e262cf0c03179" "4ffd395e8534ab7c9d565147667c8e207eacf70dbfcae6e8959e9b9203e4429f"
], ],
"reasoning_tools": [ "reasoning_tools": [
"257924b236c3c27289b9ae2314687be0e96779415fc6ff87faada22893b757ba" "355dee4df27c89809daa214fde69fdfb9f15fc2a29f3985582fe69d7bd797598"
], ],
"sources": [ "sources": [
"d7a690c2b18701db5b48e8189b1621c8025c1ed75889a4d0a3a4c9761c03dc3b", "cea718e74eb3d2c2672491e2e6fc523c4c4a4ae3060babbb24652f8004a2c7fd",
"bee048794799006bd00bf4bb02ae57998e670f5bcdfb140dff871dcb042d0198" "d31a88fff760ed8d5985a2557f20524a372a0ea94893b7ad1aa1d24e6fe58050"
] ]
}, },
"apply_payload_sha256": "c89bc03ce7714f325293329a0bf95eaba0a56c596ef021d731b48dab0447c684", "apply_payload_sha256": "89faf1f2fc9481574934de0eefb91cb8056e10784ec0f966c621621ff4f91b02",
"apply_receipt_sha256": "2aa65fe4509c6699af34e418de27c0225efe751223aaebf3f9b545fa159c754e", "apply_receipt_sha256": "456247af33d4222f76c47c0a4e9228135d7a46c2c04c0f9c928b6bae5f30cde8",
"apply_sql_sha256": "1a7d65870e415ee8891b6dd84732a29bcee00412c10862d3d1db4b191a8ade38", "apply_sql_sha256": "5e93caad9e259d34b2ed02f98825a41b48cff4cfe0678d60a43ed1d08298ce7a",
"approval_snapshot_sha256": "310b54030e26ed43d7226f2e803610586e80d21ff064c67e11ea21e93ef40bd9", "approval_snapshot_sha256": "ae28ff3694a19603b562f3233772ea68371702f22732026c75c33af944428dab",
"artifact": "proposal_apply_lifecycle_receipt", "artifact": "proposal_apply_lifecycle_receipt",
"checks": { "checks": {
"apply_receipt_replay_ready": true, "apply_receipt_replay_ready": true,
"apply_rows_have_exact_ids": true, "apply_rows_have_exact_ids": true,
"fresh_owned_preflight_consumed_by_apply": true,
"fresh_owned_targets": true, "fresh_owned_targets": true,
"immutable_approval_unchanged": true, "immutable_approval_unchanged": true,
"rollback_counts_restored": true, "rollback_counts_restored": true,
"rollback_ledger_restored_to_approved": true, "rollback_ledger_quarantined_from_worker": true,
"rollback_replay_refused_without_mutation": true, "rollback_replay_refused_without_mutation": true,
"rollback_sql_exact_for_bound_rows": true, "rollback_sql_exact_for_bound_rows": true,
"rollback_target_rows_absent": true, "rollback_target_rows_absent": true,
"unrelated_rows_unchanged": true "unrelated_rows_unchanged": true
}, },
"current_tier": "T2_runtime", "current_tier": "T2_runtime",
"fresh_preflight_artifact_sha256": "1d5e7eed7355aa94ecfa213422e6178aecdeee70628994596e852bd7569d6a2d", "fresh_owned_apply_sql_sha256": "5e93caad9e259d34b2ed02f98825a41b48cff4cfe0678d60a43ed1d08298ce7a",
"fresh_preflight_sha256": "29a80dc9422af45fd067e98621442d31c60161f34deb5845aa410659a9c5de3a", "fresh_preflight_artifact_sha256": "33ae0ebf83cb0d29c0f07e45587b912f7716faa7360ec585c46b65e593723dee",
"generated_at_utc": "2026-07-15T01:59:05.526171+00:00", "fresh_preflight_sha256": "3c4a6b90e6cbb7aa9f93966465f26ada386c2e3bd8326a8bfb23c2efb0c142b8",
"lifecycle_receipt_sha256": "8e74cf1f5c372633f9b6f15363ff759ba6ce9bf42df51288bb9be70ddabe49b3", "generated_at_utc": "2026-07-15T03:30:13.458916+00:00",
"lifecycle_receipt_sha256": "6a94df2a04b9b71f931d23d5e5fba3aa295395f9ef636f490bcffdd43d1af697",
"pass": true, "pass": true,
"production_apply_authorization_present": false, "production_apply_authorization_present": false,
"production_apply_executed": false, "production_apply_executed": false,
@ -68,7 +70,7 @@
"applied_at": null, "applied_at": null,
"applied_by_agent_id": null, "applied_by_agent_id": null,
"applied_by_handle": null, "applied_by_handle": null,
"id": "9b2b5fa4-0e0d-5db0-aa4d-6fd102889946", "id": "0b5cfd03-8c1f-509a-b1e1-a05e45164d8d",
"payload": { "payload": {
"apply_payload": { "apply_payload": {
"agent_id": null, "agent_id": null,
@ -76,7 +78,7 @@
{ {
"confidence": 0.9, "confidence": 0.9,
"created_by": null, "created_by": null,
"id": "38dead14-6b1d-5909-99c4-3c45ad2dd21f", "id": "32cc5b57-0d89-58aa-9cc1-f9e0c63947fb",
"status": "open", "status": "open",
"superseded_by": null, "superseded_by": null,
"tags": [ "tags": [
@ -89,7 +91,7 @@
{ {
"confidence": 0.85, "confidence": 0.85,
"created_by": null, "created_by": null,
"id": "71a3331b-fb75-5e18-aa61-b256bc38af36", "id": "4d8f5ef5-d1a3-5043-a9e8-fdc202c10d95",
"status": "open", "status": "open",
"superseded_by": null, "superseded_by": null,
"tags": [ "tags": [
@ -105,24 +107,24 @@
{ {
"created_by": null, "created_by": null,
"edge_type": "supports", "edge_type": "supports",
"from_claim": "38dead14-6b1d-5909-99c4-3c45ad2dd21f", "from_claim": "32cc5b57-0d89-58aa-9cc1-f9e0c63947fb",
"to_claim": "71a3331b-fb75-5e18-aa61-b256bc38af36", "to_claim": "4d8f5ef5-d1a3-5043-a9e8-fdc202c10d95",
"weight": 0.75 "weight": 0.75
} }
], ],
"evidence": [ "evidence": [
{ {
"claim_id": "38dead14-6b1d-5909-99c4-3c45ad2dd21f", "claim_id": "32cc5b57-0d89-58aa-9cc1-f9e0c63947fb",
"created_by": null, "created_by": null,
"role": "grounds", "role": "grounds",
"source_id": "ed9da5f1-846e-5298-8689-15027a7ce56d", "source_id": "bf697d93-8b77-5e2b-a6c0-0825e5ba76fd",
"weight": 0.9 "weight": 0.9
}, },
{ {
"claim_id": "71a3331b-fb75-5e18-aa61-b256bc38af36", "claim_id": "4d8f5ef5-d1a3-5043-a9e8-fdc202c10d95",
"created_by": null, "created_by": null,
"role": "illustrates", "role": "illustrates",
"source_id": "a86f55dc-5058-585d-b492-a4f1d932670f", "source_id": "7a2198b6-16b2-52c6-a641-7ad59826e5bf",
"weight": 0.8 "weight": 0.8
} }
], ],
@ -131,7 +133,7 @@
"agent_id": null, "agent_id": null,
"category": "verification", "category": "verification",
"description": "Verify approved proposal to canonical graph lifecycle in a disposable clone.", "description": "Verify approved proposal to canonical graph lifecycle in a disposable clone.",
"id": "2b8a01ea-125c-5d90-a9b9-39ccb0a1c9e0", "id": "41b58d96-37f6-526c-b021-58f1dbcfdb6c",
"name": "Canonical row proof canary" "name": "Canonical row proof canary"
} }
], ],
@ -139,8 +141,8 @@
{ {
"created_by": null, "created_by": null,
"excerpt": "Disposable clone lifecycle canary source A.", "excerpt": "Disposable clone lifecycle canary source A.",
"hash": "approve-claim-canary-08c2358330-a", "hash": "approve-claim-canary-4d6107db5d-a",
"id": "ed9da5f1-846e-5298-8689-15027a7ce56d", "id": "bf697d93-8b77-5e2b-a6c0-0825e5ba76fd",
"source_type": "observation", "source_type": "observation",
"storage_path": null, "storage_path": null,
"url": null "url": null
@ -148,8 +150,8 @@
{ {
"created_by": null, "created_by": null,
"excerpt": "Disposable clone lifecycle canary source B.", "excerpt": "Disposable clone lifecycle canary source B.",
"hash": "approve-claim-canary-08c2358330-b", "hash": "approve-claim-canary-4d6107db5d-b",
"id": "a86f55dc-5058-585d-b492-a4f1d932670f", "id": "7a2198b6-16b2-52c6-a641-7ad59826e5bf",
"source_type": "observation", "source_type": "observation",
"storage_path": null, "storage_path": null,
"url": null "url": null
@ -159,12 +161,12 @@
}, },
"proposal_type": "approve_claim", "proposal_type": "approve_claim",
"review_note": "Reviewed exact strict payload inside the disposable clone.", "review_note": "Reviewed exact strict payload inside the disposable clone.",
"reviewed_at": "2026-07-15 01:59:03.105846+00", "reviewed_at": "2026-07-15 03:30:07.092864+00",
"reviewed_by_agent_id": "11111111-1111-4111-8111-111111111111", "reviewed_by_agent_id": "99999999-9999-9999-9999-999999999999",
"reviewed_by_handle": "m3ta", "reviewed_by_handle": "m3ta",
"status": "approved" "status": "approved"
}, },
"proposal_payload_sha256": "6fba5e8e105a28dfaf5733ff7c9f85a20d31d653add0bc4a0f81e4b08de803af", "proposal_payload_sha256": "3e499f82baa1fa80dba0fdeee7133dfec9c92f111a9cd1aa0b77fe0a3c12c112",
"required_tier": "T2_runtime", "required_tier": "T2_runtime",
"rollback": { "rollback": {
"counts_after_rollback": { "counts_after_rollback": {
@ -194,16 +196,16 @@
"applied_at": null, "applied_at": null,
"applied_by_agent_id": null, "applied_by_agent_id": null,
"applied_by_handle": null, "applied_by_handle": null,
"id": "9b2b5fa4-0e0d-5db0-aa4d-6fd102889946", "id": "0b5cfd03-8c1f-509a-b1e1-a05e45164d8d",
"proposal_type": "approve_claim", "proposal_type": "approve_claim",
"review_note": "Reviewed exact strict payload inside the disposable clone.", "review_note": "Reviewed exact strict payload inside the disposable clone.",
"reviewed_at": "2026-07-15 01:59:03.105846+00", "reviewed_at": "2026-07-15 03:30:07.092864+00",
"reviewed_by_agent_id": "11111111-1111-4111-8111-111111111111", "reviewed_by_agent_id": "99999999-9999-9999-9999-999999999999",
"reviewed_by_handle": "m3ta", "reviewed_by_handle": "m3ta",
"status": "approved" "status": "canceled"
}, },
"rollback_sql_sha256": "ef2464a6802426509333861cf0768ca64184901ab7bd2030529e7356a35d9cb3", "rollback_sql_sha256": "5b184fc6a65373549b257c3dd40abac91bb90bd4c75b890798fcabc4174dee7b",
"schema": "livingip.proposalApplyRollback.v1", "schema": "livingip.proposalApplyRollback.v2",
"target_rows_after": { "target_rows_after": {
"claim_edges": [], "claim_edges": [],
"claim_evidence": [], "claim_evidence": [],
@ -212,6 +214,6 @@
"sources": [] "sources": []
} }
}, },
"schema": "livingip.proposalApplyLifecycleReceipt.v1", "schema": "livingip.proposalApplyLifecycleReceipt.v2",
"strongest_claim_allowed": "deterministic disposable-clone apply and compensating rollback" "strongest_claim_allowed": "deterministic disposable-clone apply and compensating rollback"
} }