migrate(C7 complete): 8 player kernels verified + 6 boundary proofs

[hyperpolymath]

Summary

Completes cluster C7 (player) of the idaptik ReScript→AffineScript→wasm migration — the 8 player-state coprocessor brains. Builds on the C7 drafts that rode in with #537; this PR adds the parity oracles, boundary proofs, float re-decompositions, and evidence, and marks C7 DONE in the ledger + migration-map.json.

8 kernels, every gate re-run by the parent (not agent-reported):

Gate	Result
G1 compile	8/8
G2 parity	4,348/4,348 vs independent ReScript-derived oracles
G3 boundary	6 LOSSLESS Agda proofs, re-typechecked (QCertifications, SkillRank, JessicaLoadout ×3, JessicaBackground)
G4 assail	8/8 clean

Per-kernel: CriticalRoll 59/59 · PlayerAttributes 155/155 · QCertifications 101/101 · SkillRank 180/180 · SkillAbilities 894/894 · QPrograms 2593/2593 · JessicaLoadout 265/265 · JessicaBackground 101/101.

Float→wasm wall (4 of 8)

CriticalRoll/PlayerAttributes/QPrograms hit min_float/max_float/trunc and were re-decomposed Int-native (milli-unit convention, floats host-side, per the C6 *Int pattern); QCertifications' f64-comparison exports moved host-side. The differential parity sweep caught and fixed an off-by-100 in PlayerAttributes — a transcription error an eyeball pass would have shipped.

Rigor note

A mid-flight parent check raced one agent and missed the boundary proofs it hadn't yet written; the figures here are from the post-completion re-run, with every parity sweep executed and every .agda re-typechecked by the parent.

Staging

Staged under proposals/idaptik/migrated/ per the write-access gate — "migrated" = re-decomposed + 4-gate-verified + staged, not yet applied to idaptik. License AGPL-3.0-or-later (idaptik downstream).

https://claude.ai/code/session_01WoKhFQePiRsAj7aqnxbG8s

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 87 issues detected

Severity	Count
🔴 Critical	2
🟠 High	15
🟡 Medium	70

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action perpolymath/standards/.github/workflows/governance-reusable.yml@main\n needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action ons/checkout@v6\n    needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action land/setup-deno@v2\n    needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in affine-vscode-publish.yml",
    "type": "missing_timeout_minutes",
    "file": "affine-vscode-publish.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence