Exécutez n'importe quel Skill dans Manus
en un clic

Exécutez n'importe quel Skill dans Manus en un clic

Commencer

deterministic-checks

Étoiles5

Forks1

Mis à jour24 juillet 2026 à 11:57

Run deterministic project gates, including worktree readiness.

Installation

Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.

Exécuter dans Manus

Source

sgaabdu4

sgaabdu4/hard-eng

Ouvrir le dépôt GitHub Voir les dépôts du créateur

Téléchargement

Exécuter dans Manus

Métiers associésSOC

Basé sur la classification professionnelle SOC

Analystes en assurance qualité des logiciels et testeursProfessions informatiques et mathématiques·SOC 15-1253

Explorateur de fichiers

16 fichiers

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

Plus depuis ce dépôt

même dépôt

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