migrate(C2 wave 2b): VM memory/stack/port/control opcodes — cluster C2 complete

[hyperpolymath]

C2 wave 2b — and the array-ABI blocker was never real

The ledger scoped wave 2b as "needs an array/linear-memory ABI." Reading the actual opcode sources overturned that: the VM's memory, stack, and port buffers are not arrays in the brain — VmState.res stores every one as string-keyed dict slots (_mem:N, _s:N, _pin:port). That dict is host-side state (the senses); the integer brains are all scalar. No array ABI was required — this is the established scalar recipe.

4 kernels, 9 opcodes (re-decomposed per brain/senses)

Kernel	Opcodes	Scalar brain
VmMemory	LOAD, STORE	additive reg ± mem / mem ± reg (host owns memory[])
VmStack	PUSH, POP	stack-pointer sp ± 1 + register clear (host owns the slots)
VmPort	RECV, SEND	port-pointer ptr ± 1 + additive accumulate
VmControl	IF_POS, IF_ZERO, LOOP	scalar branch/continuation predicates (bodies host-orchestrated)

Reversibility migrated as explicit round-trip exports: load/store/sp/recv_acc/recv_ptr/send_ptr all round-trip to identity. IF/LOOP carry no value round-trip — their Janus reversibility is host orchestration (reverse run applies the same predicate to the exit register, runs the chosen branch reversed).

Four gates green

Gate	Result
G1 compile	4/4 (WASM)
G2 parity	1568/1568 (independent oracles re-derive each .res transform)
G3 boundary	n/a (transforms/predicates — no value↔integer encoding table)
G4 assail	4/4 clean

No-kernel senses (faithfully classified, not migrated)

Call (orchestration) · CoprocessorCall (tombstone — never implemented, superseded by SEND/RECV) · State/VmState/VM/SubroutineRegistry/VmStateCoprocessor/InstructionCoprocessor (state containers / bridges).

Cluster C2 COMPLETE — wave 1 (11 opcodes + taxonomy) + 2a (Mul/Div) + 2b (these 9) = every reversible-VM opcode with a separable integer brain. NEXT = C3.

Staged-only under proposals/idaptik/migrated/ — idaptik write-gate honoured.

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