Imported from adamdroberts/TypeScriptCTranspiler (
AGENTS.md). Install upstream withnpx skills add adamdroberts/TypeScriptCTranspiler. Copyright stays with the author.
Project agent memory
Critical cardinality rule
CRITICAL — prove cardinality independently instead of enumerating fixture families and narrating their counts.
- General language support must follow from one canonical collection, tree, graph, or worklist representation and one cardinality-independent lowering algorithm.
- Do not turn successive await, yield, argument, branch, nesting-depth, API-option, or fixture-family counts into tasks or completion evidence.
- Verify semantic partitions with compact generated/property tests and one representative high-depth stress input. Existing fixture inventories are regression detectors only; their aggregate pass counts are not a proof of generality and should not drive progress narration.
- Delete fixed-shape predecessors when the general path replaces them. If the canonical path cannot represent a case, fail closed with one stable diagnostic and repair the shared representation.