{ "profile": "glyph.retained-evidence-drill-report/0.1-experimental", "states": { "published": { "source_report": { "profile": "bulla.answerability-network-report/0.1-experimental", "stage": "published", "network_integrity": "VERIFIED", "procurement": "VERIFIED", "byte_equality": "PROVIDER_DIGESTS_MATCH_SUPPLIED_BYTES", "buyer_policy": "SELECTED_PROVIDER_A", "selected_provider": "provider-a", "selected_receipt": "VERIFIED", "receipt_inclusion": "VERIFIED", "history_extension": "VERIFIED", "history_consistency": "CONSISTENT_AT_COMPARED_SIZE", "same_size_equivocation": "NOT_ESTABLISHED", "challenge": "NOT_APPLICABLE", "witness_remedy": "INELIGIBLE", "settlement_authorization": "NOT_ISSUED", "test_ledger_attempt": "NOT_REPORTED", "model_identity_control": "NOT_RUN", "reliance": null, "substantive_truth": "NOT_ESTABLISHED", "actual_funds": "NOT_ESTABLISHED", "errors": [], "warnings": [ "the remaining 9,999 decisions are synthetic declarations, not transactions", "a witness fork triggers recheck and bounded recourse; it does not make the provider result false" ], "exit_code": 0, "report_digest": "sha256:69424f812a5a442ddfd56aa06dd2a486acfe23e21ad438b1f385774a207fe41a" }, "transaction_record_digest": "sha256:ce559fe4a81687a4eec99f33c6e04bab31e23e46af87091059ef3c3acb3e1c95", "judgment": { "profile": "glyph.retained-evidence-judgment/1", "state": "published", "transaction_record_digest": "sha256:ce559fe4a81687a4eec99f33c6e04bab31e23e46af87091059ef3c3acb3e1c95", "receiver_roots_digest": "sha256:1d19e05e16f8d75b7e4bec7efd9a650d00fe1caf2d9bd3abc2a8da2b8ecaafd2", "verification_context_digest": "sha256:c92943f200fc3791e9efd75be9aa35f07900c5a6b51b078e370f7d449d61554b", "reliance_context_digest": null, "buyer_policy": "SELECTED_PROVIDER_A", "selected_receipt": "VERIFIED", "receipt_inclusion": "VERIFIED", "history_consistency": "CONSISTENT_AT_COMPARED_SIZE", "same_size_equivocation": "NOT_ESTABLISHED", "challenge": "NOT_APPLICABLE", "witness_remedy": "INELIGIBLE", "settlement_authorization": "NOT_ISSUED", "test_ledger_attempt": "NOT_REPORTED", "correction_authority": "NOT_APPLICABLE", "correction": null, "reliance": "NOT_COMPUTED" }, "judgment_digest": "sha256:f56c9e176055d465c30e687bbd9f0e89d1d29f1be05ab620b3a8f0677127dccb" }, "fault_observed": { "source_report": { "profile": "bulla.witness-covenant/0.1-experimental", "scenario": "fork-open", "dossier_integrity": "VERIFIED", "receipt_integrity": "VERIFIED", "signature_status": "VERIFIED", "issuer_role_status": "VERIFIED", "covenant_binding": "VERIFIED", "checkpoint_authenticity": "VERIFIED", "joint_observation": "VERIFIED", "claim_inclusion": "NOT_APPLICABLE", "history_consistency": "EQUIVOCATION_ESTABLISHED", "same_size_equivocation": "ESTABLISHED", "witness_trust": "SUPPLIED_CONTEXT_ACCEPTED", "witness_control": "PROJECT_OPERATED", "capital_lock": "REPORTED_UNSPENT", "capital_allocation": "ADEQUATE_DEDICATED", "challenge": "OPEN", "witness_remedy": "CHALLENGE_REQUIRED", "settlement_authorization": "NOT_ISSUED", "test_ledger_attempt": "NOT_REPORTED", "substantive_truth": "NOT_ESTABLISHED", "occurrence": "NOT_ESTABLISHED", "deterrence": "NOT_COMPUTED", "custody": "NOT_COMPUTED", "collectibility": "NOT_COMPUTED", "actual_funds": "NOT_ESTABLISHED", "suppressed_conclusions": [ "automatic witness remedy", "settlement authorization" ], "errors": [], "warnings": [ "bond amount is an authored term, not a risk estimate", "checkpoint signatures establish operator statements, not worldly truth" ], "exit_code": 0 }, "transaction_record_digest": "sha256:ce559fe4a81687a4eec99f33c6e04bab31e23e46af87091059ef3c3acb3e1c95", "correction_authority": "NOT_SUPPLIED", "reliance": "NOT_COMPUTED", "judgment": { "profile": "glyph.retained-evidence-judgment/1", "state": "fault-observed", "transaction_record_digest": "sha256:ce559fe4a81687a4eec99f33c6e04bab31e23e46af87091059ef3c3acb3e1c95", "receiver_roots_digest": "sha256:1d19e05e16f8d75b7e4bec7efd9a650d00fe1caf2d9bd3abc2a8da2b8ecaafd2", "verification_context_digest": "sha256:39228705c8ac09f10b4c56da7eab4ffd93314e1107d30b97f93ba2822f159205", "reliance_context_digest": null, "buyer_policy": "SELECTED_PROVIDER_A", "selected_receipt": "VERIFIED", "receipt_inclusion": "VERIFIED", "history_consistency": "EQUIVOCATION_ESTABLISHED", "same_size_equivocation": "ESTABLISHED", "challenge": "OPEN", "witness_remedy": "CHALLENGE_REQUIRED", "settlement_authorization": "NOT_ISSUED", "test_ledger_attempt": "NOT_REPORTED", "correction_authority": "NOT_SUPPLIED", "correction": null, "reliance": "NOT_COMPUTED" }, "judgment_digest": "sha256:bd986bc8be2e1937b76dd218ab8d8cbc6b6b5aec610a65d7f6ddbe7256ef197d" }, "corrected": { "source_report": { "profile": "bulla.answerability-network-report/0.1-experimental", "stage": "fork-open", "network_integrity": "VERIFIED", "procurement": "VERIFIED", "byte_equality": "PROVIDER_DIGESTS_MATCH_SUPPLIED_BYTES", "buyer_policy": "SELECTED_PROVIDER_A", "selected_provider": "provider-a", "selected_receipt": "VERIFIED", "receipt_inclusion": "VERIFIED", "history_extension": "VERIFIED", "history_consistency": "EQUIVOCATION_ESTABLISHED", "same_size_equivocation": "ESTABLISHED", "challenge": "OPEN", "witness_remedy": "CHALLENGE_REQUIRED", "settlement_authorization": "NOT_ISSUED", "test_ledger_attempt": "NOT_REPORTED", "model_identity_control": "NOT_RUN", "reliance": { "graph_digest": "sha256:79a659b9b4a7f5ee1b177ca87cefe0115b65e3ca45ca5eaa6832d46b9780563f", "report_digest": "sha256:92bb60cdc8523cca087fd4c1011808f517afecb70110fcad0f61bf5ab016cb5e", "summary": { "declared_decisions": 10000, "graph_nodes": 10004, "graph_edges": 10000, "affected": 2500, "not_affected": 5000, "undetermined": 2500 }, "selected_receipt_attestation": "sha256:47dcf0c594c2bdf3594f76e0fe8efec57469a5e69fb87da7cee8e7b6f882d06c", "selected_checkpoint": "sha256:dc419dded6c3f62b533ac31b7e35104901403adedde62a326866ab160312bd60", "selected_status": "AFFECTED", "selected_path": [ "receipt:provider-a", "source-00", "decision-00000", "decision-00004", "decision-00012", "decision-00032", "decision-00072", "decision-00152", "decision-00308", "decision-00620", "decision-01244", "decision-02492", "decision-04992", "decision-09996" ] }, "substantive_truth": "NOT_ESTABLISHED", "actual_funds": "NOT_ESTABLISHED", "errors": [], "warnings": [ "the remaining 9,999 decisions are synthetic declarations, not transactions", "a witness fork triggers recheck and bounded recourse; it does not make the provider result false" ], "exit_code": 0, "report_digest": "sha256:162ace21ceeb3b228bab0fc48b26be7832c5305389cc3946b8ef4d1c7b6c8426" }, "transaction_record_digest": "sha256:ce559fe4a81687a4eec99f33c6e04bab31e23e46af87091059ef3c3acb3e1c95", "judgment": { "profile": "glyph.retained-evidence-judgment/1", "state": "corrected", "transaction_record_digest": "sha256:ce559fe4a81687a4eec99f33c6e04bab31e23e46af87091059ef3c3acb3e1c95", "receiver_roots_digest": "sha256:1d19e05e16f8d75b7e4bec7efd9a650d00fe1caf2d9bd3abc2a8da2b8ecaafd2", "verification_context_digest": "sha256:814ff185dbd7456e948e344c84fabd76edfa90cf7c7402a2a0ef44cb195241bf", "reliance_context_digest": "sha256:f76ff04046e4c34158612e7a7c92474fa3c3b257136e3867c6fd38220c4bf6ef", "buyer_policy": "SELECTED_PROVIDER_A", "selected_receipt": "VERIFIED", "receipt_inclusion": "VERIFIED", "history_consistency": "EQUIVOCATION_ESTABLISHED", "same_size_equivocation": "ESTABLISHED", "challenge": "OPEN", "witness_remedy": "CHALLENGE_REQUIRED", "settlement_authorization": "NOT_ISSUED", "test_ledger_attempt": "NOT_REPORTED", "correction_authority": "VERIFIED", "correction": { "issuer": "did:key:z6Mkgo1i9kyHLcnoenbrpzFMpLdD7ixW2Z1vzcwKrB3t8eFh", "authority_epoch": 7, "target_digest": "sha256:dc419dded6c3f62b533ac31b7e35104901403adedde62a326866ab160312bd60", "replacement_digest": "sha256:f18b29dc4507e478dc520610f0b04ec727a099161bdf83c9e656780cfa6eb3ca", "attestation": "sha256:f215ab0a7223eda672b2ab9425f74dc1885277fd3358688bb306c5a99dce705b" }, "reliance": { "graph_digest": "sha256:79a659b9b4a7f5ee1b177ca87cefe0115b65e3ca45ca5eaa6832d46b9780563f", "report_digest": "sha256:92bb60cdc8523cca087fd4c1011808f517afecb70110fcad0f61bf5ab016cb5e", "summary": { "declared_decisions": 10000, "graph_nodes": 10004, "graph_edges": 10000, "affected": 2500, "not_affected": 5000, "undetermined": 2500 }, "selected_receipt_attestation": "sha256:47dcf0c594c2bdf3594f76e0fe8efec57469a5e69fb87da7cee8e7b6f882d06c", "selected_checkpoint": "sha256:dc419dded6c3f62b533ac31b7e35104901403adedde62a326866ab160312bd60", "selected_status": "AFFECTED", "selected_path": [ "receipt:provider-a", "source-00", "decision-00000", "decision-00004", "decision-00012", "decision-00032", "decision-00072", "decision-00152", "decision-00308", "decision-00620", "decision-01244", "decision-02492", "decision-04992", "decision-09996" ] } }, "judgment_digest": "sha256:4779ac332db7c7046872cc097ff5c724c2b310dcca6489c303d3cb1695c79252" } }, "transaction_record_invariant": { "published_equals_fault_observed": true, "fault_observed_equals_corrected": true }, "judgment_deltas": [ { "from": "published", "to": "fault-observed", "new_evidence": [ { "kind": "conflicting_checkpoint_head", "checkpoint_hash": "sha256:eee3796f6324997b59834ae2be4bfd2d293f6be3de8db6921461f63dd30b01d5", "operator": "did:key:z6MkmgQjRMF5aXJi9xfocBKrPTMw4kC77yoiNrGcjJWBnrgG" } ], "changed": [ { "path": "challenge", "before": "NOT_APPLICABLE", "after": "OPEN" }, { "path": "correction_authority", "before": "NOT_APPLICABLE", "after": "NOT_SUPPLIED" }, { "path": "history_consistency", "before": "CONSISTENT_AT_COMPARED_SIZE", "after": "EQUIVOCATION_ESTABLISHED" }, { "path": "same_size_equivocation", "before": "NOT_ESTABLISHED", "after": "ESTABLISHED" }, { "path": "state", "before": "published", "after": "fault-observed" }, { "path": "verification_context_digest", "before": "sha256:c92943f200fc3791e9efd75be9aa35f07900c5a6b51b078e370f7d449d61554b", "after": "sha256:39228705c8ac09f10b4c56da7eab4ffd93314e1107d30b97f93ba2822f159205" }, { "path": "witness_remedy", "before": "INELIGIBLE", "after": "CHALLENGE_REQUIRED" } ], "unchanged": [ "buyer_policy", "correction", "profile", "receipt_inclusion", "receiver_roots_digest", "reliance", "reliance_context_digest", "selected_receipt", "settlement_authorization", "test_ledger_attempt", "transaction_record_digest" ], "propagation_authority": "ABSENT" }, { "from": "fault-observed", "to": "corrected", "new_evidence": [ { "kind": "accepted_correction_notice", "attestation": "sha256:f215ab0a7223eda672b2ab9425f74dc1885277fd3358688bb306c5a99dce705b", "issuer": "did:key:z6Mkgo1i9kyHLcnoenbrpzFMpLdD7ixW2Z1vzcwKrB3t8eFh" } ], "changed": [ { "path": "correction", "before": null, "after": { "issuer": "did:key:z6Mkgo1i9kyHLcnoenbrpzFMpLdD7ixW2Z1vzcwKrB3t8eFh", "authority_epoch": 7, "target_digest": "sha256:dc419dded6c3f62b533ac31b7e35104901403adedde62a326866ab160312bd60", "replacement_digest": "sha256:f18b29dc4507e478dc520610f0b04ec727a099161bdf83c9e656780cfa6eb3ca", "attestation": "sha256:f215ab0a7223eda672b2ab9425f74dc1885277fd3358688bb306c5a99dce705b" } }, { "path": "correction_authority", "before": "NOT_SUPPLIED", "after": "VERIFIED" }, { "path": "reliance", "before": "NOT_COMPUTED", "after": { "graph_digest": "sha256:79a659b9b4a7f5ee1b177ca87cefe0115b65e3ca45ca5eaa6832d46b9780563f", "report_digest": "sha256:92bb60cdc8523cca087fd4c1011808f517afecb70110fcad0f61bf5ab016cb5e", "summary": { "declared_decisions": 10000, "graph_nodes": 10004, "graph_edges": 10000, "affected": 2500, "not_affected": 5000, "undetermined": 2500 }, "selected_receipt_attestation": "sha256:47dcf0c594c2bdf3594f76e0fe8efec57469a5e69fb87da7cee8e7b6f882d06c", "selected_checkpoint": "sha256:dc419dded6c3f62b533ac31b7e35104901403adedde62a326866ab160312bd60", "selected_status": "AFFECTED", "selected_path": [ "receipt:provider-a", "source-00", "decision-00000", "decision-00004", "decision-00012", "decision-00032", "decision-00072", "decision-00152", "decision-00308", "decision-00620", "decision-01244", "decision-02492", "decision-04992", "decision-09996" ] } }, { "path": "reliance_context_digest", "before": null, "after": "sha256:f76ff04046e4c34158612e7a7c92474fa3c3b257136e3867c6fd38220c4bf6ef" }, { "path": "state", "before": "fault-observed", "after": "corrected" }, { "path": "verification_context_digest", "before": "sha256:39228705c8ac09f10b4c56da7eab4ffd93314e1107d30b97f93ba2822f159205", "after": "sha256:814ff185dbd7456e948e344c84fabd76edfa90cf7c7402a2a0ef44cb195241bf" } ], "unchanged": [ "buyer_policy", "challenge", "history_consistency", "profile", "receipt_inclusion", "receiver_roots_digest", "same_size_equivocation", "selected_receipt", "settlement_authorization", "test_ledger_attempt", "transaction_record_digest", "witness_remedy" ], "propagation_authority": "VERIFIED" } ], "review_control": { "review_all_control": 10000, "required_review": 5000, "declared_review_reduction": 5000, "incomplete_lineage_cleared": 0 }, "retained_execution": { "historical_verification": "REPRODUCED", "input_scope": "PACKET_MEMBERS_ONLY", "network_policy": "COMMON_NODE_INTERFACES_BLOCKED", "network_request_attempts_observed": 0, "glyph_standard_routes": "NOT_REQUESTED", "repository_input": "NOT_SUPPLIED", "installed_bulla": "NOT_USED", "prior_receiver_state": "NOT_SUPPLIED", "freshness": "NOT_ESTABLISHED", "current_external_state": "NOT_ESTABLISHED" }, "boundaries": [ "fault evidence does not supply correction authority", "declared separation is not proof of organizational or causal independence", "the application-level network guard is not evidence of operating-system network isolation", "historical reproduction does not establish freshness or current external state", "local reproduction increments no external counter" ] }