Pulsar v2.5 — deterministic layer
Your model writes the code.
Nobody reviews it.
Lifetime access · 28 configurations
$19list $490
Key by email, instantly. Files are yours to keep.
Contact 000 / 100
Scroll
01
You are not debugging
your code anymore.
Thirty thousand tokens in, it forgets your schema.
Context rotA // TODO it wrote last week is now in production.
Silent debt
02
Same task.
Two runs.
A payment webhook. Left is what the model shipped on its own. Right is the same request with a contract in front of it. Both are real output, not a diagram.
Unguarded runFaults 4
01// "build the payment webhook, update the balance"
02import { verifyAuto } from '@stripe/magic';
03
04export async function POST(req) {
05 const body = await req.json();
06 await db.query(`UPDATE users SET balance =
07 balance + ${body.amount} WHERE id = '${body.userId}'`);
08 // TODO: idempotency, refunds, retries
09 return Response.json({ ok: true });
10}
Double-charge path open. Package 404. Nothing blocks the merge.
Under contractChecks 6/6
01# .pulsar/contracts/payment_webhook.yaml
02module: billing.webhook.v2
03invariants:
04 require_hmac_sha256_signature: true
05 db_isolation_level: SERIALIZABLE
06 idempotency_key_store: redis_strict_ttl
07 forbid_placeholders_or_todos: true
08verification_gate:
09 static_analysis: PASS
10 schema_lock: ./prisma/schema.prisma#Transaction
Signature, isolation and schema checked before anything touched disk.
03
Here is one
of the 28.
The guardrail block from CFG-01. Copy it into your repo and point your model at it before the next prompt. It costs nothing and it is yours whether you buy or not.
- Plain YAML, no runtime, no SDK
- Works with any model that reads files
- The paid bundle is 27 more, tuned per job
.pulsar/guardrails.yaml
# Read before every edit. Refuse the task if a rule cannot be met. scope: touch_only_files_listed_in_task: true forbid_unrelated_refactors: true evidence: every_import_must_exist_in: package.json every_symbol_must_exist_in: repo no_invented_apis: true completeness: forbid_placeholders_or_todos: true forbid_silent_error_swallowing: true output: format: unified_diff must_list: [files_touched, assumptions, what_was_not_done]
04
Each job gets
its own contract.
CFG-04 … CFG-28
Zero-regression coder
Builds the graph of affected interfaces, checks it against STATE.json and ships an atomic patch.
MemoryAST dependency graph + ADR log
VerificationStrict type & import resolver
RuntimeClaude Code / Cursor / CLI
OutputVerified diff + invariant proof
pulsar_module: "CFG-01-ARCHITECT" mode: "contract_first_execution" rules: ban_lazy_placeholders: true verify_imports_against_package_json: true preserve_existing_signatures: "strict"
05
- 01Plain YAML and Markdown. Read every line before you run it.
- 02No account, no runtime, no telemetry. Your keys never leave the machine.
- 03One payment, no renewal. Stop paying and nothing is taken away.
- 04Works with the model you already pay for. Claude, GPT, local.
06
Check your key
before you travel.
The checksum is verified in your browser. Nothing is sent from this page. Activation happens on the portal.
PULSAR-XXXXX-XXXXX-XXXXX-XXXXX0/20