{
  "module_id": "AME-PHRONESIS-001",
  "module_version": "0.1-design-candidate",
  "status": "PASS",
  "checks": [
    {
      "name": "D one-period maximal manipulation profitable",
      "passed": true,
      "detail": null
    },
    {
      "name": "D fifty-period maximal manipulation self-penalizing",
      "passed": true,
      "detail": null
    },
    {
      "name": "D stationary threshold m=1/2",
      "passed": true,
      "detail": null
    },
    {
      "name": "D discounted lifetime threshold m=5/6",
      "passed": true,
      "detail": null
    },
    {
      "name": "D rankings differ at m=3/4",
      "passed": true,
      "detail": null
    },
    {
      "name": "E maximal constant policy loses at T=50",
      "passed": true,
      "detail": null
    },
    {
      "name": "E adaptive optimum positive at T=50",
      "passed": true,
      "detail": null
    },
    {
      "name": "E pulse witness exact 3/22",
      "passed": true,
      "detail": null
    },
    {
      "name": "E infinite value lower bound positive",
      "passed": true,
      "detail": null
    },
    {
      "name": "F interior m*=3/4",
      "passed": true,
      "detail": null
    },
    {
      "name": "F reward*=9/80",
      "passed": true,
      "detail": null
    },
    {
      "name": "F interior advantage=1/80",
      "passed": true,
      "detail": null
    },
    {
      "name": "G binary reliable-response advantage is zero",
      "passed": true,
      "detail": null
    },
    {
      "name": "G small action stays below trigger",
      "passed": true,
      "detail": null
    },
    {
      "name": "G m=0.1 witness positive",
      "passed": true,
      "detail": null
    },
    {
      "name": "G exact m=0.1 witness value preserved",
      "passed": true,
      "detail": null
    },
    {
      "name": "COMB positive margin classifies restraint",
      "passed": true,
      "detail": null
    }
  ],
  "passed": 17,
  "reference_outputs": {
    "fixed_T50_m1": {
      "exact": "198407890088388366688387148906344158047812573016244542978466485609988582856215238939162454783870313/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "decimal": 0.3968157801767767
    },
    "adaptive_T50_s0": {
      "exact": "4204752239074767145091044806742584385207093040394919779001102102727127902872743897/8388608000000000000000000000000000000000000000000000000000000000000000000000000000",
      "decimal": 0.5012455271571598
    },
    "adaptive_T50_sequence": "10101010101010101010101010101010101010101010101011",
    "adaptive_T50_value_segments": 3,
    "nonlinear_witness": {
      "s": {
        "exact": "0",
        "decimal": 0.0
      },
      "alpha": {
        "exact": "1/5",
        "decimal": 0.2
      },
      "m_star": {
        "exact": "3/4",
        "decimal": 0.75
      },
      "reward_star": {
        "exact": "9/80",
        "decimal": 0.1125
      },
      "reward_0": {
        "exact": "0",
        "decimal": 0.0
      },
      "reward_1": {
        "exact": "1/10",
        "decimal": 0.1
      },
      "interior_advantage": {
        "exact": "1/80",
        "decimal": 0.0125
      }
    },
    "continuous_action_leak": {
      "horizon": 8,
      "m": {
        "exact": "1/10",
        "decimal": 0.1
      },
      "trigger": {
        "exact": "19/100",
        "decimal": 0.19
      },
      "max_state": {
        "exact": "6323839996/152587890625",
        "decimal": 0.0414439177977856
      },
      "all_states_below_trigger": true,
      "binary_best_advantage_over_restraint": {
        "exact": "0",
        "decimal": 0.0
      },
      "small_action_value": {
        "exact": "537684079808499879/6103515625000000000",
        "decimal": 0.08809415963582462
      },
      "claim": "Witness only: binary-action deterrence does not establish continuous-action deterrence."
    },
    "combined_accounting_example": {
      "incremental_friction": {
        "exact": "3",
        "decimal": 3.0
      },
      "gross_benefit_difference_BA_minus_BR": {
        "exact": "2",
        "decimal": 2.0
      },
      "direct_cost_difference_CR_minus_CA": {
        "exact": "0",
        "decimal": 0.0
      },
      "required_threshold": {
        "exact": "2",
        "decimal": 2.0
      },
      "margin": {
        "exact": "1",
        "decimal": 1.0
      },
      "result": "restraint_preferred_under_declared_accounting",
      "boundary": "Accounting condition only; supplied component values are not empirical evidence."
    }
  },
  "boundaries": {
    "empirical_validation": false,
    "independent_specialist_peer_review": false,
    "deployment_certification": false,
    "continuous_action_global_optimum_in_defense_extension_certified": false,
    "nonlinear_multi_period_solver_certified": false,
    "source_bindings_modified": false,
    "master_hash_manifest_v17_modified": false,
    "master_hash_manifest_v18_created": false
  }
}