InduScript Codex Native (ISX) is a founder-designed system notation. It compiles to constructed M-code and runs in the Zone-4 DVM. Not an Indus inscription. Not a decipherment.

Zone 4 · Codex Native · v0.01

ISX Codex

Type an ISX:: command. The Codex compiles it to constructed M-code, draws the execution pipeline, and runs it on the Steatite VM. This is a sandbox, not a reading of the Indus script.

Write a command Open DVM Lab

Verify the seal, prove volume, load cotton, haul north.

ISX command string

Dots separate nodes. Ligatures use <260[405]:121>. Modifiers use 150[402]. Numbers map onto Mahadevan-indexed constructed opcodes M_001–M_417.

compiled → M_298 M_177 M_055 M_051

Live rendered seal

Execution pipeline

4 nodes

STEP 01

M_298

VERIFY SEAL

KEY_VERIFY_IMPRESSION

STEP 02

M_177

ZKP VOLUME

ZKP_VOLUME_PASS

STEP 03

M_055

RAW COTTON

FREIGHT_RAW_COTTON

STEP 04

M_051

ROUTE NORTH

HAULAGE_ROUTE_NORTH_AXIS

Stack

flag:verified
ZKP_VOLUME_PASS
cargo:cotton×1
flag:route=HAULAGE_ROUTE_NORTH_AXIS

Ledger

No L1 writes yet.

Trace

call BOOT — Steatite DVM initialized
call KEY_VERIFY_IMPRESSION
call ZKP_VOLUME_PASS
call FREIGHT_RAW_COTTON
call HAULAGE_ROUTE_NORTH_AXIS
halt HALT — execution complete

Machine-readable payload

{
  "command_id": "ISX-CMD-4",
  "language": "InduScript Codex Native",
  "epistemic_status": "founder_designed_system_notation",
  "not_a_decipherment": true,
  "isx": "ISX::298.177.055.051",
  "compiled_source": "M_298 M_177 M_055 M_051",
  "opcode_sequence": [
    {
      "m_code": 298,
      "operation": "KEY_VERIFY_IMPRESSION",
      "alias": "VERIFY_SEAL"
    },
    {
      "m_code": 177,
      "operation": "ZKP_VOLUME_PASS",
      "alias": "ZKP_VOLUME"
    },
    {
      "m_code": 55,
      "operation": "FREIGHT_RAW_COTTON",
      "alias": "RAW_COTTON"
    },
    {
      "m_code": 51,
      "operation": "HAULAGE_ROUTE_NORTH_AXIS",
      "alias": "ROUTE_NORTH"
    }
  ],
  "runtime": {
    "halted": true,
    "cycles": 4,
    "stack": [
      "flag:verified",
      "ZKP_VOLUME_PASS",
      "cargo:cotton×1",
      "flag:route=HAULAGE_ROUTE_NORTH_AXIS"
    ],
    "ledger": {},
    "trace": [
      {
        "pc": -1,
        "kind": "call",
        "command": "BOOT",
        "note": "Steatite DVM initialized"
      },
      {
        "pc": 0,
        "kind": "call",
        "command": "KEY_VERIFY_IMPRESSION"
      },
      {
        "pc": 1,
        "kind": "call",
        "command": "ZKP_VOLUME_PASS"
      },
      {
        "pc": 2,
        "kind": "call",
        "command": "FREIGHT_RAW_COTTON"
      },
      {
        "pc": 3,
        "kind": "call",
        "command": "HAULAGE_ROUTE_NORTH_AXIS"
      },
      {
        "pc": 4,
        "kind": "halt",
        "command": "HALT",
        "note": "execution complete"
      }
    ]
  }
}