@acidicsoil/portable-capabilities 0.1.4 → 0.1.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist-release/catalog/roles/acceptance-criteria-synthesis.yaml +84 -0
- package/dist-release/catalog/roles/anti-pattern-inversion.yaml +83 -0
- package/dist-release/catalog/roles/behavior-preserving-refactor.yaml +88 -0
- package/dist-release/catalog/roles/canonical-exemplar-generalization.yaml +84 -0
- package/dist-release/catalog/roles/constrained-exemplar-adaptation.yaml +85 -0
- package/dist-release/catalog/roles/convention-mining.yaml +81 -0
- package/dist-release/catalog/roles/conversation-to-specification.yaml +83 -0
- package/dist-release/catalog/roles/delta-analysis.yaml +84 -0
- package/dist-release/catalog/roles/domain-context-boundary.yaml +82 -0
- package/dist-release/catalog/roles/evaluation-harness-design.yaml +86 -0
- package/dist-release/catalog/roles/failure-to-guardrail.yaml +81 -0
- package/dist-release/catalog/roles/multi-exemplar-consensus.yaml +81 -0
- package/dist-release/catalog/roles/reference-trace-mapping.yaml +83 -0
- package/dist-release/catalog/roles/reusable-workflow-abstraction.yaml +82 -0
- package/dist-release/catalog/roles/structural-pattern-extraction.yaml +82 -0
- package/dist-release/catalog/roles/template-family-generation.yaml +83 -0
- package/dist-release/catalog/runtime-profiles/antigravity.yaml +60 -0
- package/dist-release/catalog/runtime-profiles/claude-code.yaml +65 -0
- package/dist-release/catalog/runtime-profiles/codex.yaml +71 -0
- package/dist-release/catalog/runtime-profiles/dcode.yaml +67 -0
- package/dist-release/catalog/runtime-profiles/oh-my-pi.yaml +62 -0
- package/dist-release/catalog/runtime-profiles/opencode.yaml +65 -0
- package/dist-release/catalog/runtime-profiles/pi.yaml +66 -0
- package/dist-release/cli.js +77 -37
- package/dist-release/cli.js.map +3 -3
- package/dist-release/index.js +77 -37
- package/dist-release/index.js.map +3 -3
- package/package.json +3 -1
|
@@ -0,0 +1,84 @@
|
|
|
1
|
+
schemaVersion: '1.0'
|
|
2
|
+
id: acceptance-criteria-synthesis
|
|
3
|
+
purpose: Derive measurable acceptance criteria from intent and evidence.
|
|
4
|
+
family:
|
|
5
|
+
id: guardrails-evaluation
|
|
6
|
+
version: 1.0.0
|
|
7
|
+
taxonomy:
|
|
8
|
+
id: acceptance-criteria-synthesis
|
|
9
|
+
displayName: Acceptance Criteria Synthesis
|
|
10
|
+
transformation: Derive measurable acceptance criteria from intent and evidence.
|
|
11
|
+
intendedOutput: Acceptance criteria set
|
|
12
|
+
inputs:
|
|
13
|
+
- name: intent-and-requirements
|
|
14
|
+
description: The intent, requirements, or obligations to be accepted.
|
|
15
|
+
required: true
|
|
16
|
+
- name: implementation-evidence
|
|
17
|
+
description: Evidence about the system or artifact under evaluation.
|
|
18
|
+
required: false
|
|
19
|
+
- name: quality-thresholds
|
|
20
|
+
description: Measurable thresholds and tolerances.
|
|
21
|
+
required: false
|
|
22
|
+
precedence:
|
|
23
|
+
- sourceClass: explicit-contract
|
|
24
|
+
rank: 0
|
|
25
|
+
- sourceClass: observed-artifact
|
|
26
|
+
rank: 1
|
|
27
|
+
- sourceClass: inference
|
|
28
|
+
rank: 2
|
|
29
|
+
pipeline:
|
|
30
|
+
- id: ingest.sources
|
|
31
|
+
version: 1.0.0
|
|
32
|
+
- id: trace.build-evidence-ledger
|
|
33
|
+
version: 1.0.0
|
|
34
|
+
- id: validation.contract
|
|
35
|
+
version: 1.0.0
|
|
36
|
+
output:
|
|
37
|
+
schema: canonical/schemas/acceptance-criteria-synthesis.output.schema.json
|
|
38
|
+
description: Acceptance criteria set
|
|
39
|
+
requiredBehavior:
|
|
40
|
+
- 'activation: Use acceptance-criteria-synthesis only when the requested outcome requires this transformation: Derive
|
|
41
|
+
measurable acceptance criteria from intent and evidence.'
|
|
42
|
+
- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: Every obligation
|
|
43
|
+
maps to at least one unambiguous criterion, each criterion names evidence and pass/fail conditions, and coverage
|
|
44
|
+
gaps are explicit.'
|
|
45
|
+
- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
|
|
46
|
+
both positions and return the affected output field as unresolved.'
|
|
47
|
+
- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
|
|
48
|
+
clarification rather than selecting an unsupported interpretation.'
|
|
49
|
+
- 'abstention: Abstain from acceptance-criteria-synthesis when required inputs are absent, the decision rule cannot
|
|
50
|
+
be applied, or evidence cannot satisfy the completion gate.'
|
|
51
|
+
- 'stop: Stop before emitting Acceptance criteria set unless Every obligation maps to at least one unambiguous criterion,
|
|
52
|
+
each criterion names evidence and pass/fail conditions, and coverage gaps are explicit.'
|
|
53
|
+
- 'resources: Load requirements, governing contracts, implementation evidence, and measurement standards; load examples
|
|
54
|
+
only to clarify boundary conditions.'
|
|
55
|
+
- 'transformation: Execute the ordered analytical procedure: 1) decompose intent into observable obligations; 2)
|
|
56
|
+
identify success failure boundary and edge conditions; 3) write measurable criteria with evidence and threshold
|
|
57
|
+
requirements; 4) check completeness ambiguity independence and testability.'
|
|
58
|
+
- 'output: Populate and validate canonical/schemas/acceptance-criteria-synthesis.output.schema.json with required
|
|
59
|
+
fields criteria, evidenceRequirements, thresholds, failureConditions, coverageMap; do not replace missing fields
|
|
60
|
+
with prose.'
|
|
61
|
+
- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
|
|
62
|
+
produced it; retain counterevidence for unresolved results.'
|
|
63
|
+
- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
|
|
64
|
+
was applied, and this completion gate holds: Every obligation maps to at least one unambiguous criterion, each
|
|
65
|
+
criterion names evidence and pass/fail conditions, and coverage gaps are explicit.'
|
|
66
|
+
forbiddenBehavior:
|
|
67
|
+
- Do not substitute generic analytical behavior for the role-specific acceptance-criteria-synthesis transformation.
|
|
68
|
+
- Do not skip, reorder, or silently collapse the role's declared analytical stages.
|
|
69
|
+
- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
|
|
70
|
+
stop or abstention condition.
|
|
71
|
+
- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
|
|
72
|
+
traceability:
|
|
73
|
+
materialClaimsRequireSources: true
|
|
74
|
+
ledgerFormat: jsonl
|
|
75
|
+
artifacts: content-addressed
|
|
76
|
+
evaluation:
|
|
77
|
+
criteria:
|
|
78
|
+
- The authoritative transformation and intended output for acceptance-criteria-synthesis are preserved.
|
|
79
|
+
- 'Required inputs and the decision rule are satisfied: Accept a criterion only when an independent evaluator
|
|
80
|
+
can determine pass or fail from named evidence without inferring unstated intent.'
|
|
81
|
+
- 'The ordered analytical stages are evidenced and the output completion gate passes: Every obligation maps to
|
|
82
|
+
at least one unambiguous criterion, each criterion names evidence and pass/fail conditions, and coverage gaps
|
|
83
|
+
are explicit.'
|
|
84
|
+
- Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.
|
|
@@ -0,0 +1,83 @@
|
|
|
1
|
+
schemaVersion: '1.0'
|
|
2
|
+
id: anti-pattern-inversion
|
|
3
|
+
purpose: Invert documented anti-patterns into positive construction rules.
|
|
4
|
+
family:
|
|
5
|
+
id: corrective-transformation
|
|
6
|
+
version: 1.0.0
|
|
7
|
+
taxonomy:
|
|
8
|
+
id: anti-pattern-inversion
|
|
9
|
+
displayName: Anti-Pattern Inversion
|
|
10
|
+
transformation: Invert documented anti-patterns into positive construction rules.
|
|
11
|
+
intendedOutput: Corrective rule set
|
|
12
|
+
inputs:
|
|
13
|
+
- name: anti-pattern-catalog
|
|
14
|
+
description: Documented anti-patterns and failure examples.
|
|
15
|
+
required: true
|
|
16
|
+
- name: construction-context
|
|
17
|
+
description: The context in which positive rules will be applied.
|
|
18
|
+
required: true
|
|
19
|
+
- name: existing-controls
|
|
20
|
+
description: Existing rules or controls that may overlap.
|
|
21
|
+
required: false
|
|
22
|
+
precedence:
|
|
23
|
+
- sourceClass: explicit-contract
|
|
24
|
+
rank: 0
|
|
25
|
+
- sourceClass: observed-artifact
|
|
26
|
+
rank: 1
|
|
27
|
+
- sourceClass: inference
|
|
28
|
+
rank: 2
|
|
29
|
+
pipeline:
|
|
30
|
+
- id: ingest.sources
|
|
31
|
+
version: 1.0.0
|
|
32
|
+
- id: trace.build-evidence-ledger
|
|
33
|
+
version: 1.0.0
|
|
34
|
+
- id: validation.contract
|
|
35
|
+
version: 1.0.0
|
|
36
|
+
output:
|
|
37
|
+
schema: canonical/schemas/anti-pattern-inversion.output.schema.json
|
|
38
|
+
description: Corrective rule set
|
|
39
|
+
requiredBehavior:
|
|
40
|
+
- 'activation: Use anti-pattern-inversion only when the requested outcome requires this transformation: Invert documented
|
|
41
|
+
anti-patterns into positive construction rules.'
|
|
42
|
+
- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: Every rule
|
|
43
|
+
traces to a harmful mechanism, passes original failure cases, and documents legitimate exceptions and overlap
|
|
44
|
+
with existing controls.'
|
|
45
|
+
- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
|
|
46
|
+
both positions and return the affected output field as unresolved.'
|
|
47
|
+
- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
|
|
48
|
+
clarification rather than selecting an unsupported interpretation.'
|
|
49
|
+
- 'abstention: Abstain from anti-pattern-inversion when required inputs are absent, the decision rule cannot be
|
|
50
|
+
applied, or evidence cannot satisfy the completion gate.'
|
|
51
|
+
- 'stop: Stop before emitting Corrective rule set unless Every rule traces to a harmful mechanism, passes original
|
|
52
|
+
failure cases, and documents legitimate exceptions and overlap with existing controls.'
|
|
53
|
+
- 'resources: Load anti-pattern evidence, construction context, existing controls, and exception examples; load
|
|
54
|
+
each failure trace to validate causal coverage.'
|
|
55
|
+
- 'transformation: Execute the ordered analytical procedure: 1) identify the harmful mechanism and triggering conditions;
|
|
56
|
+
2) derive the positive invariant that prevents the mechanism; 3) translate the invariant into actionable construction
|
|
57
|
+
and review rules; 4) test rules against original failures and legitimate exceptions.'
|
|
58
|
+
- 'output: Populate and validate canonical/schemas/anti-pattern-inversion.output.schema.json with required fields
|
|
59
|
+
antiPatternMap, positiveRules, exceptions, verificationChecks, coverageEvidence; do not replace missing fields
|
|
60
|
+
with prose.'
|
|
61
|
+
- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
|
|
62
|
+
produced it; retain counterevidence for unresolved results.'
|
|
63
|
+
- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
|
|
64
|
+
was applied, and this completion gate holds: Every rule traces to a harmful mechanism, passes original failure
|
|
65
|
+
cases, and documents legitimate exceptions and overlap with existing controls.'
|
|
66
|
+
forbiddenBehavior:
|
|
67
|
+
- Do not substitute generic analytical behavior for the role-specific anti-pattern-inversion transformation.
|
|
68
|
+
- Do not skip, reorder, or silently collapse the role's declared analytical stages.
|
|
69
|
+
- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
|
|
70
|
+
stop or abstention condition.
|
|
71
|
+
- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
|
|
72
|
+
traceability:
|
|
73
|
+
materialClaimsRequireSources: true
|
|
74
|
+
ledgerFormat: jsonl
|
|
75
|
+
artifacts: content-addressed
|
|
76
|
+
evaluation:
|
|
77
|
+
criteria:
|
|
78
|
+
- The authoritative transformation and intended output for anti-pattern-inversion are preserved.
|
|
79
|
+
- 'Required inputs and the decision rule are satisfied: Adopt a positive rule only when it blocks the harmful
|
|
80
|
+
mechanism without prohibiting documented legitimate behavior.'
|
|
81
|
+
- 'The ordered analytical stages are evidenced and the output completion gate passes: Every rule traces to a harmful
|
|
82
|
+
mechanism, passes original failure cases, and documents legitimate exceptions and overlap with existing controls.'
|
|
83
|
+
- Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.
|
|
@@ -0,0 +1,88 @@
|
|
|
1
|
+
schemaVersion: '1.0'
|
|
2
|
+
id: behavior-preserving-refactor
|
|
3
|
+
purpose: Transform structure while preserving observable behavior.
|
|
4
|
+
family:
|
|
5
|
+
id: corrective-transformation
|
|
6
|
+
version: 1.0.0
|
|
7
|
+
taxonomy:
|
|
8
|
+
id: behavior-preserving-refactor
|
|
9
|
+
displayName: Behavior-Preserving Refactor
|
|
10
|
+
transformation: Transform structure while preserving observable behavior.
|
|
11
|
+
intendedOutput: Refactored artifact with equivalence evidence
|
|
12
|
+
inputs:
|
|
13
|
+
- name: source-artifact
|
|
14
|
+
description: The artifact to restructure.
|
|
15
|
+
required: true
|
|
16
|
+
- name: behavior-contract
|
|
17
|
+
description: Observable behavior that must be preserved.
|
|
18
|
+
required: true
|
|
19
|
+
- name: refactor-goals
|
|
20
|
+
description: Structural goals and allowed change scope.
|
|
21
|
+
required: true
|
|
22
|
+
- name: equivalence-fixtures
|
|
23
|
+
description: Tests or traces used to prove equivalence.
|
|
24
|
+
required: true
|
|
25
|
+
precedence:
|
|
26
|
+
- sourceClass: explicit-contract
|
|
27
|
+
rank: 0
|
|
28
|
+
- sourceClass: observed-artifact
|
|
29
|
+
rank: 1
|
|
30
|
+
- sourceClass: inference
|
|
31
|
+
rank: 2
|
|
32
|
+
pipeline:
|
|
33
|
+
- id: ingest.sources
|
|
34
|
+
version: 1.0.0
|
|
35
|
+
- id: trace.build-evidence-ledger
|
|
36
|
+
version: 1.0.0
|
|
37
|
+
- id: validation.contract
|
|
38
|
+
version: 1.0.0
|
|
39
|
+
output:
|
|
40
|
+
schema: canonical/schemas/behavior-preserving-refactor.output.schema.json
|
|
41
|
+
description: Refactored artifact with equivalence evidence
|
|
42
|
+
requiredBehavior:
|
|
43
|
+
- 'activation: Use behavior-preserving-refactor only when the requested outcome requires this transformation: Transform
|
|
44
|
+
structure while preserving observable behavior.'
|
|
45
|
+
- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: All affected
|
|
46
|
+
behavior passes equivalence checks, any difference is declared out of scope or rejected, and the structural goal
|
|
47
|
+
is demonstrably achieved.'
|
|
48
|
+
- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
|
|
49
|
+
both positions and return the affected output field as unresolved.'
|
|
50
|
+
- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
|
|
51
|
+
clarification rather than selecting an unsupported interpretation.'
|
|
52
|
+
- 'abstention: Abstain from behavior-preserving-refactor when required inputs are absent, the decision rule cannot
|
|
53
|
+
be applied, or evidence cannot satisfy the completion gate.'
|
|
54
|
+
- 'stop: Stop before emitting Refactored artifact with equivalence evidence unless All affected behavior passes
|
|
55
|
+
equivalence checks, any difference is declared out of scope or rejected, and the structural goal is demonstrably
|
|
56
|
+
achieved.'
|
|
57
|
+
- 'resources: Load the source artifact, behavior contract, baseline tests, execution traces, and refactor constraints;
|
|
58
|
+
run only read-safe analysis unless an explicit execution harness is provided.'
|
|
59
|
+
- 'transformation: Execute the ordered analytical procedure: 1) establish a pre-change behavioral baseline; 2) identify
|
|
60
|
+
structural changes that do not alter the behavior contract; 3) apply changes in reversible increments; 4) compare
|
|
61
|
+
outputs side effects and failure behavior against the baseline.'
|
|
62
|
+
- 'output: Populate and validate canonical/schemas/behavior-preserving-refactor.output.schema.json with required
|
|
63
|
+
fields refactoredArtifact, changeMap, equivalenceEvidence, behavioralDiffs, rollbackNotes; do not replace missing
|
|
64
|
+
fields with prose.'
|
|
65
|
+
- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
|
|
66
|
+
produced it; retain counterevidence for unresolved results.'
|
|
67
|
+
- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
|
|
68
|
+
was applied, and this completion gate holds: All affected behavior passes equivalence checks, any difference is
|
|
69
|
+
declared out of scope or rejected, and the structural goal is demonstrably achieved.'
|
|
70
|
+
forbiddenBehavior:
|
|
71
|
+
- Do not substitute generic analytical behavior for the role-specific behavior-preserving-refactor transformation.
|
|
72
|
+
- Do not skip, reorder, or silently collapse the role's declared analytical stages.
|
|
73
|
+
- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
|
|
74
|
+
stop or abstention condition.
|
|
75
|
+
- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
|
|
76
|
+
traceability:
|
|
77
|
+
materialClaimsRequireSources: true
|
|
78
|
+
ledgerFormat: jsonl
|
|
79
|
+
artifacts: content-addressed
|
|
80
|
+
evaluation:
|
|
81
|
+
criteria:
|
|
82
|
+
- The authoritative transformation and intended output for behavior-preserving-refactor are preserved.
|
|
83
|
+
- 'Required inputs and the decision rule are satisfied: Permit a structural change only when equivalence evidence
|
|
84
|
+
covers affected behavior; classify intentional behavior changes outside this role.'
|
|
85
|
+
- 'The ordered analytical stages are evidenced and the output completion gate passes: All affected behavior passes
|
|
86
|
+
equivalence checks, any difference is declared out of scope or rejected, and the structural goal is demonstrably
|
|
87
|
+
achieved.'
|
|
88
|
+
- Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.
|
|
@@ -0,0 +1,84 @@
|
|
|
1
|
+
schemaVersion: '1.0'
|
|
2
|
+
id: canonical-exemplar-generalization
|
|
3
|
+
purpose: Transform concrete exemplars into a reusable canonical model.
|
|
4
|
+
family:
|
|
5
|
+
id: exemplar-modeling
|
|
6
|
+
version: 1.0.0
|
|
7
|
+
taxonomy:
|
|
8
|
+
id: canonical-exemplar-generalization
|
|
9
|
+
displayName: Canonical Exemplar Generalization
|
|
10
|
+
transformation: Transform concrete exemplars into a reusable canonical model.
|
|
11
|
+
intendedOutput: Canonical generalized model
|
|
12
|
+
inputs:
|
|
13
|
+
- name: exemplars
|
|
14
|
+
description: Representative concrete exemplars to generalize.
|
|
15
|
+
required: true
|
|
16
|
+
- name: variation-samples
|
|
17
|
+
description: Counterexamples or variants used to test generality.
|
|
18
|
+
required: true
|
|
19
|
+
- name: scope-constraints
|
|
20
|
+
description: Explicit boundaries the generalized model must respect.
|
|
21
|
+
required: false
|
|
22
|
+
precedence:
|
|
23
|
+
- sourceClass: explicit-contract
|
|
24
|
+
rank: 0
|
|
25
|
+
- sourceClass: observed-artifact
|
|
26
|
+
rank: 1
|
|
27
|
+
- sourceClass: inference
|
|
28
|
+
rank: 2
|
|
29
|
+
pipeline:
|
|
30
|
+
- id: ingest.sources
|
|
31
|
+
version: 1.0.0
|
|
32
|
+
- id: trace.build-evidence-ledger
|
|
33
|
+
version: 1.0.0
|
|
34
|
+
- id: validation.contract
|
|
35
|
+
version: 1.0.0
|
|
36
|
+
output:
|
|
37
|
+
schema: canonical/schemas/canonical-exemplar-generalization.output.schema.json
|
|
38
|
+
description: Canonical generalized model
|
|
39
|
+
requiredBehavior:
|
|
40
|
+
- 'activation: Use canonical-exemplar-generalization only when the requested outcome requires this transformation:
|
|
41
|
+
Transform concrete exemplars into a reusable canonical model.'
|
|
42
|
+
- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: Every invariant
|
|
43
|
+
is supported by multiple exemplars, every variation point is bounded, and held-out variants are either covered
|
|
44
|
+
or explicitly excluded.'
|
|
45
|
+
- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
|
|
46
|
+
both positions and return the affected output field as unresolved.'
|
|
47
|
+
- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
|
|
48
|
+
clarification rather than selecting an unsupported interpretation.'
|
|
49
|
+
- 'abstention: Abstain from canonical-exemplar-generalization when required inputs are absent, the decision rule
|
|
50
|
+
cannot be applied, or evidence cannot satisfy the completion gate.'
|
|
51
|
+
- 'stop: Stop before emitting Canonical generalized model unless Every invariant is supported by multiple exemplars,
|
|
52
|
+
every variation point is bounded, and held-out variants are either covered or explicitly excluded.'
|
|
53
|
+
- 'resources: Load the exemplar corpus, scope constraints, and held-out variation set; load each only when it contributes
|
|
54
|
+
coverage or falsification evidence.'
|
|
55
|
+
- 'transformation: Execute the ordered analytical procedure: 1) inventory invariant and variable features across
|
|
56
|
+
exemplars; 2) separate essential structure from incidental detail; 3) propose the smallest reusable model covering
|
|
57
|
+
supported variation; 4) challenge the model against held-out variants and record exclusions.'
|
|
58
|
+
- 'output: Populate and validate canonical/schemas/canonical-exemplar-generalization.output.schema.json with required
|
|
59
|
+
fields model, invariants, variationPoints, excludedDetails, coverageEvidence; do not replace missing fields with
|
|
60
|
+
prose.'
|
|
61
|
+
- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
|
|
62
|
+
produced it; retain counterevidence for unresolved results.'
|
|
63
|
+
- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
|
|
64
|
+
was applied, and this completion gate holds: Every invariant is supported by multiple exemplars, every variation
|
|
65
|
+
point is bounded, and held-out variants are either covered or explicitly excluded.'
|
|
66
|
+
forbiddenBehavior:
|
|
67
|
+
- Do not substitute generic analytical behavior for the role-specific canonical-exemplar-generalization transformation.
|
|
68
|
+
- Do not skip, reorder, or silently collapse the role's declared analytical stages.
|
|
69
|
+
- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
|
|
70
|
+
stop or abstention condition.
|
|
71
|
+
- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
|
|
72
|
+
traceability:
|
|
73
|
+
materialClaimsRequireSources: true
|
|
74
|
+
ledgerFormat: jsonl
|
|
75
|
+
artifacts: content-addressed
|
|
76
|
+
evaluation:
|
|
77
|
+
criteria:
|
|
78
|
+
- The authoritative transformation and intended output for canonical-exemplar-generalization are preserved.
|
|
79
|
+
- 'Required inputs and the decision rule are satisfied: Retain a feature only when it is necessary across supported
|
|
80
|
+
exemplars or explicitly required by scope; otherwise classify it as optional or excluded.'
|
|
81
|
+
- 'The ordered analytical stages are evidenced and the output completion gate passes: Every invariant is supported
|
|
82
|
+
by multiple exemplars, every variation point is bounded, and held-out variants are either covered or explicitly
|
|
83
|
+
excluded.'
|
|
84
|
+
- Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.
|
|
@@ -0,0 +1,85 @@
|
|
|
1
|
+
schemaVersion: '1.0'
|
|
2
|
+
id: constrained-exemplar-adaptation
|
|
3
|
+
purpose: Adapt an exemplar under explicit constraints.
|
|
4
|
+
family:
|
|
5
|
+
id: exemplar-modeling
|
|
6
|
+
version: 1.0.0
|
|
7
|
+
taxonomy:
|
|
8
|
+
id: constrained-exemplar-adaptation
|
|
9
|
+
displayName: Constrained Exemplar Adaptation
|
|
10
|
+
transformation: Adapt an exemplar under explicit constraints.
|
|
11
|
+
intendedOutput: Constraint-compliant adaptation
|
|
12
|
+
inputs:
|
|
13
|
+
- name: source-exemplar
|
|
14
|
+
description: The exemplar whose structure or behavior is being adapted.
|
|
15
|
+
required: true
|
|
16
|
+
- name: target-constraints
|
|
17
|
+
description: Mandatory target-environment constraints.
|
|
18
|
+
required: true
|
|
19
|
+
- name: preservation-requirements
|
|
20
|
+
description: Properties that must remain unchanged.
|
|
21
|
+
required: true
|
|
22
|
+
- name: target-context
|
|
23
|
+
description: Optional target conventions and integration context.
|
|
24
|
+
required: false
|
|
25
|
+
precedence:
|
|
26
|
+
- sourceClass: explicit-contract
|
|
27
|
+
rank: 0
|
|
28
|
+
- sourceClass: observed-artifact
|
|
29
|
+
rank: 1
|
|
30
|
+
- sourceClass: inference
|
|
31
|
+
rank: 2
|
|
32
|
+
pipeline:
|
|
33
|
+
- id: ingest.sources
|
|
34
|
+
version: 1.0.0
|
|
35
|
+
- id: trace.build-evidence-ledger
|
|
36
|
+
version: 1.0.0
|
|
37
|
+
- id: validation.contract
|
|
38
|
+
version: 1.0.0
|
|
39
|
+
output:
|
|
40
|
+
schema: canonical/schemas/constrained-exemplar-adaptation.output.schema.json
|
|
41
|
+
description: Constraint-compliant adaptation
|
|
42
|
+
requiredBehavior:
|
|
43
|
+
- 'activation: Use constrained-exemplar-adaptation only when the requested outcome requires this transformation:
|
|
44
|
+
Adapt an exemplar under explicit constraints.'
|
|
45
|
+
- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: All mandatory
|
|
46
|
+
constraints pass, preserved properties remain equivalent, and every deviation has an evidence-backed rationale.'
|
|
47
|
+
- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
|
|
48
|
+
both positions and return the affected output field as unresolved.'
|
|
49
|
+
- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
|
|
50
|
+
clarification rather than selecting an unsupported interpretation.'
|
|
51
|
+
- 'abstention: Abstain from constrained-exemplar-adaptation when required inputs are absent, the decision rule cannot
|
|
52
|
+
be applied, or evidence cannot satisfy the completion gate.'
|
|
53
|
+
- 'stop: Stop before emitting Constraint-compliant adaptation unless All mandatory constraints pass, preserved properties
|
|
54
|
+
remain equivalent, and every deviation has an evidence-backed rationale.'
|
|
55
|
+
- 'resources: Load the source exemplar, target constraint set, preservation checks, and target conventions only
|
|
56
|
+
when a mapped element depends on them.'
|
|
57
|
+
- 'transformation: Execute the ordered analytical procedure: 1) extract the exemplar properties relevant to the
|
|
58
|
+
target; 2) classify target constraints as mandatory, negotiable, or conflicting; 3) map exemplar elements to target-compatible
|
|
59
|
+
replacements; 4) validate preserved properties and document every intentional deviation.'
|
|
60
|
+
- 'output: Populate and validate canonical/schemas/constrained-exemplar-adaptation.output.schema.json with required
|
|
61
|
+
fields adaptedArtifact, constraintMapping, preservedProperties, deviations, validationResults; do not replace
|
|
62
|
+
missing fields with prose.'
|
|
63
|
+
- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
|
|
64
|
+
produced it; retain counterevidence for unresolved results.'
|
|
65
|
+
- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
|
|
66
|
+
was applied, and this completion gate holds: All mandatory constraints pass, preserved properties remain equivalent,
|
|
67
|
+
and every deviation has an evidence-backed rationale.'
|
|
68
|
+
forbiddenBehavior:
|
|
69
|
+
- Do not substitute generic analytical behavior for the role-specific constrained-exemplar-adaptation transformation.
|
|
70
|
+
- Do not skip, reorder, or silently collapse the role's declared analytical stages.
|
|
71
|
+
- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
|
|
72
|
+
stop or abstention condition.
|
|
73
|
+
- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
|
|
74
|
+
traceability:
|
|
75
|
+
materialClaimsRequireSources: true
|
|
76
|
+
ledgerFormat: jsonl
|
|
77
|
+
artifacts: content-addressed
|
|
78
|
+
evaluation:
|
|
79
|
+
criteria:
|
|
80
|
+
- The authoritative transformation and intended output for constrained-exemplar-adaptation are preserved.
|
|
81
|
+
- 'Required inputs and the decision rule are satisfied: Prefer the least-divergent adaptation that satisfies all
|
|
82
|
+
mandatory constraints; abstain when two mandatory constraints cannot be jointly satisfied.'
|
|
83
|
+
- 'The ordered analytical stages are evidenced and the output completion gate passes: All mandatory constraints
|
|
84
|
+
pass, preserved properties remain equivalent, and every deviation has an evidence-backed rationale.'
|
|
85
|
+
- Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.
|
|
@@ -0,0 +1,81 @@
|
|
|
1
|
+
schemaVersion: '1.0'
|
|
2
|
+
id: convention-mining
|
|
3
|
+
purpose: Infer recurring conventions from observed artifacts.
|
|
4
|
+
family:
|
|
5
|
+
id: exemplar-modeling
|
|
6
|
+
version: 1.0.0
|
|
7
|
+
taxonomy:
|
|
8
|
+
id: convention-mining
|
|
9
|
+
displayName: Convention Mining
|
|
10
|
+
transformation: Infer recurring conventions from observed artifacts.
|
|
11
|
+
intendedOutput: Convention registry
|
|
12
|
+
inputs:
|
|
13
|
+
- name: observed-artifacts
|
|
14
|
+
description: Observed artifacts that may encode recurring conventions.
|
|
15
|
+
required: true
|
|
16
|
+
- name: authority-sources
|
|
17
|
+
description: Explicit style guides or contracts that outrank observation.
|
|
18
|
+
required: false
|
|
19
|
+
- name: sampling-context
|
|
20
|
+
description: Repository, team, or domain boundaries for the sample.
|
|
21
|
+
required: true
|
|
22
|
+
precedence:
|
|
23
|
+
- sourceClass: explicit-contract
|
|
24
|
+
rank: 0
|
|
25
|
+
- sourceClass: observed-artifact
|
|
26
|
+
rank: 1
|
|
27
|
+
- sourceClass: inference
|
|
28
|
+
rank: 2
|
|
29
|
+
pipeline:
|
|
30
|
+
- id: ingest.sources
|
|
31
|
+
version: 1.0.0
|
|
32
|
+
- id: trace.build-evidence-ledger
|
|
33
|
+
version: 1.0.0
|
|
34
|
+
- id: validation.contract
|
|
35
|
+
version: 1.0.0
|
|
36
|
+
output:
|
|
37
|
+
schema: canonical/schemas/convention-mining.output.schema.json
|
|
38
|
+
description: Convention registry
|
|
39
|
+
requiredBehavior:
|
|
40
|
+
- 'activation: Use convention-mining only when the requested outcome requires this transformation: Infer recurring
|
|
41
|
+
conventions from observed artifacts.'
|
|
42
|
+
- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: Every convention
|
|
43
|
+
reports scope, support, counterexamples, authority status, and confidence sufficient for its classification.'
|
|
44
|
+
- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
|
|
45
|
+
both positions and return the affected output field as unresolved.'
|
|
46
|
+
- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
|
|
47
|
+
clarification rather than selecting an unsupported interpretation.'
|
|
48
|
+
- 'abstention: Abstain from convention-mining when required inputs are absent, the decision rule cannot be applied,
|
|
49
|
+
or evidence cannot satisfy the completion gate.'
|
|
50
|
+
- 'stop: Stop before emitting Convention registry unless Every convention reports scope, support, counterexamples,
|
|
51
|
+
authority status, and confidence sufficient for its classification.'
|
|
52
|
+
- 'resources: Load representative artifacts, explicit guides, and sampling metadata; expand the sample when confidence
|
|
53
|
+
is below the declared threshold.'
|
|
54
|
+
- 'transformation: Execute the ordered analytical procedure: 1) sample artifacts across the declared context; 2)
|
|
55
|
+
count recurring choices and cluster equivalent forms; 3) compare observed choices with explicit authority; 4)
|
|
56
|
+
classify conventions as mandated, dominant, contested, or local.'
|
|
57
|
+
- 'output: Populate and validate canonical/schemas/convention-mining.output.schema.json with required fields conventions,
|
|
58
|
+
classification, supportCounts, counterexamples, scope; do not replace missing fields with prose.'
|
|
59
|
+
- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
|
|
60
|
+
produced it; retain counterevidence for unresolved results.'
|
|
61
|
+
- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
|
|
62
|
+
was applied, and this completion gate holds: Every convention reports scope, support, counterexamples, authority
|
|
63
|
+
status, and confidence sufficient for its classification.'
|
|
64
|
+
forbiddenBehavior:
|
|
65
|
+
- Do not substitute generic analytical behavior for the role-specific convention-mining transformation.
|
|
66
|
+
- Do not skip, reorder, or silently collapse the role's declared analytical stages.
|
|
67
|
+
- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
|
|
68
|
+
stop or abstention condition.
|
|
69
|
+
- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
|
|
70
|
+
traceability:
|
|
71
|
+
materialClaimsRequireSources: true
|
|
72
|
+
ledgerFormat: jsonl
|
|
73
|
+
artifacts: content-addressed
|
|
74
|
+
evaluation:
|
|
75
|
+
criteria:
|
|
76
|
+
- The authoritative transformation and intended output for convention-mining are preserved.
|
|
77
|
+
- 'Required inputs and the decision rule are satisfied: Treat explicit authority as mandated; infer a convention
|
|
78
|
+
only when recurrence is broad enough for the declared sampling context and counterexamples are disclosed.'
|
|
79
|
+
- 'The ordered analytical stages are evidenced and the output completion gate passes: Every convention reports
|
|
80
|
+
scope, support, counterexamples, authority status, and confidence sufficient for its classification.'
|
|
81
|
+
- Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.
|
|
@@ -0,0 +1,83 @@
|
|
|
1
|
+
schemaVersion: '1.0'
|
|
2
|
+
id: conversation-to-specification
|
|
3
|
+
purpose: Convert conversational intent into an executable specification.
|
|
4
|
+
family:
|
|
5
|
+
id: workflow-intent-abstraction
|
|
6
|
+
version: 1.0.0
|
|
7
|
+
taxonomy:
|
|
8
|
+
id: conversation-to-specification
|
|
9
|
+
displayName: Conversation to Specification
|
|
10
|
+
transformation: Convert conversational intent into an executable specification.
|
|
11
|
+
intendedOutput: Traceable specification
|
|
12
|
+
inputs:
|
|
13
|
+
- name: conversation-record
|
|
14
|
+
description: The authoritative conversation or decision record.
|
|
15
|
+
required: true
|
|
16
|
+
- name: existing-constraints
|
|
17
|
+
description: Known system, policy, and delivery constraints.
|
|
18
|
+
required: false
|
|
19
|
+
- name: stakeholder-definitions
|
|
20
|
+
description: Stable names and responsibilities for referenced actors.
|
|
21
|
+
required: false
|
|
22
|
+
precedence:
|
|
23
|
+
- sourceClass: explicit-contract
|
|
24
|
+
rank: 0
|
|
25
|
+
- sourceClass: observed-artifact
|
|
26
|
+
rank: 1
|
|
27
|
+
- sourceClass: inference
|
|
28
|
+
rank: 2
|
|
29
|
+
pipeline:
|
|
30
|
+
- id: ingest.sources
|
|
31
|
+
version: 1.0.0
|
|
32
|
+
- id: trace.build-evidence-ledger
|
|
33
|
+
version: 1.0.0
|
|
34
|
+
- id: validation.contract
|
|
35
|
+
version: 1.0.0
|
|
36
|
+
output:
|
|
37
|
+
schema: canonical/schemas/conversation-to-specification.output.schema.json
|
|
38
|
+
description: Traceable specification
|
|
39
|
+
requiredBehavior:
|
|
40
|
+
- 'activation: Use conversation-to-specification only when the requested outcome requires this transformation: Convert
|
|
41
|
+
conversational intent into an executable specification.'
|
|
42
|
+
- 'sufficiency: Require all role inputs marked required and enough evidence to complete these gates: Every requirement
|
|
43
|
+
is testable and traced, contradictions are explicit, and unresolved intent is separated from committed specification.'
|
|
44
|
+
- 'conflict: Apply declared source precedence; when equally authoritative evidence changes the decision, preserve
|
|
45
|
+
both positions and return the affected output field as unresolved.'
|
|
46
|
+
- 'ambiguity: Isolate ambiguous terms or boundaries, show which stage and output fields they affect, and request
|
|
47
|
+
clarification rather than selecting an unsupported interpretation.'
|
|
48
|
+
- 'abstention: Abstain from conversation-to-specification when required inputs are absent, the decision rule cannot
|
|
49
|
+
be applied, or evidence cannot satisfy the completion gate.'
|
|
50
|
+
- 'stop: Stop before emitting Traceable specification unless Every requirement is testable and traced, contradictions
|
|
51
|
+
are explicit, and unresolved intent is separated from committed specification.'
|
|
52
|
+
- 'resources: Load the full conversation record, linked decisions, and existing constraints; retrieve referenced
|
|
53
|
+
artifacts only when needed to resolve a clause.'
|
|
54
|
+
- 'transformation: Execute the ordered analytical procedure: 1) extract explicit requests decisions assumptions
|
|
55
|
+
and unresolved questions; 2) normalize actors terms constraints and desired outcomes; 3) convert statements into
|
|
56
|
+
testable requirements and acceptance conditions; 4) trace each specification clause back to the conversation and
|
|
57
|
+
flag gaps.'
|
|
58
|
+
- 'output: Populate and validate canonical/schemas/conversation-to-specification.output.schema.json with required
|
|
59
|
+
fields requirements, acceptanceCriteria, assumptions, openQuestions, traceLinks; do not replace missing fields
|
|
60
|
+
with prose.'
|
|
61
|
+
- 'traceability: Link every material output field to source identifiers and the analytical stage or decision that
|
|
62
|
+
produced it; retain counterevidence for unresolved results.'
|
|
63
|
+
- 'evaluation: Pass only when the output schema validates, the ordered stages are evidenced, the role decision rule
|
|
64
|
+
was applied, and this completion gate holds: Every requirement is testable and traced, contradictions are explicit,
|
|
65
|
+
and unresolved intent is separated from committed specification.'
|
|
66
|
+
forbiddenBehavior:
|
|
67
|
+
- Do not substitute generic analytical behavior for the role-specific conversation-to-specification transformation.
|
|
68
|
+
- Do not skip, reorder, or silently collapse the role's declared analytical stages.
|
|
69
|
+
- Do not invent missing evidence, resolve authority conflicts by convenience, or emit a completed result after a
|
|
70
|
+
stop or abstention condition.
|
|
71
|
+
- Do not copy operation-owned ingestion, ledger, or schema-validation mechanics into the role contract.
|
|
72
|
+
traceability:
|
|
73
|
+
materialClaimsRequireSources: true
|
|
74
|
+
ledgerFormat: jsonl
|
|
75
|
+
artifacts: content-addressed
|
|
76
|
+
evaluation:
|
|
77
|
+
criteria:
|
|
78
|
+
- The authoritative transformation and intended output for conversation-to-specification are preserved.
|
|
79
|
+
- 'Required inputs and the decision rule are satisfied: Promote only explicit or strongly entailed intent into
|
|
80
|
+
requirements; represent unresolved or contradictory intent as open questions, never silent assumptions.'
|
|
81
|
+
- 'The ordered analytical stages are evidenced and the output completion gate passes: Every requirement is testable
|
|
82
|
+
and traced, contradictions are explicit, and unresolved intent is separated from committed specification.'
|
|
83
|
+
- Conflict, ambiguity, insufficient-evidence, abstention, and stop behavior remain explicit and testable.
|