Skip to content

docs(deed): mapping spec family 7 — 0-AI-MANIFEST decision (rename-hazard response) - #858

Merged
hyperpolymath merged 2 commits into
mainfrom
fix/837-family-7-ai-manifest
Sep 19, 2026
Merged

hyperpolymath merged 2 commits into
mainfrom
fix/837-family-7-ai-manifest

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Response to the first live conformance finding of the wave (reported on #837, verified on marid main @ 96cfea4): 0-AI-MANIFEST.deed at the repo root is INI content wearing a .deed name — renamed, not translated. It fails grammar (= is not a deed), filename dispatch (matches no pattern), and family coverage (family 7 didn't exist). ~900 generated files are behind it. This spec gives the wave its decision before contact, not during.

Contents:

  • Naming-collision rule: 0.2-AI-MANIFEST.a2ml cartridge directory-manifests (YAML-ish, JSON-schema governed) are a DIFFERENT family — the wave matches on content shape, never filename
  • Option A recommended: (manifest …) clauses on the repo deed (it's repo state — who is allocated here, under what policy); *_praxis.deed rejected with reasons (prose rules, no :when/:then/:priority bases — forcing them in invents fields the grammar forbids before ruling)
  • Full field table: agent identities as verbatim SYMBOLs (estate grep surface), policy rules as an ORDER-PRESERVING list value (lists keep order where clauses don't — the grammar property used, no invented rule-ids), work-allocation items cross-checked against declared agents (allocation without an identity fails closed)
  • Wave rules: no renames ever; the whole-tree deed-lint CI gate (already in deed-conformance.yml) is the enforcement surface; generator-first per the Fix the scaffold that propagates 'License: PMPL-1.0-or-later' (runbook §7a source fix) #645 lesson (fix the ~900-file emit source before the files)
  • Three ruling asks recorded: option confirm; agent seen-set closed-vs-open; generator home

Example verified mentally against the actual marid instance shape; translator support rides after the ruling (fail-closed until then — which is precisely the correct current behaviour).

Refs #837.

…zard response)

The first live conformance finding of the conversion wave (marid,
verified 2026-09-19): a renamed-not-translated 0-AI-MANIFEST.deed —
INI content wearing a .deed name at repo root — fails grammar, filename
dispatch, and family coverage at once. Renames are not translations;
this spec gives the wave a decision BEFORE ~900 generated files meet it.

Contents: naming-collision rule (0.2-AI-MANIFEST.a2ml cartridge
directory-manifests are a DIFFERENT family — match on content shape,
never filename); option A recommended ((manifest ...) clauses on the repo
deed; praxis-deed rejected with reasons); full field table (agent
identities as verbatim symbols, policy rules as order-preserving list,
work-allocation cross-checked against declared agents); wave rules
(no renames; whole-tree deed-lint CI gate; generator-first per the #645
lesson); three ruling asks recorded.

Refs #837
@coderabbitai

coderabbitai Bot commented Sep 19, 2026 •

Copy link
Copy Markdown
Contributor

Warning

Review limit reached

Next included review available in 4 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: Advanced

Run ID: 8dd7a4c3-f145-48c4-98e7-d68a6c4d19f6

📥 Commits

Reviewing files that changed from the base of the PR and between 4e6ffe5 and 82f404d.

📒 Files selected for processing (1)
  • 1-formats/deed/mappings/ai-manifest-decision.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 c9257ae into main Sep 19, 2026
2 checks passed
@hyperpolymath
hyperpolymath deleted the fix/837-family-7-ai-manifest branch September 19, 2026 19:30
@sonarqubecloud

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