{ "requested_run_id": "covert-channel-lab-coverage-20260918", "contradictions": [ { "created_at": "2026-09-18T12:11:08Z", "edge_type": "REFUTES", "id": "edge_920e316a03c04d9f", "rationale": "Even with fixed security and utility premises, changing the objective can change the optimum.", "run_id": "", "source_atom_id": "atom_e582b049b4394a79", "target_atom_id": "cc2_cost_independent_optimum", "weight": 1 }, { "created_at": "2026-09-18T12:10:55Z", "edge_type": "REFUTES", "id": "edge_bbf453511cc640ab", "rationale": "Require useful service in the optimization contract. This is an abstract example, not a claim that powered-off hardware cannot leak.", "run_id": "", "source_atom_id": "atom_44915c71f51d4297", "target_atom_id": "cc2_shutdown_is_optimal_useful", "weight": 1 }, { "created_at": "2026-09-18T12:10:43Z", "edge_type": "REFUTES", "id": "edge_9e3183fc041d4209", "rationale": "A one-bit choice remains between accepted headers. Canonical release must remove every unauthorized choice, including semantic alternatives.", "run_id": "", "source_atom_id": "atom_6a4fd5a2f9c24065", "target_atom_id": "", "weight": 1 }, { "created_at": "2026-09-18T12:10:31Z", "edge_type": "REFUTES", "id": "edge_5374a72c1dfa426a", "rationale": "Each coordinate is uniform for either secret. The XOR of the observed pair recovers the secret exactly.", "run_id": "", "source_atom_id": "atom_b92d41434b8f4cad", "target_atom_id": "cc2_joint_marginals_suffice", "weight": 1 } ], "frontier": [ { "atom_id": "cc2_physical_validation", "content": "Freeze one authorized air-gapped system and fill the observer/service/cost worksheet. Preserve synchronized calibrated multi-sensor traces, held-out workloads, lifecycle events, uncertainty and unmeasured paths. No measurements have been supplied.", "next_action": "morph into testable hypotheses", "priority": 2.95, "status": "CANDIDATE", "tags": [], "type": "QUESTION" }, { "atom_id": "cc2_joint_refinement", "content": "Formalize a joint observation and declassification theorem including adaptive coalitions, correlated randomness, permitted histories and lifecycle effects. Per-sensor marginal independence is insufficient. Deliver independently checked composition hypotheses and an implementation/physical refinement map.", "next_action": "morph into testable hypotheses", "priority": 2.95, "status": "CANDIDATE", "tags": [], "type": "QUESTION" }, { "atom_id": "atom_3ce33a4a9bfa4ca4", "content": "Generate the smallest witness that falsifies: Find a minimum-cost useful configuration whose complete joint observation trace is independent of unauthorized secrets under an explicit deployment contract. Unknown physical channels and missing costs prevent a deployment optimum.", "next_action": "test equivalence or find a counterexample", "priority": 2.46, "status": "CANDIDATE", "tags": [ "counterexample_search", "morph" ], "type": "REFORMULATION" }, { "atom_id": "atom_6915fcdf538c4496", "content": "Restate as an explicit iff/contract: Find a minimum-cost useful configuration whose complete joint observation trace is independent of unauthorized secrets under an explicit deployment contract. Unknown physical channels and missing costs prevent a deployment optimum.", "next_action": "test equivalence or find a counterexample", "priority": 2.35, "status": "CANDIDATE", "tags": [ "equivalent_statement", "morph" ], "type": "REFORMULATION" }, { "atom_id": "cc2_retrieval_shape", "content": "Theorem-shape search returned adjacent or low-signal candidates. No retrieved theorem is used as a proof premise; exact local finite counterexamples are replayed independently.", "next_action": "retrieve similar failures and decide whether to refine, refute, or promote", "priority": 2, "status": "CANDIDATE", "tags": [], "type": "RESULT" }, { "atom_id": "cc2_retrieval_formal", "content": "The formal Lean-corpus embedding request timed out. No formal-corpus coverage or theorem absence is established.", "next_action": "retrieve similar failures and decide whether to refine, refute, or promote", "priority": 2, "status": "CANDIDATE", "tags": [], "type": "RESULT" }, { "atom_id": "cc2_retrieval_breaker", "content": "Breaker search returned adjacent or low-signal candidates. No retrieved theorem is used as a proof premise; exact local finite counterexamples are replayed independently.", "next_action": "retrieve similar failures and decide whether to refine, refute, or promote", "priority": 2, "status": "CANDIDATE", "tags": [], "type": "RESULT" }, { "atom_id": "cc2_coverage_contract", "content": "The scope is a research inventory of digital, shared-resource, physical and lifecycle observations. No deployment-specific observer inventory, cost model, utility floor, or validated physical contracts have been supplied.", "next_action": "retrieve similar failures and decide whether to refine, refute, or promote", "priority": 2, "status": "CANDIDATE", "tags": [], "type": "RESULT" }, { "atom_id": "cc2_catalogue_is_certificate", "content": "A broad catalogue or suggested isolation architecture may be misrepresented as an exhaustive physical channel list or proof that named mitigations achieve zero leakage.", "next_action": "retrieve similar failures and decide whether to refine, refute, or promote", "priority": 2, "status": "CANDIDATE", "tags": [], "type": "RISK" }, { "atom_id": "cc2_all_channel_optimum", "content": "Which deployment-specific configuration minimizes validated lifecycle cost while meeting utility and deadline constraints and joint noninterference under a complete observation contract?", "next_action": "morph into testable hypotheses", "priority": 2, "status": "CANDIDATE", "tags": [], "type": "QUESTION" } ], "graph": { "atoms": [ { "artifact_refs": [], "confidence": null, "content": "Restate as an explicit iff/contract: Find a minimum-cost useful configuration whose complete joint observation trace is independent of unauthorized secrets under an explicit deployment contract. Unknown physical channels and missing costs prevent a deployment optimum.", "created_at": "2026-09-18T11:50:04Z", "evidence_score": 0, "hash": "sha256:eda3a6c2bc1601ffc23b9ceed20bb22df2d20f2b0bfd3fed52078602826d5384", "id": "atom_6915fcdf538c4496", "importance_score": 0.55, "metadata": { "relation_to_original": "equivalent", "risk": "check semantic preservation" }, "normalized_content": "restate as an explicit iff/contract: find a minimum-cost useful configuration whose complete joint observation trace is independent of unauthorized secrets under an explicit deployment contract. unknown physical channels and missing costs prevent a deployment optimum.", "novelty_score": 0.6, "parent_ids": [], "refutability_score": 0.7, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [ "equivalent_statement", "morph" ], "type": "REFORMULATION", "uncertainty_score": 0.5, "updated_at": "2026-09-18T11:50:04Z" }, { "artifact_refs": [], "confidence": null, "content": "Generate the smallest witness that falsifies: Find a minimum-cost useful configuration whose complete joint observation trace is independent of unauthorized secrets under an explicit deployment contract. Unknown physical channels and missing costs prevent a deployment optimum.", "created_at": "2026-09-18T11:50:04Z", "evidence_score": 0, "hash": "sha256:c83e69b614b59c9a07cc465011227189e16736e1a252655449af29aefe52d837", "id": "atom_3ce33a4a9bfa4ca4", "importance_score": 0.66, "metadata": { "relation_to_original": "speculative", "risk": "may change problem meaning" }, "normalized_content": "generate the smallest witness that falsifies: find a minimum-cost useful configuration whose complete joint observation trace is independent of unauthorized secrets under an explicit deployment contract. unknown physical channels and missing costs prevent a deployment optimum.", "novelty_score": 0.6, "parent_ids": [], "refutability_score": 0.7, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [ "counterexample_search", "morph" ], "type": "REFORMULATION", "uncertainty_score": 0.5, "updated_at": "2026-09-18T11:50:04Z" }, { "artifact_refs": [], "confidence": null, "content": "The scope is a research inventory of digital, shared-resource, physical and lifecycle observations. No deployment-specific observer inventory, cost model, utility floor, or validated physical contracts have been supplied.", "created_at": "2026-09-18T11:51:36Z", "evidence_score": 0, "hash": "sha256:653b13b3ae3f14b8d3834b3b0e8e7295d30bc42f55a7cca9ee24a9347baad0b0", "id": "cc2_coverage_contract", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "the scope is a research inventory of digital, shared-resource, physical and lifecycle observations. no deployment-specific observer inventory, cost model, utility floor, or validated physical contracts have been supplied.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "RESULT", "uncertainty_score": 0.5, "updated_at": "2026-09-18T11:51:36Z" }, { "artifact_refs": [ "sha256:85fe51c46d20b1a67946cf6d5a0539b19997fc1a91c67bf7b0515528139e8873", "sha256:877c3e973cff921771e49e6d90d62abeb52d8e22dcaf98bc7438303ead156ed9" ], "confidence": null, "content": "Equality of every individual channel's output distribution under two secrets implies equality of their joint output distribution.", "created_at": "2026-09-18T11:51:40Z", "evidence_score": 0, "hash": "sha256:1a82d3e5dd6bfb6f7887dc58557bd2074aa4b7b289807fc30e2472923218f7cc", "id": "cc2_joint_marginals_suffice", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "equality of every individual channel's output distribution under two secrets implies equality of their joint output distribution.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [ "https://github.com/TheDarkLightX/CovertChannelLab/blob/main/research/coverage/checks.json" ], "status": "REFUTED", "tags": [], "type": "HYPOTHESIS", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:35Z" }, { "artifact_refs": [ "sha256:306a03a0792f95cab51f6dac5af639994774b6a6a77d94f7e8064380556fefba", "sha256:4538ee209fae2536c9bb6fd4858c0e12ded3ec62b176279b8ae7a3aae9cfe0fe" ], "confidence": null, "content": "Formatting normalization alone removes the information capacity of worker-chosen semantically acceptable public outputs.", "created_at": "2026-09-18T11:51:42Z", "evidence_score": 0, "hash": "sha256:86f886b66f1e222cfd4a3898f7f63d7bde48eaf8fafd3ff8ef863c5802417b1e", "id": "", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "formatting normalization alone removes the information capacity of worker-chosen semantically acceptable public outputs.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [ "https://github.com/TheDarkLightX/CovertChannelLab/blob/main/research/coverage/checks.json" ], "status": "REFUTED", "tags": [], "type": "HYPOTHESIS", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:48Z" }, { "artifact_refs": [ "sha256:58f780f0a6cb9065e3fb160bdb09734f7466bfb74bdeac94bb1671be27f9be73", "sha256:b3d03e551f0c871e12b1b87c21820cfcfeaf667b93aebda366b2c90951d435fa" ], "confidence": null, "content": "A silent shutdown configuration is a feasible covert-channel solution even when the contract requires strictly positive useful service.", "created_at": "2026-09-18T11:51:46Z", "evidence_score": 0, "hash": "sha256:130b6d98d1f0d2193cc9d9402b5fe0c6445059d1ec3705272fff527fbf5ca7ec", "id": "cc2_shutdown_is_optimal_useful", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "a silent shutdown configuration is a feasible covert-channel solution even when the contract requires strictly positive useful service.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [ "https://github.com/TheDarkLightX/CovertChannelLab/blob/main/research/coverage/checks.json" ], "status": "REFUTED", "tags": [], "type": "HYPOTHESIS", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:59Z" }, { "artifact_refs": [], "confidence": null, "content": "Which deployment-specific configuration minimizes validated lifecycle cost while meeting utility and deadline constraints and joint noninterference under a complete observation contract?", "created_at": "2026-09-18T11:51:50Z", "evidence_score": 0, "hash": "sha256:b1f80b121f3beceb76df5b0deddad4d5ea105c1e3408dc7aa47e5577f290b242", "id": "cc2_all_channel_optimum", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "which deployment-specific configuration minimizes validated lifecycle cost while meeting utility and deadline constraints and joint noninterference under a complete observation contract?", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "QUESTION", "uncertainty_score": 0.5, "updated_at": "2026-09-18T11:51:50Z" }, { "artifact_refs": [], "confidence": null, "content": "A broad catalogue or suggested isolation architecture may be misrepresented as an exhaustive physical channel list or proof that named mitigations achieve zero leakage.", "created_at": "2026-09-18T11:51:53Z", "evidence_score": 0, "hash": "sha256:135e755c0141546f07b088486985113207ded713bd7e2039e7fe48e51ea13bfc", "id": "cc2_catalogue_is_certificate", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "a broad catalogue or suggested isolation architecture may be misrepresented as an exhaustive physical channel list or proof that named mitigations achieve zero leakage.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "RISK", "uncertainty_score": 0.5, "updated_at": "2026-09-18T11:51:53Z" }, { "artifact_refs": [ "sha256:2db94d8952c750ad4dd96d42977f3a95d6cef21d042f49634ad986a917587f04", "sha256:548c2a31da972b304eeb4f576b56a3fd0a5efea489f6b2ad93ffdfef49cea7b4" ], "confidence": null, "content": "The same abstract plan minimizes every positive resource-cost weighting, even when feasible plans trade different resources.", "created_at": "2026-09-18T12:10:11Z", "evidence_score": 0, "hash": "sha256:f035832dd43ce2074ad14f748c45fd1dd11bad89d86a35fa626b31f01b863bd2", "id": "cc2_cost_independent_optimum", "importance_score": 0.5, "metadata": { "falsifier": "Two feasible abstract vectors exchange their unique optimum under positive weights.", "replay_recipe": "python3 scripts/verify_coverage.py" }, "normalized_content": "the same abstract plan minimizes every positive resource-cost weighting, even when feasible plans trade different resources.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [ "https://github.com/TheDarkLightX/CovertChannelLab/blob/main/research/coverage/checks.json" ], "status": "REFUTED", "tags": [], "type": "HYPOTHESIS", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:11:14Z" }, { "artifact_refs": [], "confidence": null, "content": "User selected air-gapped computers with nearby observers. The inventory prioritizes receiver-owned raw sensors and the full physical and lifecycle boundary. Hardware, sensor bounds, distance, observation horizon, service needs and costs remain unspecified; no deployment optimum is established.", "created_at": "2026-09-18T12:10:16Z", "evidence_score": 0, "hash": "sha256:8d55809480562932e661729a745ee7101e83b9dbe4de3bfef12d5a629132c04c", "id": "cc2_airgap_deployment", "importance_score": 0.5, "metadata": { "decision": "Air-gapped computers with nearby observers", "scope": "Deployment choice, not a security claim", "source": "Explicit user reply in this session" }, "normalized_content": "user selected air-gapped computers with nearby observers. the inventory prioritizes receiver-owned raw sensors and the full physical and lifecycle boundary. hardware, sensor bounds, distance, observation horizon, service needs and costs remain unspecified; no deployment optimum is established.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "RESULT", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:16Z" }, { "artifact_refs": [], "confidence": null, "content": "[{\"secret\":0,\"outcomes\":[{\"pair\":[0,0],\"probability\":\"1/2\"},{\"pair\":[1,1],\"probability\":\"1/2\"}]},{\"secret\":1,\"outcomes\":[{\"pair\":[0,1],\"probability\":\"1/2\"},{\"pair\":[1,0],\"probability\":\"1/2\"}]}]", "created_at": "2026-09-18T12:10:31Z", "evidence_score": 0, "hash": "sha256:ce271272fe2be30b48aa3d0699cdb8ebbce2f1342297cddf5d583708c6b334aa", "id": "atom_b92d41434b8f4cad", "importance_score": 0.8, "metadata": { "actual_counterexample": true, "record_id": "CK-01", "source_hashes": { "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd", "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18", "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3", "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb", "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e", "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9" }, "strategy": "Each coordinate is uniform for either secret. The XOR of the observed pair recovers the secret exactly.", "tests": [ "python3 scripts/verify_coverage.py", "python3 channel_checks.py --check" ] }, "normalized_content": "[{\"secret\":0,\"outcomes\":[{\"pair\":[0,0],\"probability\":\"1/2\"},{\"pair\":[1,1],\"probability\":\"1/2\"}]},{\"secret\":1,\"outcomes\":[{\"pair\":[0,1],\"probability\":\"1/2\"},{\"pair\":[1,0],\"probability\":\"1/2\"}]}]", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 1, "run_id": "", "source_refs": [], "status": "REFUTED", "tags": [ "refutation" ], "type": "COUNTEREXAMPLE", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:31Z" }, { "artifact_refs": [], "confidence": null, "content": "{\"authorized_numeric_answer\":42,\"accepted_variants\":[\"Answer: 42.\",\"Result: 42.\"],\"normalized_outputs\":[\"Answer: 42.\",\"Result: 42.\"],\"same_length\":true}", "created_at": "2026-09-18T12:10:43Z", "evidence_score": 0, "hash": "sha256:d8f296449723f85ede0b58c0ab13ba08cfe7b082c849a6d731765891b4d7164d", "id": "atom_6a4fd5a2f9c24065", "importance_score": 0.8, "metadata": { "actual_counterexample": true, "record_id": "CK-02", "source_hashes": { "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd", "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18", "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3", "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb", "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e", "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9" }, "strategy": "A one-bit choice remains between accepted headers. Canonical release must remove every unauthorized choice, including semantic alternatives.", "tests": [ "python3 scripts/verify_coverage.py", "python3 channel_checks.py --check" ] }, "normalized_content": "{\"authorized_numeric_answer\":42,\"accepted_variants\":[\"answer: 42.\",\"result: 42.\"],\"normalized_outputs\":[\"answer: 42.\",\"result: 42.\"],\"same_length\":true}", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 1, "run_id": "", "source_refs": [], "status": "REFUTED", "tags": [ "refutation" ], "type": "COUNTEREXAMPLE", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:43Z" }, { "artifact_refs": [], "confidence": null, "content": "{\"abstract_shutdown_trace\":[],\"service\":0,\"minimum_service\":1,\"feasible\":false}", "created_at": "2026-09-18T12:10:55Z", "evidence_score": 0, "hash": "sha256:918dd8f5939a849e1afc8d9bfbf5710d3c7d87bb8a55046dd7575ccd4b45a818", "id": "atom_44915c71f51d4297", "importance_score": 0.8, "metadata": { "actual_counterexample": true, "record_id": "CK-03", "source_hashes": { "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd", "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18", "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3", "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb", "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e", "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9" }, "strategy": "Require useful service in the optimization contract. This is an abstract example, not a claim that powered-off hardware cannot leak.", "tests": [ "python3 scripts/verify_coverage.py", "python3 channel_checks.py --check" ] }, "normalized_content": "{\"abstract_shutdown_trace\":[],\"service\":0,\"minimum_service\":1,\"feasible\":false}", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 1, "run_id": "", "source_refs": [], "status": "REFUTED", "tags": [ "refutation" ], "type": "COUNTEREXAMPLE", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:55Z" }, { "artifact_refs": [], "confidence": null, "content": "{\"illustrative_vectors\":{\"A\":[1,5],\"B\":[4,1]},\"scenarios\":[{\"weights\":[1,1],\"costs\":{\"A\":6,\"B\":5},\"unique_optimum\":\"B\"},{\"weights\":[5,1],\"costs\":{\"A\":10,\"B\":21},\"unique_optimum\":\"A\"}],\"scope\":\"Counterexample to a cost-independent optimizer over all positive weightings. No hardware optimum is inferred.\"}", "created_at": "2026-09-18T12:11:08Z", "evidence_score": 0, "hash": "sha256:aa4a9c79125a4eddd9eea6dc5179fa42087add16d0f4219eada3193d4c1c17c5", "id": "atom_e582b049b4394a79", "importance_score": 0.8, "metadata": { "actual_counterexample": true, "record_id": "CK-04", "source_hashes": { "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd", "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18", "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3", "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb", "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e", "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9" }, "strategy": "Even with fixed security and utility premises, changing the objective can change the optimum.", "tests": [ "python3 scripts/verify_coverage.py", "python3 channel_checks.py --check" ] }, "normalized_content": "{\"illustrative_vectors\":{\"a\":[1,5],\"b\":[4,1]},\"scenarios\":[{\"weights\":[1,1],\"costs\":{\"a\":6,\"b\":5},\"unique_optimum\":\"b\"},{\"weights\":[5,1],\"costs\":{\"a\":10,\"b\":21},\"unique_optimum\":\"a\"}],\"scope\":\"counterexample to a cost-independent optimizer over all positive weightings. no hardware optimum is inferred.\"}", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 1, "run_id": "", "source_refs": [], "status": "REFUTED", "tags": [ "refutation" ], "type": "COUNTEREXAMPLE", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:11:08Z" }, { "artifact_refs": [ "sha256:7450b58c0526d3794fddf103a75bdbfdbf625614426343280f6299a5a9fc2976" ], "confidence": null, "content": "Theorem-shape search returned adjacent or low-signal candidates. No retrieved theorem is used as a proof premise; exact local finite counterexamples are replayed independently.", "created_at": "2026-09-18T12:12:33Z", "evidence_score": 0, "hash": "sha256:be9a19ab95187d3071d23a3d2cc4928713d56c164b914ff8cf00b8117e35722c", "id": "cc2_retrieval_shape", "importance_score": 0.5, "metadata": { "adopted_premise": false, "classification": "adjacent or low-signal", "public_receipt": "research/coverage/retrieval/theoremsearch-receipts.json", "source_type": "theoremsearch_retrieval" }, "normalized_content": "theorem-shape search returned adjacent or low-signal candidates. no retrieved theorem is used as a proof premise; exact local finite counterexamples are replayed independently.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "RESULT", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:12:33Z" }, { "artifact_refs": [ "sha256:1e1c9ed7353bbc94d834fabf33716d396121557bf72d516f8bdf8ad270db5bdf" ], "confidence": null, "content": "Breaker search returned adjacent or low-signal candidates. No retrieved theorem is used as a proof premise; exact local finite counterexamples are replayed independently.", "created_at": "2026-09-18T12:12:37Z", "evidence_score": 0, "hash": "sha256:2a5d969a2d44d25bab0136c09bee88a334b9a44ee17f8aec98def92081e385dc", "id": "cc2_retrieval_breaker", "importance_score": 0.5, "metadata": { "adopted_premise": false, "classification": "adjacent or low-signal", "public_receipt": "research/coverage/retrieval/theoremsearch-receipts.json", "source_type": "theoremsearch_retrieval" }, "normalized_content": "breaker search returned adjacent or low-signal candidates. no retrieved theorem is used as a proof premise; exact local finite counterexamples are replayed independently.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "RESULT", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:12:37Z" }, { "artifact_refs": [ "sha256:66b4c326a7e0c4317f73089692bb4230ac27e86d0a45e4307b320f31fb81aaa1" ], "confidence": null, "content": "The formal Lean-corpus embedding request timed out. No formal-corpus coverage or theorem absence is established.", "created_at": "2026-09-18T12:12:41Z", "evidence_score": 0, "hash": "sha256:4501e072cd28fd1c33e12211b3b58c3efbfc92958f6fdab1d08285f54a9d2a23", "id": "cc2_retrieval_formal", "importance_score": 0.5, "metadata": { "outcome": "INCONCLUSIVE", "public_receipt": "research/coverage/retrieval/formal-query.json" }, "normalized_content": "the formal lean-corpus embedding request timed out. no formal-corpus coverage or theorem absence is established.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "RESULT", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:12:41Z" }, { "artifact_refs": [], "confidence": null, "content": "Formalize a joint observation and declassification theorem including adaptive coalitions, correlated randomness, permitted histories and lifecycle effects. Per-sensor marginal independence is insufficient. Deliver independently checked composition hypotheses and an implementation/physical refinement map.", "created_at": "2026-09-18T12:12:45Z", "evidence_score": 0, "hash": "sha256:571917d056f38d03d14add900edc85ea5e1c8861de1f037e01a47176bcf62013", "id": "cc2_joint_refinement", "importance_score": 0.95, "metadata": { "falsifier": "CK-01 or a secret-dependent joint trace admitted by the proposed composition theorem.", "work_packets": "CHANNELS.md" }, "normalized_content": "formalize a joint observation and declassification theorem including adaptive coalitions, correlated randomness, permitted histories and lifecycle effects. per-sensor marginal independence is insufficient. deliver independently checked composition hypotheses and an implementation/physical refinement map.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "QUESTION", "uncertainty_score": 1, "updated_at": "2026-09-18T12:12:45Z" }, { "artifact_refs": [], "confidence": null, "content": "Freeze one authorized air-gapped system and fill the observer/service/cost worksheet. Preserve synchronized calibrated multi-sensor traces, held-out workloads, lifecycle events, uncertainty and unmeasured paths. No measurements have been supplied.", "created_at": "2026-09-18T12:12:52Z", "evidence_score": 0, "hash": "sha256:b2f5fd400492ea12608d851e0f16367ab9b170896bc73ab89b225e0ba5cea8d7", "id": "cc2_physical_validation", "importance_score": 0.95, "metadata": { "falsifier": "A distinguishable permitted joint transcript or an omitted observable.", "work_packets": "CHANNELS.md" }, "normalized_content": "freeze one authorized air-gapped system and fill the observer/service/cost worksheet. preserve synchronized calibrated multi-sensor traces, held-out workloads, lifecycle events, uncertainty and unmeasured paths. no measurements have been supplied.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [], "status": "CANDIDATE", "tags": [], "type": "QUESTION", "uncertainty_score": 1, "updated_at": "2026-09-18T12:12:52Z" } ], "edges": [ { "created_at": "2026-09-18T12:10:22Z", "edge_type": "DEPENDS_ON", "id": "edge_05c53679d8ed4dcc", "rationale": "The deployment choice fixes the physical-observer focus but leaves qualification inputs open.", "run_id": "", "source_atom_id": "cc2_all_channel_optimum", "target_atom_id": "cc2_airgap_deployment", "weight": 1 }, { "created_at": "2026-09-18T12:10:26Z", "edge_type": "DEPENDS_ON", "id": "edge_19581bbed84747a2", "rationale": "Interpret the finite witness under the stated formal observation and useful-service contract, not as a hardware result.", "run_id": "", "source_atom_id": "cc2_joint_marginals_suffice", "target_atom_id": "cc2_coverage_contract", "weight": 1 }, { "created_at": "2026-09-18T12:10:31Z", "edge_type": "REFUTES", "id": "edge_5374a72c1dfa426a", "rationale": "Each coordinate is uniform for either secret. The XOR of the observed pair recovers the secret exactly.", "run_id": "", "source_atom_id": "atom_b92d41434b8f4cad", "target_atom_id": "cc2_joint_marginals_suffice", "weight": 1 }, { "created_at": "2026-09-18T12:10:39Z", "edge_type": "DEPENDS_ON", "id": "edge_707603e3d7f44a19", "rationale": "Interpret the finite witness under the stated formal observation and useful-service contract, not as a hardware result.", "run_id": "", "source_atom_id": "", "target_atom_id": "cc2_coverage_contract", "weight": 1 }, { "created_at": "2026-09-18T12:10:43Z", "edge_type": "REFUTES", "id": "edge_9e3183fc041d4209", "rationale": "A one-bit choice remains between accepted headers. Canonical release must remove every unauthorized choice, including semantic alternatives.", "run_id": "", "source_atom_id": "atom_6a4fd5a2f9c24065", "target_atom_id": "", "weight": 1 }, { "created_at": "2026-09-18T12:10:51Z", "edge_type": "DEPENDS_ON", "id": "edge_39f927815b37498d", "rationale": "Interpret the finite witness under the stated formal observation and useful-service contract, not as a hardware result.", "run_id": "", "source_atom_id": "cc2_shutdown_is_optimal_useful", "target_atom_id": "cc2_coverage_contract", "weight": 1 }, { "created_at": "2026-09-18T12:10:55Z", "edge_type": "REFUTES", "id": "edge_bbf453511cc640ab", "rationale": "Require useful service in the optimization contract. This is an abstract example, not a claim that powered-off hardware cannot leak.", "run_id": "", "source_atom_id": "atom_44915c71f51d4297", "target_atom_id": "cc2_shutdown_is_optimal_useful", "weight": 1 }, { "created_at": "2026-09-18T12:11:03Z", "edge_type": "DEPENDS_ON", "id": "edge_2ae622e49ec74e63", "rationale": "Interpret the finite witness under the stated formal observation and useful-service contract, not as a hardware result.", "run_id": "", "source_atom_id": "cc2_cost_independent_optimum", "target_atom_id": "cc2_coverage_contract", "weight": 1 }, { "created_at": "2026-09-18T12:11:08Z", "edge_type": "REFUTES", "id": "edge_920e316a03c04d9f", "rationale": "Even with fixed security and utility premises, changing the objective can change the optimum.", "run_id": "", "source_atom_id": "atom_e582b049b4394a79", "target_atom_id": "cc2_cost_independent_optimum", "weight": 1 }, { "created_at": "2026-09-18T12:12:49Z", "edge_type": "DEPENDS_ON", "id": "edge_73acc432cf1845cf", "rationale": "A meaningful feasible deployment witness requires this unresolved obligation before any global cost claim.", "run_id": "", "source_atom_id": "cc2_all_channel_optimum", "target_atom_id": "cc2_joint_refinement", "weight": 1 }, { "created_at": "2026-09-18T12:12:56Z", "edge_type": "DEPENDS_ON", "id": "edge_16e44517e3284884", "rationale": "A meaningful feasible deployment witness requires this unresolved obligation before any global cost claim.", "run_id": "", "source_atom_id": "cc2_all_channel_optimum", "target_atom_id": "cc2_physical_validation", "weight": 1 } ], "ok": true, "run_id": "" }, "latest_events": [ { "created_at": "2026-09-18T12:12:56Z", "event_type": "edge_added", "id": 10428, "payload_json": "{\"edge_id\":\"edge_16e44517e3284884\",\"edge_type\":\"DEPENDS_ON\",\"source_atom_id\":\"cc2_all_channel_optimum\",\"target_atom_id\":\"cc2_physical_validation\"}" }, { "created_at": "2026-09-18T12:12:52Z", "event_type": "atom_added", "id": 10427, "payload_json": "{\"atom_id\":\"cc2_physical_validation\",\"status\":\"CANDIDATE\",\"type\":\"QUESTION\"}" }, { "created_at": "2026-09-18T12:12:49Z", "event_type": "edge_added", "id": 10426, "payload_json": "{\"edge_id\":\"edge_73acc432cf1845cf\",\"edge_type\":\"DEPENDS_ON\",\"source_atom_id\":\"cc2_all_channel_optimum\",\"target_atom_id\":\"cc2_joint_refinement\"}" }, { "created_at": "2026-09-18T12:12:45Z", "event_type": "atom_added", "id": 10425, "payload_json": "{\"atom_id\":\"cc2_joint_refinement\",\"status\":\"CANDIDATE\",\"type\":\"QUESTION\"}" }, { "created_at": "2026-09-18T12:12:41Z", "event_type": "evidence_attached", "id": 10424, "payload_json": "{\"artifact_hash\":\"sha256:66b4c326a7e0c4317f73089692bb4230ac27e86d0a45e4307b320f31fb81aaa1\",\"atom_id\":\"cc2_retrieval_formal\",\"evidence_id\":\"evidence_fa8e9abd8b1b4b85\",\"source_type\":\"theoremsearch_retrieval\"}" }, { "created_at": "2026-09-18T12:12:41Z", "event_type": "atom_added", "id": 10423, "payload_json": "{\"atom_id\":\"cc2_retrieval_formal\",\"status\":\"CANDIDATE\",\"type\":\"RESULT\"}" }, { "created_at": "2026-09-18T12:12:37Z", "event_type": "evidence_attached", "id": 10422, "payload_json": "{\"artifact_hash\":\"sha256:1e1c9ed7353bbc94d834fabf33716d396121557bf72d516f8bdf8ad270db5bdf\",\"atom_id\":\"cc2_retrieval_breaker\",\"evidence_id\":\"evidence_5b5c258d3aa04de9\",\"source_type\":\"theoremsearch_retrieval\"}" }, { "created_at": "2026-09-18T12:12:37Z", "event_type": "atom_added", "id": 10421, "payload_json": "{\"atom_id\":\"cc2_retrieval_breaker\",\"status\":\"CANDIDATE\",\"type\":\"RESULT\"}" }, { "created_at": "2026-09-18T12:12:33Z", "event_type": "evidence_attached", "id": 10420, "payload_json": "{\"artifact_hash\":\"sha256:7450b58c0526d3794fddf103a75bdbfdbf625614426343280f6299a5a9fc2976\",\"atom_id\":\"cc2_retrieval_shape\",\"evidence_id\":\"evidence_4ac845ca157144d0\",\"source_type\":\"theoremsearch_retrieval\"}" }, { "created_at": "2026-09-18T12:12:33Z", "event_type": "atom_added", "id": 10419, "payload_json": "{\"atom_id\":\"cc2_retrieval_shape\",\"status\":\"CANDIDATE\",\"type\":\"RESULT\"}" }, { "created_at": "2026-09-18T12:11:14Z", "event_type": "promotion_attempted", "id": 10418, "payload_json": "{\"claim_atom_id\":\"cc2_cost_independent_optimum\",\"gate\":{\"diagnostics\":{\"counterexample_evidence\":[\"evidence_545200f520984c3f\"],\"evidence_with_provenance\":[\"evidence_545200f520984c3f\",\"evidence_4418230c10004f44\"],\"evidence_without_provenance\":[],\"refutation_hint\":\"SUPPORT promotion is blocked while counterexample evidence or REFUTES/CONTRADICTS edges exist.\",\"refuting_edges\":[\"edge_920e316a03c04d9f\"]},\"has_claim_authority\":true,\"has_contradiction_search\":true,\"\":true,\"has_dependencies\":true,\"has_no_refuting_evidence\":false,\"has_promotion_rationale\":true,\"has_provenance\":true,\"has_refutation_attempt\":true,\"has_replay_recipe\":true,\"has_support_evidence\":false,\"has_supported_type\":true,\"input_checks\":{\"contradiction_search_done\":true,\"replay_passed\":true},\"missing\":[],\"ok\":true,\"target\":\"REFUTED\"},\"promotion_id\":\"promotion_3e77478d817247e6\",\"to_status\":\"REFUTED\"}" }, { "created_at": "2026-09-18T12:11:08Z", "event_type": "evidence_attached", "id": 10417, "payload_json": "{\"artifact_hash\":\"sha256:548c2a31da972b304eeb4f576b56a3fd0a5efea489f6b2ad93ffdfef49cea7b4\",\"atom_id\":\"cc2_cost_independent_optimum\",\"evidence_id\":\"evidence_4418230c10004f44\",\"source_type\":\"contradiction_search\"}" }, { "created_at": "2026-09-18T12:11:08Z", "event_type": "retrieve", "id": 10416, "payload_json": "{\"atom_id\":\"cc2_cost_independent_optimum\",\"modes\":[\"contradictions\",\"failures\"],\"query\":\"The same abstract plan minimizes every positive resource-cost weighting.\",\"result_count\":5}" }, { "created_at": "2026-09-18T12:11:08Z", "event_type": "atom_refuted", "id": 10415, "payload_json": "{\"actual_counterexample\":true,\"counterexample_atom_id\":\"atom_e582b049b4394a79\",\"edge_id\":\"edge_920e316a03c04d9f\",\"target_atom_id\":\"cc2_cost_independent_optimum\"}" }, { "created_at": "2026-09-18T12:11:08Z", "event_type": "edge_added", "id": 10414, "payload_json": "{\"edge_id\":\"edge_920e316a03c04d9f\",\"edge_type\":\"REFUTES\",\"source_atom_id\":\"atom_e582b049b4394a79\",\"target_atom_id\":\"cc2_cost_independent_optimum\"}" }, { "created_at": "2026-09-18T12:11:08Z", "event_type": "atom_added", "id": 10413, "payload_json": "{\"atom_id\":\"atom_e582b049b4394a79\",\"status\":\"REFUTED\",\"type\":\"COUNTEREXAMPLE\"}" }, { "created_at": "2026-09-18T12:11:03Z", "event_type": "evidence_attached", "id": 10412, "payload_json": "{\"artifact_hash\":\"sha256:2db94d8952c750ad4dd96d42977f3a95d6cef21d042f49634ad986a917587f04\",\"atom_id\":\"cc2_cost_independent_optimum\",\"evidence_id\":\"evidence_545200f520984c3f\",\"source_type\":\"counterexample\"}" }, { "created_at": "2026-09-18T12:11:03Z", "event_type": "edge_added", "id": 10411, "payload_json": "{\"edge_id\":\"edge_2ae622e49ec74e63\",\"edge_type\":\"DEPENDS_ON\",\"source_atom_id\":\"cc2_cost_independent_optimum\",\"target_atom_id\":\"cc2_coverage_contract\"}" }, { "created_at": "2026-09-18T12:10:59Z", "event_type": "promotion_attempted", "id": 10410, "payload_json": "{\"claim_atom_id\":\"cc2_shutdown_is_optimal_useful\",\"gate\":{\"diagnostics\":{\"counterexample_evidence\":[\"evidence_dc2de74ea7114faa\"],\"evidence_with_provenance\":[\"evidence_dc2de74ea7114faa\",\"evidence_0f71624058064bff\"],\"evidence_without_provenance\":[],\"refutation_hint\":\"SUPPORT promotion is blocked while counterexample evidence or REFUTES/CONTRADICTS edges exist.\",\"refuting_edges\":[\"edge_bbf453511cc640ab\"]},\"has_claim_authority\":true,\"has_contradiction_search\":true,\"\":true,\"has_dependencies\":true,\"has_no_refuting_evidence\":false,\"has_promotion_rationale\":true,\"has_provenance\":true,\"has_refutation_attempt\":true,\"has_replay_recipe\":true,\"has_support_evidence\":false,\"has_supported_type\":true,\"input_checks\":{\"contradiction_search_done\":true,\"replay_passed\":true},\"missing\":[],\"ok\":true,\"target\":\"REFUTED\"},\"promotion_id\":\"promotion_2466d9734cde49a7\",\"to_status\":\"REFUTED\"}" }, { "created_at": "2026-09-18T12:10:55Z", "event_type": "evidence_attached", "id": 10409, "payload_json": "{\"artifact_hash\":\"sha256:58f780f0a6cb9065e3fb160bdb09734f7466bfb74bdeac94bb1671be27f9be73\",\"atom_id\":\"cc2_shutdown_is_optimal_useful\",\"evidence_id\":\"evidence_0f71624058064bff\",\"source_type\":\"contradiction_search\"}" } ], "non_claims": [ "Research Kernel stores public artifacts and evidence, not hidden chain-of-thought.", "SUPPORTED means the local promotion gate passed; it is not an external proof by itself.", "Morph reformulations are candidate search objects until separately tested." ], "ok": true, "refuted_claims": [ { "artifact_refs": [ "sha256:85fe51c46d20b1a67946cf6d5a0539b19997fc1a91c67bf7b0515528139e8873", "sha256:877c3e973cff921771e49e6d90d62abeb52d8e22dcaf98bc7438303ead156ed9" ], "confidence": null, "content": "Equality of every individual channel's output distribution under two secrets implies equality of their joint output distribution.", "created_at": "2026-09-18T11:51:40Z", "evidence_score": 0, "hash": "sha256:1a82d3e5dd6bfb6f7887dc58557bd2074aa4b7b289807fc30e2472923218f7cc", "id": "cc2_joint_marginals_suffice", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "equality of every individual channel's output distribution under two secrets implies equality of their joint output distribution.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [ "https://github.com/TheDarkLightX/CovertChannelLab/blob/main/research/coverage/checks.json" ], "status": "REFUTED", "tags": [], "type": "HYPOTHESIS", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:35Z" }, { "artifact_refs": [ "sha256:306a03a0792f95cab51f6dac5af639994774b6a6a77d94f7e8064380556fefba", "sha256:4538ee209fae2536c9bb6fd4858c0e12ded3ec62b176279b8ae7a3aae9cfe0fe" ], "confidence": null, "content": "Formatting normalization alone removes the information capacity of worker-chosen semantically acceptable public outputs.", "created_at": "2026-09-18T11:51:42Z", "evidence_score": 0, "hash": "sha256:86f886b66f1e222cfd4a3898f7f63d7bde48eaf8fafd3ff8ef863c5802417b1e", "id": "", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "formatting normalization alone removes the information capacity of worker-chosen semantically acceptable public outputs.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [ "https://github.com/TheDarkLightX/CovertChannelLab/blob/main/research/coverage/checks.json" ], "status": "REFUTED", "tags": [], "type": "HYPOTHESIS", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:48Z" }, { "artifact_refs": [ "sha256:58f780f0a6cb9065e3fb160bdb09734f7466bfb74bdeac94bb1671be27f9be73", "sha256:b3d03e551f0c871e12b1b87c21820cfcfeaf667b93aebda366b2c90951d435fa" ], "confidence": null, "content": "A silent shutdown configuration is a feasible covert-channel solution even when the contract requires strictly positive useful service.", "created_at": "2026-09-18T11:51:46Z", "evidence_score": 0, "hash": "sha256:130b6d98d1f0d2193cc9d9402b5fe0c6445059d1ec3705272fff527fbf5ca7ec", "id": "cc2_shutdown_is_optimal_useful", "importance_score": 0.5, "metadata": { "replay_recipe": "python3 channel_checks.py --check; python3 -m unittest -v test_channel_checks", "scope": "channel inventory and formal requirement, not deployment certification" }, "normalized_content": "a silent shutdown configuration is a feasible covert-channel solution even when the contract requires strictly positive useful service.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [ "https://github.com/TheDarkLightX/CovertChannelLab/blob/main/research/coverage/checks.json" ], "status": "REFUTED", "tags": [], "type": "HYPOTHESIS", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:59Z" }, { "artifact_refs": [ "sha256:2db94d8952c750ad4dd96d42977f3a95d6cef21d042f49634ad986a917587f04", "sha256:548c2a31da972b304eeb4f576b56a3fd0a5efea489f6b2ad93ffdfef49cea7b4" ], "confidence": null, "content": "The same abstract plan minimizes every positive resource-cost weighting, even when feasible plans trade different resources.", "created_at": "2026-09-18T12:10:11Z", "evidence_score": 0, "hash": "sha256:f035832dd43ce2074ad14f748c45fd1dd11bad89d86a35fa626b31f01b863bd2", "id": "cc2_cost_independent_optimum", "importance_score": 0.5, "metadata": { "falsifier": "Two feasible abstract vectors exchange their unique optimum under positive weights.", "replay_recipe": "python3 scripts/verify_coverage.py" }, "normalized_content": "the same abstract plan minimizes every positive resource-cost weighting, even when feasible plans trade different resources.", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 0.5, "run_id": "", "source_refs": [ "https://github.com/TheDarkLightX/CovertChannelLab/blob/main/research/coverage/checks.json" ], "status": "REFUTED", "tags": [], "type": "HYPOTHESIS", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:11:14Z" }, { "artifact_refs": [], "confidence": null, "content": "[{\"secret\":0,\"outcomes\":[{\"pair\":[0,0],\"probability\":\"1/2\"},{\"pair\":[1,1],\"probability\":\"1/2\"}]},{\"secret\":1,\"outcomes\":[{\"pair\":[0,1],\"probability\":\"1/2\"},{\"pair\":[1,0],\"probability\":\"1/2\"}]}]", "created_at": "2026-09-18T12:10:31Z", "evidence_score": 0, "hash": "sha256:ce271272fe2be30b48aa3d0699cdb8ebbce2f1342297cddf5d583708c6b334aa", "id": "atom_b92d41434b8f4cad", "importance_score": 0.8, "metadata": { "actual_counterexample": true, "record_id": "CK-01", "source_hashes": { "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd", "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18", "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3", "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb", "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e", "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9" }, "strategy": "Each coordinate is uniform for either secret. The XOR of the observed pair recovers the secret exactly.", "tests": [ "python3 scripts/verify_coverage.py", "python3 channel_checks.py --check" ] }, "normalized_content": "[{\"secret\":0,\"outcomes\":[{\"pair\":[0,0],\"probability\":\"1/2\"},{\"pair\":[1,1],\"probability\":\"1/2\"}]},{\"secret\":1,\"outcomes\":[{\"pair\":[0,1],\"probability\":\"1/2\"},{\"pair\":[1,0],\"probability\":\"1/2\"}]}]", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 1, "run_id": "", "source_refs": [], "status": "REFUTED", "tags": [ "refutation" ], "type": "COUNTEREXAMPLE", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:31Z" }, { "artifact_refs": [], "confidence": null, "content": "{\"authorized_numeric_answer\":42,\"accepted_variants\":[\"Answer: 42.\",\"Result: 42.\"],\"normalized_outputs\":[\"Answer: 42.\",\"Result: 42.\"],\"same_length\":true}", "created_at": "2026-09-18T12:10:43Z", "evidence_score": 0, "hash": "sha256:d8f296449723f85ede0b58c0ab13ba08cfe7b082c849a6d731765891b4d7164d", "id": "atom_6a4fd5a2f9c24065", "importance_score": 0.8, "metadata": { "actual_counterexample": true, "record_id": "CK-02", "source_hashes": { "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd", "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18", "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3", "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb", "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e", "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9" }, "strategy": "A one-bit choice remains between accepted headers. Canonical release must remove every unauthorized choice, including semantic alternatives.", "tests": [ "python3 scripts/verify_coverage.py", "python3 channel_checks.py --check" ] }, "normalized_content": "{\"authorized_numeric_answer\":42,\"accepted_variants\":[\"answer: 42.\",\"result: 42.\"],\"normalized_outputs\":[\"answer: 42.\",\"result: 42.\"],\"same_length\":true}", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 1, "run_id": "", "source_refs": [], "status": "REFUTED", "tags": [ "refutation" ], "type": "COUNTEREXAMPLE", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:43Z" }, { "artifact_refs": [], "confidence": null, "content": "{\"abstract_shutdown_trace\":[],\"service\":0,\"minimum_service\":1,\"feasible\":false}", "created_at": "2026-09-18T12:10:55Z", "evidence_score": 0, "hash": "sha256:918dd8f5939a849e1afc8d9bfbf5710d3c7d87bb8a55046dd7575ccd4b45a818", "id": "atom_44915c71f51d4297", "importance_score": 0.8, "metadata": { "actual_counterexample": true, "record_id": "CK-03", "source_hashes": { "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd", "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18", "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3", "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb", "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e", "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9" }, "strategy": "Require useful service in the optimization contract. This is an abstract example, not a claim that powered-off hardware cannot leak.", "tests": [ "python3 scripts/verify_coverage.py", "python3 channel_checks.py --check" ] }, "normalized_content": "{\"abstract_shutdown_trace\":[],\"service\":0,\"minimum_service\":1,\"feasible\":false}", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 1, "run_id": "", "source_refs": [], "status": "REFUTED", "tags": [ "refutation" ], "type": "COUNTEREXAMPLE", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:10:55Z" }, { "artifact_refs": [], "confidence": null, "content": "{\"illustrative_vectors\":{\"A\":[1,5],\"B\":[4,1]},\"scenarios\":[{\"weights\":[1,1],\"costs\":{\"A\":6,\"B\":5},\"unique_optimum\":\"B\"},{\"weights\":[5,1],\"costs\":{\"A\":10,\"B\":21},\"unique_optimum\":\"A\"}],\"scope\":\"Counterexample to a cost-independent optimizer over all positive weightings. No hardware optimum is inferred.\"}", "created_at": "2026-09-18T12:11:08Z", "evidence_score": 0, "hash": "sha256:aa4a9c79125a4eddd9eea6dc5179fa42087add16d0f4219eada3193d4c1c17c5", "id": "atom_e582b049b4394a79", "importance_score": 0.8, "metadata": { "actual_counterexample": true, "record_id": "CK-04", "source_hashes": { "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd", "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18", "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3", "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb", "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e", "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9" }, "strategy": "Even with fixed security and utility premises, changing the objective can change the optimum.", "tests": [ "python3 scripts/verify_coverage.py", "python3 channel_checks.py --check" ] }, "normalized_content": "{\"illustrative_vectors\":{\"a\":[1,5],\"b\":[4,1]},\"scenarios\":[{\"weights\":[1,1],\"costs\":{\"a\":6,\"b\":5},\"unique_optimum\":\"b\"},{\"weights\":[5,1],\"costs\":{\"a\":10,\"b\":21},\"unique_optimum\":\"a\"}],\"scope\":\"counterexample to a cost-independent optimizer over all positive weightings. no hardware optimum is inferred.\"}", "novelty_score": 0.5, "parent_ids": [], "refutability_score": 1, "run_id": "", "source_refs": [], "status": "REFUTED", "tags": [ "refutation" ], "type": "COUNTEREXAMPLE", "uncertainty_score": 0.5, "updated_at": "2026-09-18T12:11:08Z" } ], "schema": "research_kernel/report/v1", "summary": { "counts_by_status": { "CANDIDATE": 11, "REFUTED": 8 }, "counts_by_type": { "COUNTEREXAMPLE": 4, "HYPOTHESIS": 4, "QUESTION": 3, "REFORMULATION": 2, "RESULT": 5, "RISK": 1 }, "edge_count": 11, "event_count": 55, "evidence_count": 11, "ok": true, "run": { "budget": { "physical_experiments": 0, "scope": "One bounded site expansion and exact small-model verification" }, "constraints": { "non_claims": [ "Exhaustive catalogue of every possible physical channel", "A universally optimal hardware configuration", "Measured hardware security", "Certification by literature retrieval or Research Kernel" ], "world_model": "Candidate architecture for a dedicated untrusted worker pending user deployment preference; complete public transcript conditioned on authorized result" }, "created_at": "2026-09-18T11:47:37Z", "goal": "Expand the published lab beyond the thermal example with a source-backed channel inventory, an explicit joint-observation prevention contract, and a reproducible bounded method for comparing configurations. Determine what can and cannot be called optimal.", "id": "", "metadata": { "domain": "information-flow security and configuration synthesis" }, "status": "ACTIVE", "success_criteria": "Published inventory covers digital, physical and operational observation paths; optimum scope and missing deployment inputs are explicit; executable counterexamples expose omitted channels, joint leakage and disabled-utility degeneracy; any modeled optimization result has an independent replay; researcher handoff and Pages checks pass.", "title": "Covert Channel Lab: channel inventory and scoped configuration optimization", "updated_at": "2026-09-18T11:47:37Z" } }, "supported_claims": [] }