docs: consolidated session overview — migration corpus + string/float walls

[hyperpolymath]

Summary

Adds a single consolidated, honest record of this session's work, since the repo otherwise only had per-area evidence docs. proposals/EVIDENCE-session-2026-06-14-overview.adoc ties together and cross-links:

• Migration corpus — exhaustive idaptik sweep, 62 → 94 brains (migration: 7 integer-brain kernels from string-gated idaptik modules #584–migration: 3 straggler brains + corpus-sweep capstone (cluster C15) #591)
• String wall — ==/!= and </<=/>/>= value/lexicographic compares (compiler: lower String ==/!= to a byte comparison (string-wall slice 9) #587, compiler: lower String relational ops to lexicographic comparison (string-wall slice 10, #458) #588)
• String-wall cleanup + String/Float test harness (compiler+harness: string-wall cleanup + affine-parity String-arg support (+ float-wall finding) #592)
• Float wall — Float binops + typed locals to f64 (compiler: implement the float wall — Float binops + typed locals lower to f64 #593)

Why it matters — the honest-scope record

The note states plainly what "migrated" does and does not mean, so nobody reads "94 brains" as "the game is rewritten":

• Exhaustively classified, yes — but ~195 modules are documented NO_NEW_BRAINS senses that stay ReScript.
• It's a demonstration corpus in proposals/idaptik/migrated/, not the idaptik game rewritten (wiring the wasm brains back in is a separate downstream effort).
• The float wall newly unblocks ~12 float-domain modules not yet re-swept — the obvious next wave.

Also records the open compiler follow-ons (float unary negation; internal float-arg calls) and the untouched soundness items (#554/#555/#556/#558/#559).

Doc-only.

https://claude.ai/code/session_01WoKhFQePiRsAj7aqnxbG8s

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 40 issues detected

Severity	Count
🔴 Critical	2
🟠 High	22
🟡 Medium	16

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action denoland/setup-deno@v2 needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in scorecard-enforcer.yml",
    "type": "scorecard_publish_with_run_step",
    "file": "scorecard-enforcer.yml",
    "action": "split_scorecard_publish_job",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in instant-sync.yml",
    "type": "secret_action_without_presence_gate",
    "file": "instant-sync.yml",
    "action": "peter-evans/repository-dispatch",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (1 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/packages/affinescript-cli/mod.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (2 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/packages/affine-vscode/mod.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (1 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-vite/src/affine-plugin-improved.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "expect() in hot path (32 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/affinescript/affinescript/affinescriptiser/src/codegen/wasm_gen.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (29 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/affinescript/affinescript/affinescriptiser/src/codegen/affine_gen.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (2 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/affinescript/affinescript/runtime/src/panic.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (1 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/affinescript/affinescript/runtime/src/alloc.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence