Skip to content

Spec/contractile reconcile - #722

Merged
hyperpolymath merged 4 commits into
mainfrom
spec/contractile-reconcile
Sep 2, 2026
Merged

hyperpolymath merged 4 commits into
mainfrom
spec/contractile-reconcile

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Closes #

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (would change existing behaviour)
  • 🕳️ Soundness fix (fixes a checker/proof false-negative)
  • 📖 Documentation
  • 🧹 Refactor / tech debt (behaviour-preserving)
  • ⚡ Performance
  • 🔧 Build / CI / tooling

How has this been verified?

Checklist

  • My commits are signed (git commit -S).
  • I ran the project's own checks/tests locally and they pass.
  • New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
    prose CC-BY-SA-4.0); I did not relicense existing files.
  • Docs are updated, and no public claim now overstates what the code does.
  • I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers

hyperpolymath and others added 3 commits August 30, 2026 12:53
Corrects the verb count and adds the first measurement of this spec
against the repos that deploy it.

The count fossil: prose said "eight verbs" in four places while the
layout diagram, the registry note and the April migration note already
said six. Left over from the lust -> intend absorption (2026-04-18),
which decremented the table but not the sentence above it.

New: Deployment Reality section, recording that
- the seven contractile documents are one normative spec, one byte-
  identical mirror, one design successor and four derivatives, not
  seven rival specs;
- MUST.contractile (620 files, s-expression, estate-wide universal
  invariants) and Mustfile.a2ml (555 files, A2ML, per-repo physical
  state) are two distinct artefact families sharing verb names, not
  rival encodings; they co-reside in 101 repositories;
- 22% of deployed Mustfile.a2ml sit at the canonical path;
- one-per-repo cardinality is violated ~2:1 (must) and ~2.6:1 (trust);
- runner coverage is 4% (must) and 2% (trust) — the enforcement loop
  is open across most of the estate;
- three April migrations are half-applied: 90 lust/ dirs survive, 36
  Intendfile.a2ml remain, and 75 k9 dirs are still at the pre-ADR-001
  path.

New: Open Rulings, six owner decisions in dependency order.

No deployed file changed. Under the standing amendment mechanism,
estate-wide changes are amendments and therefore owner decisions.

Status: Draft — awaiting owner ratification.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
The v1.2.0 table classified four documents as project-local derivatives
without reading them. Read all four in full; three were misclassified.

- ensaid-spec/spec/07-contractiles.adoc is a normative draft with its own
  RFC 2119 conformance clause and a rival five-tier taxonomy: lust still
  live, k9 as a peer tier, "any structured format" permitted.
- a2ml/docs/CONTRACTILES-A2ML-V1.adoc is the normative contractiles-v1
  field-level validation profile and recognises only four of six verbs.
- oblibeny/docs/CONTRACTILES.adoc is a homonym: behavioural contracts on
  the Oblibeny language, unrelated to the verb system.
- plasma-parser-writer was correctly classified, and is the only measured
  instance of reference-not-duplicate working.

Added AOP-CONTRACTILE-MAPPING.adoc as an eighth document (carries an
unruled Antifile proposal). Added rulings 7-9. Re-verified the
ideas-to-alphas mirror as byte-identical after amendment.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@coderabbitai

coderabbitai Bot commented Sep 2, 2026 •

Copy link
Copy Markdown
Contributor

Warning

Review limit reached

Next included review available in 58 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Team

Run ID: 1bf5457f-f573-4116-9ce8-29eeb971c619

📥 Commits

Reviewing files that changed from the base of the PR and between bebca33 and efee10f.

📒 Files selected for processing (6)
  • .github/workflows/changelog-reusable.yml
  • .github/workflows/deno-ci-reusable.yml
  • .github/workflows/elixir-ci-reusable.yml
  • .github/workflows/mirror.yml
  • .github/workflows/rust-ci-reusable.yml
  • docs/CONTRACTILE-SPEC.adoc

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@hyperpolymath
hyperpolymath merged commit 969a93e into main Sep 2, 2026
26 of 30 checks passed
@hyperpolymath
hyperpolymath deleted the spec/contractile-reconcile branch September 2, 2026 12:35
@sonarqubecloud

sonarqubecloud Bot commented Sep 2, 2026

Copy link
Copy Markdown

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