[noahgift]

Split PR-2 of 2 of #4502 (operator plan: the split is a MOVE of #4502). Stacked on #4587 (base split/pvl-rows-0.70). Once #4587 merges, this PR retargets to main.

What: the full #4502 r7 A 0be7c00372 tree minus PR-1, plus fb's integ fixes (rows 4, 7, 10, 13; row 8 superseded by PR-1's full regen) and the #4445 AC test (forget_prefix_makes_the_same_prompt_prefill_whole_again, 3 turns).

Coverage: fb's union check PASS, PR-1 e13e9eb ∪ PR-2 = #4502 with 0 missing and 0 extra (handoff 4502-union-receipt-postcut).

Generated files: taken from PR-1's batch_fold.sh --regen (census n_files 1889; README CONTRACT_COUNT 1889, check_readme_claims.sh rc0). ontology.ofn, tbox-report.json, discharge-summary.json and Axioms.lean are not included (98 is the single writer).

Pre-push receipts: intel at 78bd48d: cargo fmt --all --check rc0, cargo check --workspace --all-targets --locked rc0. 66's guard-tree on intel: 59 PASS, and all 6 merge-ref guards rc0.

Once #4587 and this PR merge, #4502 closes with links.

🤖 Generated with Claude Code

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-4502,PMAT-3715,PMAT-4431,PMAT-4073,PMAT-3712,PMAT-4445,PMAT-4083,PMAT-4189",
 "head": "db80afca024f5abafe4e547e693d7faf1d54b330",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 1
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 1
  },
  {
   "lane": 3,
   "verdict": "FAIL",
   "findings": 1
  }
 ]
}

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-4502,PMAT-3715,PMAT-4431,PMAT-4073,PMAT-3712,PMAT-4445,PMAT-4083,PMAT-4189",
 "head": "db80afca024f5abafe4e547e693d7faf1d54b330",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 1
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 4
  },
  {
   "lane": 3,
   "verdict": "FAIL",
   "findings": 2
  }
 ]
}

[noahgift]

Closed with a pointer (0.70.2 PR backlog, C297 §5; aprender-6a for la-a). The content landed on main through fold #4655 (989cb01, '#4587+#4588 PMAT-4502'), and main has since refined it (the discharge timeout became Bounded::TimedOut, and the ladder-copy test moved to readme_contract.rs). Measured on origin/main 316dee2: merging main into this branch with conflicts resolved to main leaves only the generated contracts/census.json and one roadmap title line (PMAT-4445: 'prefills every timed turn whole'; the forget_prefix code is on main). Branch split/ont10-rest-0.70 is kept.