Run any Skill in Manus with one click

Get Started

deterministic-checks

Stars5

Forks1

UpdatedJuly 24, 2026 at 11:57

Run deterministic project gates, including worktree readiness.

Installation

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

Run Skill in Manus

Source

sgaabdu4

sgaabdu4/hard-eng

View GitHub Repository View Creator Repositories

Download

Run Skill in Manus

Related occupationsSOC

Based on SOC occupation classification

Software Quality Assurance Analysts and TestersComputer and Mathematical Occupations·SOC 15-1253

File Explorer

16 files

SKILL.md

readonly

name	deterministic-checks
description	Run deterministic project gates, including worktree readiness.

Deterministic Checks

Owner = exact commands + analyzers/linters/scanners + hooks + CI wiring/results.
Project command = python3 "$HOME/.agents/skills/deterministic-checks/scripts/bounded_run.py" --timeout <seconds> -- <argv>.
Deadline = required + whole run; timeout/interrupt/terminal loss → TERM → grace → KILL entire command group; raw unbounded project command = FAIL.
Test behavior/seam/assertion/mutation design = $test-quality.
Real browser/device scenario proof = $e2e.

Route

Stack evidence + project gate owners → run every matching row on final tree.

Scope	Required gates
Worktree mutation/publish	Worktree readiness
Repository context	PRODUCT/DESIGN
JS/TS	typecheck + chosen linter + tests + Fallow
React/Next	JS/TS row + React Doctor
Dart, non-Flutter	package-root `dart analyze` + `dart test` + Dart Decimate
Flutter	package-root `dart analyze` + `flutter test` + Dart Decimate

Select Rules

Existing project → preserve linter + config SSOT; never add a second linter implicitly.
JS/TS missing owner → ask user: ESLint = plugin breadth; Oxlint = fast dedicated lint; Biome = integrated format/lint.
Flutter + Riverpod → $building-flutter-apps lint profile; other Flutter/Dart → existing or user-approved analysis_options.yaml.
SSOT gate = canonical clock/format/route/schema/key/UI/permission/event/config owner → reject duplicate owner + raw use outside it.
Detectable syntax/graph drift → lint/scanner; semantic drift → contract test; uncertain regex = forbidden.
New rule requires accepted contract/repeated defect + closest owner + failing violation fixture + passing valid fixture + CI execution.

Enforce

Commands + config + CI = project-owned SSOT.
External tool adapter = scope + validate + invoke; upstream output/verdict/exit = unchanged. Reinterpretation → $research official versioned contract PASS + regression proof.
Background descendant after command exit = terminated + FAIL when command contract expected none.
Missing/changing hook or CI wiring → read hooks.md.
Native gates + scanners = complementary proof.
Finding → fix owned cause/blast radius → rerun exact gate; exit 0 cannot erase report content.
Tool/config/runtime error = FAIL; missing gate = CONCERNS + exact wiring proposal.
Forbidden = --no-verify + || true + continue-on-error + silent skip + severity downgrade + baseline refresh to manufacture green.
Exception = exact finding + evidence + narrow scope + explicit user approval.
New repo = all findings block; existing repo = introduced findings block + inherited findings remain visible.

Proof

Result	Evidence
`PASS`	Matching commands + exits + reports; no unresolved finding
`CONCERNS`	Missing gate or approved exception + exact gap
`FAIL`	Finding, crash, config error, skipped scope, or unapproved bypass

More from this repository

same repository

he-plan

sgaabdu4/hard-eng

Produce and approve one lean living Feature Brief after $he selects lifecycle work.

2026-07-245

sgaabdu4/hard-eng

Route explicit lifecycle requests or genuinely complex or high-risk staged work through one living Feature Brief.

2026-07-245

atomic-ui

sgaabdu4/hard-eng

Design or review DESIGN.md, UI tokens, and component ownership.

2026-07-245

e2e

sgaabdu4/hard-eng

Prove browser/device behavior and visual evidence.

2026-07-245

he-build

sgaabdu4/hard-eng

Execute an approved PLAN one demonstrable vertical slice at a time until the actual implementation is green.

2026-07-245

he-learn

sgaabdu4/hard-eng

Turn a verified process failure into narrow durable prevention without blocking normal product delivery.

2026-07-245

Deterministic Checks

Owner = exact commands + analyzers/linters/scanners + hooks + CI wiring/results.

Project command = python3 "$HOME/.agents/skills/deterministic-checks/scripts/bounded_run.py" --timeout <seconds> -- <argv>.

Deadline = required + whole run; timeout/interrupt/terminal loss → TERM → grace → KILL entire command group; raw unbounded project command = FAIL.

Test behavior/seam/assertion/mutation design = $test-quality.

Real browser/device scenario proof = $e2e.

Route

Stack evidence + project gate owners → run every matching row on final tree.

Scope

Required gates

Worktree mutation/publish

Worktree readiness

Repository context

PRODUCT/DESIGN

JS/TS

typecheck + chosen linter + tests + Fallow

React/Next

JS/TS row + React Doctor

Dart, non-Flutter

package-root dart analyze + dart test + Dart Decimate

Flutter

package-root dart analyze + flutter test + Dart Decimate

Select Rules

Existing project → preserve linter + config SSOT; never add a second linter implicitly.

JS/TS missing owner → ask user: ESLint = plugin breadth; Oxlint = fast dedicated lint; Biome = integrated format/lint.

Flutter + Riverpod → $building-flutter-apps lint profile; other Flutter/Dart → existing or user-approved analysis_options.yaml.

SSOT gate = canonical clock/format/route/schema/key/UI/permission/event/config owner → reject duplicate owner + raw use outside it.

Detectable syntax/graph drift → lint/scanner; semantic drift → contract test; uncertain regex = forbidden.

New rule requires accepted contract/repeated defect + closest owner + failing violation fixture + passing valid fixture + CI execution.

Enforce

Commands + config + CI = project-owned SSOT.

External tool adapter = scope + validate + invoke; upstream output/verdict/exit = unchanged. Reinterpretation → $research official versioned contract PASS + regression proof.

Background descendant after command exit = terminated + FAIL when command contract expected none.

Missing/changing hook or CI wiring → read hooks.md.

Native gates + scanners = complementary proof.

Finding → fix owned cause/blast radius → rerun exact gate; exit 0 cannot erase report content.

Tool/config/runtime error = FAIL; missing gate = CONCERNS + exact wiring proposal.

Forbidden = --no-verify + || true + continue-on-error + silent skip + severity downgrade + baseline refresh to manufacture green.

Exception = exact finding + evidence + narrow scope + explicit user approval.

New repo = all findings block; existing repo = introduced findings block + inherited findings remain visible.

Proof

Result

Evidence

PASS

Matching commands + exits + reports; no unresolved finding

CONCERNS

Missing gate or approved exception + exact gap

FAIL

Finding, crash, config error, skipped scope, or unapproved bypass