Skip to content

feat(contractiles): comprehensive just|must|adjust|trust|bust|dust family with error codes + recovery hints#214

Merged
hyperpolymath merged 1 commit into
mainfrom
feat/contractile-family-completion
Jun 2, 2026
Merged

feat(contractiles): comprehensive just|must|adjust|trust|bust|dust family with error codes + recovery hints#214
hyperpolymath merged 1 commit into
mainfrom
feat/contractile-family-completion

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Builds out the contractile family for echidna per RSR-H14. Bustfile (was rsr-template-repo content) + Adjustfile (was Burble accessibility content) replaced with echidna-specific content. Trustfile + Dustfile expanded from minimal skeletons to comprehensive coverage.

What landed

File Before After
Bustfile.a2ml 28 lines (rsr-template-repo drift) 200+ lines, 13 error codes B001-B061 across 7 sections
Adjustfile.a2ml 211 lines (Burble accessibility drift) 130 lines, 13 error codes A001-A042 across 5 sections
Trustfile.a2ml 25 lines (2 checks) 130 lines, 17 error codes T001-T052 across 6 sections
Dustfile.a2ml 22 lines (TOML skeleton) 150 lines, 17 error codes D001-D052 across 6 sections
Mustfile.a2ml unchanged (canonical) unchanged
contractile.just wired DUST/INTEND/MUST/TRUST minimally wired all 6 families + contractile-all + contractile-tour

Error-code namespaces

  • A### Adjust — adaptive maintenance / migrations
  • B### Bust — breakage / rollback
  • D### Dust — fine-grained cleanup
  • T### Trust — integrity / provenance / supply-chain
  • M### Must — physical state checks (unchanged)

Recovery wiring

Every error code cross-references heal recipes. E.g. B001 cargo build brokenbust-cargo-cachehealcargo build. Recoveries are narrowest-first (revert single commit > invalidate specific cache > reinstall toolchain).

Note on auto-generation

contractile.just is normally regenerated by contractile gen-just --dir .machine_readable/contractiles. The contractile binary was not on PATH at the time of this rewrite, so contractile.just was hand-augmented to match the expanded a2ml sources. Re-run contractile gen-just once available to confirm parity.

License method

Per [[feedback_no_automated_licence_edits]] — SPDX headers on all .a2ml files preserved exactly. No SPDX modifications.

🤖 Generated with Claude Code

…mily for echidna

Rewrites Bustfile + Adjustfile (were template drift: rsr-template-repo
and Burble accessibility content respectively). Expands Trustfile
from 2 checks to 17 across 6 sections. Expands Dustfile from generic
TOML skeleton to 17 fine-grained recovery checks across 6 sections.

Error-code namespaces:
- A### Adjust (adaptive maintenance / migrations)
- B### Bust (breakage / rollback)
- D### Dust (fine-grained cleanup)
- T### Trust (integrity / provenance / supply-chain)
- M### Must (existing; physical state checks)

Each check has: description / probe / severity / recovery (or adjust /
dust action). Recoveries reference each other across the family so
self-heal cascades are explicit (e.g. B001 cargo build broken →
bust-cargo-cache → heal → cargo build).

contractile.just hand-augmented to wire the expanded sources (was
auto-generated but contractile binary not on PATH; flagged in header
comment with re-run instructions). Adds contractile-all roll-up and
contractile-tour to enumerate all error codes.

No license edits (per [[feedback_no_automated_licence_edits]]); SPDX
headers preserved on all .a2ml files.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath
hyperpolymath merged commit 626c738 into main Jun 2, 2026
@hyperpolymath
hyperpolymath deleted the feat/contractile-family-completion branch June 2, 2026 15:44
@github-actions

github-actions Bot commented Jun 2, 2026

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 245 issues detected

Severity Count
🔴 Critical 12
🟠 High 75
🟡 Medium 158

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Issue in agda-meta-checker.yml",
    "type": "missing_timeout_minutes",
    "file": "agda-meta-checker.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in boj-build.yml",
    "type": "missing_timeout_minutes",
    "file": "boj-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in cargo-audit.yml",
    "type": "missing_timeout_minutes",
    "file": "cargo-audit.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in cflite_batch.yml",
    "type": "missing_timeout_minutes",
    "file": "cflite_batch.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in cflite_pr.yml",
    "type": "missing_timeout_minutes",
    "file": "cflite_pr.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in chapel-ci.yml",
    "type": "missing_timeout_minutes",
    "file": "chapel-ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in chapel-ci.yml",
    "type": "missing_timeout_minutes",
    "file": "chapel-ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in chapel-ci.yml",
    "type": "missing_timeout_minutes",
    "file": "chapel-ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in chapel-ci.yml",
    "type": "missing_timeout_minutes",
    "file": "chapel-ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in codeql.yml",
    "type": "missing_timeout_minutes",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant