feat(res-to-affine): #488 partial-port slice 3 — array + record literals (Refs #488)

[hyperpolymath]

What

Slice 3 of #488 partial-port mode — extends --partial expression coverage with array and record literals:

ReScript	AffineScript (--partial)
let pair = x => [x, x]	fn pair(x: _) -> _ { [x, x] }
let mkpt = (x, y) => {x: x, y: y}	fn mkpt(x: _, y: _) -> _ { Rec #{ x: x, y: y } }
let pun = x => {x, y: 2}	fn pun(x: _) -> _ { Rec #{ x: x, y: 2 } }

• Arrays map 1:1 ([a, b] → [a, b]).
• Records: AffineScript records are nominal (Type #{ … } — no anonymous form), so an anonymous ReScript record gets the placeholder type Rec for the human to rename; field punning {x} expands to x: x; field values are translated.

JS objects, interpolated template strings, try/catch, etc. still become () /* TODO */ holes.

Verification (local, apt-bootstrapped toolchain)

Check	Result
full dune build	✅ exit 0
dune runtest tools/res-to-affine/	✅ 32/32 walker (2 new) against pinned grammar 990214a
parse check — main.exe check on the skeleton	✅ parses (resolution/type errors only, no parse error)
doc-truthing + no-extension-ts guards	✅ pass

Remaining under #488

JS objects / template strings, labelled-arg refinement, combining --partial with --translate (declarations + functions in one pass), and module-qualified-reference resolution (a module-mapping policy decision).

Refs #488

https://claude.ai/code/session_017T8SzHr2yXav8hm4Ho76Uw

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 83 issues detected

Severity	Count
🔴 Critical	2
🟠 High	13
🟡 Medium	68

⚠️ 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 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"
  },
  {
    "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