@shapeshift-labs/frontier-lang-assembly

Runtime-neutral assembly and low-level semantic merge evidence for Frontier Lang.

This package scans assembly-like source into source-bound records for labels, directives, instructions, comments, register hints, flag hints, memory references, and branch/call targets. It is designed for merge review and projection evidence. It does not assemble source, emulate hardware, verify object code, or claim binary/timing equivalence.

import { createAssemblySemanticMergeEvidence } from '@shapeshift-labs/frontier-lang-assembly';

const evidence = createAssemblySemanticMergeEvidence(`
Reset:
  sep #$20
  lda $2100
  jsl LongCall
  rtl
`, { dialect: 'snes' });

console.log(evidence.summary.instructions);
console.log(evidence.proofGaps.map((gap) => gap.code));

What It Captures

• dialect profiles for generic assembly, x86, x86-64, arm64, riscv, LLVM IR, eBPF, 6502, 65816, SNES assembly, Z80, SM83, and m68k
• labels and branch/call targets as source-bound symbolic records
• directives such as .include, .macro, .bank, and conditional assembly as fail-closed proof gaps
• rough register, flag, memory-reference, branch, call, and return hints
• SNES/65816-specific gaps for processor mode, banked memory, memory-map, I/O-register, and cycle-timing proof

Boundary

frontier-lang-assembly is a conservative evidence scanner. Target-specific assembler validation, object/binary decoding, debug symbols, emulator traces, cycle-accurate runtime proof, ABI proof, and final semantic merge admission belong above this package.

High-level Frontier programs can lower toward assembly-like targets, but the reverse path is evidence-limited unless debug/source maps and semantic receipts are attached. This package gives Frontier a place to record what low-level source says about execution constraints without pretending those constraints are enough to recover all source-level meaning.