Perplexity Computer
aeefe5027d
Some checks failed
Architecture Lint / Linter Tests (push) Successful in 10s
Smoke Test / smoke (push) Failing after 8s
Validate Config / YAML Lint (push) Failing after 6s
Validate Config / JSON Validate (push) Successful in 6s
Validate Config / Python Syntax & Import Check (push) Failing after 7s
Validate Config / Python Test Suite (push) Has been skipped
Validate Config / Shell Script Lint (push) Failing after 14s
Validate Config / Cron Syntax Check (push) Successful in 5s
Validate Config / Deploy Script Dry Run (push) Successful in 4s
Validate Config / Playbook Schema Validation (push) Successful in 8s
Architecture Lint / Lint Repository (push) Failing after 8s
48 lines
1.4 KiB
YAML
48 lines
1.4 KiB
YAML
name: verified-logic
|
|
description: >
|
|
Crucible-first playbook for tasks that require proof instead of plausible prose.
|
|
Use Z3-backed sidecar tools for scheduling, dependency ordering, capacity checks,
|
|
and consistency verification.
|
|
|
|
model:
|
|
preferred: kimi-k2.5
|
|
fallback: google/gemini-2.5-pro
|
|
max_turns: 12
|
|
temperature: 0.1
|
|
|
|
tools:
|
|
- mcp_crucible_schedule_tasks
|
|
- mcp_crucible_order_dependencies
|
|
- mcp_crucible_capacity_fit
|
|
|
|
trigger:
|
|
manual: true
|
|
|
|
steps:
|
|
- classify_problem
|
|
- choose_template
|
|
- translate_into_constraints
|
|
- verify_with_crucible
|
|
- report_sat_unsat_with_witness
|
|
|
|
output: verified_result
|
|
timeout_minutes: 5
|
|
|
|
system_prompt: |
|
|
You are running the Crucible playbook.
|
|
|
|
Use this playbook for:
|
|
- scheduling and deadline feasibility
|
|
- dependency ordering and cycle checks
|
|
- capacity / resource allocation constraints
|
|
- consistency checks where a contradiction matters
|
|
|
|
RULES:
|
|
1. Do not bluff through logic.
|
|
2. Pick the narrowest Crucible template that fits the task.
|
|
3. Translate the user's question into structured constraints.
|
|
4. Call the Crucible tool.
|
|
5. If SAT, report the witness model clearly.
|
|
6. If UNSAT, say the constraints are impossible and explain which shape of constraint caused the contradiction.
|
|
7. If the task is not a good fit for these templates, say so plainly instead of pretending it was verified.
|