causal-continuity-engine 0.1.0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- causal_continuity_engine/__init__.py +21 -0
- causal_continuity_engine/api.py +1264 -0
- causal_continuity_engine/capabilities.py +548 -0
- causal_continuity_engine/capsule.py +996 -0
- causal_continuity_engine/cli.py +1338 -0
- causal_continuity_engine/core.py +468 -0
- causal_continuity_engine/engine.py +4354 -0
- causal_continuity_engine/evidence.py +971 -0
- causal_continuity_engine/extraction.py +263 -0
- causal_continuity_engine/github.py +657 -0
- causal_continuity_engine/graph.py +809 -0
- causal_continuity_engine/invalidation.py +1040 -0
- causal_continuity_engine/lamport.py +306 -0
- causal_continuity_engine/learning.py +466 -0
- causal_continuity_engine/memory.py +610 -0
- causal_continuity_engine/ontology.py +108 -0
- causal_continuity_engine/partial.py +309 -0
- causal_continuity_engine/policy.py +940 -0
- causal_continuity_engine/proof.py +920 -0
- causal_continuity_engine/py.typed +1 -0
- causal_continuity_engine/redaction.py +94 -0
- causal_continuity_engine/resume.py +653 -0
- causal_continuity_engine/store.py +1174 -0
- causal_continuity_engine/verifiers.py +1006 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/SPEC.md +515 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/benchmarks/__init__.py +0 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/benchmarks/continuitybench/__init__.py +0 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/benchmarks/continuitybench/run.py +146 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/benchmarks/continuitybench/scenarios.py +544 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/schemas/cce.anchor.v1.json +62 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/schemas/cce.capsule.v1.json +112 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/schemas/cce.continuity-receipt.v1.json +315 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/schemas/cce.event.v1.json +73 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/schemas/cce.proof-predicate.v1.json +35 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/schemas/cce.proof.v1.json +242 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/schemas/cce.recovery.v1.json +109 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/schemas/cce.resume.v1.json +332 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/__init__.py +1 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/schema_validation.py +61 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_api_contract.py +1051 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_cli.py +664 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_conformance.py +758 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_distribution_environment.py +26 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_engine_e2e.py +286 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_github_redaction.py +193 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_instrument_validation.py +535 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_invalidation_resume.py +205 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_learning_partial_api.py +380 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_memory_extraction.py +151 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions.py +406 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round10_release.py +842 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round11_deep_integrity.py +831 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round12_release_blockers.py +206 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round13_jcs.py +212 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round14_state_integrity.py +1056 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round15_capsule_invalidation_github.py +251 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round15_public_boundaries.py +561 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round15_storage_boundaries.py +707 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round16_cli_api_core_capabilities.py +285 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round2.py +388 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round3.py +490 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round4.py +557 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round5.py +583 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round6.py +559 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round7.py +579 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round8_boundaries.py +558 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round8_engine.py +843 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round8_portability.py +2250 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round8_state.py +705 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round9_integrity.py +885 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_regressions_round9_scope_freshness.py +179 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_release_boundary_validation.py +676 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_release_controls.py +840 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_sqlite_lifecycle.py +52 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_store_graph.py +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/tests/test_trust.py +398 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/action_intent_wrong_type.json +170 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/actor_wrong_type.json +170 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/created_at_invalid_calendar_date.json +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/created_at_noncanonical_offset.json +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/empty_required_authoritative_failure.json +114 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/empty_required_authoritative_pass.json +107 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/empty_required_no_results.json +99 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/empty_required_self_asserted_pass.json +105 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/generate.py +498 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/incomplete_failed_check.json +168 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/index.json +240 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/input_item_wrong_type.json +163 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/invalid_result_value.json +170 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/lamport_fingerprint_spoof.json +1458 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/lamport_no_registry.json +1454 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/lamport_truncated_key.json +1454 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/missing_required_field.json +157 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/non_binary64_integer.json +174 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/policy_decision_wrong_type.json +146 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/retry_cannot_launder_a_failure.json +197 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/self_asserted_cannot_satisfy.json +173 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/self_assertion_cannot_poison_authoritative_pass.json +194 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/status_contradicts_contents.json +173 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/summary_contradicts_contents.json +170 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/tamper_statement.json +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/tamper_statement_resealed.json +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/task_id_under_unrelated_field.json +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/unbound_task.json +165 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/unknown_action_intent_field.json +173 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/unknown_algorithm.json +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/unknown_schema_version.json +170 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/unknown_top_level_field.json +175 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/unverified_forged_body_no_key.json +170 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/unverified_hmac_no_key.json +170 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/valid_hmac.json +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/valid_hmac_jcs_edges.json +186 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/valid_hmac_unicode.json +172 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/valid_lamport.json +1458 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/vectors/wrong_project.json +173 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/verifiers/__init__.py +0 -0
- causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/verifiers/verify_proof.py +1109 -0
- causal_continuity_engine-0.1.0.dist-info/METADATA +720 -0
- causal_continuity_engine-0.1.0.dist-info/RECORD +124 -0
- causal_continuity_engine-0.1.0.dist-info/WHEEL +5 -0
- causal_continuity_engine-0.1.0.dist-info/entry_points.txt +2 -0
- causal_continuity_engine-0.1.0.dist-info/licenses/LICENSE.txt +202 -0
- causal_continuity_engine-0.1.0.dist-info/licenses/NOTICE +6 -0
- causal_continuity_engine-0.1.0.dist-info/top_level.txt +1 -0
|
@@ -0,0 +1,173 @@
|
|
|
1
|
+
{
|
|
2
|
+
"context": {
|
|
3
|
+
"expect_project": "prj_somewhere_else",
|
|
4
|
+
"hmac_key_hex": "5cce0000000000000000000000000000000000000000000000000000000000ff"
|
|
5
|
+
},
|
|
6
|
+
"envelope": {
|
|
7
|
+
"action_id": "act_40b2ae1bef32792e85f6ab6f",
|
|
8
|
+
"action_intent": {
|
|
9
|
+
"requirement_ids": [],
|
|
10
|
+
"statement": "the exporter is done",
|
|
11
|
+
"type": "task_complete"
|
|
12
|
+
},
|
|
13
|
+
"actor": {
|
|
14
|
+
"agent": "generator"
|
|
15
|
+
},
|
|
16
|
+
"continuity_links": {
|
|
17
|
+
"proof_node_id": "act_da23447f4a9c2a04f13105ee",
|
|
18
|
+
"task_ids": [
|
|
19
|
+
"tsk_84f67c24102474dfe72635a3"
|
|
20
|
+
]
|
|
21
|
+
},
|
|
22
|
+
"created_at": "2026-08-04T05:22:11.038203Z",
|
|
23
|
+
"environment": {},
|
|
24
|
+
"evidence_context": {
|
|
25
|
+
"determinism": {
|
|
26
|
+
"unit-tests": {
|
|
27
|
+
"checked_at": "2026-08-04T05:22:12.094277Z",
|
|
28
|
+
"note": "",
|
|
29
|
+
"results": [
|
|
30
|
+
"passed",
|
|
31
|
+
"passed"
|
|
32
|
+
],
|
|
33
|
+
"stable": true
|
|
34
|
+
}
|
|
35
|
+
},
|
|
36
|
+
"mutation": {
|
|
37
|
+
"artifacts": [
|
|
38
|
+
"deliverable.py"
|
|
39
|
+
],
|
|
40
|
+
"baseline": {
|
|
41
|
+
"unit-tests": "passed"
|
|
42
|
+
},
|
|
43
|
+
"bound": true,
|
|
44
|
+
"detected": [
|
|
45
|
+
{
|
|
46
|
+
"artifact": "deliverable.py",
|
|
47
|
+
"mutation": "absent",
|
|
48
|
+
"noticed_by": "unit-tests"
|
|
49
|
+
},
|
|
50
|
+
{
|
|
51
|
+
"artifact": "deliverable.py",
|
|
52
|
+
"mutation": "truncate",
|
|
53
|
+
"noticed_by": "unit-tests"
|
|
54
|
+
}
|
|
55
|
+
],
|
|
56
|
+
"error": null,
|
|
57
|
+
"inconclusive": [],
|
|
58
|
+
"ran_at": "2026-08-04T05:22:11.223236Z",
|
|
59
|
+
"undetected": []
|
|
60
|
+
},
|
|
61
|
+
"policy_pinned": [
|
|
62
|
+
"unit-tests"
|
|
63
|
+
],
|
|
64
|
+
"unpinned_required": []
|
|
65
|
+
},
|
|
66
|
+
"execution": [
|
|
67
|
+
{
|
|
68
|
+
"command_digest": "sha256:f3d824a2e5621ef8460f0e3cae973bac3c94d77d16a01f44a2cbf5b4a88d8ba4",
|
|
69
|
+
"exit_code": 0,
|
|
70
|
+
"output_digest": "sha256:d8760763be63067f00789fcf42648cb7e89259b37690e733415676ec0b8b6596",
|
|
71
|
+
"started_at": "2026-08-04T05:22:11.223235Z",
|
|
72
|
+
"tool": "verifier:unit-tests"
|
|
73
|
+
}
|
|
74
|
+
],
|
|
75
|
+
"inputs": [
|
|
76
|
+
{
|
|
77
|
+
"digest": "sha256:ca8700155873f81b9b4dca7e3378182bfae43e9ca62b9b56d4150f61c52286f4",
|
|
78
|
+
"kind": "artifact",
|
|
79
|
+
"name": "artifact:deliverable.py"
|
|
80
|
+
},
|
|
81
|
+
{
|
|
82
|
+
"digest": "sha256:e997c565169d0dbfabe37d7bf4b47636f5b9e589c01d38183eb7f034ff7979f5",
|
|
83
|
+
"kind": "continuity",
|
|
84
|
+
"name": "continuity:task_ids:tsk_84f67c24102474dfe72635a3"
|
|
85
|
+
}
|
|
86
|
+
],
|
|
87
|
+
"policy_decision": {
|
|
88
|
+
"action_scope": "deliverable.py",
|
|
89
|
+
"action_scopes": [
|
|
90
|
+
"deliverable.py"
|
|
91
|
+
],
|
|
92
|
+
"action_type": "run_verifier",
|
|
93
|
+
"applicable_grant_ids": [
|
|
94
|
+
"grt_1a03249b7b1b81c7e90e950f"
|
|
95
|
+
],
|
|
96
|
+
"decided_at": "2026-08-04T05:22:11.041209Z",
|
|
97
|
+
"decision": "allow",
|
|
98
|
+
"effective_level": 2,
|
|
99
|
+
"policy_config": {
|
|
100
|
+
"max_autonomy_level": 2,
|
|
101
|
+
"tenant_max": 3
|
|
102
|
+
},
|
|
103
|
+
"reasons": [
|
|
104
|
+
"scope 'deliverable.py': effective level 2 >= required 2"
|
|
105
|
+
],
|
|
106
|
+
"required_level": 2,
|
|
107
|
+
"scope_decisions": [
|
|
108
|
+
{
|
|
109
|
+
"decision": "allow",
|
|
110
|
+
"effective_level": 2,
|
|
111
|
+
"required_level": 2,
|
|
112
|
+
"scope": "deliverable.py"
|
|
113
|
+
}
|
|
114
|
+
]
|
|
115
|
+
},
|
|
116
|
+
"project_id": "prj_vectors",
|
|
117
|
+
"proof_digest": "sha256:37971df21500efbe4e742fbf95792941b61138def2205dcbfa3d44fa7d8c16a7",
|
|
118
|
+
"proof_id": "prf_3b803c1cef3299faefa5fba3",
|
|
119
|
+
"schema_version": "cce.proof.v1",
|
|
120
|
+
"signature": {
|
|
121
|
+
"algorithm": "hmac-sha256",
|
|
122
|
+
"key_id": "vectors",
|
|
123
|
+
"value": "601d4dbaf61aaf68cf6d2c5fb2409e41861235032eafaed3c873774bcff21aeb"
|
|
124
|
+
},
|
|
125
|
+
"status": "verified",
|
|
126
|
+
"subject": [],
|
|
127
|
+
"tenant_id": "ten_local",
|
|
128
|
+
"verification_summary": {
|
|
129
|
+
"failed": [],
|
|
130
|
+
"inconclusive": [],
|
|
131
|
+
"missing": [],
|
|
132
|
+
"passed": [
|
|
133
|
+
"unit-tests"
|
|
134
|
+
],
|
|
135
|
+
"required": [
|
|
136
|
+
"unit-tests"
|
|
137
|
+
],
|
|
138
|
+
"skipped": [],
|
|
139
|
+
"unbacked_self_assertions": []
|
|
140
|
+
},
|
|
141
|
+
"verifications": [
|
|
142
|
+
{
|
|
143
|
+
"command_digest": "sha256:f3d824a2e5621ef8460f0e3cae973bac3c94d77d16a01f44a2cbf5b4a88d8ba4",
|
|
144
|
+
"control": {
|
|
145
|
+
"command_present": true,
|
|
146
|
+
"details": "control failed as required",
|
|
147
|
+
"exit_code": 1,
|
|
148
|
+
"status": "held"
|
|
149
|
+
},
|
|
150
|
+
"coverage": null,
|
|
151
|
+
"definition_digest": "sha256:4592ddd4fd78314133fd735a9f90932aff19a1fcb9fd8c49fa2d2529c020054a",
|
|
152
|
+
"details": "exit 0",
|
|
153
|
+
"duration_seconds": 0.094,
|
|
154
|
+
"evidence_digest": "sha256:d8760763be63067f00789fcf42648cb7e89259b37690e733415676ec0b8b6596",
|
|
155
|
+
"exit_code": 0,
|
|
156
|
+
"kind": "command",
|
|
157
|
+
"network": "restricted",
|
|
158
|
+
"observed": null,
|
|
159
|
+
"output_digest": "sha256:d8760763be63067f00789fcf42648cb7e89259b37690e733415676ec0b8b6596",
|
|
160
|
+
"pinned": true,
|
|
161
|
+
"result": "passed",
|
|
162
|
+
"source": "executed",
|
|
163
|
+
"started_at": "2026-08-04T05:22:11.041211Z",
|
|
164
|
+
"verifier": "unit-tests"
|
|
165
|
+
}
|
|
166
|
+
]
|
|
167
|
+
},
|
|
168
|
+
"expected_errors": [
|
|
169
|
+
"E_PROJECT"
|
|
170
|
+
],
|
|
171
|
+
"expected_verdict": "INVALID",
|
|
172
|
+
"name": "wrong_project"
|
|
173
|
+
}
|
causal_continuity_engine-0.1.0.data/data/share/causal-continuity-engine/audit/verifiers/__init__.py
ADDED
|
File without changes
|