{
  "schema": "concresca.local-property-runs.v018",
  "site_version": "0.28.0-wip",
  "as_of": "2026-08-31",
  "truth_boundary": "A passing result establishes only that the identified Concresca repository bytes satisfy the implemented local checks on this recorded run. It does not establish external adoption, live shared interoperability, production behavior, legal authority, constitutional validity, safety, or independent certification.",
  "run_count": 1,
  "latest_run_id": "LPR-2026-08-29-V018-001",
  "runs": [
    {
      "run_id": "LPR-2026-08-29-V018-001",
      "site_version": "0.18.0",
      "executed_on": "2026-08-29",
      "execution_class": "LOCAL_REPOSITORY_EXECUTION",
      "executor": "Concresca deterministic Python property runner",
      "network_access": false,
      "external_model_calls": false,
      "script": {
        "path": "scripts/run-v018-local-properties.py",
        "sha256": "adb4cc1c301f8fdbc7641eb39de1f2ef156684221f581e6c285d4722c823c7e1",
        "python": "3.13.5",
        "implementation": "CPython"
      },
      "input_sha256": {
        "data/_source/artifact-register.json": "22b5c69d5a40332cbab4ada886927fb528dd16939e1a7c8945527e89fc769f1c",
        "data/_source/protocol-observations.json": "976dbaa181cb660f912a5dce6479e500a802d88f63343d5dabca85b6fb74015f",
        "data/_source/protocol-properties.json": "38712706cf99ace4d2b36f529ba08d16ffcb98574649d27df521a1ca9e5dcafb",
        "data/_source/temporal-comparison.json": "f22939e59786eb32aeef28a82342afe873351083cf000acfb7eb6608f900d9bf",
        "data/_source/baseline-lineage.json": "913e1482a5c31dbe23e0f10da476c150f44314fbb30b88399b70955642e3c533",
        "data/_source/restoration-proofs.json": "5ed3368062049c882dae32f9b5c2ca90972dd028dc4d1b355911f21e3a43a4ab",
        "data/_source/restoration-receipts.json": "9d287e1b48ef6f58904237d567f522a7e8e13f3c3189c0a00f32baa8ce8824aa",
        "data/_source/partition-histories.json": "f4e1e40f14c1eed963ec20994c6f17778d887fcdd90875daeb7aab61fc41fd06",
        "data/_source/legibility-evaluation.json": "92145569fcc71c983b058115a437d7f06db236b001aaa1e38da709696d7586a6",
        "data/_source/invalidation-register.json": "56f4d53ee382b24c88b9bd836dd9dca60f963280f47e96c0c03d4b1d39d12bcc",
        "data/_source/observation-method.json": "7bd0909f21757f0d621554f2d34adafbc237b2e732ca31f0e68c0c9439e18b9b"
      },
      "scope": [
        "exact repository-owned artifact and lineage hash checks",
        "registry identity, reference, state, fixture, and truth-boundary invariants",
        "restoration, receipt, partition-history, legibility, and invalidation definition conformance"
      ],
      "excluded_scope": [
        "network retrieval or fresh external observation",
        "external interoperability or adoption",
        "production restoration, incident, performance, or safety",
        "legal validity, constitutional authority, or independent certification",
        "execution of definition-only protocol, temporal, partition, or legibility fixtures"
      ],
      "status": "PASS",
      "check_count": 24,
      "pass_count": 24,
      "fail_count": 0,
      "checks": [
        {
          "check_id": "LPR01",
          "name": "Artifact identifiers are unique and complete",
          "result": "PASS",
          "expected": "27 unique non-empty artifact identifiers and a matching declared count",
          "actual": {
            "declared": 27,
            "actual": 27,
            "unique": 27
          },
          "evidence_paths": [
            "data/_source/artifact-register.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR02",
          "name": "Repository-owned artifact hashes match exact bytes",
          "result": "PASS",
          "expected": "Every ART-CON-001 through ART-CON-009 raw SHA-256 equals the owned file bytes",
          "actual": {
            "ART-CON-001": {
              "declared": "02e672bd22c55e12e85c5e98fc07b6edd48b978b227fcf230740c9dff807dbc7",
              "calculated": "02e672bd22c55e12e85c5e98fc07b6edd48b978b227fcf230740c9dff807dbc7"
            },
            "ART-CON-002": {
              "declared": "b7111e4e77924e7f8658b91817cac7cd2c0d64547562b8b4fde8f46805b4089f",
              "calculated": "b7111e4e77924e7f8658b91817cac7cd2c0d64547562b8b4fde8f46805b4089f"
            },
            "ART-CON-003": {
              "declared": "f22939e59786eb32aeef28a82342afe873351083cf000acfb7eb6608f900d9bf",
              "calculated": "f22939e59786eb32aeef28a82342afe873351083cf000acfb7eb6608f900d9bf"
            },
            "ART-CON-004": {
              "declared": "913e1482a5c31dbe23e0f10da476c150f44314fbb30b88399b70955642e3c533",
              "calculated": "913e1482a5c31dbe23e0f10da476c150f44314fbb30b88399b70955642e3c533"
            },
            "ART-CON-005": {
              "declared": "5ed3368062049c882dae32f9b5c2ca90972dd028dc4d1b355911f21e3a43a4ab",
              "calculated": "5ed3368062049c882dae32f9b5c2ca90972dd028dc4d1b355911f21e3a43a4ab"
            },
            "ART-CON-006": {
              "declared": "9d287e1b48ef6f58904237d567f522a7e8e13f3c3189c0a00f32baa8ce8824aa",
              "calculated": "9d287e1b48ef6f58904237d567f522a7e8e13f3c3189c0a00f32baa8ce8824aa"
            },
            "ART-CON-007": {
              "declared": "f4e1e40f14c1eed963ec20994c6f17778d887fcdd90875daeb7aab61fc41fd06",
              "calculated": "f4e1e40f14c1eed963ec20994c6f17778d887fcdd90875daeb7aab61fc41fd06"
            },
            "ART-CON-008": {
              "declared": "92145569fcc71c983b058115a437d7f06db236b001aaa1e38da709696d7586a6",
              "calculated": "92145569fcc71c983b058115a437d7f06db236b001aaa1e38da709696d7586a6"
            },
            "ART-CON-009": {
              "declared": "56f4d53ee382b24c88b9bd836dd9dca60f963280f47e96c0c03d4b1d39d12bcc",
              "calculated": "56f4d53ee382b24c88b9bd836dd9dca60f963280f47e96c0c03d4b1d39d12bcc"
            }
          },
          "evidence_paths": [
            "data/_source/artifact-register.json",
            "data/_source/interoperability-protocols.json",
            "data/_source/protocol-lab.json",
            "data/_source/temporal-comparison.json",
            "data/_source/baseline-lineage.json",
            "data/_source/restoration-proofs.json",
            "data/_source/restoration-receipts.json",
            "data/_source/partition-histories.json",
            "data/_source/legibility-evaluation.json",
            "data/_source/invalidation-register.json"
          ],
          "limitation": "Authenticates repository-owned bytes only; it does not authenticate deployment or remote copies."
        },
        {
          "check_id": "LPR03",
          "name": "External artifacts do not claim remote raw-body hashes",
          "result": "PASS",
          "expected": "All external rows have null raw_artifact_sha256 and an explicit selected-field-only boundary",
          "actual": {
            "external_count": 18,
            "non_null_raw_hashes": 0
          },
          "evidence_paths": [
            "data/_source/artifact-register.json"
          ],
          "limitation": "The check verifies Concresca's representation boundary, not an external server response."
        },
        {
          "check_id": "LPR04",
          "name": "Selected-field fingerprints are canonically reproducible",
          "result": "PASS",
          "expected": "Every selected-field digest equals SHA-256 over canonical JSON for the declared field set",
          "actual": {
            "checked": 27,
            "passed": 27
          },
          "evidence_paths": [
            "data/_source/artifact-register.json",
            "scripts/build-v018-data.py"
          ],
          "limitation": "A selected-field digest authenticates only the normalized fields in the calculation."
        },
        {
          "check_id": "LPR05",
          "name": "Observation artifact references resolve",
          "result": "PASS",
          "expected": "57 unique observations and zero unresolved artifact references",
          "actual": {
            "declared": 57,
            "actual": 57,
            "unresolved": []
          },
          "evidence_paths": [
            "data/_source/protocol-observations.json",
            "data/_source/artifact-register.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR06",
          "name": "Formal protocol fixtures remain definition-only",
          "result": "PASS",
          "expected": "80 vectors with null actual_result and TEST_DEFINITION_ONLY status",
          "actual": {
            "count": 80,
            "non_null_results": 0
          },
          "evidence_paths": [
            "data/_source/protocol-properties.json"
          ],
          "limitation": "The runner evaluates registry invariants; it does not retroactively convert definition fixtures into executed model tests."
        },
        {
          "check_id": "LPR07",
          "name": "Temporal comparison contracts are complete and unique",
          "result": "PASS",
          "expected": "TC01-TC12 in order, each with inputs, failure condition, and material dimensions",
          "actual": {
            "contract_ids": [
              "TC01",
              "TC02",
              "TC03",
              "TC04",
              "TC05",
              "TC06",
              "TC07",
              "TC08",
              "TC09",
              "TC10",
              "TC11",
              "TC12"
            ]
          },
          "evidence_paths": [
            "data/_source/temporal-comparison.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR08",
          "name": "Temporal contracts have paired unexecuted fixtures",
          "result": "PASS",
          "expected": "One positive and one negative definition-only fixture for every comparison contract",
          "actual": {
            "count": 24,
            "ids_complete": true
          },
          "evidence_paths": [
            "data/_source/temporal-comparison.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR09",
          "name": "Baseline lineage current hashes match exact files",
          "result": "PASS",
          "expected": "12 lineage entries whose current_sha256 equals the owned target bytes",
          "actual": {
            "checked": 12,
            "passed": 12
          },
          "evidence_paths": [
            "data/_source/baseline-lineage.json"
          ],
          "limitation": "Prior hashes are fixed release inputs; this check recalculates current repository-owned bytes only."
        },
        {
          "check_id": "LPR10",
          "name": "External temporal state is explicitly NOT_REOBSERVED",
          "result": "PASS",
          "expected": "External comparison status NOT_REOBSERVED with explicit truth boundaries",
          "actual": {
            "status": "NOT_REOBSERVED"
          },
          "evidence_paths": [
            "data/_source/baseline-lineage.json",
            "data/_source/artifact-register.json"
          ],
          "limitation": "The result intentionally makes no current-content claim about external artifacts."
        },
        {
          "check_id": "LPR11",
          "name": "Direct shortcut transitions to full restoration are prohibited",
          "result": "PASS",
          "expected": "All four unsafe direct transitions are prohibited and absent from allowed transitions",
          "actual": {
            "prohibited": [
              [
                "CONFLICTS_CLASSIFIED",
                "FULL_RESTORATION"
              ],
              [
                "DISCONNECTED",
                "FULL_RESTORATION"
              ],
              [
                "HISTORY_COLLECTED",
                "FULL_RESTORATION"
              ],
              [
                "RECONNECTED_UNTRUSTED",
                "FULL_RESTORATION"
              ]
            ]
          },
          "evidence_paths": [
            "data/_source/restoration-proofs.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR12",
          "name": "Restoration proof obligations are complete and unique",
          "result": "PASS",
          "expected": "PO01-PO24 exactly, all conjunctive hard gates",
          "actual": {
            "count": 24,
            "conjunctive": 24
          },
          "evidence_paths": [
            "data/_source/restoration-proofs.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR13",
          "name": "Restoration profiles reference defined obligations",
          "result": "PASS",
          "expected": "12 unique profiles and zero unresolved obligation references",
          "actual": {
            "profiles": 12,
            "unresolved": []
          },
          "evidence_paths": [
            "data/_source/restoration-proofs.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR14",
          "name": "Full-restoration profile requires every proof obligation",
          "result": "PASS",
          "expected": "RP12 targets FULL_RESTORATION, requires PO01-PO24, and forbids composite scoring",
          "actual": {
            "target_state": "FULL_RESTORATION",
            "mandatory_count": 24,
            "scoring_rule": "No composite score. Every mandatory obligation is conjunctive."
          },
          "evidence_paths": [
            "data/_source/restoration-proofs.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR15",
          "name": "Full restoration includes authority, revocation, stay, reconciliation, appeal, and unknown gates",
          "result": "PASS",
          "expected": "No required high-risk gate concept is absent from the full-restoration obligation set",
          "actual": {
            "missing_terms": []
          },
          "evidence_paths": [
            "data/_source/restoration-proofs.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR16",
          "name": "Restoration receipts remain template-only",
          "result": "PASS",
          "expected": "RT01-RT16, each TEMPLATE_ONLY with null actual_event",
          "actual": {
            "count": 16,
            "actual_events": 0
          },
          "evidence_paths": [
            "data/_source/restoration-receipts.json"
          ],
          "limitation": "No receipt is evidence that a restoration, authority grant, or production event occurred."
        },
        {
          "check_id": "LPR17",
          "name": "Every receipt template includes common machine and human fields",
          "result": "PASS",
          "expected": "All receipt types include the common machine fields and human questions, with explicit parity rule",
          "actual": {
            "machine_fields": 21,
            "human_questions": 10,
            "types": 16
          },
          "evidence_paths": [
            "data/_source/restoration-receipts.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR18",
          "name": "Partition-history cases are complete and unexecuted",
          "result": "PASS",
          "expected": "PH01-PH24 exactly, all analytical definitions with null actual_result",
          "actual": {
            "count": 24,
            "non_null_results": 0
          },
          "evidence_paths": [
            "data/_source/partition-histories.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR19",
          "name": "Every partition case preserves competing histories and a bounded unresolved state",
          "result": "PASS",
          "expected": "Every case has History A, History B, contested facts, unsafe shortcuts, and a non-full maximum state while unresolved",
          "actual": {
            "cases": 24,
            "full_while_unresolved": []
          },
          "evidence_paths": [
            "data/_source/partition-histories.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR20",
          "name": "Legibility dimensions have complete paired unexecuted fixtures",
          "result": "PASS",
          "expected": "LE01-LE18 with one positive and one negative null-result fixture each",
          "actual": {
            "dimensions": 18,
            "vectors": 36
          },
          "evidence_paths": [
            "data/_source/legibility-evaluation.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR21",
          "name": "Legibility evaluation forbids compensatory scoring",
          "result": "PASS",
          "expected": "Explicit no-composite rule and every dimension a non-compensable hard gate",
          "actual": {
            "scoring_rule": "No compensatory composite score. Each material dimension is a hard gate or explicit unavailable state.",
            "hard_gates": 18
          },
          "evidence_paths": [
            "data/_source/legibility-evaluation.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR22",
          "name": "Invalidation triggers specify propagation, revalidation, and history preservation",
          "result": "PASS",
          "expected": "IV01-IV20, each with propagation and restoration gate, plus an append-oriented history rule",
          "actual": {
            "count": 20,
            "history_rule": "Invalidation changes validity state but does not erase the prior record or its provenance."
          },
          "evidence_paths": [
            "data/_source/invalidation-register.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR23",
          "name": "Truth boundaries preserve unknown, non-observation, and non-certification states",
          "result": "PASS",
          "expected": "All required uncertainty concepts are explicit; UNKNOWN and NOT_REOBSERVED remain typed",
          "actual": {
            "missing_terms": [],
            "external_status": "NOT_REOBSERVED"
          },
          "evidence_paths": [
            "data/_source/temporal-comparison.json",
            "data/_source/baseline-lineage.json",
            "data/_source/observation-method.json"
          ],
          "limitation": "Local repository-conformance check only."
        },
        {
          "check_id": "LPR24",
          "name": "Local conformance does not transfer external or constitutional authority",
          "result": "PASS",
          "expected": "Truth boundaries explicitly deny external production/certification implications and cross-project authority transfer",
          "actual": {
            "required_terms_present": {
              "external": true,
              "authority": true,
              "production": true,
              "certification": true,
              "cross-project": true
            }
          },
          "evidence_paths": [
            "data/_source/observation-method.json",
            "data/_source/restoration-proofs.json",
            "data/_source/protocol-properties.json"
          ],
          "limitation": "This is a textual and structural boundary check, not a determination of legal effect."
        }
      ],
      "truth_boundary": "A passing result establishes only that the identified Concresca repository bytes satisfy the implemented local checks on this recorded run. It does not establish external adoption, live shared interoperability, production behavior, legal authority, constitutional validity, safety, or independent certification."
    }
  ]
}