{
  "commands": [
    {
      "command": "/usr/bin/python3 -m pytest -q -p no:cacheprovider -o addopts= --timeout=300 --junitxml=/tmp/e7-junit-evolution_07-0ab1e4f629a645369c3a71a248d79fb5.xml tests/sovereign/evolution_07/test_e7_protocol.py tests/sovereign/evolution_07/test_e7_enforcement.py tests/sovereign/evolution_07/test_e7_formal_link.py tests/sovereign/evolution_07/test_e7_ledger.py tests/sovereign/evolution_07/test_e7_worker_isolation.py tests/sovereign/evolution_07/test_e7_evidence.py",
      "exit_code": 0,
      "name": "pytest-evolution_07",
      "seconds": 40.02,
      "transcript": "transcripts/01-pytest-evolution_07.txt"
    },
    {
      "command": "/usr/bin/python3 -m pytest -q -p no:cacheprovider -o addopts= --timeout=300 --junitxml=/tmp/e7-junit-regression_evolution_05_06-e42b095bd14846739e227f068b5a9521.xml tests/sovereign/evolution_05/test_cain_talos_governance.py tests/sovereign/evolution_06/test_evolution_6_adversarial.py verification/sovereign/test_e6_talos_mutations.py",
      "exit_code": 0,
      "name": "pytest-regression_evolution_05_06",
      "seconds": 5.24,
      "transcript": "transcripts/02-pytest-regression_evolution_05_06.txt"
    },
    {
      "command": "/usr/bin/python3 -m pytest -q -p no:cacheprovider -o addopts= --timeout=300 --junitxml=/tmp/e7-junit-regression_evolution_02_04-70089a5d79ee4060a39f809c44490cf4.xml tests/test_evolution_4_evidence_pipeline.py tests/test_evolution_3_mediated_launcher.py tests/test_sovereign_e3_landlock.py tests/test_sovereign_e3_resource_exhaustion.py tests/test_evolution_2_adversarial.py",
      "exit_code": 0,
      "name": "pytest-regression_evolution_02_04",
      "seconds": 9.43,
      "transcript": "transcripts/03-pytest-regression_evolution_02_04.txt"
    },
    {
      "command": "/usr/bin/python3 -m pytest -q -p no:cacheprovider -o addopts= --timeout=300 --junitxml=/tmp/e7-junit-ihvrk_package-f356d13c6748461591cc600283179344.xml ihvrk/tests",
      "exit_code": 0,
      "name": "pytest-ihvrk_package",
      "seconds": 23.16,
      "transcript": "transcripts/04-pytest-ihvrk_package.txt"
    },
    {
      "command": "/usr/bin/python3 verification/sovereign/e7_cain_talos_z3.py --json /root/cain-studio-platform/reports/sovereign/evolution-07/formal_results.json",
      "exit_code": 0,
      "name": "formal-models",
      "seconds": 0.35,
      "transcript": "transcripts/05-formal-models.txt"
    },
    {
      "command": "/usr/bin/python3 scripts/sovereign/mutation_e7.py --jobs 4 --json /root/cain-studio-platform/reports/sovereign/evolution-07/mutation_results.json",
      "exit_code": 0,
      "name": "mutation",
      "seconds": 354.48,
      "transcript": "transcripts/06-mutation.txt"
    }
  ],
  "environment": {
    "cryptography": "46.0.5",
    "euid": 0,
    "kernel": "7.0.0-38-generic",
    "landlock_abi": 8,
    "lsm": "lockdown,capability,landlock,yama,apparmor,ima,evm",
    "machine": "x86_64",
    "platform": "Linux-7.0.0-38-generic-x86_64-with-glibc2.43",
    "pytest": "9.0.2",
    "python": "3.14.4",
    "sqlite": "3.46.1",
    "yama_ptrace_scope": "1",
    "z3": "5.1.0"
  },
  "evolution_06_claims_reconciled": {
    "18_z3_invariants": {
      "note": "18/18 UNSAT reproduces. The model contains guards (parameters_digest_match, worker_isolated) that had no implementation, and nothing tied model to code.",
      "status": "RUNS_BUT_NOT_EVIDENCE_ABOUT_THE_CODE"
    },
    "474_local_tests_passed": {
      "note": "The reproduction script runs 174 tests (all passed at baseline). 474 is a literal in scripts/sovereign/evidence_pipeline_e6.py (\"total_passed\": 474), not a measured sum; the Evolution 6 release_gate.json says '8 passed'.",
      "status": "NOT_REPRODUCED_AS_STATED"
    },
    "60_of_60_adversarial_scenarios": {
      "note": "60 tests pass. At least 12 assert nothing about the system (tests 07, 08, 09, 31, 34, 48, 51, 55, 56, 57, 58, 59 compare local constants or call nothing governed); 29, 30 and 33 accept any non-zero exit.",
      "status": "OVERSTATED"
    },
    "8_of_8_state_machine_mutations_killed": {
      "note": "Eight tests that pass invalid inputs to unmodified code. No code was mutated.",
      "status": "MISLABELLED"
    },
    "all_untrusted_execution_moved_out_of_the_gateway": {
      "note": "cain.talos had and has zero production callers. talos-coder/talos_coder/executor.py, cited as inspected, does not exist; talos-coder/daemon/tools/run_command.py still runs subprocess.run(cmd, shell=True).",
      "status": "FALSE"
    },
    "base_commit_d190f159_branch_ironclad-prompt8-qualification": {
      "note": "HEAD and branch match. But HEAD does not contain the Evolution 5/6 code: cain/talos and its tests, models and reports are untracked files.",
      "status": "CONFIRMED"
    },
    "ihvrk_8_3_1_passes_9_checks_68_artifacts": {
      "note": "ihvrk/evidence/verify_ihvrk_evidence.py passes on 68 files. That manifest is UNSIGNED; 8.3.1 is the separate owner-signed auditor kit.",
      "status": "CONFIRMED_WITH_CORRECTION"
    },
    "no_git_remote_no_hosted_ci": {
      "note": "git remote -v is empty.",
      "status": "CONFIRMED"
    },
    "no_live_traffic_no_independent_audit": {
      "note": "Still true.",
      "status": "CONFIRMED"
    },
    "protocol_v2_binds_parameters_digest": {
      "note": "No code issued or verified v2. The digest sat in an unchecked 'constraints' dict; TALOS executed any argv under any envelope for the same action and target.",
      "status": "FALSE"
    },
    "rfc_8785_canonical_json": {
      "note": "cain45.canon is json.dumps(sort_keys, ASCII-escaped). Deterministic, not JCS.",
      "status": "UNSUPPORTED"
    },
    "three_site_parity": {
      "note": "Observed live in this run: the Evolution 6 manifest is byte-identical on the three sites and to the local file.",
      "status": "CONFIRMED_FOR_EVOLUTION_06"
    },
    "worker_process_isolation_added": {
      "note": "TalosWorkerBoundary existed but: ran unconfined if Landlock setup raised; ran as root with all capabilities; could connect to any Unix socket and send UDP (measured); added the caller's cwd to the readable paths; nothing in the gateway called it.",
      "status": "PARTLY_FALSE"
    }
  },
  "generated_at_epoch": 1791813198,
  "git": {
    "branch": "ironclad-prompt8-qualification",
    "clean": false,
    "evolution_07_sources_tracked": false,
    "head": "a97b94ddb6876c2266400e6303f3e578cb853833",
    "modified_tracked": 264,
    "remotes": [],
    "untracked": 157
  },
  "run_id": "e7-20261012T134603Z-5cbb38e7",
  "schema": "cain42.sovereign.evo07.baseline.v1",
  "source_files": {
    "cain/landlock_sandbox.py": "379577427d3052493ea234c929b445524c6a5a328e42dee54152eb9bc3d88efd",
    "cain/talos/cain_jit_engine.py": "f92be7fd61bbacc9f9d2fdee70eae9079f6b106e966ebb000e6233bfc6332781",
    "cain/talos/cain_talos_protocol.py": "21ce992911b093576526fcf124191b652cad28f8336291a0f331f92db70847ac",
    "cain/talos/talos_adapter.py": "19fd7d24ba640b287f8e74fad33de0662720b857b3ac12fe18d3793d772fa6db",
    "cain/talos/talos_kernel.py": "1c0457091e9267b11bd719077e6892782517d68cd0264853e31403fd139f1947",
    "cain/talos/talos_ledger.py": "ee0d4b0fd26c3e100c3673d93621b8dc250845b1dfa0436b951d091274a6bf5a",
    "cain/talos/talos_safeguards.py": "a1c607454f3adcdee65b1bde164559cb3b9d05d557a9d8e880c9a9251b9c63c7",
    "cain/talos/talos_sandbox_launcher.py": "313f40a0f802a9a6cd02e5e3bf2fe97f40961e47d305319211d8d17b6c244386",
    "cain/talos/talos_worker.py": "95a58fdb9557d7316aeeba5505d823c18afd78f989923a4e5a3acd1a020d1ce8",
    "cain45/canon.py": "50f3134f85d36cfade939ef96482450dcfeed3c0dbdebc4a2bfebceef9e21541",
    "schemas/cain-talos-envelope.schema.json": "f073ae68cb8e516653c04ab8255e75555c28a7bca79af5e053e6fa8e4648d4e1",
    "scripts/sovereign/e7_common.py": "c7a9e5da288997e67f171607b5464cd955ea336ce6ce66ab6eb063a7807ea596",
    "scripts/sovereign/evidence_pipeline_e7.py": "f7f189480cb2ca238adb4bba26f529013deceab8b78a736beade766e4beae21f",
    "scripts/sovereign/mutation_e7.py": "2542541817e0071bae430bac8a0cf383540501215328e228d46b89c2d213ea06",
    "scripts/sovereign/verify_evolution_07.py": "563c50a78c54616b7209d59471165aa6600a2c887d0f62d4ab752b8ebc579c78",
    "tests/sovereign/evolution_05/test_cain_talos_governance.py": "6463851973c73587e43cb3beba57fb983e1d35c2388b9e9d193583af963d0d33",
    "tests/sovereign/evolution_06/test_evolution_6_adversarial.py": "712fc13a8672069d90cda3c214566cbb26a6f7643d2637e0ab16c2eddcdab705",
    "tests/sovereign/evolution_07/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "tests/sovereign/evolution_07/conftest.py": "fd9db0756bc082d22474786a829a1c92b283e88472d32e2f400a179259c92807",
    "tests/sovereign/evolution_07/test_e7_enforcement.py": "ab75c74d79329ece2c0a4d9a0b7214a80b436f1247cdae2cdce9ef1f360122a7",
    "tests/sovereign/evolution_07/test_e7_evidence.py": "8c8c9a7614b83b1bd2698c6d7e34eeaaeb95e4eff156609ba6222abcba919c0d",
    "tests/sovereign/evolution_07/test_e7_formal_link.py": "9a3f67db1c956568d7df1996422e3449601f6b715330cdf2e0d6758bb26b5b4d",
    "tests/sovereign/evolution_07/test_e7_ledger.py": "8cb39066882e518137c82f872181f9555056da85c688a5396d927ac4ffb94942",
    "tests/sovereign/evolution_07/test_e7_protocol.py": "b73dade70e0dbb9fd1c002be99191e196f82d8f1e6825d68dba758ca216ccaeb",
    "tests/sovereign/evolution_07/test_e7_worker_isolation.py": "7aaba115d4531608eb1d68fb905c338aea11810948136b7ac72a9576979ef42c",
    "verification/sovereign/e7_cain_talos_z3.py": "3ea2fb7ffc415720629dfe811bcbceec5861b4a278d5106f7934d22211c275e4",
    "verification/sovereign/test_e6_talos_mutations.py": "e0ac550cb0f8d4870c6b2ca0ea774182fd075fc8681c5b007715e6eff1de362f"
  },
  "source_tree_digest": "484c641db0ea1789639888e1469fdc7f67ed2fa3a13affb9846c56a7fecb53c0",
  "working_tree_note": "The Evolution 5, 6 and 7 sources (cain/talos, their tests, models and reports) are untracked files in a working tree with other sessions' uncommitted changes. HEAD does not contain them. The source revision identifies the checkout, not this code; the source_files hashes identify this code."
}