collatz

Name: collatz
Author: sneakyweasel

Collatz is one application — no solution claims, ledger tags only

by sneakyweasel(0) 0 installs

Free

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

See reviews

About

Instruction file imported from sneakyweasel/btlab (.cursor/rules/collatz.mdc). Copyright stays with the author.

Collatz application

research.collatz is a STRUCTURAL application of bt, not the laboratory frontier.

Do not claim a solution of the Collatz conjecture unless a matching EXACT statement exists; then state the theorem (quantifiers, Lean name, ledger tag), not the slogan.
Use the seven ledger tags from docs/README.md. Do not write PROVED or VERIFIED COMPUTATIONALLY.
New exact facts get a ledger row and a targeted note or test. Do not append a new numbered milestone by default.
C-T-welldefined is Lean-verified in formal/Problems/Collatz/Accelerated.lean (acceleratedT).
Import Collatz code from research.collatz, never a top-level collatz package.

Finite certificates, cycle searches, and range tables are COMPUTATIONALLY VERIFIED or REFUTED, never proofs of the conjecture.

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/sneakyweasel-btlab-collatz-rule/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.

sneakyweasel-btlab-collatz-rule.ocm.jsonjson

{
  "ocm": "1",
  "id": "sneakyweasel-btlab-collatz-rule",
  "kind": "skill",
  "name": "collatz",
  "description": "Collatz is one application — no solution claims, ledger tags only",
  "publisher": "sneakyweasel",
  "version": "1.0.0",
  "capabilities": {
    "domains": [
      "general"
    ],
    "tags": [
      "skill-md",
      "github-cursor-rules"
    ],
    "languages": [
      "en"
    ]
  },
  "quality_prior": 0.6,
  "examples": [
    "Collatz is one application — no solution claims, ledger tags only"
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "github-cursor-rules",
      "repository": "https://github.com/sneakyweasel/btlab",
      "path": ".cursor/rules/collatz.mdc",
      "ref": "9da3ceef83cda7f9cd0c598a76fcb536f6f079fb",
      "url": "https://github.com/sneakyweasel/btlab/blob/9da3ceef83cda7f9cd0c598a76fcb536f6f079fb/.cursor/rules/collatz.mdc",
      "key": "sneakyweasel/btlab/.cursor/rules/collatz.mdc"
    },
    "applies_to": "src/research/collatz/**/*.py,docs/collatz_*.md,docs/problems/collatz.md"
  },
  "instructions": "# Collatz application\n\n`research.collatz` is a **STRUCTURAL** application of `bt`, not the laboratory frontier.\n\n- Do not claim a solution of the Collatz conjecture unless a matching\n  `EXACT` statement exists; then state the theorem (quantifiers, Lean\n  name, ledger tag), not the slogan.\n- Use the seven ledger tags from `docs/README.md`. Do not write `PROVED` or `VERIFIED COMPUTATIONALLY`.\n- New exact facts get a ledger row and a targeted note or test. Do not append a new numbered milestone by default.\n- `C-T-welldefined` is Lean-verified in `formal/Problems/Collatz/Accelerated.lean` (`accele",
  "cost": {
    "context_tokens": 206
  }
}

Fetch it by URL: GET /api/v1/registry/sneakyweasel-btlab-collatz-rule/manifest?version=1.0.0

About

Collatz application

Use it

Manifest

Reviews