Publish Layerfault deep challenge LF-CH-FMTX-0012

CHALLENGE_ORACLE.json

@@ -0,0 +1,30 @@
+{
+  "attack_surface": [
+    "model-format-structure"
+  ],
+  "control_type": "negative",
+  "corpus_id": "LF-CH-FMTX-0012",
+  "difficulty": "intermediate",
+  "expected_decision": "PASS",
+  "ground_truth": "synthetic-generated",
+  "layerfault_rule_expectations": {
+    "candidate_rules": [],
+    "expected_rules": [
+      "LF-TFLITE-STRUCT-VALID"
+    ],
+    "must_not_rules": []
+  },
+  "oracle_ids": [
+    "LF-ORACLE-FMTX-0012"
+  ],
+  "related_cases": [],
+  "repo_name": "format-tflite-clean-control",
+  "safe_fixture": true,
+  "schema": 2,
+  "severity": "informational",
+  "techniques": [
+    "tflite",
+    "control"
+  ],
+  "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-clean-control"
+}

LAYERFAULT_CORPUS.json

@@ -0,0 +1,38 @@
+{
+  "candidate_rules": [],
+  "challenge": {
+    "attack_surface": [
+      "model-format-structure"
+    ],
+    "control_type": "negative",
+    "difficulty": "intermediate",
+    "expected_decision": "PASS",
+    "oracle_ids": [
+      "LF-ORACLE-FMTX-0012"
+    ],
+    "related_cases": [],
+    "severity": "informational",
+    "techniques": [
+      "tflite",
+      "control"
+    ],
+    "transformations": []
+  },
+  "corpus_id": "LF-CH-FMTX-0012",
+  "description": "Format tflite clean control.",
+  "expected_rules": [
+    "LF-TFLITE-STRUCT-VALID"
+  ],
+  "generator": "challenges.generate_challenge",
+  "ground_truth": "synthetic-generated",
+  "must_not_rules": [],
+  "repo_name": "format-tflite-clean-control",
+  "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-clean-control
+
+> **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-0012`
+
+## Purpose
+
+Format tflite clean control.
+
+## Direct expected Layerfault rules
+
+- `LF-TFLITE-STRUCT-VALID`
+
+## 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: **informational**
+- Difficulty: **intermediate**
+- Expected admission decision: **PASS**
+- Control type: **negative**
+- Attack surface: model-format-structure
+- Techniques: tflite, control
+- Transformations: none
+
+### Ground-truth oracle IDs
+
+- `LF-ORACLE-FMTX-0012`
+
+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": "af623420d23095dd801baa920583fcb4c0049aff6e6e12fea24bc7ee81ecf919",
+    "size": 646
+  },
+  {
+    "path": "FIXTURE_LAYOUT.json",
+    "sha256": "4a68a921147a6a0a8680d604034f7a38be92fc78658c4a844f32c51e0de6405a",
+    "size": 202
+  },
+  {
+    "path": "LAYERFAULT_CORPUS.json",
+    "sha256": "15380fb6feacc8ec7eb4693bc9b2eeff567be7244110432cf1dd79063317bf8f",
+    "size": 878
+  },
+  {
+    "path": "README.md",
+    "sha256": "5adb79790431119d52f709a856664402a689cd479038e7bd040e86bafc6373fa",
+    "size": 2179
+  },
+  {
+    "path": "model.tflite",
+    "sha256": "d2f4ebffe1f7a990d4e94b2e44b69b555bbbdecc0f5739a040ceb121698ef023",
+    "size": 36
+  }
+]

model.tflite

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