lumo-proof

Name: lumo-proof
Author: IgorBlink

This is a Lumo proof manifest file for strict-mode compilation. The compiler cross-validates every claim.

by IgorBlink(0) 0 installs

Free

Free account. Installing gives you the manifest plus copy-paste snippets.

See reviews

About

Instruction file imported from IgorBlink/lumo (.github/instructions/lumo-proof.instructions.md). Copyright stays with the author.

This is a Lumo proof manifest file for strict-mode compilation. The compiler cross-validates every claim.

Key rules:

NEVER modify source_integrity values (hashes, node counts) — they are computed by --generate-proof-template
ALL safety_properties must have "verified": true with evidence
Variable declarations must match the code exactly (names, mutation status, line numbers)
Function declarations must match exactly (names, param counts)
Types must be from: "number", "string", "boolean", "list", "object", "any", "never"
Loop termination evidence required for repeat_while loops
hole_count must be 0 for execution to be permitted

Generate a template: ./build/lumo --generate-proof-template file.lumo Validate: ./build/lumo --strict --check file.lumo

See docs/proof-protocol.md and docs/proof-schema.json for the full specification.

Use it

Copy one of these into your project. Installing also returns the manifest and these snippets.

yaml

targets:
  - https://api.opensmartroute.ai/api/v1/registry/igorblink-lumo-lumo-proof-instructions/manifest   # or paste the manifest below

Manifest

An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.

igorblink-lumo-lumo-proof-instructions.ocm.jsonjson

{
  "ocm": "1",
  "id": "igorblink-lumo-lumo-proof-instructions",
  "kind": "skill",
  "name": "lumo-proof",
  "description": "This is a Lumo proof manifest file for strict-mode compilation. The compiler cross-validates every claim.",
  "publisher": "IgorBlink",
  "version": "1.0.0",
  "capabilities": {
    "domains": [
      "general"
    ],
    "tags": [
      "skill-md",
      "github-instructions"
    ],
    "languages": [
      "en"
    ]
  },
  "quality_prior": 0.6,
  "examples": [
    "This is a Lumo proof manifest file for strict-mode compilation. The compiler cross-validates every claim."
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "github-instructions",
      "repository": "https://github.com/IgorBlink/lumo",
      "path": ".github/instructions/lumo-proof.instructions.md",
      "ref": "8e1739a6608ede168f6c86fcaffe82051acf807c",
      "url": "https://github.com/IgorBlink/lumo/blob/8e1739a6608ede168f6c86fcaffe82051acf807c/.github/instructions/lumo-proof.instructions.md",
      "key": "IgorBlink/lumo/.github/instructions/lumo-proof.instructions.md"
    },
    "applies_to": "**/*.proof.json"
  },
  "instructions": "This is a Lumo proof manifest file for strict-mode compilation. The compiler cross-validates every claim.\n\nKey rules:\n- NEVER modify `source_integrity` values (hashes, node counts) — they are computed by `--generate-proof-template`\n- ALL `safety_properties` must have `\"verified\": true` with evidence\n- Variable declarations must match the code exactly (names, mutation status, line numbers)\n- Function declarations must match exactly (names, param counts)\n- Types must be from: \"number\", \"string\", \"boolean\", \"list\", \"object\", \"any\", \"never\"\n- Loop termination evidence required for `repeat_while` l",
  "cost": {
    "context_tokens": 216
  }
}

Fetch it by URL: GET /api/v1/registry/igorblink-lumo-lumo-proof-instructions/manifest?version=1.0.0

About

Use it

Manifest

Reviews