Skip to content

chore: machine-readable + contractile currency checkpoint#76

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/zen-knuth-6hoEt
Jun 5, 2026
Merged

chore: machine-readable + contractile currency checkpoint#76
hyperpolymath merged 1 commit into
mainfrom
claude/zen-knuth-6hoEt

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

Machine-readable / contractile currency checkpoint

Part of the estate-wide machine-readable currency pass. High-confidence canonical fixes only; template-shaped work deferred to a tracking issue; license = flag-only.

Changes

  • agent_instructions/bot_directives/ rename; refs updated
  • Contractiles: added INDEX.a2ml + _base.ncl + the missing adjust, intend verbs (full tridents incl. .k9.ncl + manifest, since canonical provides them) + must/trust/dust .ncl runners
  • Added contractiles/k9/ (the 3 trust-tier templates) to resolve the adjust/intend k9 imports (../k9/template-*.k9.ncl)
  • Rewrote bust/Bustfile.a2ml — was wrong-project meta-repo content in // comment syntax → gold format with gossamer-specific probes
  • Fixed EXPLAINME.adoc stale ReScript reference (post-cutover); 6a2 STATE/META/ECOSYSTEM refreshed

Validation (run, not eyeballed)

  • nickel typecheck clean on all 6 pure verb .ncl + _base.ncl
  • .k9.ncl are k9-dialect (K9! sigil) — verbatim canonical copies, not raw-nickel-validated
  • just check/check-affine fail EXIT 127 (ephapax compiler not on PATH) — pre-existing env issue, not introduced

Deferred → tracking issue

  • k9.ncl + manifest tridents for must/trust/bust/dust; contractiles/k9/ vs svc/k9/ duplication (consolidate); ANCHOR normalization; per-bot bot_directives/; license review; wiki refresh

Root cause

Frozen RSR-SPEC.adoc v1.0.0 (2025-12-27) never bumped for post-2026-04 policy. Owner: cut RSR-SPEC v1.1/v2.0 + re-sync rsr-template-repo.

https://claude.ai/code/session_01PhqGcxCqkMdJtR6NWq56Hx


Generated by Claude Code

…+ contractile v2.0 completion

Task 1: Rename .machine_readable/agent_instructions/ → bot_directives/ (git mv).
  Zero external refs confirmed after rename (grep clean).
  README.adoc inside dir updated: title + self-ref fixed.

Task 2: Contractile set brought to RSR-SPEC v2.0 completeness.
  - Added INDEX.a2ml + _base.ncl (copied from canonical; were missing).
  - Added must/must.ncl, trust/trust.ncl, dust/dust.ncl (canonical runners;
    previously each verb had only a Verbfile.a2ml with no paired runner).
  - Created adjust/ trident: Adjustfile.a2ml (gossamer-specific, real probes:
    ABI module count, believe_me count, deprecated-path guards, test counts)
    + adjust.ncl + adjust.k9.ncl + adjust.manifest.a2ml (canonical).
  - Created intend/ trident: Intentfile.a2ml (gossamer-specific, real
    intents/wishes from STATE.a2ml critical-next-actions: arXiv, NDK CI,
    APK pipeline, iOS signing, IDApTIK migration; wishes: Ephapax region
    modelling, WASM ABI, PanLL hosting, CRG B, AffineScript first consumer)
    + intend.ncl + intend.k9.ncl + intend.manifest.a2ml (canonical).
  - Added contractiles/k9/ with 3 trust-tier templates (required by
    adjust.k9.ncl + intend.k9.ncl import path `../k9/template-hunt.k9.ncl`).
  - Rewrote bust/Bustfile.a2ml: was wrong-format (// comments, meta-repo
    submodule scenarios) → gold xfile shape with REAL gossamer probes
    (Zig FFI build, Idris2 ABI, CLI link, deprecated-path reintroduction
    guards, Android JNI correctness).
  - Updated contractiles/README.adoc: removed stale `lust/` reference,
    added full verb table.

Task 3: svc/k9 — 3 templates + README already present; no action needed.

Task 4 (6a2 refresh):
  - META.a2ml: removed stale "rescript" from languages[]; added "affinescript"
    (bindings/affinescript/ = @gossamer/api, landed PR #74 2026-06-02).
    Version 0.2.0 → 0.3.0, last-updated → 2026-06-05.
  - ECOSYSTEM.a2ml: updated purpose (plugin system no longer "planned" — landed
    2026-04-12; Android mobile shell landed 2026-06-02; AffineScript binding
    landed 2026-06-02). Added neurophone + affinescript to related-projects.
    Added Android/iOS/Windows webview + AffineScript integration-points.
    Version 0.2.0 → 0.3.0, last-updated → 2026-06-05.
  - STATE.a2ml: last-updated → 2026-06-05; added 2026-06-05 session entry
    recording all checkpoint actions.

Task 5 (EXPLAINME currency):
  - Replaced two stale "ReScript" binding references with "AffineScript"
    (bindings/rescript/ retired PR #74; bindings/affinescript/ is @gossamer/api).
  - README dogfooding table was already correct (AffineScript bindings).

Task 6 (LICENSE flag only — no edits):
  All SPDX headers in .machine_readable/ are MPL-2.0. No AGPL headers found.
  AGPL references are in comments/deny.toml (not SPDX identifiers). PMPL-1.0
  appears only in svc/k9/examples/setup-repo.k9.ncl description field (not
  SPDX). No license edits made per guardrail.

Nickel validation (nickel 1.16.0):
  _base.ncl, must.ncl, trust.ncl, bust.ncl, dust.ncl, adjust.ncl, intend.ncl
  → all EXIT:0.
  adjust.k9.ncl, intend.k9.ncl, svc/k9/template-*.k9.ncl, svc/k9/examples/*.k9.ncl
  → EXIT:1 (K9! magic sigil not valid Nickel; pre-existing per canonical).

just check / check-affine:
  → both fail EXIT:127 (ephapax compiler not on PATH at
  ~/Documents/hyperpolymath-repos/ephapax/target/debug/ephapax).
  Pre-existing environmental failure; unrelated to these changes.

Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
@github-actions
Copy link
Copy Markdown

github-actions Bot commented Jun 5, 2026

🔍 Hypatia Security Scan

Findings: 138 issues detected

Severity Count
🔴 Critical 3
🟠 High 40
🟡 Medium 95

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Action perpolymath/standards/.github/workflows/governance-reusable.yml@main\n needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in abi-typecheck.yml",
    "type": "missing_timeout_minutes",
    "file": "abi-typecheck.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 codeql.yml",
    "type": "missing_timeout_minutes",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in governance.yml",
    "type": "missing_timeout_minutes",
    "file": "governance.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath hyperpolymath enabled auto-merge (squash) June 5, 2026 14:23
@hyperpolymath hyperpolymath disabled auto-merge June 5, 2026 14:55
@hyperpolymath hyperpolymath enabled auto-merge (rebase) June 5, 2026 14:56
@hyperpolymath hyperpolymath disabled auto-merge June 5, 2026 21:38
@hyperpolymath hyperpolymath merged commit c0b2c60 into main Jun 5, 2026
23 checks passed
@hyperpolymath hyperpolymath deleted the claude/zen-knuth-6hoEt branch June 5, 2026 21:38
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.

2 participants