@hellraisercenobit/ai-engineering-gate 0.8.0

package/skills/engineering/transpose-testing-patterns/references/record.example.json

@@ -0,0 +1,230 @@
+{
+  "dimension": "testing-patterns",
+  "schemaVersion": "2.0.0",
+  "catalogVersion": "1.0.0",
+  "contractVersions": [
+    "1.0.0",
+    "1.1.0"
+  ],
+  "adapter": {
+    "name": "vitest",
+    "version": "1.0.0"
+  },
+  "need": "Illustrative: orders of at least 100 cents ship free; otherwise shipping is 10 cents.",
+  "scope": [
+    "src/shipping.ts",
+    "test/shipping.test.ts",
+    "tsconfig.json"
+  ],
+  "base": "standalone illustrative fixture, not an observed execution",
+  "revision": {
+    "number": 1,
+    "previous": null,
+    "reason": "Initial illustrative choice before writes."
+  },
+  "cites": [
+    {
+      "path": "src/shipping.ts",
+      "checkedAt": "2026-09-16",
+      "claim": "The module has no shipping charge yet, so the behavior is new rather than characterized.",
+      "covers": [
+        "shipping"
+      ]
+    }
+  ],
+  "plans": [
+    {
+      "path": "test/shipping.test.ts",
+      "role": "test"
+    },
+    {
+      "path": "src/shipping.ts",
+      "role": "production"
+    },
+    {
+      "path": "shipping-events.jsonl",
+      "role": "journal"
+    }
+  ],
+  "profile": {
+    "language": "typescript",
+    "runner": "vitest 5.0.1",
+    "compiler": "typescript 7.0.2 tsc, target ES2022",
+    "declarations": "ES2024 and installed Node declarations",
+    "build": "Vitest/Vite ESM transform",
+    "configuration": [
+      "strict compiler project includes production and tests"
+    ],
+    "environments": [
+      "node"
+    ],
+    "runtimes": [
+      "Node 24"
+    ],
+    "evidence": [
+      {
+        "source": "Illustrative lockfile and version probes; replace with actual observations",
+        "checkedAt": "2026-09-16",
+        "claim": "Example profile only; no execution claimed",
+        "covers": [
+          "fixture"
+        ]
+      }
+    ]
+  },
+  "inventory": {
+    "behavior": {
+      "applicable": true,
+      "reason": "Boundary calculation.",
+      "sites": [
+        "shipping"
+      ]
+    },
+    "process": {
+      "applicable": true,
+      "reason": "New behavior using TDD.",
+      "sites": [
+        "shipping"
+      ]
+    },
+    "doubles": {
+      "applicable": false,
+      "reason": "Pure function has no collaborators.",
+      "sites": []
+    },
+    "data": {
+      "applicable": true,
+      "reason": "Inline amounts are sufficient.",
+      "sites": [
+        "shipping"
+      ]
+    },
+    "isolation": {
+      "applicable": false,
+      "reason": "No collaborating boundary.",
+      "sites": []
+    },
+    "testability": {
+      "applicable": false,
+      "reason": "Existing public function is sufficient.",
+      "sites": []
+    },
+    "types": {
+      "applicable": true,
+      "reason": "Compile consumer and implementation.",
+      "sites": [
+        "shipping"
+      ]
+    },
+    "async-lifetime": {
+      "applicable": false,
+      "reason": "Synchronous calculation owns no resource.",
+      "sites": []
+    },
+    "environment": {
+      "applicable": true,
+      "reason": "Node suffices for pure behavior.",
+      "sites": [
+        "shipping"
+      ]
+    },
+    "oracle": {
+      "applicable": true,
+      "reason": "Literal outputs from shipping requirement.",
+      "sites": [
+        "shipping"
+      ]
+    },
+    "execution": {
+      "applicable": true,
+      "reason": "Map boundary cases to executed tests.",
+      "sites": [
+        "shipping"
+      ]
+    }
+  },
+  "sites": [
+    {
+      "site": "shipping",
+      "behavior": "Shipping charge at, below and above free-shipping threshold.",
+      "risk": "Off-by-one threshold accepts the wrong charge.",
+      "ruleIds": [
+        "TP-01",
+        "TP-07",
+        "TP-12",
+        "TP-15",
+        "TP-16"
+      ],
+      "alternatives": [
+        {
+          "kind": "current",
+          "description": "No tests or behavior yet.",
+          "assessment": "Does not protect requested threshold."
+        },
+        {
+          "kind": "alternative",
+          "description": "Direct literal examples.",
+          "assessment": "Small and discriminating."
+        },
+        {
+          "kind": "alternative",
+          "description": "Generated properties and data builder.",
+          "assessment": "Extra setup gives little value for this boundary."
+        }
+      ],
+      "form": "input-output examples",
+      "level": "unit",
+      "seam": "shipping(amount: number): number",
+      "oracle": {
+        "kind": "specification",
+        "independence": "independent",
+        "statement": "The requested rule states 10 cents below 100 and zero at or above it, so 99 costs 10 and 100 and 101 cost zero.",
+        "source": "The requester's wording, quoted in the declaration."
+      },
+      "doubles": "none",
+      "data": "inline literals",
+      "isolation": "pure function, no boundary to isolate",
+      "decision": {
+        "choice": "none",
+        "patterns": [],
+        "action": "apply",
+        "reason": "Direct tests express the complete small contract.",
+        "tradeoffs": [
+          "Examples do not exhaust numeric inputs."
+        ],
+        "limits": [
+          "Input validation is outside this request."
+        ],
+        "reconsiderWhen": "Shipping rules acquire history or external effects."
+      },
+      "invariants": [
+        "99 costs 10; 100 and 101 cost zero."
+      ],
+      "mode": "tdd",
+      "checks": [
+        {
+          "kind": "runtime",
+          "command": "vitest run test/shipping.test.ts",
+          "guarantee": "Three named boundary examples execute without skips or retries."
+        },
+        {
+          "kind": "static",
+          "command": "tsc --noEmit -p tsconfig.json",
+          "guarantee": "Production and test source compile."
+        }
+      ],
+      "artifacts": [
+        "src/shipping.ts",
+        "test/shipping.test.ts"
+      ],
+      "evidence": [
+        "external/shipping-events.jsonl",
+        "external/snapshots/"
+      ],
+      "plausibleDefect": {
+        "description": "The threshold uses a strict comparison, so exactly 100 cents is still charged.",
+        "discrimination": "The 100-cent example fails on that implementation and passes on the specified one; the 99 and 101 examples pass on both."
+      }
+    }
+  ]
+}

package/skills/engineering/transpose-testing-patterns/references/record.md

@@ -0,0 +1,25 @@
+# Decision record 1.0.0
+
+Use [the closed JSON Schema 2020-12](decision-record.schema.json) and
+[illustrative example](record.example.json). Replace its facts; it claims no actual run.
+Validate with a 2020-12 validator before the first affected test/helper/config/production
+write. Rule IDs and specialized pattern IDs must be catalog members. Inventory site
+references must resolve to unique entries in `sites`; check this cross-reference alongside
+schema validation. Structural validity is not semantic approval or chronology proof.
+
+Keep decisions outside the repository with scope/base, detected profile and dated source
+evidence. Each revision links its predecessor; do not rewrite one to reflect later facts.
+List each axis even when excluded, with a reason. Alternatives include current state,
+including absence of existing tests. A `none` decision has no specialized pattern IDs;
+it can still create direct tests. `retain` is separate and can retain a named pattern.
+
+Per site distinguish behavior/risk, form/level, seam/oracle, doubles/data/isolation,
+observable invariants, mode, checks and planned artifacts/evidence. Group coherent choices
+without losing individual scenario identity. Artifact/evidence paths can name planned
+outputs; they are not claims those outputs exist yet.
+
+Append subsequent observations to the [TDD journal](tdd.md), not the initial record.
+Preserve actual tool output and inspectable states. Store composition scope/hash/report
+metadata in a separate execution index, never extra fields in another dimension's schema.
+For catalog-only analysis on an unsupported runner, report the limitation; do not forge
+a Vitest profile to satisfy this qualified-transposition schema.

package/skills/engineering/transpose-testing-patterns/references/review-envelope.schema.json

@@ -0,0 +1,378 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/hellraisercenobit/skills/blob/main/contracts/schemas/review-envelope.schema.json",
+  "title": "Review envelope 1.0.0",
+  "description": "Emitted by a review beside its prose report and piped to `attest` for `SOUND` or to `report` for `SMELLS` and `VIOLATIONS`. It carries no fingerprint: the gate alone adds the state a verdict binds to.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "document",
+    "documentVersion",
+    "dimension",
+    "contractVersion",
+    "verdict",
+    "records",
+    "checks",
+    "reviewer",
+    "findings",
+    "challengedSurvived"
+  ],
+  "properties": {
+    "document": {
+      "const": "review-envelope"
+    },
+    "documentVersion": {
+      "const": "1.0.0"
+    },
+    "dimension": {
+      "type": "string",
+      "minLength": 1
+    },
+    "contractVersion": {
+      "description": "The contract version this review ran under.",
+      "type": "string",
+      "pattern": "^\\d+\\.\\d+\\.\\d+$"
+    },
+    "verdict": {
+      "enum": [
+        "SOUND",
+        "SMELLS",
+        "VIOLATIONS"
+      ]
+    },
+    "records": {
+      "description": "The record identifiers or paths the review examined.",
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "checks": {
+      "description": "The deterministic checks the reviewer saw executed. Enforcement validates their presence, never their result.",
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": [
+          "command",
+          "outcome",
+          "guarantee"
+        ],
+        "properties": {
+          "command": {
+            "type": "string",
+            "minLength": 1
+          },
+          "outcome": {
+            "type": "string",
+            "minLength": 1
+          },
+          "guarantee": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      }
+    },
+    "reviewer": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "independence",
+        "identity"
+      ],
+      "properties": {
+        "independence": {
+          "description": "The reviewer's own claim about its brief: a fresh context with no builder history or rationale, or the exposure it must state.",
+          "type": "string",
+          "minLength": 1
+        },
+        "identity": {
+          "description": "The reviewer's declared identity. Enforcement compares it with the identity the harness reported and never takes it as proof.",
+          "type": "string",
+          "minLength": 1
+        },
+        "agentType": {
+          "type": "string",
+          "minLength": 1
+        }
+      }
+    },
+    "findings": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/finding"
+      }
+    },
+    "challengedSurvived": {
+      "description": "Candidates whose strongest defense held, and the defense.",
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "gaps": {
+      "description": "Catalog gaps, reported without severity or verdict impact.",
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    }
+  },
+  "$defs": {
+    "finding": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "kind",
+        "severity",
+        "location",
+        "rule",
+        "expected",
+        "recorded",
+        "actual",
+        "impact",
+        "defense",
+        "refutation"
+      ],
+      "properties": {
+        "id": {
+          "type": "string",
+          "minLength": 1
+        },
+        "kind": {
+          "description": "`evidence` when an artifact is not on file, `judgment` when a decision is wrong against the catalog.",
+          "enum": [
+            "evidence",
+            "judgment"
+          ]
+        },
+        "severity": {
+          "description": "The contract's severity clause owns these tiers.",
+          "enum": [
+            "Blocker",
+            "Major",
+            "Minor"
+          ]
+        },
+        "location": {
+          "type": "string",
+          "minLength": 1
+        },
+        "rule": {
+          "type": "string",
+          "minLength": 1
+        },
+        "expected": {
+          "type": "string",
+          "minLength": 1
+        },
+        "recorded": {
+          "type": "string",
+          "minLength": 1
+        },
+        "actual": {
+          "type": "string",
+          "minLength": 1
+        },
+        "impact": {
+          "type": "string",
+          "minLength": 1
+        },
+        "defense": {
+          "type": "string",
+          "minLength": 1
+        },
+        "refutation": {
+          "type": "string",
+          "minLength": 1
+        },
+        "correction": {
+          "description": "The proposed correction C08 requires. Required for a judgment finding.",
+          "type": "string",
+          "minLength": 1
+        },
+        "remedy": {
+          "description": "Required for an evidence finding: an action the builder can execute.",
+          "$ref": "#/$defs/remedy"
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": {
+              "kind": {
+                "const": "evidence"
+              }
+            },
+            "required": [
+              "kind"
+            ]
+          },
+          "then": {
+            "required": [
+              "remedy"
+            ],
+            "properties": {
+              "remedy": {
+                "$ref": "#/$defs/remedy"
+              }
+            }
+          },
+          "else": {
+            "required": [
+              "correction"
+            ],
+            "properties": {
+              "correction": {
+                "description": "The proposed correction C08 requires. Required for a judgment finding.",
+                "type": "string",
+                "minLength": 1
+              }
+            }
+          }
+        }
+      ]
+    },
+    "remedy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind"
+      ],
+      "properties": {
+        "kind": {
+          "enum": [
+            "produce",
+            "rerun",
+            "replay",
+            "dispute"
+          ]
+        },
+        "artifact": {
+          "type": "string",
+          "minLength": 1
+        },
+        "command": {
+          "type": "string",
+          "minLength": 1
+        },
+        "scenario": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": {
+              "kind": {
+                "const": "produce"
+              }
+            },
+            "required": [
+              "kind"
+            ]
+          },
+          "then": {
+            "required": [
+              "artifact"
+            ],
+            "properties": {
+              "artifact": {
+                "type": "string",
+                "minLength": 1
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": {
+              "kind": {
+                "const": "rerun"
+              }
+            },
+            "required": [
+              "kind"
+            ]
+          },
+          "then": {
+            "required": [
+              "command"
+            ],
+            "properties": {
+              "command": {
+                "type": "string",
+                "minLength": 1
+              }
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": {
+              "kind": {
+                "const": "replay"
+              }
+            },
+            "required": [
+              "kind"
+            ]
+          },
+          "then": {
+            "required": [
+              "scenario",
+              "command"
+            ],
+            "properties": {
+              "scenario": {
+                "type": "string",
+                "minLength": 1
+              },
+              "command": {
+                "type": "string",
+                "minLength": 1
+              }
+            }
+          }
+        }
+      ]
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "verdict": {
+            "const": "SOUND"
+          }
+        },
+        "required": [
+          "verdict"
+        ]
+      },
+      "then": {
+        "properties": {
+          "findings": {
+            "type": "array",
+            "maxItems": 0
+          }
+        }
+      },
+      "else": {
+        "properties": {
+          "findings": {
+            "type": "array",
+            "minItems": 1
+          }
+        }
+      }
+    }
+  ]
+}