@acidicsoil/portable-capabilities 0.1.0

package/canonical/operations/compare.artifacts.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: compare.artifacts
+version: 1.0.0
+purpose: Compare artifacts and preserve material differences.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/compare.artifacts.output.schema.json
+    description: Structured output for compare.artifacts.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/operations/generation.render.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: generation.render
+version: 1.0.0
+purpose: Render structured analytical outputs.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/generation.render.output.schema.json
+    description: Structured output for generation.render.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/operations/inference.classify.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: inference.classify
+version: 1.0.0
+purpose: Classify claims by evidential status.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/inference.classify.output.schema.json
+    description: Structured output for inference.classify.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/operations/ingest.sources.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: ingest.sources
+version: 1.0.0
+purpose: Load declared sources while preserving identity.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/ingest.sources.output.schema.json
+    description: Structured output for ingest.sources.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/operations/normalize.artifacts.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: normalize.artifacts
+version: 1.0.0
+purpose: Normalize source artifacts deterministically.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/normalize.artifacts.output.schema.json
+    description: Structured output for normalize.artifacts.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/operations/patterns.extract.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: patterns.extract
+version: 1.0.0
+purpose: Extract recurring structures and conventions.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/patterns.extract.output.schema.json
+    description: Structured output for patterns.extract.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/operations/segment.surfaces.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: segment.surfaces
+version: 1.0.0
+purpose: Segment artifacts into addressable analytical surfaces.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/segment.surfaces.output.schema.json
+    description: Structured output for segment.surfaces.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/operations/trace.build-evidence-ledger.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: trace.build-evidence-ledger
+version: 1.0.0
+purpose: Build traceable material-claim evidence records.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/trace.build-evidence-ledger.output.schema.json
+    description: Structured output for trace.build-evidence-ledger.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/operations/validation.contract.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+id: validation.contract
+version: 1.0.0
+purpose: Validate outputs against their contracts.
+inputs:
+  - name: artifacts
+    description: Addressable source artifacts.
+    required: true
+outputs:
+  - schema: canonical/schemas/validation.contract.output.schema.json
+    description: Structured output for validation.contract.
+requiredBehavior:
+  - Preserve deterministic ordering and source identity.
+forbiddenBehavior:
+  - Do not invent unsupported material claims.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+    - Output validates and remains reproducible.

package/canonical/policies/evidence-policy.yaml

@@ -0,0 +1,22 @@
+schemaVersion: "1.0"
+claimClasses:
+  - observed
+  - derived
+  - inferred
+  - recommended
+  - unresolved
+precedence:
+  - sourceClass: explicit-contract
+    rank: 0
+  - sourceClass: observed-artifact
+    rank: 1
+  - sourceClass: inference
+    rank: 2
+conflicts:
+  equalHighestRank: unresolved
+  noMatchingRule: unresolved
+  retainCounterevidence: true
+storage:
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+  digest: sha256

package/canonical/roles/acceptance-criteria-synthesis.yaml

@@ -0,0 +1,84 @@
+schemaVersion: '1.0'
+id: acceptance-criteria-synthesis
+purpose: Derive measurable acceptance criteria from intent and evidence.
+family:
+  id: guardrails-evaluation
+  version: 1.0.0
+taxonomy:
+  id: acceptance-criteria-synthesis
+  displayName: Acceptance Criteria Synthesis
+  transformation: Derive measurable acceptance criteria from intent and evidence.
+  intendedOutput: Acceptance criteria set
+inputs:
+- name: intent-and-requirements
+  description: The intent, requirements, or obligations to be accepted.
+  required: true
+- name: implementation-evidence
+  description: Evidence about the system or artifact under evaluation.
+  required: false
+- name: quality-thresholds
+  description: Measurable thresholds and tolerances.
+  required: false
+precedence:
+- sourceClass: explicit-contract
+  rank: 0
+- sourceClass: observed-artifact
+  rank: 1
+- sourceClass: inference
+  rank: 2
+pipeline:
+- id: ingest.sources
+  version: 1.0.0
+- id: trace.build-evidence-ledger
+  version: 1.0.0
+- id: validation.contract
+  version: 1.0.0
+output:
+  schema: canonical/schemas/acceptance-criteria-synthesis.output.schema.json
+  description: Acceptance criteria set
+requiredBehavior:
+- 'activation: Use acceptance-criteria-synthesis only when the requested outcome requires this transformation: Derive
+  measurable acceptance criteria from intent and evidence.'
+- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: Every obligation
+  maps to at least one unambiguous criterion, each criterion names evidence and pass/fail conditions, and coverage
+  gaps are explicit.'
+- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
+  both positions and return the affected output field as unresolved.'
+- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
+  clarification rather than selecting an unsupported interpretation.'
+- 'abstention: Abstain from acceptance-criteria-synthesis when required inputs are absent, the decision rule cannot
+  be applied, or evidence cannot satisfy the completion gate.'
+- 'stop: Stop before emitting Acceptance criteria set unless Every obligation maps to at least one unambiguous criterion,
+  each criterion names evidence and pass/fail conditions, and coverage gaps are explicit.'
+- 'resources: Load requirements, governing contracts, implementation evidence, and measurement standards; load examples
+  only to clarify boundary conditions.'
+- 'transformation: Execute the ordered analytical procedure: 1) decompose intent into observable obligations; 2)
+  identify success failure boundary and edge conditions; 3) write measurable criteria with evidence and threshold
+  requirements; 4) check completeness ambiguity independence and testability.'
+- 'output: Populate and validate canonical/schemas/acceptance-criteria-synthesis.output.schema.json with required
+  fields criteria, evidenceRequirements, thresholds, failureConditions, coverageMap; do not replace missing fields
+  with prose.'
+- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
+  produced it; retain counterevidence for unresolved results.'
+- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
+  was applied, and this completion gate holds: Every obligation maps to at least one unambiguous criterion, each
+  criterion names evidence and pass/fail conditions, and coverage gaps are explicit.'
+forbiddenBehavior:
+- Do not substitute generic analytical behavior for the role-specific acceptance-criteria-synthesis transformation.
+- Do not skip, reorder, or silently collapse the role's declared analytical stages.
+- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
+  stop or abstention condition.
+- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+  - The authoritative transformation and intended output for acceptance-criteria-synthesis are preserved.
+  - 'Required inputs and the decision rule are satisfied: Accept a criterion only when an independent evaluator
+    can determine pass or fail from named evidence without inferring unstated intent.'
+  - 'The ordered analytical stages are evidenced and the output completion gate passes: Every obligation maps to
+    at least one unambiguous criterion, each criterion names evidence and pass/fail conditions, and coverage gaps
+    are explicit.'
+  - Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.

package/canonical/roles/anti-pattern-inversion.yaml

@@ -0,0 +1,83 @@
+schemaVersion: '1.0'
+id: anti-pattern-inversion
+purpose: Invert documented anti-patterns into positive construction rules.
+family:
+  id: corrective-transformation
+  version: 1.0.0
+taxonomy:
+  id: anti-pattern-inversion
+  displayName: Anti-Pattern Inversion
+  transformation: Invert documented anti-patterns into positive construction rules.
+  intendedOutput: Corrective rule set
+inputs:
+- name: anti-pattern-catalog
+  description: Documented anti-patterns and failure examples.
+  required: true
+- name: construction-context
+  description: The context in which positive rules will be applied.
+  required: true
+- name: existing-controls
+  description: Existing rules or controls that may overlap.
+  required: false
+precedence:
+- sourceClass: explicit-contract
+  rank: 0
+- sourceClass: observed-artifact
+  rank: 1
+- sourceClass: inference
+  rank: 2
+pipeline:
+- id: ingest.sources
+  version: 1.0.0
+- id: trace.build-evidence-ledger
+  version: 1.0.0
+- id: validation.contract
+  version: 1.0.0
+output:
+  schema: canonical/schemas/anti-pattern-inversion.output.schema.json
+  description: Corrective rule set
+requiredBehavior:
+- 'activation: Use anti-pattern-inversion only when the requested outcome requires this transformation: Invert documented
+  anti-patterns into positive construction rules.'
+- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: Every rule
+  traces to a harmful mechanism, passes original failure cases, and documents legitimate exceptions and overlap
+  with existing controls.'
+- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
+  both positions and return the affected output field as unresolved.'
+- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
+  clarification rather than selecting an unsupported interpretation.'
+- 'abstention: Abstain from anti-pattern-inversion when required inputs are absent, the decision rule cannot be
+  applied, or evidence cannot satisfy the completion gate.'
+- 'stop: Stop before emitting Corrective rule set unless Every rule traces to a harmful mechanism, passes original
+  failure cases, and documents legitimate exceptions and overlap with existing controls.'
+- 'resources: Load anti-pattern evidence, construction context, existing controls, and exception examples; load
+  each failure trace to validate causal coverage.'
+- 'transformation: Execute the ordered analytical procedure: 1) identify the harmful mechanism and triggering conditions;
+  2) derive the positive invariant that prevents the mechanism; 3) translate the invariant into actionable construction
+  and review rules; 4) test rules against original failures and legitimate exceptions.'
+- 'output: Populate and validate canonical/schemas/anti-pattern-inversion.output.schema.json with required fields
+  antiPatternMap, positiveRules, exceptions, verificationChecks, coverageEvidence; do not replace missing fields
+  with prose.'
+- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
+  produced it; retain counterevidence for unresolved results.'
+- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
+  was applied, and this completion gate holds: Every rule traces to a harmful mechanism, passes original failure
+  cases, and documents legitimate exceptions and overlap with existing controls.'
+forbiddenBehavior:
+- Do not substitute generic analytical behavior for the role-specific anti-pattern-inversion transformation.
+- Do not skip, reorder, or silently collapse the role's declared analytical stages.
+- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
+  stop or abstention condition.
+- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+  - The authoritative transformation and intended output for anti-pattern-inversion are preserved.
+  - 'Required inputs and the decision rule are satisfied: Adopt a positive rule only when it blocks the harmful
+    mechanism without prohibiting documented legitimate behavior.'
+  - 'The ordered analytical stages are evidenced and the output completion gate passes: Every rule traces to a harmful
+    mechanism, passes original failure cases, and documents legitimate exceptions and overlap with existing controls.'
+  - Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.

package/canonical/roles/behavior-preserving-refactor.yaml

@@ -0,0 +1,88 @@
+schemaVersion: '1.0'
+id: behavior-preserving-refactor
+purpose: Transform structure while preserving observable behavior.
+family:
+  id: corrective-transformation
+  version: 1.0.0
+taxonomy:
+  id: behavior-preserving-refactor
+  displayName: Behavior-Preserving Refactor
+  transformation: Transform structure while preserving observable behavior.
+  intendedOutput: Refactored artifact with equivalence evidence
+inputs:
+- name: source-artifact
+  description: The artifact to restructure.
+  required: true
+- name: behavior-contract
+  description: Observable behavior that must be preserved.
+  required: true
+- name: refactor-goals
+  description: Structural goals and allowed change scope.
+  required: true
+- name: equivalence-fixtures
+  description: Tests or traces used to prove equivalence.
+  required: true
+precedence:
+- sourceClass: explicit-contract
+  rank: 0
+- sourceClass: observed-artifact
+  rank: 1
+- sourceClass: inference
+  rank: 2
+pipeline:
+- id: ingest.sources
+  version: 1.0.0
+- id: trace.build-evidence-ledger
+  version: 1.0.0
+- id: validation.contract
+  version: 1.0.0
+output:
+  schema: canonical/schemas/behavior-preserving-refactor.output.schema.json
+  description: Refactored artifact with equivalence evidence
+requiredBehavior:
+- 'activation: Use behavior-preserving-refactor only when the requested outcome requires this transformation: Transform
+  structure while preserving observable behavior.'
+- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: All affected
+  behavior passes equivalence checks, any difference is declared out of scope or rejected, and the structural goal
+  is demonstrably achieved.'
+- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
+  both positions and return the affected output field as unresolved.'
+- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
+  clarification rather than selecting an unsupported interpretation.'
+- 'abstention: Abstain from behavior-preserving-refactor when required inputs are absent, the decision rule cannot
+  be applied, or evidence cannot satisfy the completion gate.'
+- 'stop: Stop before emitting Refactored artifact with equivalence evidence unless All affected behavior passes
+  equivalence checks, any difference is declared out of scope or rejected, and the structural goal is demonstrably
+  achieved.'
+- 'resources: Load the source artifact, behavior contract, baseline tests, execution traces, and refactor constraints;
+  run only read-safe analysis unless an explicit execution harness is provided.'
+- 'transformation: Execute the ordered analytical procedure: 1) establish a pre-change behavioral baseline; 2) identify
+  structural changes that do not alter the behavior contract; 3) apply changes in reversible increments; 4) compare
+  outputs side effects and failure behavior against the baseline.'
+- 'output: Populate and validate canonical/schemas/behavior-preserving-refactor.output.schema.json with required
+  fields refactoredArtifact, changeMap, equivalenceEvidence, behavioralDiffs, rollbackNotes; do not replace missing
+  fields with prose.'
+- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
+  produced it; retain counterevidence for unresolved results.'
+- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
+  was applied, and this completion gate holds: All affected behavior passes equivalence checks, any difference is
+  declared out of scope or rejected, and the structural goal is demonstrably achieved.'
+forbiddenBehavior:
+- Do not substitute generic analytical behavior for the role-specific behavior-preserving-refactor transformation.
+- Do not skip, reorder, or silently collapse the role's declared analytical stages.
+- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
+  stop or abstention condition.
+- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+  - The authoritative transformation and intended output for behavior-preserving-refactor are preserved.
+  - 'Required inputs and the decision rule are satisfied: Permit a structural change only when equivalence evidence
+    covers affected behavior; classify intentional behavior changes outside this role.'
+  - 'The ordered analytical stages are evidenced and the output completion gate passes: All affected behavior passes
+    equivalence checks, any difference is declared out of scope or rejected, and the structural goal is demonstrably
+    achieved.'
+  - Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.

package/canonical/roles/canonical-exemplar-generalization.yaml

@@ -0,0 +1,84 @@
+schemaVersion: '1.0'
+id: canonical-exemplar-generalization
+purpose: Transform concrete exemplars into a reusable canonical model.
+family:
+  id: exemplar-modeling
+  version: 1.0.0
+taxonomy:
+  id: canonical-exemplar-generalization
+  displayName: Canonical Exemplar Generalization
+  transformation: Transform concrete exemplars into a reusable canonical model.
+  intendedOutput: Canonical generalized model
+inputs:
+- name: exemplars
+  description: Representative concrete exemplars to generalize.
+  required: true
+- name: variation-samples
+  description: Counterexamples or variants used to test generality.
+  required: true
+- name: scope-constraints
+  description: Explicit boundaries the generalized model must respect.
+  required: false
+precedence:
+- sourceClass: explicit-contract
+  rank: 0
+- sourceClass: observed-artifact
+  rank: 1
+- sourceClass: inference
+  rank: 2
+pipeline:
+- id: ingest.sources
+  version: 1.0.0
+- id: trace.build-evidence-ledger
+  version: 1.0.0
+- id: validation.contract
+  version: 1.0.0
+output:
+  schema: canonical/schemas/canonical-exemplar-generalization.output.schema.json
+  description: Canonical generalized model
+requiredBehavior:
+- 'activation: Use canonical-exemplar-generalization only when the requested outcome requires this transformation:
+  Transform concrete exemplars into a reusable canonical model.'
+- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: Every invariant
+  is supported by multiple exemplars, every variation point is bounded, and held-out variants are either covered
+  or explicitly excluded.'
+- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
+  both positions and return the affected output field as unresolved.'
+- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
+  clarification rather than selecting an unsupported interpretation.'
+- 'abstention: Abstain from canonical-exemplar-generalization when required inputs are absent, the decision rule
+  cannot be applied, or evidence cannot satisfy the completion gate.'
+- 'stop: Stop before emitting Canonical generalized model unless Every invariant is supported by multiple exemplars,
+  every variation point is bounded, and held-out variants are either covered or explicitly excluded.'
+- 'resources: Load the exemplar corpus, scope constraints, and held-out variation set; load each only when it contributes
+  coverage or falsification evidence.'
+- 'transformation: Execute the ordered analytical procedure: 1) inventory invariant and variable features across
+  exemplars; 2) separate essential structure from incidental detail; 3) propose the smallest reusable model covering
+  supported variation; 4) challenge the model against held-out variants and record exclusions.'
+- 'output: Populate and validate canonical/schemas/canonical-exemplar-generalization.output.schema.json with required
+  fields model, invariants, variationPoints, excludedDetails, coverageEvidence; do not replace missing fields with
+  prose.'
+- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
+  produced it; retain counterevidence for unresolved results.'
+- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
+  was applied, and this completion gate holds: Every invariant is supported by multiple exemplars, every variation
+  point is bounded, and held-out variants are either covered or explicitly excluded.'
+forbiddenBehavior:
+- Do not substitute generic analytical behavior for the role-specific canonical-exemplar-generalization transformation.
+- Do not skip, reorder, or silently collapse the role's declared analytical stages.
+- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
+  stop or abstention condition.
+- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+  - The authoritative transformation and intended output for canonical-exemplar-generalization are preserved.
+  - 'Required inputs and the decision rule are satisfied: Retain a feature only when it is necessary across supported
+    exemplars or explicitly required by scope; otherwise classify it as optional or excluded.'
+  - 'The ordered analytical stages are evidenced and the output completion gate passes: Every invariant is supported
+    by multiple exemplars, every variation point is bounded, and held-out variants are either covered or explicitly
+    excluded.'
+  - Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.

package/canonical/roles/constrained-exemplar-adaptation.yaml

@@ -0,0 +1,85 @@
+schemaVersion: '1.0'
+id: constrained-exemplar-adaptation
+purpose: Adapt an exemplar under explicit constraints.
+family:
+  id: exemplar-modeling
+  version: 1.0.0
+taxonomy:
+  id: constrained-exemplar-adaptation
+  displayName: Constrained Exemplar Adaptation
+  transformation: Adapt an exemplar under explicit constraints.
+  intendedOutput: Constraint-compliant adaptation
+inputs:
+- name: source-exemplar
+  description: The exemplar whose structure or behavior is being adapted.
+  required: true
+- name: target-constraints
+  description: Mandatory target-environment constraints.
+  required: true
+- name: preservation-requirements
+  description: Properties that must remain unchanged.
+  required: true
+- name: target-context
+  description: Optional target conventions and integration context.
+  required: false
+precedence:
+- sourceClass: explicit-contract
+  rank: 0
+- sourceClass: observed-artifact
+  rank: 1
+- sourceClass: inference
+  rank: 2
+pipeline:
+- id: ingest.sources
+  version: 1.0.0
+- id: trace.build-evidence-ledger
+  version: 1.0.0
+- id: validation.contract
+  version: 1.0.0
+output:
+  schema: canonical/schemas/constrained-exemplar-adaptation.output.schema.json
+  description: Constraint-compliant adaptation
+requiredBehavior:
+- 'activation: Use constrained-exemplar-adaptation only when the requested outcome requires this transformation:
+  Adapt an exemplar under explicit constraints.'
+- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: All mandatory
+  constraints pass, preserved properties remain equivalent, and every deviation has an evidence-backed rationale.'
+- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
+  both positions and return the affected output field as unresolved.'
+- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
+  clarification rather than selecting an unsupported interpretation.'
+- 'abstention: Abstain from constrained-exemplar-adaptation when required inputs are absent, the decision rule cannot
+  be applied, or evidence cannot satisfy the completion gate.'
+- 'stop: Stop before emitting Constraint-compliant adaptation unless All mandatory constraints pass, preserved properties
+  remain equivalent, and every deviation has an evidence-backed rationale.'
+- 'resources: Load the source exemplar, target constraint set, preservation checks, and target conventions only
+  when a mapped element depends on them.'
+- 'transformation: Execute the ordered analytical procedure: 1) extract the exemplar properties relevant to the
+  target; 2) classify target constraints as mandatory, negotiable, or conflicting; 3) map exemplar elements to target-compatible
+  replacements; 4) validate preserved properties and document every intentional deviation.'
+- 'output: Populate and validate canonical/schemas/constrained-exemplar-adaptation.output.schema.json with required
+  fields adaptedArtifact, constraintMapping, preservedProperties, deviations, validationResults; do not replace
+  missing fields with prose.'
+- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
+  produced it; retain counterevidence for unresolved results.'
+- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
+  was applied, and this completion gate holds: All mandatory constraints pass, preserved properties remain equivalent,
+  and every deviation has an evidence-backed rationale.'
+forbiddenBehavior:
+- Do not substitute generic analytical behavior for the role-specific constrained-exemplar-adaptation transformation.
+- Do not skip, reorder, or silently collapse the role's declared analytical stages.
+- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
+  stop or abstention condition.
+- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
+traceability:
+  materialClaimsRequireSources: true
+  ledgerFormat: jsonl
+  artifacts: content-addressed
+evaluation:
+  criteria:
+  - The authoritative transformation and intended output for constrained-exemplar-adaptation are preserved.
+  - 'Required inputs and the decision rule are satisfied: Prefer the least-divergent adaptation that satisfies all
+    mandatory constraints; abstain when two mandatory constraints cannot be jointly satisfied.'
+  - 'The ordered analytical stages are evidenced and the output completion gate passes: All mandatory constraints
+    pass, preserved properties remain equivalent, and every deviation has an evidence-backed rationale.'
+  - Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.