deploy(hf): sync szl-holdings/a11oy@main derived COPY set

Reusable Dockerfile-COPY-derived deploy from szl-holdings/a11oy main.
Files: 1131 Pruned: 0
Derived from Dockerfile COPY sources (NO hand-maintained allowlist).

Signed-off-by: SZL Holdings <noreply@szlholdings.ai>
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

model_release/receipt-agent/MODEL_CARD_DRAFT.md

@@ -80,12 +80,12 @@ The existing adapter showed a directional loss improvement on a 16-row observati
 |---|---:|---:|---|
 | Existing SFT dataset | 167 rows | 0 approved for reuse | Rights/privacy/contamination review incomplete |
 | A11oy Brain | 9,464 raw nodes | 0 | All raw nodes training-quarantined |
-| Formula crosswalk | 148 rows | 0 | Frozen holdout; namespace/status evaluation only |
+| Formula admission | 146 formula crosswalk records + 2 SZL-Lake evidence records = 148 holdout rows | 0 | Frozen holdout; namespace/status evaluation only |
 | ORPO candidate | 12 qualification checks | 0 | 0/12 passed; quarantined |
 
 The Brain and formula system can make the released model more useful **without being copied into the weights**. They remain external retrieval, holdout, contradiction, freshness, and proof-status infrastructure. A future training curriculum must be newly assembled from owned or explicitly licensed rows with item-level provenance, deduplication, contamination analysis, and immutable split receipts.
 
-No card may claim training on "all 200 formulas," the Brain, Lean, mathlib, GitHub, publications, or Hugging Face until row-level admission evidence proves the exact statement. The current repository evidence supports 148 formula crosswalk rows, not a verified 200-formula training set.
+No card may claim training on "all 200 formulas," the Brain, Lean, mathlib, GitHub, publications, or Hugging Face until row-level admission evidence proves the exact statement. The current repository evidence supports 146 formula crosswalk records plus 2 SZL-Lake evidence records in a 148-row holdout tranche, not a verified 200-formula training set.
 
 ## Two-stage output contract
 

model_release/receipt-agent/README.md

@@ -27,7 +27,7 @@ turn retrieved text into a mathematical proof.
 | Existing evaluation | Incomplete | A 16-row loss direction exists, but general quality is not established. |
 | ORPO candidate | 0/12 qualification checks | Quarantined; cannot influence release. |
 | Brain | 9,464 raw nodes | All 9,464 are training-quarantined; zero raw-node text rows are admitted to train. |
-| Formula crosswalk | 148 rows | All 148 are holdout; zero are admitted to train. Formula IDs are namespace-scoped. |
+| Formula admission | 146 formula crosswalk records + 2 SZL-Lake evidence records = 148 holdout tranche rows | All 148 are holdout; zero are admitted to train. Formula IDs are namespace-scoped. |
 | Proposed model | No ReceiptAgent weight artifact | `NOT_PROMOTED`, `NOT_ESTABLISHED`, and unavailable for inference. |
 
 The current Brain and formula corpus are valuable as a governed retrieval and
@@ -63,7 +63,7 @@ and permits zero catastrophic errors. Current blockers are:
 
 - incomplete row-level governance for the existing 167-row dataset;
 - 9,464/9,464 raw Brain nodes quarantined from training;
-- 148/148 formula rows reserved for holdout, with F1-F23 namespace collisions;
+- 146 formula records plus 2 SZL-Lake evidence records reserved as 148/148 holdout rows, with F1-F23 namespace collisions;
 - the ORPO candidate failing all 12 qualification checks;
 - no ReceiptAgent-specific training receipt or weights;
 - no frozen three-way evaluation;

model_release/receipt-agent/admission-manifest.json

@@ -59,7 +59,7 @@
       "state": "PASS",
       "required_for_promotion": true,
       "exact_requirement": "Formula IDs must be namespace-scoped, proof transfer must require an explicit semantic binding, and no holdout formula may enter training.",
-      "observed": "The current crosswalk has 148 holdout rows and zero train rows; F1-F23 namespace collisions block implicit proof transfer.",
+      "observed": "The current crosswalk has 146 formula records; two SZL-Lake evidence records produce a 148-row holdout tranche with zero train rows. F1-F23 namespace collisions block implicit proof transfer.",
       "evidence": [
         "research/formula-training-admission/admission-manifest.json",
         "research/formula-training-admission/formula-id-crosswalk.json"

model_release/receipt-agent/release-manifest.json

@@ -17,7 +17,7 @@
     "brain_raw_nodes": 9464,
     "brain_raw_nodes_training_quarantined": 9464,
     "brain_raw_rows_admitted_to_train": 0,
-    "formula_crosswalk_rows": 148,
+    "formula_crosswalk_rows": 146,
     "formula_holdout_rows": 148,
     "formula_train_rows": 0,
     "orpo_checks_passed": 0,

model_release/receipt-agent/release-manifest.schema.json

@@ -95,7 +95,7 @@
           "const": 0
         },
         "formula_crosswalk_rows": {
-          "const": 148
+          "const": 146
         },
         "formula_holdout_rows": {
           "const": 148

model_release/szl-forge-family.json

@@ -114,12 +114,18 @@
     "raw_nodes_admitted_to_gradients": 0,
     "current_state": "ROW_LEVEL_ADMISSION_ENGINE_IMPLEMENTED_CURRENT_RAW_ROWS_QUARANTINED",
     "admission_engine": "szl_brain_training_admission.py",
-    "admission_contract": "szl.brain-training-admission-report.v1",
-    "admission_requirement": "Each gradient row requires Ed25519-signed allowlisted evidence for rights, provenance, immutable revision, freshness, deduplication, contamination analysis, and a frozen cross-run split assignment.",
+    "admission_contract": "szl.brain-training-admission-report.v2",
+    "admission_requirement": "Each gradient row requires Ed25519-signed, purpose-scoped evidence for source identity, authorship/rightsholder permission, privacy/PII clearance, immutable revision, freshness, deduplication, held-out contamination analysis, reviewer-owned approval, and a frozen cross-run split assignment rooted in a signed policy bundle; train admission is disabled by default and terminal artifacts require a distinct signing key.",
     "required_signed_inputs": [
       "protected_eval_content_sha256_list",
-      "signed_evidence_trust_store",
-      "signed_prior_split_ledger_descriptor"
+      "purpose_scoped_evidence_trust_store",
+      "policy_root_signer",
+      "root_signed_policy_bundle",
+      "signed_prior_split_ledger_descriptor",
+      "exact_split_ledger_head_sha256",
+      "reviewer_allowlist",
+      "artifact_signing_key",
+      "explicit_train_admission_switch"
     ]
   },
   "formula_policy": {

model_release/szl-khipu-second-brain.json

@@ -50,21 +50,32 @@
     "current_state": "ROW_LEVEL_ADMISSION_ENGINE_IMPLEMENTED_CURRENT_RAW_ROWS_QUARANTINED",
     "admission_engine": "szl_brain_training_admission.py",
     "admission_test": "tests/test_brain_training_admission.py",
-    "admission_contract": "szl.brain-training-admission-report.v1",
+    "admission_contract": "szl.brain-training-admission-report.v2",
     "admission_evidence_security": {
       "signature": "ED25519",
-      "trust_model": "ALLOWLISTED_ISSUER_TOOL_KEY_TRIPLE",
-      "content_binding": "EXACT_CONTENT_SOURCE_REVISION_RIGHTS_AND_CONTAMINATION",
-      "cross_run_isolation": "SIGNED_DETERMINISTIC_SPLIT_LEDGER",
+      "trust_model": "ROOT_SIGNED_PURPOSE_SCOPED_ISSUER_TOOL_KEY",
+      "content_binding": "EXACT_CONTENT_SOURCE_IDENTITY_REVISION_AUTHOR_RIGHTSHOLDER_PERMISSION_PRIVACY_REVIEW_AND_CONTAMINATION",
+      "cross_run_isolation": "POLICY_PINNED_SIGNED_SPLIT_LEDGER_HEAD",
+      "review_signer_binding": "REVIEWER_OWNED_KEY",
+      "terminal_artifact": "ED25519_SIGNED_MANIFEST",
       "self_attestation_allowed": false
     },
     "required_admission_inputs": [
       "protected_eval_content_sha256_list",
-      "signed_evidence_trust_store",
-      "signed_prior_split_ledger_descriptor"
+      "purpose_scoped_evidence_trust_store",
+      "policy_root_signer",
+      "root_signed_policy_bundle",
+      "signed_prior_split_ledger_descriptor",
+      "exact_split_ledger_head_sha256",
+      "reviewer_allowlist",
+      "artifact_signing_key",
+      "explicit_train_admission_switch"
     ],
     "current_inventory_obligations": {
       "license_or_rights_unknown": 9464,
+      "author_or_rightsholder_permission_unknown": 9464,
+      "privacy_or_pii_clearance_unknown": 9464,
+      "allowlisted_review_unknown": 9464,
       "immutable_source_revision_unknown": 9464,
       "freshness_unknown": 9430,
       "duplicate_candidates": 3747,
@@ -85,24 +96,37 @@
         "file_sha256": "6f5e0d9ecb60d8aa52fc229a42ad37d62fc7fa7406993a0b8352b2b574fb40a4"
       }
     },
-    "candidate_schema": "szl.brain-training-candidate.v1",
-    "decision_schema": "szl.brain-training-admission-decision.v1",
-    "report_schema": "szl.brain-training-admission-report.v1",
+    "candidate_schema": "szl.brain-training-candidate.v2",
+    "decision_schema": "szl.brain-training-admission-decision.v2",
+    "report_schema": "szl.brain-training-admission-report.v2",
     "candidate_required_inputs": [
       "node_id",
       "content",
       "content_sha256",
       "source.uri",
+      "source.identity",
       "source.revision",
       "source.timestamp_utc",
       "source.evidence",
+      "rights.author",
+      "rights.rightsholder",
       "rights.basis",
       "rights.license",
+      "rights.permission_scope",
       "rights.evidence",
+      "privacy.classification",
+      "privacy.pii_result",
+      "privacy.method",
+      "privacy.evidence",
       "contamination.result",
       "contamination.method",
       "contamination.checked_against",
       "contamination.evidence",
+      "review.state",
+      "review.reviewer",
+      "review.reviewed_at_utc",
+      "review.reasons",
+      "review.evidence",
       "split"
     ],
     "derived_decision_fields": [
@@ -112,7 +136,9 @@
       "freshness.state",
       "source.status",
       "rights.status",
+      "privacy.status",
       "contamination.observed_result",
+      "review.status",
       "training_eligible",
       "evaluation_eligible",
       "reason_codes",
@@ -123,6 +149,9 @@
       "COPY_EVALUATION_QRELS_INTO_TRAINING",
       "TREAT_RETRIEVAL_AS_TRAINING",
       "LABEL_INDEX_NODES_AS_PARAMETERS",
+      "AUTO_APPROVE_UNKNOWN_PRIVACY_OR_RIGHTS",
+      "SELF_REVIEW_WITHOUT_ALLOWLISTED_SIGNED_EVIDENCE",
+      "ENABLE_TRAIN_ADMISSION_BY_DEFAULT",
       "WEAKEN_GATES_TO_REACH_A_TARGET_ROW_COUNT"
     ]
   },

schemas/quant-claims/benchmark-run.v1.schema.json

@@ -0,0 +1,217 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://a-11-oy.com/schemas/quant-claims/benchmark-run.v1.schema.json",
+  "title": "SZL Quant Benchmark Run v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version", "run_id", "claim_id", "protocol", "subject", "baseline",
+    "dataset", "hardware", "software", "execution", "raw_trials", "measurement",
+    "correctness", "energy", "freshness", "review", "artifacts"
+  ],
+  "properties": {
+    "schema_version": {"const": "szl.quant.benchmark-run/v1"},
+    "run_id": {"type": "string", "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{2,127}$"},
+    "claim_id": {"type": "string", "pattern": "^[a-z0-9][a-z0-9-]{2,95}$"},
+    "protocol": {
+      "type": "object", "additionalProperties": false,
+      "required": ["id", "version", "sha256", "preregistered_at", "manifest"],
+      "properties": {
+        "id": {"type": "string"}, "version": {"type": "string"},
+        "sha256": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"},
+        "preregistered_at": {"type": "string", "format": "date-time"},
+        "manifest": {
+          "type": "object", "additionalProperties": false,
+          "required": [
+            "id", "version", "metric", "unit", "preregistered_at", "minimum_trials",
+            "hardware_class", "requires_energy", "dataset_manifest_sha256"
+          ],
+          "properties": {
+            "id": {"type": "string"}, "version": {"type": "string"},
+            "metric": {"type": "string"}, "unit": {"type": "string"},
+            "preregistered_at": {"type": "string", "format": "date-time"},
+            "minimum_trials": {"type": "integer", "minimum": 3},
+            "hardware_class": {"type": "string"},
+            "requires_energy": {"type": "boolean"},
+            "dataset_manifest_sha256": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"}
+          }
+        }
+      }
+    },
+    "subject": {"$ref": "#/$defs/artifactSubject"},
+    "baseline": {"$ref": "#/$defs/artifactSubject"},
+    "dataset": {
+      "type": "object", "additionalProperties": false,
+      "required": ["manifest_sha256", "split", "seeds", "rights_admitted"],
+      "properties": {
+        "manifest_sha256": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"},
+        "split": {"type": "string"},
+        "seeds": {"type": "array", "minItems": 1, "items": {"type": "integer"}},
+        "rights_admitted": {"const": true}
+      }
+    },
+    "hardware": {
+      "type": "object", "additionalProperties": false,
+      "required": ["class", "devices", "driver", "cuda"],
+      "properties": {
+        "class": {"type": "string"},
+        "devices": {"type": "array", "minItems": 1, "items": {"$ref": "#/$defs/device"}},
+        "driver": {"type": "string"}, "cuda": {"type": "string"}
+      }
+    },
+    "software": {
+      "type": "object", "additionalProperties": false,
+      "required": ["git_commit", "container_digest", "lock_sha256"],
+      "properties": {
+        "git_commit": {"type": "string", "pattern": "^[0-9a-f]{40}$"},
+        "container_digest": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"},
+        "lock_sha256": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"}
+      }
+    },
+    "execution": {
+      "type": "object", "additionalProperties": false,
+      "required": ["started_at", "completed_at", "warmup_trials", "measured_trials", "config"],
+      "properties": {
+        "started_at": {"type": "string", "format": "date-time"},
+        "completed_at": {"type": "string", "format": "date-time"},
+        "warmup_trials": {"type": "integer", "minimum": 0},
+        "measured_trials": {"type": "integer", "minimum": 3},
+        "config": {"type": "object"}
+      }
+    },
+    "raw_trials": {
+      "type": "array", "minItems": 3,
+      "items": {"$ref": "#/$defs/rawTrial"}
+    },
+    "measurement": {"$ref": "#/$defs/measurement"},
+    "correctness": {"$ref": "#/$defs/correctness"},
+    "energy": {"$ref": "#/$defs/energy"},
+    "freshness": {
+      "type": "object", "additionalProperties": false,
+      "required": ["fresh_until"],
+      "properties": {"fresh_until": {"type": "string", "format": "date-time"}}
+    },
+    "review": {
+      "type": "object", "additionalProperties": false,
+      "required": ["status", "reviewer", "reviewed_at"],
+      "properties": {
+        "status": {"const": "APPROVED"}, "reviewer": {"type": "string", "minLength": 1},
+        "reviewed_at": {"type": "string", "format": "date-time"}
+      }
+    },
+    "artifacts": {
+      "type": "object", "additionalProperties": false,
+      "required": ["result_sha256", "result_bundle"],
+      "properties": {
+        "result_sha256": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"},
+        "result_bundle": {
+          "type": "object", "additionalProperties": false,
+          "required": ["raw_trials", "measurement", "correctness", "energy"],
+          "properties": {
+            "raw_trials": {"type": "array", "minItems": 3, "items": {"$ref": "#/$defs/rawTrial"}},
+            "measurement": {"$ref": "#/$defs/measurement"},
+            "correctness": {"$ref": "#/$defs/correctness"},
+            "energy": {"$ref": "#/$defs/energy"}
+          }
+        }
+      }
+    }
+  },
+  "$defs": {
+    "artifactSubject": {
+      "type": "object", "additionalProperties": false,
+      "required": ["artifact_id", "revision", "sha256", "license"],
+      "properties": {
+        "artifact_id": {"type": "string"}, "revision": {"type": "string"},
+        "sha256": {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"},
+        "license": {"type": "string", "minLength": 1}
+      }
+    },
+    "device": {
+      "type": "object", "additionalProperties": false,
+      "required": ["kind", "model", "count"],
+      "properties": {
+        "kind": {"enum": ["CPU", "GPU", "REMOTE_ACCELERATOR"]},
+        "model": {"type": "string", "minLength": 1},
+        "count": {"type": "integer", "minimum": 1}
+      }
+    },
+    "rawTrial": {
+      "type": "object", "additionalProperties": false,
+      "required": ["trial", "value", "unit"],
+      "properties": {
+        "trial": {"type": "integer", "minimum": 1},
+        "value": {"type": "number"},
+        "unit": {"type": "string", "minLength": 1}
+      }
+    },
+    "measurement": {
+      "type": "object", "additionalProperties": false,
+      "required": ["metric", "value", "unit", "estimator", "confidence_interval", "summary_tolerance"],
+      "properties": {
+        "metric": {"type": "string", "minLength": 1},
+        "value": {"type": "number"},
+        "unit": {"type": "string", "minLength": 1},
+        "estimator": {"enum": ["mean", "median"]},
+        "summary_tolerance": {"type": "number", "minimum": 0},
+        "confidence_interval": {
+          "oneOf": [
+            {"type": "null"},
+            {"type": "array", "prefixItems": [{"type": "number"}, {"type": "number"}], "items": false, "minItems": 2, "maxItems": 2}
+          ]
+        }
+      }
+    },
+    "correctness": {
+      "type": "object", "additionalProperties": false,
+      "required": ["passed", "checks"],
+      "properties": {
+        "passed": {"const": true},
+        "checks": {
+          "type": "array", "minItems": 1,
+          "items": {
+            "type": "object", "additionalProperties": false,
+            "required": ["name", "passed", "tolerance"],
+            "properties": {
+              "name": {"type": "string", "minLength": 1},
+              "passed": {"const": true},
+              "tolerance": {"type": "string", "minLength": 1}
+            }
+          }
+        }
+      }
+    },
+    "energy": {
+      "oneOf": [
+        {
+          "type": "object", "additionalProperties": false,
+          "required": ["status", "blocker"],
+          "properties": {
+            "status": {"const": "NOT_OBSERVABLE"},
+            "blocker": {"type": "string", "minLength": 1}
+          }
+        },
+        {
+          "type": "object", "additionalProperties": false,
+          "required": [
+            "status", "exporter_id", "sampled_at_start", "sampled_at_end",
+            "joules_before", "joules_after", "work_units_before", "work_units_after",
+            "work_unit", "fresh"
+          ],
+          "properties": {
+            "status": {"const": "MEASURED_DELTA"},
+            "exporter_id": {"type": "string", "minLength": 1},
+            "sampled_at_start": {"type": "string", "format": "date-time"},
+            "sampled_at_end": {"type": "string", "format": "date-time"},
+            "joules_before": {"type": "number", "minimum": 0},
+            "joules_after": {"type": "number", "minimum": 0},
+            "work_units_before": {"type": "number", "minimum": 0},
+            "work_units_after": {"type": "number", "minimum": 0},
+            "work_unit": {"type": "string", "minLength": 1},
+            "fresh": {"const": true}
+          }
+        }
+      ]
+    }
+  }
+}

schemas/quant-claims/claim.v1.schema.json

@@ -0,0 +1,118 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://a-11-oy.com/schemas/quant-claims/claim.v1.schema.json",
+  "title": "SZL Quant External Claim Resolution v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "claim_id",
+    "claim",
+    "external_report",
+    "protocol",
+    "required_hardware_class",
+    "measurement_receipt_id",
+    "blocked_by",
+    "szl_label",
+    "szl_measured",
+    "measurement_gate"
+  ],
+  "properties": {
+    "schema_version": {"const": "szl.quant.claim/v1"},
+    "claim_id": {"type": "string", "pattern": "^[a-z0-9][a-z0-9-]{2,95}$"},
+    "claim": {"type": "string", "minLength": 1, "maxLength": 240},
+    "external_report": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["value", "units", "scope", "source"],
+      "properties": {
+        "value": {"type": "string", "minLength": 1, "maxLength": 120},
+        "units": {"type": "string", "minLength": 1, "maxLength": 80},
+        "scope": {"type": "string", "minLength": 1, "maxLength": 500},
+        "source": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["organization", "title", "url", "kind"],
+          "properties": {
+            "organization": {"type": "string", "minLength": 1, "maxLength": 120},
+            "title": {"type": "string", "minLength": 1, "maxLength": 240},
+            "url": {"type": "string", "pattern": "^https://"},
+            "kind": {
+              "enum": ["OFFICIAL_VENDOR_REPORT", "OFFICIAL_RESEARCH", "OFFICIAL_DOCS", "OFFICIAL_MODEL_CARD", "ACADEMIC_PAPER"]
+            }
+          }
+        }
+      }
+    },
+    "protocol": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "metric", "unit", "description", "requires_energy"],
+      "properties": {
+        "id": {"type": "string", "pattern": "^[a-z0-9][a-z0-9-]{2,95}$"},
+        "metric": {"type": "string", "pattern": "^[a-z][a-z0-9_]{2,95}$"},
+        "unit": {"type": "string", "minLength": 1, "maxLength": 80},
+        "description": {"type": "string", "minLength": 1, "maxLength": 500},
+        "requires_energy": {"type": "boolean"}
+      }
+    },
+    "required_hardware_class": {"type": "string", "pattern": "^[A-Z][A-Z0-9_]{2,95}$"},
+    "measurement_receipt_id": {
+      "oneOf": [
+        {"type": "null"},
+        {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"}
+      ]
+    },
+    "blocked_by": {
+      "type": "array",
+      "minItems": 1,
+      "items": {"type": "string", "minLength": 1, "maxLength": 240},
+      "uniqueItems": true
+    },
+    "szl_label": {"enum": ["ROADMAP", "MEASURED", "UNVERIFIED", "CONFLICT"]},
+    "szl_measured": {
+      "oneOf": [
+        {"type": "null"},
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["metric", "value", "unit", "estimator", "confidence_interval", "summary_tolerance"],
+          "properties": {
+            "metric": {"type": "string"},
+            "value": {"type": "number"},
+            "unit": {"type": "string"},
+            "estimator": {"enum": ["mean", "median"]},
+            "summary_tolerance": {"type": "number", "minimum": 0},
+            "confidence_interval": {
+              "oneOf": [
+                {"type": "null"},
+                {
+                  "type": "array",
+                  "prefixItems": [{"type": "number"}, {"type": "number"}],
+                  "items": false,
+                  "minItems": 2,
+                  "maxItems": 2
+                }
+              ]
+            }
+          }
+        }
+      ]
+    },
+    "measurement_gate": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["promoted", "reason", "receipt_id"],
+      "properties": {
+        "promoted": {"type": "boolean"},
+        "reason": {"type": "string", "minLength": 1, "maxLength": 240},
+        "receipt_id": {
+          "oneOf": [
+            {"type": "null"},
+            {"type": "string", "pattern": "^sha256:[0-9a-f]{64}$"}
+          ]
+        }
+      }
+    }
+  }
+}