{
  "step": "C333",
  "mode": "synthesis/source-claim-boundaryreviewonly",
  "verdict": "PASS_WITH_RETAINED_SOURCE_LIMITS",
  "checks": [
    {
      "name": "C324boundedabsence",
      "pass": true
    },
    {
      "name": "C324positiveFile09rulesretained",
      "pass": true
    },
    {
      "name": "C324File46localguardretained",
      "pass": true
    },
    {
      "name": "C325sixannual12phase",
      "pass": true
    },
    {
      "name": "C326regularfield960",
      "pass": true
    },
    {
      "name": "C326File09field540",
      "pass": true
    },
    {
      "name": "C327completepositiveresidualclasses",
      "pass": true
    },
    {
      "name": "C328fourcontextNoahliferesiduals",
      "pass": true
    },
    {
      "name": "C328fouradmittedcontexts",
      "pass": true
    },
    {
      "name": "C329Noahlife490stable",
      "pass": true
    },
    {
      "name": "C329Shemlife140stable",
      "pass": true
    },
    {
      "name": "C329500legbindingdependent",
      "pass": true
    },
    {
      "name": "C330rankandderivedresiduals",
      "pass": true
    },
    {
      "name": "C330rolequalified600",
      "pass": true
    },
    {
      "name": "C331four2Kpaths",
      "pass": true
    },
    {
      "name": "C331primaryactualpath",
      "pass": true
    },
    {
      "name": "C331companionactualpath",
      "pass": true
    },
    {
      "name": "C332newcriteria02and22",
      "pass": true
    },
    {
      "name": "C332combinedpositive22",
      "pass": true
    },
    {
      "name": "C332i2outofslice",
      "pass": true
    },
    {
      "name": "allpriorreviewchecksvalid",
      "pass": true
    },
    {
      "name": "C333mainkeepsboundedsourceverdict",
      "pass": true
    },
    {
      "name": "C333mainconditional22only",
      "pass": true
    },
    {
      "name": "C333mainnewcriteria02and22",
      "pass": true
    },
    {
      "name": "C333mainnoextraauthorizationorwitness",
      "pass": true
    }
  ],
  "counts": {
    "synthesis_checks": 25,
    "sealed_review_inputs": 9,
    "current_synthesis_DATA_checked": 1
  },
  "inputs": {
    "axis_ledger_work/C333/sources/C324_Source_Ledger.json": "55838665d232d08e6833bef082efa96a2e46d32c86c0b87ef5f2673975fc32af",
    "axis_ledger_work/C333/sources/C325_Source_Results.json": "9ebe17f42bade4f30fce3d87dbf6dd16a7c86c121b68a01e275520bce574a7b5",
    "axis_ledger_work/C333/sources/C326_Source_Results.json": "1314da9fe1d50546266a91e93c53136f4f5131f2e724186fc8da7be49da71faa",
    "axis_ledger_work/C333/sources/C327_Source_Results.json": "0a576fc658f9c15f2b44f5c6f15fc2e00c9777c634ae1573ad5ab3b940883cb2",
    "axis_ledger_work/C333/sources/C328_Source_Results.json": "19714b67944b7d425c03d858aff1986de0d058e418617968027d047da224006e",
    "axis_ledger_work/C333/sources/C329_Source_Results.json": "a0518234652b48069deccd954d6657ea97a934e71979b31618b60740e42a4693",
    "axis_ledger_work/C333/sources/C330_Source_Results.json": "9fd1e3f27614ea81795ef0a0e291bb8e1827f10027fb6662ae940752c6b7abe7",
    "axis_ledger_work/C333/sources/C331_Source_Results.json": "418517da483232f2764c9b793527e9db615bc06da550e2303d4ce311538f1962",
    "axis_ledger_work/C333/sources/C332_Source_Results.json": "29eb2952e564e100f9e772205d5981a585f0b90a64cbd3729e61a17d60640b71",
    "axis_ledger_work/C333/evidence/DATA.json": "8bf03e50d6ffa03a94726e85d90132e8fd07d56cd33143bcced0fb2b16e831fa"
  },
  "source_claim_boundaries": [
    "ExplicitFile09local460→500endpointconstructionsremainpositiveevidence;themissingregularSP→MT/E/Noah500prescriptionisonlyaboundedabsence.",
    "Noah950/490isconditionalonMTON/T60amongthefourtestedcontexts,butstableunderthetwoexplicit500/502Shembindings.",
    "MatchedSPprimaryNoahdeathkeepsinclusive/harmonicqualification;companionkeepsordinaryqualification.",
    "950+108isanewdissectionoftheoldsource-qualified2Kedge,notanewindependentwitnessorendpointrelation.",
    "Actualcompanionintermediatepathis459+491+108;noMTcompanioniscreated.",
    "Newdeathcriteriaretain02and22;i3/5withactual490. Addingtheexistingtwo17Kconditionselects22i3/5conditionally.",
    "C287i2remainsoutsideC319sliceandretained.",
    "NoEexecution,globaloperator,ancestrycollapse,canonicaledit,historicalpriority,orindependentwitnessclaimfollows."
  ],
  "next_bounded_proposal": {
    "step": "C334",
    "status": "unexecuted;requiresnewauthorizationafterC333",
    "question": "Audit only targeted supplied-source passages for an explicit dependency coupling the cumulative ON-Shem annual+2 choice to the already admitted MT next-Gear Flood start/close used in the C287 death partition. Distinguish that prescription from the algebraic two17K condition a=b.",
    "bounds": [
      "Useexistingstate/endpointidentitiesandsourcepassagesonly",
      "Do not add aGear,annualmember,anchor,Eexecutionorcontext",
      "No broader numerical search or rerun of completed campaigns"
    ]
  },
  "new_calculation_or_source_search": false
}