Skip to content

ruff_r2il: harvest_6502 — the Probe C intake leg, run on real Elite images #106

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AdaWorldAPI merged 1 commit into from
Aug 25, 2026
Merged

ruff_r2il: harvest_6502 — the Probe C intake leg, run on real Elite images #106

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions .claude/harvest/r2il-6502/PROVENANCE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
# 6502 harvest provenance

Corpus: local sibling checkout, read-only — bytes are NEVER redistributed; this file
carries FNV-1a 64 hashes (labelled FNV, not a sha) and counts only.

Spec: /home/user/ruff/crates/ruff_r2il/../../../c64-rs/vendor/ghidra-6502/data/languages/6502.slaspec (unmodified Ghidra 6502 SLEIGH, Apache-2.0)

| image | bytes | fnv1a64 | status |
|---|---|---|---|
| /home/user/ruff/crates/ruff_r2il/../../../adaworldapi/elite-source-code-commodore-64/4-reference-binaries/gma86-pal/gma4.bin | 18018 | 1d5d5317a6c5f939 | harvested (31 JSR-partitioned functions, 629 facts, 1758 residual) |
| /home/user/ruff/crates/ruff_r2il/../../../adaworldapi/elite-source-code-commodore-64/4-reference-binaries/gma86-pal/gma5.bin | 8663 | 5671e08933ce35ea | harvested (8 JSR-partitioned functions, 340 facts, 789 residual) |
| /home/user/ruff/crates/ruff_r2il/../../../adaworldapi/elite-source-code-commodore-64/4-reference-binaries/gma86-pal/gma6.bin | 25314 | e020a16bc544855a | harvested (23 JSR-partitioned functions, 487 facts, 1195 residual) |

Conservation (harvested / classified / residual / dropped): 5198 / 1456 / 3742 / 0
165 changes: 165 additions & 0 deletions .claude/harvest/r2il-6502/r2il-6502-convention.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,165 @@
[meta]
measure_dont_claim = true
validation_states = ["unmeasured", "confirmed", "corrected", "retired"]
arch = "6502"
classified_opcodes = ["copy", "load", "store", "int_add", "cbranch", "call", "return"]

[[row]]
prefix_depth = 1
space = 0
name = "ram"
state = "unmeasured"

[[row]]
prefix_depth = 1
space = 1
name = "register"
state = "unmeasured"

[[row]]
prefix_depth = 1
space = 2
name = "unique"
state = "unmeasured"

[[row]]
prefix_depth = 1
space = 3
name = "const"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 0
size = 1
name = "A"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 1
size = 1
name = "X"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 2
size = 1
name = "Y"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 3
size = 1
name = "P"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 32
size = 1
name = "PCL"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 32
size = 2
name = "PC"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 33
size = 1
name = "PCH"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 34
size = 1
name = "S"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 34
size = 2
name = "SP"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 35
size = 1
name = "SH"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 48
size = 1
name = "N"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 49
size = 1
name = "V"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 50
size = 1
name = "B"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 51
size = 1
name = "D"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 52
size = 1
name = "I"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 53
size = 1
name = "Z"
state = "unmeasured"

[[row]]
prefix_depth = 3
space = 1
offset = 54
size = 1
name = "C"
state = "unmeasured"
27 changes: 27 additions & 0 deletions .claude/harvest/r2il-6502/r2il-6502-pass1-census.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
# R2IL 6502 pass-1 census

Total classified `FlatFact` rows: 1456

## By fact kind

| kind | count |
|---|---|
| call_site | 2 |
| edge | 27 |
| mem_use | 21 |
| op | 446 |
| operand_in | 578 |
| operand_out | 382 |

## By opcode

| opcode | count |
|---|---|
| call | 8 |
| cbranch | 50 |
| copy | 693 |
| int_add | 308 |
| int_sless | 5 |
| load | 246 |
| return | 14 |
| store | 132 |
113 changes: 113 additions & 0 deletions .claude/harvest/r2il-6502/r2il-6502-pass1-slag.tsv
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,113 @@
# R2IL 6502 pass-1 slag — the addressed residual ledger. Evidence, never a re-ingest path.
#version 1
#section grouped — ResidualLedger::grouped(), merged across every harvested image
#schema section shape_id reason count example_facet
grouped 134a977e75924abd opcode_not_in_convention 724 00000000004000000000000000000000
grouped 67b2c44555057f14 opcode_not_in_convention 536 00000000004000000000000000000000
grouped c71d53c68ab98180 opcode_not_in_convention 468 00000000004000000000000000000000
grouped 4195ea16a74b2541 opcode_not_in_convention 452 00000000004000000000000000000000
grouped 7cd59576ae038a0d opcode_not_in_convention 312 00000000004000000000000000000000
grouped 98de717e2fe793ce opcode_not_in_convention 296 00000000684600000000000000000000
grouped 4a95503569ad12a6 no_facet_coordinate 233 -
grouped 3ddd2923509c7f99 opcode_not_in_convention 147 00000000004000000000000000000000
grouped e8be19db525f9406 opcode_not_in_convention 124 00000000004000000000000000000000
grouped d363ef40e5e9d53b memory_object_escaped 102 00000000004000000000000000000000
grouped 13b27a08b280dbf9 opcode_not_in_convention 81 00000000c87500000000000000000000
grouped b5b8e47e410f229d opcode_not_in_convention 72 00000000c87500000000000000000000
grouped 5b7105f529b450ea opcode_not_in_convention 64 00000000c87500000000000000000000
grouped dd677fa80bfaf4b2 opcode_not_in_convention 44 00000000424800000000000000000000
grouped 38185eeb1240bc84 opcode_not_in_convention 24 00000000c87500000000000000000000
grouped 234f01aef71604c0 opcode_not_in_convention 20 00000000684600000000000000000000
grouped 463c09f7ecce624b opcode_not_in_convention 16 000000002e4100000000000000000000
grouped 3a97a07dfac9b131 opcode_not_in_convention 12 000000004a4b00000000000000000000
grouped 60ef1844628ca77f opcode_not_in_convention 11 00000000484600000000000000000000
grouped fe0a9a5b56991c1a opcode_not_in_convention 4 00000000505f00000000000000000000
#section by_address — ResidualLedger::by_address(), the proposer's work queue, merged across every harvested image
#schema section prefix shape_id count
by_address space:2 134a977e75924abd 377
by_address space:2 4195ea16a74b2541 312
by_address - 4a95503569ad12a6 233
by_address space:0 134a977e75924abd 188
by_address space:0 67b2c44555057f14 134
by_address space:3 67b2c44555057f14 134
by_address space:1/offset:0x35/size:1 67b2c44555057f14 126
by_address space:3 134a977e75924abd 118
by_address space:0 c71d53c68ab98180 117
by_address space:3 c71d53c68ab98180 117
by_address space:1/offset:0x30/size:1 c71d53c68ab98180 117
by_address space:0 4195ea16a74b2541 115
by_address space:0 d363ef40e5e9d53b 102
by_address space:2 7cd59576ae038a0d 88
by_address space:0 13b27a08b280dbf9 81
by_address space:2 98de717e2fe793ce 79
by_address space:0 7cd59576ae038a0d 78
by_address space:3 7cd59576ae038a0d 78
by_address space:0 98de717e2fe793ce 77
by_address space:2 3ddd2923509c7f99 65
by_address space:1/offset:0x22/size:2 98de717e2fe793ce 64
by_address space:2 67b2c44555057f14 54
by_address space:1/offset:0x0/size:1 67b2c44555057f14 53
by_address space:1/offset:0x0/size:1 c71d53c68ab98180 53
by_address space:0 3ddd2923509c7f99 49
by_address space:2 e8be19db525f9406 49
by_address space:3 98de717e2fe793ce 47
by_address space:2 b5b8e47e410f229d 40
by_address space:2 c71d53c68ab98180 37
by_address space:0 e8be19db525f9406 31
by_address space:3 e8be19db525f9406 31
by_address space:0 b5b8e47e410f229d 24
by_address space:1/offset:0x0/size:1 134a977e75924abd 20
by_address space:1/offset:0x2/size:1 3ddd2923509c7f99 18
by_address space:1/offset:0x2/size:1 67b2c44555057f14 17
by_address space:1/offset:0x2/size:1 c71d53c68ab98180 17
by_address space:0 5b7105f529b450ea 16
by_address space:2 5b7105f529b450ea 16
by_address space:3 5b7105f529b450ea 16
by_address space:1/offset:0x1/size:1 3ddd2923509c7f99 15
by_address space:1/offset:0x0/size:1 4195ea16a74b2541 14
by_address space:1/offset:0x2/size:1 98de717e2fe793ce 13
by_address space:1/offset:0x0/size:1 98de717e2fe793ce 12
by_address space:1/offset:0x36/size:1 4195ea16a74b2541 11
by_address space:0 60ef1844628ca77f 11
by_address space:1/offset:0x30/size:1 7cd59576ae038a0d 11
by_address space:1/offset:0x31/size:1 7cd59576ae038a0d 11
by_address space:1/offset:0x32/size:1 7cd59576ae038a0d 11
by_address space:1/offset:0x33/size:1 7cd59576ae038a0d 11
by_address space:1/offset:0x34/size:1 7cd59576ae038a0d 11
by_address space:1/offset:0x35/size:1 7cd59576ae038a0d 11
by_address space:0 dd677fa80bfaf4b2 11
by_address space:2 dd677fa80bfaf4b2 11
by_address space:1/offset:0x36/size:1 dd677fa80bfaf4b2 11
by_address space:0 234f01aef71604c0 10
by_address space:2 234f01aef71604c0 10
by_address space:1/offset:0x1/size:1 67b2c44555057f14 10
by_address space:1/offset:0x1/size:1 c71d53c68ab98180 10
by_address space:1/offset:0x36/size:1 e8be19db525f9406 10
by_address space:0 38185eeb1240bc84 8
by_address space:2 38185eeb1240bc84 8
by_address space:1/offset:0x36/size:1 38185eeb1240bc84 8
by_address space:1/offset:0x31/size:1 5b7105f529b450ea 8
by_address space:1/offset:0x36/size:1 5b7105f529b450ea 8
by_address space:1/offset:0x0/size:1 b5b8e47e410f229d 8
by_address space:1/offset:0x2/size:1 dd677fa80bfaf4b2 7
by_address space:1/offset:0x36/size:1 134a977e75924abd 6
by_address space:1/offset:0x0/size:1 3a97a07dfac9b131 6
by_address space:0 3a97a07dfac9b131 4
by_address space:0 463c09f7ecce624b 4
by_address space:2 463c09f7ecce624b 4
by_address space:1/offset:0x0/size:1 463c09f7ecce624b 4
by_address space:1/offset:0x36/size:1 463c09f7ecce624b 4
by_address space:1/offset:0x31/size:1 67b2c44555057f14 4
by_address space:1/offset:0x1/size:1 98de717e2fe793ce 4
by_address space:1/offset:0x0/size:1 dd677fa80bfaf4b2 4
by_address space:0 fe0a9a5b56991c1a 4
by_address space:1/offset:0x31/size:1 134a977e75924abd 3
by_address space:1/offset:0x32/size:1 134a977e75924abd 3
by_address space:1/offset:0x33/size:1 134a977e75924abd 3
by_address space:1/offset:0x34/size:1 134a977e75924abd 3
by_address space:1/offset:0x35/size:1 134a977e75924abd 3
by_address space:1/offset:0x30/size:1 67b2c44555057f14 3
by_address space:1/offset:0x30/size:1 e8be19db525f9406 3
by_address space:2 3a97a07dfac9b131 2
by_address space:1/offset:0x36/size:1 7cd59576ae038a0d 2
by_address space:1/offset:0x36/size:1 67b2c44555057f14 1
Loading
Loading