Skip to content

migration: 3 straggler brains + corpus-sweep capstone (cluster C15)#591

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/cool-keller-gr5sl
Jun 14, 2026
Merged

migration: 3 straggler brains + corpus-sweep capstone (cluster C15)#591
hyperpolymath merged 1 commit into
mainfrom
claude/cool-keller-gr5sl

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Closes the residual leaves the C13/C14 sweeps did not assign (screens/{main,hub}, vm/wasm/src, devices/{types,common} — 8 .res files), extracting 3 new brains and completing the exhaustive corpus sweep. Brain count 91 → 94.

New brains (3) — verified G1/G2/G4 green

  • Logo (17/17) — directionFromInt: random Int → compass band (i%4 → NE/NW/SE/SW)
  • MainHubScreen (176/176) — sidebar-nav dispatch: nav-action, panel-visibility over 9 panels, quit-panel (991 LOC otherwise senses)
  • DeviceTypes (24/24) — getDeviceColor (8-kind → 24-bit RGB) + getSecurityColor (4-level → RGB) colour tables; distinct from the DeviceType taxonomy brain

🏁 Corpus sweep complete

Cluster Files New Already No-brain
C13 (logic dirs) 159 17 43 99
C14 (sense-heavy) 148 12 45 91
C15 (stragglers) 8 3 0 5
This session 315 32 88 195

Every non-test idaptik .res source file is now accounted for — a verified Int(...)->Int brain (corpus 62 → 94), an already-migrated brain, or a documented NO_NEW_BRAINS host-side sense. The 195 senses are FFI shims, PixiJS render-glue, float-domain cores, string/JSON/wire cores, and orchestration glue — none admit a separable integer brain under the integer-only parity ABI.

Per-cluster evidence in EVIDENCE-C13-logic-sweep.adoc, EVIDENCE-C14-sense-sweep.adoc, EVIDENCE-C15-stragglers.adoc.

Not in scope

This corpus is a demonstration + compiler-stress proof living in the affinescript repo. Wiring these wasm brains back into the running idaptik game (host bindings, .res consumer replacement) is a separate downstream effort.

https://claude.ai/code/session_01WoKhFQePiRsAj7aqnxbG8s


Generated by Claude Code

…ster C15) — corpus sweep complete

Closes the residual leaves the C13/C14 directory sweeps did not assign:
screens/{main,hub}, vm/wasm/src, devices/{types,common} — 8 .res files.

New brains (G1 compile, G2 parity all-pass vs independent JS oracle, G4 assail
clean): Logo (compass direction i%4), MainHubScreen (sidebar-nav dispatch),
DeviceTypes (device/security colour tables, distinct from the DeviceType
taxonomy brain). 217 parity cases.

CORPUS SWEEP COMPLETE. Across C13+C14+C15 this session: 315 .res files
classified, 32 new brains extracted (corpus 62 -> 94), 88 already-migrated,
195 documented NO_NEW_BRAINS (FFI shims, render-glue, float-domain cores,
string/JSON/wire cores, orchestration glue). Every non-test idaptik .res source
file is now accounted for. Capstone in EVIDENCE-C15-stragglers.adoc.

https://claude.ai/code/session_01WoKhFQePiRsAj7aqnxbG8s
@github-actions

Copy link
Copy Markdown

🔍 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

@hyperpolymath hyperpolymath marked this pull request as ready for review June 14, 2026 04:34
@hyperpolymath hyperpolymath merged commit c3ebe69 into main Jun 14, 2026
27 checks passed
@hyperpolymath hyperpolymath deleted the claude/cool-keller-gr5sl branch June 14, 2026 04:34
hyperpolymath added a commit that referenced this pull request Jun 14, 2026
… walls (#594)

## 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**
(#584#591)
- **String wall** — `==`/`!=` and `<`/`<=`/`>`/`>=` value/lexicographic
compares (#587, #588)
- **String-wall cleanup + String/Float test harness** (#592)
- **Float wall** — Float binops + typed locals 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](https://claude.ai/code/session_01WoKhFQePiRsAj7aqnxbG8s)_

Co-authored-by: Claude <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants