{
  "schema": "OaSIs.Project.MoreGarbage.v00",
  "display_name": "M.O.R.E.G.A.R.B.A.G.E.",
  "alias": "NO MORE GARBAGE",
  "status": "riff_scaffold",
  "frozen": false,
  "source_chunks": [
    "MO",
    "RE",
    "GA",
    "RB",
    "AG",
    "E"
  ],
  "operators": [
    {
      "op": "-rem",
      "input": "MO"
    },
    {
      "op": "+verify",
      "input": "RE"
    },
    {
      "op": "+sort",
      "input": "GA"
    },
    {
      "op": "+verify",
      "input": "RB"
    },
    {
      "op": "compress to",
      "input": "AG",
      "annotation": "Ag / silver"
    },
    {
      "op": "expand as",
      "input": "E",
      "output_hint": "E++..."
    }
  ],
  "isomorphic_repair_rule": {
    "same_invariant": "translate/repair representation directly",
    "changed_invariant": "declare new explicit isomorph"
  },
  "motif": "MR FUSION / Back to the Future riff",
  "lean": null,
  "repair_law": {
    "test": "can the original invariant be recovered inside the bounded system?",
    "recoverable": {
      "classification": "isomorphic",
      "distill_to": [
        "AETHER",
        "TEMPORAL"
      ]
    },
    "unrecoverable": {
      "classification": "UNFIXABLE",
      "fabricate": false
    },
    "rule": "plausibility is not repair"
  },
  "rm": {
    "role": "rejection/free-space edge",
    "downstream_checks": [
      "+verify",
      "+sort",
      "+verify",
      "compress",
      "expand"
    ],
    "acceptance": "all five must be YES",
    "on_any_no": [
      "rm",
      "delete working object",
      "free space",
      "move to next candidate"
    ],
    "enters_next_cycle_on_failure": false,
    "retry_failed_candidate": false
  },
  "archimedes_drill": {
    "token": "A::xx",
    "role": "feed-forward delete-and-advance edge",
    "sequence": [
      "rm",
      "delete current",
      "free space",
      "advance",
      "next candidate"
    ],
    "retry": false,
    "backtrack": false,
    "carry_rejected_object": false
  },
  "implementation": {
    "runtime": "projects/more-garbage/more_garbage.py",
    "lean": "lean/Oasis.MoreGarbage.00.lean",
    "lean_status": "pending user 0e",
    "search_encodings": [
      "cp1252",
      "latin1",
      "mac_roman"
    ],
    "max_depth": 3,
    "fixed_benchmark": {
      "passed": 11,
      "total": 11,
      "status": "PASS"
    },
    "synthetic_benchmark": {
      "passed": 60,
      "total": 60,
      "status": "PASS"
    },
    "compression_witness": "zlib reversible runtime witness; Ag remains symbolic"
  },
  "primitive_scope_v01": {
    "current": true,
    "supersedes_v00_scope": true,
    "primitive_rule": "right? Y -> +1 move on; N -> (0,0,0,-1) down -> local search",
    "cost_model": {
      "scan": "n",
      "down_search": "n",
      "structural_worst_case": "n^2"
    },
    "runtime": "projects/more-garbage/more_garbage_v01.py",
    "lean": "lean/Oasis.MoreGarbage.01.lean",
    "lean_status": "pending user 0e",
    "benchmark": {
      "passed": 6,
      "total": 6,
      "status": "PASS"
    }
  }
}