Publish Layerfault deep challenge LF-CH-FMTX-0013

CHALLENGE_ORACLE.json

@@ -0,0 +1,29 @@
+{
+  "attack_surface": [
+    "model-format-structure"
+  ],
+  "control_type": "positive",
+  "corpus_id": "LF-CH-FMTX-0013",
+  "difficulty": "hard",
+  "expected_decision": "BLOCK",
+  "ground_truth": "synthetic-generated",
+  "layerfault_rule_expectations": {
+    "candidate_rules": [],
+    "expected_rules": [
+      "LF-TFLITE-ASSOCIATED-FILE"
+    ],
+    "must_not_rules": []
+  },
+  "oracle_ids": [
+    "LF-ORACLE-FMTX-0013"
+  ],
+  "related_cases": [],
+  "repo_name": "format-tflite-associated-zip",
+  "safe_fixture": true,
+  "schema": 2,
+  "severity": "medium",
+  "techniques": [
+    "tflite"
+  ],
+  "transformations": []
+}

FIXTURE_LAYOUT.json

@@ -0,0 +1,8 @@
+{
+  "artifacts": [
+    "model.tflite"
+  ],
+  "family": "format",
+  "note": "All content is synthetic and inert. Do not treat this as a production model.",
+  "repo_name": "format-tflite-associated-zip"
+}

LAYERFAULT_CORPUS.json

@@ -0,0 +1,37 @@
+{
+  "candidate_rules": [],
+  "challenge": {
+    "attack_surface": [
+      "model-format-structure"
+    ],
+    "control_type": "positive",
+    "difficulty": "hard",
+    "expected_decision": "BLOCK",
+    "oracle_ids": [
+      "LF-ORACLE-FMTX-0013"
+    ],
+    "related_cases": [],
+    "severity": "medium",
+    "techniques": [
+      "tflite"
+    ],
+    "transformations": []
+  },
+  "corpus_id": "LF-CH-FMTX-0013",
+  "description": "Format tflite associated zip.",
+  "expected_rules": [
+    "LF-TFLITE-ASSOCIATED-FILE"
+  ],
+  "generator": "challenges.generate_challenge",
+  "ground_truth": "synthetic-generated",
+  "must_not_rules": [],
+  "repo_name": "format-tflite-associated-zip",
+  "repo_type": "model",
+  "safe_fixture": true,
+  "safety": "inert/canary-only",
+  "schema": 1,
+  "validation": {
+    "kind": "inspect",
+    "target": "model.tflite"
+  }
+}

README.md

@@ -0,0 +1,73 @@
+---
+license: apache-2.0
+tags:
+- layerfault
+- security-research
+- model-security
+- synthetic
+- adversarial-testing
+extra_gated_prompt: >-
+  This repository is a synthetic security-test artifact from the Layerfault
+  corpus. It intentionally contains adversarial characteristics (e.g.
+  suspicious pickle opcodes, executable-format smuggling, prompt-injection
+  strings) designed to exercise security scanner detection rules. It is
+  **not** a usable ML model and must never be loaded or executed outside an
+  isolated scanner-testing environment. By accepting, you confirm you
+  understand this repository is a test fixture, not production model
+  weights.
+extra_gated_button_content: I understand this is a security test fixture and accept the risk
+gated: auto
+---
+
+# format-tflite-associated-zip
+
+> **SECURITY TEST ARTIFACT: DO NOT USE AS A PRODUCTION MODEL**
+
+This repository is part of the Layerfault synthetic security corpus.
+It is deliberately constructed to contain security-relevant characteristics for scanner testing.
+
+**Corpus ID:** `LF-CH-FMTX-0013`
+
+## Purpose
+
+Format tflite associated zip.
+
+## Direct expected Layerfault rules
+
+- `LF-TFLITE-ASSOCIATED-FILE`
+
+## Candidate rules
+
+These are deliberately plausible targets that remain marked as candidates until the exact
+Layerfault build used for certification confirms them.
+
+- None
+
+## Negative-control rules
+
+These should remain silent for this corpus item.
+
+- None
+
+## Safety
+
+The corpus uses fake secrets, loopback/`.invalid` network destinations, harmless marker output,
+and synthetic model behavior only. It is intended for static scanning and isolated security testing.
+
+## Challenge classification
+
+- Severity: **medium**
+- Difficulty: **hard**
+- Expected admission decision: **BLOCK**
+- Control type: **positive**
+- Attack surface: model-format-structure
+- Techniques: tflite
+- Transformations: none
+
+### Ground-truth oracle IDs
+
+- `LF-ORACLE-FMTX-0013`
+
+These oracle IDs describe synthetic ground truth. They do not claim that a
+matching Layerfault detector already exists. A challenge may intentionally expose
+a scanner blind spot and remain unmapped until the detector is implemented.

SHA256SUMS.json

@@ -0,0 +1,27 @@
+[
+  {
+    "path": "CHALLENGE_ORACLE.json",
+    "sha256": "8fdcf9838e85b176b0de1d2cf88e24d97e2af47429f137d1bc8c9b81f88baf33",
+    "size": 621
+  },
+  {
+    "path": "FIXTURE_LAYOUT.json",
+    "sha256": "83664ffcdff8f3fb9ff6c53c797bf52f9c1155e4ebe22cacefe753fed170b2e9",
+    "size": 203
+  },
+  {
+    "path": "LAYERFAULT_CORPUS.json",
+    "sha256": "5d979963704c8d892763cf0211ef8f9c010e31911853bc45a7272653b21c8bfe",
+    "size": 852
+  },
+  {
+    "path": "README.md",
+    "sha256": "f7531e93e46662ed4df9099d57de7bdb6ae8bde15f59a7d76b87081709be3066",
+    "size": 2161
+  },
+  {
+    "path": "model.tflite",
+    "sha256": "b3a82a258541f17d059bc1cb855b9b8a9164870d3394bed9cac3ab2ec093be33",
+    "size": 174
+  }
+]

model.tflite

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b3a82a258541f17d059bc1cb855b9b8a9164870d3394bed9cac3ab2ec093be33
+size 174