Conformance Service

Public PLATO/FLUX bytecode compliance checker. Upload a bytecode program, get a detailed report.

Endpoints

Method	Path	Description
GET	/	Interactive dashboard
GET	/health	Health check
GET	/api/specs	Full PLATO + FLUX opcode tables
POST	/api/check	Check bytecode conformance

Usage

# Check a PLATO program
curl -X POST https://conformance-service.casey-digennaro.workers.dev/api/check \
  -H "Content-Type: application/json" \
  -d '{"spec":"plato","bytecode":[4,0,10,16,0,1,65,1]}'

# Check a FLUX program
curl -X POST https://conformance-service.casey-digennaro.workers.dev/api/check \
  -H "Content-Type: application/json" \
  -d '{"spec":"flux","bytecode":[16,0,10,32,0,1,96,0,1]}'

Response

{
  "spec": "plato",
  "programLength": 8,
  "instructionCount": 5,
  "uniqueOpcodes": ["MOV", "ADD", "OUT", "HALT"],
  "categories": { "memory": 1, "arith": 1, "io": 1, "control": 1 },
  "haltCount": 1,
  "unknownOpcodes": [],
  "issues": [],
  "warnings": [],
  "score": 100,
  "compliant": true
}

Specs

• PLATO — 34 opcodes (NOP, HALT, LOAD, STORE, MOV, ADD, SUB, MUL, DIV, MOD, INC, DEC, AND, OR, XOR, NOT, SHL, SHR, CMP, JMP, JEQ, JNE, JLT, JGT, JLE, JGE, CALL, RET, PUSH, POP, DUP, SWAP, IN, OUT, DBG)
• FLUX — 27 opcodes (NOP, HALT, LOAD, ADD, SUB, MUL, DIV, MOD, AND, OR, XOR, NOT, SHL, SHR, CMP, JMP, JE, JNE, JL, JG, JLE, JGE, PUSH, POP, RET, OUT)