From 36b24a574bf747bc806788b7364b91b58663e4ae Mon Sep 17 00:00:00 2001 From: Bruno Baumgartner Date: Mon, 15 Jun 2026 17:07:24 +0200 Subject: [PATCH] Add Core 2.0 interop examples --- examples/interop/README.md | 77 +++++++++++++++++++ .../antifragile_before_splice_example.json | 46 +++++++++++ examples/interop/digiemu_snapshot.json | 31 ++++++++ .../interop/digiemu_verification_report.json | 49 ++++++++++++ .../tbn_receipt_reference_example.json | 33 ++++++++ 5 files changed, 236 insertions(+) create mode 100644 examples/interop/README.md create mode 100644 examples/interop/antifragile_before_splice_example.json create mode 100644 examples/interop/digiemu_snapshot.json create mode 100644 examples/interop/digiemu_verification_report.json create mode 100644 examples/interop/tbn_receipt_reference_example.json diff --git a/examples/interop/README.md b/examples/interop/README.md new file mode 100644 index 0000000..f03f4c7 --- /dev/null +++ b/examples/interop/README.md @@ -0,0 +1,77 @@ +# DigiEmu Core 2.0 Interoperability Examples + +**Status:** Minimal illustrative example (non-production) + +--- + +## Overview + +This directory contains minimal, non-production interoperability examples showing how DigiEmu Core 2.0 decision-state artifacts may be referenced by external systems without redefining DigiEmu state identity. + +These examples demonstrate the interop boundary defined in `docs/CORE_2_INTEROP_CONTRACT.md`. + +--- + +## What DigiEmu Produces + +DigiEmu produces: +- `digiemu_snapshot.json` – canonical decision-state snapshot with hashes +- `digiemu_verification_report.json` – structured verification report with PASS/FAIL outcome + +These artifacts are produced under a declared DigiEmu canonicalization profile by an accountable state producer. + +--- + +## How External Systems Reference DigiEmu + +### TBN-Style Trust Systems + +TBN-style systems may reference DigiEmu state identity through: +- Snapshot ID references +- Verification report ID references +- PASS/FAIL outcomes +- Decision-state hashes + +TBN does **not** compute or redefine DigiEmu state identity. TBN provides its own provenance, signatures, and trust certification layers. + +See: `tbn_receipt_reference_example.json` + +### AntifragileOS-Style Remediation Systems + +AntifragileOS-style systems may use DigiEmu PASS/FAIL outcomes before a splice operation, but must: +- Preserve the structured report reference +- Not erase diagnostic evidence +- Not claim DigiEmu certified deployment readiness + +See: `antifragile_before_splice_example.json` + +--- + +## Important Disclaimers + +- **These are examples, not security credentials.** +- **Signatures are placeholders, not real cryptographic signatures.** +- **Hashes are illustrative, not real SHA-256 values.** +- **This is not a production receipt or trust credential.** +- **Do not use these examples in production systems.** + +--- + +## Files + +| File | Purpose | +|------|---------| +| `digiemu_snapshot.json` | Example DigiEmu decision-state snapshot | +| `digiemu_verification_report.json` | Example DigiEmu verification report | +| `tbn_receipt_reference_example.json` | Example TBN receipt referencing DigiEmu | +| `antifragile_before_splice_example.json` | Example AntifragileOS remediation flow | + +--- + +## Boundary Summary + +> One state identity is produced under one declared DigiEmu canonicalization profile by one accountable state producer. +> +> External systems may carry this identity. +> +> External systems do not compute, redefine, or overwrite this identity. diff --git a/examples/interop/antifragile_before_splice_example.json b/examples/interop/antifragile_before_splice_example.json new file mode 100644 index 0000000..867c9f4 --- /dev/null +++ b/examples/interop/antifragile_before_splice_example.json @@ -0,0 +1,46 @@ +{ + "_comment": "EXAMPLE ONLY - NOT A PRODUCTION INTEGRATION - ILLUSTRATIVE FLOW", + "integration_context": "AntifragileOS before-splice validation example", + "flow_version": "antifragile-remediation-v1.0.0-example", + "timestamp": "2026-06-15T12:15:00Z", + "remediation_task": { + "remediation_task_id": "remediation-task-001", + "moment_id": "agent-moment-001", + "description": "Example remediation task for pre-splice validation", + "status": "VALIDATED" + }, + "digiemu_references": { + "digiemu_snapshot_id": "digiemu-snapshot-001", + "digiemu_verification_report_id": "digiemu-report-001", + "digiemu_verification_outcome": "PASS" + }, + "flow_action": { + "action": "ALLOW_CONTINUE_EXTERNAL_VALIDATION_FLOW", + "reason": "DigiEmu verification passed, external system may continue its own validation", + "constraints": [ + "External system must complete its own validation before splice", + "External system must not rely solely on DigiEmu PASS outcome", + "External system must preserve full diagnostic chain" + ] + }, + "preservation_rule": { + "pass_fail_portability": "PASS/FAIL outcome may be carried for portability to downstream systems", + "structured_report_preservation": "Structured DigiEmu verification report reference MUST be preserved", + "diagnostic_evidence_rule": "Diagnostic evidence MUST NOT be erased or replaced with unsupported summaries", + "reference_path": "reports/digiemu-report-001.json", + "explanation": "Reduced outcomes are allowed but must maintain link to full structured evidence" + }, + "non_claims": { + "_comment": "DigiEmu does not provide the following", + "digiemu_decides_production_deployment": false, + "digiemu_certifies_agent": false, + "digiemu_assigns_legal_responsibility": false, + "explanation": "DigiEmu provides verification input to external validation flows. Production deployment decisions, agent certification, and legal responsibility assignment remain with external systems per their own policies and authorities." + }, + "flow_non_claims": { + "external_system_does_not_recompute_digiemu_identity": true, + "external_system_preserves_digiemu_report_reference": true, + "external_system_does_not_claim_digiemu_certified_deployment": true, + "explanation": "The external system acts on DigiEmu results but does not redefine or overwrite DigiEmu state identity." + } +} diff --git a/examples/interop/digiemu_snapshot.json b/examples/interop/digiemu_snapshot.json new file mode 100644 index 0000000..f50e871 --- /dev/null +++ b/examples/interop/digiemu_snapshot.json @@ -0,0 +1,31 @@ +{ + "_comment": "EXAMPLE ONLY - NOT A PRODUCTION SNAPSHOT - PLACEHOLDER VALUES", + "digiemu_core_version": "2.0", + "canonicalization_profile": "digiemu-core-2-profile", + "moment_id": "agent-moment-001", + "snapshot_id": "digiemu-snapshot-001", + "state_producer": "digiemu-example-producer", + "timestamp": "2026-06-15T12:00:00Z", + "decision_state": { + "input_ref": "inputs/agent-input-001.json", + "policy_ref": "policies/agent-policy-001.json", + "tool_state_ref": "tool-state/tool-state-001.json", + "refusal_state": "NO_REFUSAL", + "output_candidate_ref": "outputs/agent-output-001.json" + }, + "decision_state_hashes": [ + "sha256:0000000000000000000000000000000000000000000000000000000000000000", + "sha256:1111111111111111111111111111111111111111111111111111111111111111", + "sha256:2222222222222222222222222222222222222222222222222222222222222222", + "sha256:3333333333333333333333333333333333333333333333333333333333333333", + "sha256:4444444444444444444444444444444444444444444444444444444444444444" + ], + "non_claims": { + "_comment": "DigiEmu does not provide the following", + "agent_identity_verified": false, + "trust_tier_assigned": false, + "legal_liability_attributed": false, + "regulatory_approval_granted": false, + "explanation": "DigiEmu verifies deterministic decision-state integrity only. Agent identity, trust tiers, legal liability, and regulatory approval are outside DigiEmu scope." + } +} diff --git a/examples/interop/digiemu_verification_report.json b/examples/interop/digiemu_verification_report.json new file mode 100644 index 0000000..b534ac1 --- /dev/null +++ b/examples/interop/digiemu_verification_report.json @@ -0,0 +1,49 @@ +{ + "_comment": "EXAMPLE ONLY - NOT A PRODUCTION REPORT - PLACEHOLDER VALUES", + "report_id": "digiemu-report-001", + "snapshot_id": "digiemu-snapshot-001", + "moment_id": "agent-moment-001", + "canonicalization_profile": "digiemu-core-2-profile", + "digiemu_core_version": "2.0", + "verification_outcome": "PASS", + "replay_consistency": true, + "hash_consistency": true, + "timestamp": "2026-06-15T12:05:00Z", + "structured_diagnostics": { + "checks_performed": [ + { + "check": "replay_fixture_loaded", + "status": "PASS", + "detail": "Replay fixture loaded successfully" + }, + { + "check": "decision_state_replay", + "status": "PASS", + "detail": "Decision state replay completed with matching output" + }, + { + "check": "hash_verification", + "status": "PASS", + "detail": "All decision-state hashes verified" + }, + { + "check": "canonicalization_profile_match", + "status": "PASS", + "detail": "Profile matches declared canonicalization" + } + ], + "total_checks": 4, + "passed_checks": 4, + "failed_checks": 0 + }, + "non_claims": { + "_comment": "DigiEmu does not provide the following", + "agent_identity_verified": false, + "trust_tier_certified": false, + "legal_liability_assigned": false, + "regulatory_approval_performed": false, + "model_alignment_guaranteed": false, + "full_system_safety_guaranteed": false, + "explanation": "DigiEmu verifies deterministic decision-state integrity and replay consistency within its declared scope." + } +} diff --git a/examples/interop/tbn_receipt_reference_example.json b/examples/interop/tbn_receipt_reference_example.json new file mode 100644 index 0000000..2197a9c --- /dev/null +++ b/examples/interop/tbn_receipt_reference_example.json @@ -0,0 +1,33 @@ +{ + "_comment": "EXAMPLE ONLY - NOT A PRODUCTION RECEIPT - PLACEHOLDER SIGNATURE", + "receipt_version": "TBN-Receipt-v1.0.0-alignment-test-example", + "type": "ALIGNMENT_VERIFICATION_REFERENCE_EXAMPLE", + "moment_id": "agent-moment-001", + "timestamp": "2026-06-15T12:10:00Z", + "digiemu_references": { + "digiemu_snapshot_id": "digiemu-snapshot-001", + "digiemu_verification_report_id": "digiemu-report-001", + "digiemu_verification_outcome": "PASS", + "referenced_digiemu_hashes": [ + "sha256:0000000000000000000000000000000000000000000000000000000000000000", + "sha256:1111111111111111111111111111111111111111111111111111111111111111", + "sha256:2222222222222222222222222222222222222222222222222222222222222222", + "sha256:3333333333333333333333333333333333333333333333333333333333333333", + "sha256:4444444444444444444444444444444444444444444444444444444444444444" + ] + }, + "tbn_provided": { + "agent_identity_status": "UNVERIFIED_TEST", + "trust_status": "NOT_CERTIFIED_TEST_MODE", + "provenance": "tbn-example-provenance-001", + "explanation": "TBN provides identity and trust layers independent of DigiEmu" + }, + "tbn_non_claims": { + "tbn_does_not_compute_digiemu_state_identity": true, + "tbn_does_not_redefine_digiemu_canonicalization_semantics": true, + "tbn_carries_digiemu_evidence_as_external_reference": true, + "explanation": "TBN references DigiEmu artifacts but does not produce, compute, or redefine DigiEmu state identity." + }, + "signature": "PLACEHOLDER_NON_PRODUCTION_SIGNATURE", + "_warning": "This signature is a placeholder. Do not use for production verification." +}