Skip to content

Commit ea1b4ce

Browse files
committed
test: add bounded geometry proof example fixture
1 parent a2aceab commit ea1b4ce

1 file changed

Lines changed: 100 additions & 0 deletions

File tree

examples/geometry_proof_v0.1.json

Lines changed: 100 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,100 @@
1+
{
2+
"artefact": "geometry_proof_v0.1",
3+
"status": "experimental_example_fixture_only",
4+
"claim_boundary": "Experimental path-local proof structure for testing scoped admissibility objects at an execution boundary. Does not claim production readiness, non-bypassability, compliance, external trust guarantees, or full-path governance.",
5+
"hash_algorithm": "sha256",
6+
"notes": [
7+
"This fixture demonstrates bounded validation examples only.",
8+
"The examples are synthetic and path-local.",
9+
"Signature verification is represented symbolically in v0.1 and is not a production cryptographic implementation."
10+
],
11+
"valid_example": {
12+
"expected_result": "ALLOW",
13+
"geometry_proof": {
14+
"proof_id": "geom_0001",
15+
"issued_at_utc": "2026-05-12T10:00:00Z",
16+
"expires_at_utc": "2026-05-12T10:15:00Z",
17+
"actor": "service_account_demo",
18+
"action_class": "send_notification",
19+
"payload_hash": "sha256:6af0d3e7c2bca4b6f6f0c1c69fd4f8a6d7f79cb4dc6f3d7f6c4a8d2b7fcb9001",
20+
"scope": {
21+
"resource": "notification_queue",
22+
"tenant": "demo_tenant",
23+
"workflow": "notification_dispatch",
24+
"effect": "send"
25+
},
26+
"signature": "demo_signature_only",
27+
"key_id": "geom_key_demo_v1"
28+
},
29+
"requested_transition": {
30+
"action_class": "send_notification",
31+
"payload_hash": "sha256:6af0d3e7c2bca4b6f6f0c1c69fd4f8a6d7f79cb4dc6f3d7f6c4a8d2b7fcb9001"
32+
},
33+
"expected_checks": [
34+
"proof present",
35+
"proof not expired",
36+
"action_class matches",
37+
"payload_hash matches",
38+
"scope compatible with requested transition"
39+
]
40+
},
41+
"expired_proof_example": {
42+
"expected_result": "HARD_BLOCK",
43+
"reason": "proof expired before transition",
44+
"geometry_proof": {
45+
"proof_id": "geom_0002_expired",
46+
"issued_at_utc": "2026-05-12T09:00:00Z",
47+
"expires_at_utc": "2026-05-12T09:01:00Z",
48+
"actor": "service_account_demo",
49+
"action_class": "send_notification",
50+
"payload_hash": "sha256:6af0d3e7c2bca4b6f6f0c1c69fd4f8a6d7f79cb4dc6f3d7f6c4a8d2b7fcb9001",
51+
"scope": {
52+
"resource": "notification_queue",
53+
"tenant": "demo_tenant",
54+
"workflow": "notification_dispatch",
55+
"effect": "send"
56+
},
57+
"signature": "demo_signature_only",
58+
"key_id": "geom_key_demo_v1"
59+
}
60+
},
61+
"mismatched_payload_example": {
62+
"expected_result": "HARD_BLOCK",
63+
"reason": "payload hash mismatch",
64+
"geometry_proof": {
65+
"proof_id": "geom_0003_payload_mismatch",
66+
"issued_at_utc": "2026-05-12T10:00:00Z",
67+
"expires_at_utc": "2026-05-12T10:15:00Z",
68+
"actor": "service_account_demo",
69+
"action_class": "send_notification",
70+
"payload_hash": "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
71+
"scope": {
72+
"resource": "notification_queue",
73+
"tenant": "demo_tenant",
74+
"workflow": "notification_dispatch",
75+
"effect": "send"
76+
},
77+
"signature": "demo_signature_only",
78+
"key_id": "geom_key_demo_v1"
79+
},
80+
"requested_transition": {
81+
"action_class": "send_notification",
82+
"payload_hash": "sha256:6af0d3e7c2bca4b6f6f0c1c69fd4f8a6d7f79cb4dc6f3d7f6c4a8d2b7fcb9001"
83+
}
84+
},
85+
"minimum_verification_rules": [
86+
"proof object present",
87+
"current time before expires_at_utc",
88+
"action_class compatible with requested transition",
89+
"payload_hash matches requested payload",
90+
"scope compatible with requested effect"
91+
],
92+
"what_this_does_not_prove": [
93+
"production cryptographic enforcement",
94+
"non-bypassability",
95+
"enterprise deployment readiness",
96+
"externally anchored trust",
97+
"full runtime governance coverage",
98+
"tamper-proof audit guarantees"
99+
]
100+
}

0 commit comments

Comments
 (0)