Audit Family

Arguments

Family name from tileops/manifest/ (e.g., reduction, norm, attention).

Contract

• Input: family name
• Output: .foundry/migrations/<family>.json
• Termination: all ops classified. ready ops verified via --check-op.

Workflow

stateDiagram-v2
    [*] --> LOAD_MANIFEST
    LOAD_MANIFEST --> FILTER: manifest loaded
    FILTER --> SELECT_OP: spec-only ops filtered by family
    SELECT_OP --> READ_CODE: op selected
    READ_CODE --> COMPARE_SIGNATURE: code inspected
    COMPARE_SIGNATURE --> CHECK_OP_VALIDATE: no signature difference
    COMPARE_SIGNATURE --> CHECK_PYTORCH_REF: difference found
    CHECK_OP_VALIDATE --> mark_ready: --check-op passes all levels
    CHECK_OP_VALIDATE --> CHECK_PYTORCH_REF: --check-op fails (deeper gap)
    CHECK_PYTORCH_REF --> mark_semantic_gap: pytorch_equivalent exists
    CHECK_PYTORCH_REF --> mark_blocked: no PyTorch reference
    mark_ready --> SELECT_OP: next op
    mark_semantic_gap --> SELECT_OP: next op
    mark_blocked --> SELECT_OP: next op
    SELECT_OP --> WRITE_REPORT: all ops classified
    WRITE_REPORT --> [*]

Key gate: pytorch_equivalent determines autonomous vs human-required migration. --check-op confirms ready classification.

Classification

Gap Report Format

Location: .foundry/migrations/<family>.json

Top-level:

{
  "family": "reduction",
  "audited_at": "2026-04-03T...",
  "total": 21,
  "summary": {"ready": 0, "semantic_gap": 21, "blocked": 0},
  "ops": { "<op_name>": { ... } }
}

Per-op entry. Example — field set is not exhaustive. Add fields that aid the next step, omit those that don't.

{
  "status": "spec-only",
  "source_op": "tileops/ops/reduction/softmax.py",
  "base_class": "_SoftmaxBaseOp",
  "classification": "semantic_gap",
  "missing_params": ["dim"],
  "manifest_signature": {
    "inputs": {"x": {"dtype": "float16 | bfloat16"}},
    "outputs": {"y": {"dtype": "same_as(x)"}},
    "params": {"dim": {"type": "int", "default": -1}},
    "shape_rules": ["y.shape == x.shape"]
  },
  "manifest_param_order": ["x", "dim"],
  "pytorch_equivalent": "torch.nn.functional.softmax",
  "notes": "dim hardcoded to -1"
}

Required fields: classification, source_op, base_class, manifest_signature. base_class is the immediate parent class name (e.g., _SoftmaxBaseOp); if the op inherits Op directly, use "Op". The orchestrator uses base_class for GROUP_BY_BASE grouping. Gap report is a starting point — agent reads live code and manifest during downstream skills.

pytorch_equivalent: corresponding PyTorch function, or null. Not every op has one.

Steps

1. Load the merged manifest via from tileops.manifest import load_manifest, or read tileops/manifest/<family>.yaml directly when scoping to one family.
2. Filter ops where family == <arg> and status == spec-only
3. For each op: a. Read source file (source_op), find Op class, extract __init__ and forward explicit named params b. Compare against manifest_signature (inputs, params) c. If no difference → run python scripts/validate_manifest.py --check-op <name> to confirm → ready or deeper gap d. If difference → determine pytorch_equivalent:
   • Strip _fwd suffix, match against torch.nn.functional, torch, torch.special, torch.linalg → semantic_gap
   • _bwd ops → always blocked (PyTorch backward is autograd-internal, no public reference function for autonomous testing)
   • No match → blocked
4. Write gap report to .foundry/migrations/<family>.json
5. Print summary table