@hellraisercenobit/ai-engineering-gate 0.8.0

package/skills/engineering/transpose-modern-typescript/references/record.example.json

@@ -0,0 +1,172 @@
+{
+  "dimension": "modern-typescript",
+  "schemaVersion": "2.0.0",
+  "catalogVersion": "1.1.0",
+  "contractVersions": [
+    "1.0.0",
+    "1.1.0"
+  ],
+  "need": "Group already validated rows by their string category without changing order.",
+  "scope": [
+    "src/group.ts"
+  ],
+  "base": "origin/main",
+  "revision": {
+    "number": 1,
+    "previous": null,
+    "reason": "Illustrative initial decision; replace all facts for a real execution."
+  },
+  "cites": [
+    {
+      "path": "src/group.ts",
+      "checkedAt": "2026-09-16",
+      "claim": "The manual grouping loop this record replaces, read before deciding.",
+      "covers": [
+        "src/group.ts:groupRows"
+      ]
+    }
+  ],
+  "plans": [
+    {
+      "path": "src/group.ts",
+      "role": "implementation"
+    }
+  ],
+  "inventory": {
+    "idioms": {
+      "applicable": true,
+      "reason": "Grouping a typed finite collection in a runtime module.",
+      "sites": [
+        "src/group.ts:groupRows"
+      ]
+    },
+    "data-access": {
+      "applicable": true,
+      "reason": "Grouping a typed finite collection in a runtime module.",
+      "sites": [
+        "src/group.ts:groupRows"
+      ]
+    },
+    "consumption": {
+      "applicable": false,
+      "reason": "No related operation in this scoped pure function.",
+      "sites": []
+    },
+    "lifetime": {
+      "applicable": false,
+      "reason": "No related operation in this scoped pure function.",
+      "sites": []
+    },
+    "async": {
+      "applicable": false,
+      "reason": "No related operation in this scoped pure function.",
+      "sites": []
+    },
+    "platform": {
+      "applicable": false,
+      "reason": "No related operation in this scoped pure function.",
+      "sites": []
+    },
+    "types": {
+      "applicable": true,
+      "reason": "Grouping a typed finite collection in a runtime module.",
+      "sites": [
+        "src/group.ts:groupRows"
+      ]
+    },
+    "modules": {
+      "applicable": true,
+      "reason": "Grouping a typed finite collection in a runtime module.",
+      "sites": [
+        "src/group.ts:groupRows"
+      ]
+    }
+  },
+  "profile": {
+    "language": "typescript",
+    "compiler": "Illustrative fixture compiler; read the real lockfile.",
+    "declarations": "ES2024",
+    "build": "ESM emitted without API polyfills",
+    "targets": [
+      "Node 24"
+    ],
+    "evidence": [
+      {
+        "source": "Runtime probe: typeof Object.groupBy",
+        "checkedAt": "2026-09-16",
+        "claim": "function in the explicitly tested Node 24 fixture runtime",
+        "covers": [
+          "Node 24"
+        ]
+      }
+    ]
+  },
+  "sites": [
+    {
+      "site": "src/group.ts:groupRows",
+      "ruleIds": [
+        "MT-05",
+        "MT-19",
+        "MT-23",
+        "MT-24"
+      ],
+      "alternatives": [
+        {
+          "kind": "current",
+          "description": "Manual null-prototype string grouping loop",
+          "assessment": "Correct but repeats native semantics without extra contract."
+        },
+        {
+          "kind": "native",
+          "description": "Object.groupBy",
+          "assessment": "Same key conversion and group order on the declared target."
+        }
+      ],
+      "decision": {
+        "choice": "idioms",
+        "idioms": [
+          "MT-05"
+        ],
+        "mechanism": "native",
+        "action": "apply",
+        "reason": "The native expresses the existing grouping contract.",
+        "tradeoffs": [
+          "Result remains a null-prototype object; callers must not assume inherited methods."
+        ],
+        "reconsiderWhen": "A required runtime lacks the API or keys need object identity."
+      },
+      "benefits": [
+        {
+          "kind": "maintenance",
+          "claim": "Remove one duplicate grouping loop.",
+          "evidence": "The helper adds no validation, normalization or domain rule."
+        }
+      ],
+      "artifacts": [
+        {
+          "file": "src/group.ts",
+          "symbol": "groupRows"
+        }
+      ],
+      "invariants": [
+        "Preserve row identity and order within each category.",
+        "Empty input produces no groups; __proto__ remains a data key.",
+        "The returned record keeps the literal key type the helper exposed (MT-24)."
+      ],
+      "semanticDelta": {
+        "expected": "none",
+        "preserved": [
+          "ordering",
+          "duplicate-behavior",
+          "key-semantics"
+        ]
+      },
+      "consumption": {
+        "applicable": true,
+        "reason": "The function walks the whole input once and returns every group.",
+        "mode": "eager",
+        "cardinality": "bounded"
+      }
+    }
+  ]
+}

package/skills/engineering/transpose-modern-typescript/references/record.md

@@ -0,0 +1,37 @@
+# Decision records
+
+Schema/catalog/contract version: 1.0.0. [Example](record.example.json) is illustrative, not
+evidence for a real project. Use a JSON Schema 2020-12 validator such as Ajv 2020 or
+python-jsonschema; validation is not semantic approval.
+
+Write outside the repository before the first affected implementation write. Keep original
+revisions, with previous path and the reason for revision. Date/source claims must come
+from actual evidence. Record every inventory axis; applicable axes identify sites, excluded
+axes explain why they are irrelevant. A coherent site group can share a decision.
+
+Every site carries rule IDs, alternatives (including current), choice, mechanism, action,
+reason/trade-offs/reconsider trigger, benefits with evidence, artifacts and invariants.
+Use rule IDs as idiom IDs, naming the actual operation in the reason/artifact. An explicit
+none has an empty idiom list and a substantive reason/reconsider trigger. It may apply
+straightforward new code or retain an existing helper. Retaining a suitable native choice
+can use choice idioms plus action retain. Non-applicable dimensions have no sites and are
+reported separately, not by manufacturing an empty valid record.
+
+Benefits distinguish readability/maintenance/safety, algorithmic work, allocations and
+measured timing. A measurement needs its workload, command and result; a structural benefit
+does not become a timing claim. Record evaluation effects, data identity, error behavior,
+resource lifetime and other observable semantic differences.
+
+The schema verifies structure and known IDs. The builder/reviewer still verify meaningful
+alternatives, honest exclusions, actual dates/targets, consistency of rules with choices
+and implementation, and that decisions preceded code. A JSON file cannot prove chronology.
+
+Portable example validation, with a suitable installed validator:
+
+```sh
+python -m jsonschema -i /absolute/path/decision.json /installed/transpose-modern-typescript/references/decision-record.schema.json
+```
+
+Follow the shared contract for records, briefs, report capture and state expiry. If a gate
+exists, inspect its actual interface and dimension support before use. Required unsupported
+attestation remains incomplete; no command is invented by this pair.

package/skills/engineering/transpose-modern-typescript/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
+          }
+        }
+      }
+    }
+  ]
+}