Add Manifest

Arguments

Contract

One entry per invocation. No splitting, no variant orchestration. For primary + variant, caller invokes the skill twice with different op_names.

Idempotent. Auto-derivable fields are rewritten from the reference; human-curated fields are preserved if the entry exists, defaulted otherwise.

Termination: draft PR created → success. Invalid URL / un-derivable roofline / source-path or family resolution failure → BLOCKED.

Constraints: never edit op / kernel / test / bench code. Never invent params outside the reference. Never set status: implemented (that is align-op@FLIP_STATUS).

File to edit: write the entry into tileops/manifest/<family>.yaml, where <family> is the entry's family field. The manifest is split one file per family; do not create new files or move entries between files. Use ruamel.yaml for round-trip preservation of comments and key order.

Caller responsibility: op_name and ref_url must point at the same op. The skill does not enforce alignment between them — TileOPs identity may legitimately differ from any reference's naming (e.g., MultiHeadAttentionFwdOp ↔ torch.nn.functional.scaled_dot_product_attention). Wrong pairing produces a broken manifest entry silently.

Workflow

stateDiagram-v2
    [*] --> VALIDATE_INPUT
    VALIDATE_INPUT --> [*]: invalid
    VALIDATE_INPUT --> READ_EXISTING
    READ_EXISTING --> READ_REFERENCE: snapshot saved (entry present)
    READ_EXISTING --> RESOLVE_SOURCES: entry absent
    RESOLVE_SOURCES --> READ_REFERENCE
    RESOLVE_SOURCES --> [*]: source / family resolution failed → BLOCKED
    READ_REFERENCE --> DRAFT_ENTRY
    DRAFT_ENTRY --> VALIDATE
    VALIDATE --> DRAFT_ENTRY: L0 fail
    VALIDATE --> RUN_AUDIT: L0 pass
    RUN_AUDIT --> CREATE_ISSUE
    CREATE_ISSUE --> CREATE_PR
    CREATE_PR --> [*]

Steps

1. VALIDATE_INPUT

Reject ref_url not matching the regex. Reject op_name not matching ^[A-Z][A-Za-z0-9]+(Fwd|Bwd)Op$.

2. READ_EXISTING

Look up op_name in tileops/manifest/.

• Present → snapshot the human-curated fields per the Contract table. Source paths come from the existing source.*. Proceed to READ_REFERENCE.
• Absent → greenfield. Proceed to RESOLVE_SOURCES.

3. RESOLVE_SOURCES (greenfield only)

Lookup is class-based, not filename-based — many TileOPs ops share a file (e.g., SumFwdOp and MeanFwdOp both in tileops/ops/reduction/reduce.py).

1. source.op: scan tileops/ops/**/*.py for class <op_name>(...) (AST or grep -rlE "^class <op_name>\(" tileops/ops/).
   • Exactly one match → that file path.
   • Zero matches → true greenfield. Default to tileops/ops/<snake_name>.py (use a family subdirectory if a sibling-family entry suggests one). <snake_name> = op_name minus trailing FwdOp / BwdOp, snake_cased (RMSNormFwdOp → rms_norm). File may not exist yet; caller scaffolds afterward.
   • Multiple → BLOCKED disambiguation.
2. source.kernel (required by L0; fix-manifest cannot fill it later):
   • If source.op was found by class lookup: read its imports for a Kernel subclass; apply class-lookup under tileops/kernels/**/*.py. One match → that file. Multiple → BLOCKED disambiguation.
   • No kernel import (kernel-less op) → source.kernel = source.op.
   • Otherwise → BLOCKED evidence_needed: source.kernel for <op_name>.
3. source.test = tests/ops/test_<snake_name>.py; source.bench = benchmarks/ops/bench_<snake_name>.py. Missing files: record absent.
4. family (required by L0; cannot be empty):
   • Copy from a sibling manifest entry whose source.op parent-dir or basename overlaps.
   • No matching sibling → BLOCKED evidence_needed: family for <op_name>. Never invent.

4. READ_REFERENCE

WebFetch(ref_url). Sole source of truth.

Names match the reference verbatim. Include every reference param even if the kernel ignores it. Exclude float64 and complex32/64/128 (TileOPs is GPU-only).

For references with Optional[Tensor] inputs, the caller has decided which slice corresponds to op_name (primary = required only; variant = primary + chosen optional). The skill emits inputs accordingly.

5. DRAFT_ENTRY

Snapshot present (re-align) → preserve human-curated fields verbatim. Snapshot absent (greenfield) → use Contract defaults. Auto-derivable fields:

• signature.inputs: ordered dict in the reference's positional order. Per input: dtype = supported set joined with | (reference dtypes minus float64 and complex types); shape only if fixed rank; layout only if non-default; constraints if applicable.
• signature.outputs: same shape as inputs. Use same_as(<ref>) where applicable.
• signature.params: ordered dict, each {type, default}.
• signature.shape_rules: Python expressions for derived dims and inter-tensor constraints.
• signature.dtype_combos: only if supported set ⊂ Cartesian product; else omit.
• roofline: required by L0. Well-known op (conv / pool / matmul / norm / reduction): standard formula. Fixed-rank: shape names auto-bind, use elem_bytes. Arbitrary-rank: vars mapping. Not derivable → BLOCKED evidence_needed: roofline.flops|bytes for <op_name>.

6. VALIDATE

python scripts/validate_manifest.py --check-op <op_name>

L0 must pass. On fail: edit entry, rerun. L1–L4 failures go to the follow-up issue, not blocking.

7. RUN_AUDIT

Invoke audit-family for the op's family → .foundry/migrations/<family>.json.

8. CREATE_ISSUE

Invoke foundry:creating-issue. Per semantic_gap op the body MUST contain: kernel feasibility (cite kernel code; classify each missing param trivial / kernel-change / blocked); class-structure impact; effort per gap item; family dependencies. MUST also list outstanding human decisions (workloads, roofline) and resolution path. MUST NOT duplicate validator-reported facts. Record the issue URL.

9. CREATE_PR

Invoke foundry:creating-pull-request (draft):

Body: which fields were rewritten vs. preserved, validator results, Related: #<issue from step 8>. Title and branch must match .claude/conventions/types.sh.