The run validates exact local hashes and registry invariants without network access, external model calls or fabricated execution of definition-only fixtures.
It establishes that the identified Concresca repository inputs passed 24 of 24 implemented local checks in the recorded deterministic run. It does not establish external interoperability, production restoration, legal authority, safety or certification.
Truth boundary: v0.18 reports exact repository-owned bytes, deterministic local checks, schemas and analytical definitions. It does not report a fresh external capture, live shared interoperability, a production partition or restoration, adoption, legal recognition, safety certification or independent certification.
Execution class: LOCAL_REPOSITORY_EXECUTION · Network access: false · External model calls: false
Runner: scripts/run-v018-local-properties.py · CPython 3.13.5
| ID | Check | Result | Expected |
|---|---|---|---|
| LPR01 | Artifact identifiers are unique and complete | PASS | 27 unique non-empty artifact identifiers and a matching declared count |
| LPR02 | Repository-owned artifact hashes match exact bytes | PASS | Every ART-CON-001 through ART-CON-009 raw SHA-256 equals the owned file bytes |
| LPR03 | External artifacts do not claim remote raw-body hashes | PASS | All external rows have null raw_artifact_sha256 and an explicit selected-field-only boundary |
| LPR04 | Selected-field fingerprints are canonically reproducible | PASS | Every selected-field digest equals SHA-256 over canonical JSON for the declared field set |
| LPR05 | Observation artifact references resolve | PASS | 57 unique observations and zero unresolved artifact references |
| LPR06 | Formal protocol fixtures remain definition-only | PASS | 80 vectors with null actual_result and TEST_DEFINITION_ONLY status |
| LPR07 | Temporal comparison contracts are complete and unique | PASS | TC01-TC12 in order, each with inputs, failure condition, and material dimensions |
| LPR08 | Temporal contracts have paired unexecuted fixtures | PASS | One positive and one negative definition-only fixture for every comparison contract |
| LPR09 | Baseline lineage current hashes match exact files | PASS | 12 lineage entries whose current_sha256 equals the owned target bytes |
| LPR10 | External temporal state is explicitly NOT_REOBSERVED | PASS | External comparison status NOT_REOBSERVED with explicit truth boundaries |
| LPR11 | Direct shortcut transitions to full restoration are prohibited | PASS | All four unsafe direct transitions are prohibited and absent from allowed transitions |
| LPR12 | Restoration proof obligations are complete and unique | PASS | PO01-PO24 exactly, all conjunctive hard gates |
| LPR13 | Restoration profiles reference defined obligations | PASS | 12 unique profiles and zero unresolved obligation references |
| LPR14 | Full-restoration profile requires every proof obligation | PASS | RP12 targets FULL_RESTORATION, requires PO01-PO24, and forbids composite scoring |
| LPR15 | Full restoration includes authority, revocation, stay, reconciliation, appeal, and unknown gates | PASS | No required high-risk gate concept is absent from the full-restoration obligation set |
| LPR16 | Restoration receipts remain template-only | PASS | RT01-RT16, each TEMPLATE_ONLY with null actual_event |
| LPR17 | Every receipt template includes common machine and human fields | PASS | All receipt types include the common machine fields and human questions, with explicit parity rule |
| LPR18 | Partition-history cases are complete and unexecuted | PASS | PH01-PH24 exactly, all analytical definitions with null actual_result |
| LPR19 | Every partition case preserves competing histories and a bounded unresolved state | PASS | Every case has History A, History B, contested facts, unsafe shortcuts, and a non-full maximum state while unresolved |
| LPR20 | Legibility dimensions have complete paired unexecuted fixtures | PASS | LE01-LE18 with one positive and one negative null-result fixture each |
| LPR21 | Legibility evaluation forbids compensatory scoring | PASS | Explicit no-composite rule and every dimension a non-compensable hard gate |
| LPR22 | Invalidation triggers specify propagation, revalidation, and history preservation | PASS | IV01-IV20, each with propagation and restoration gate, plus an append-oriented history rule |
| LPR23 | Truth boundaries preserve unknown, non-observation, and non-certification states | PASS | All required uncertainty concepts are explicit; UNKNOWN and NOT_REOBSERVED remain typed |
| LPR24 | Local conformance does not transfer external or constitutional authority | PASS | Truth boundaries explicitly deny external production/certification implications and cross-project authority transfer |
| Input | SHA-256 |
|---|---|
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 |
Repository implementation and local execution remain local evidence classes. They do not establish external adoption, production behavior, legal recognition or independent certification.
The v0.18 local property run records exact input hashes, deterministic check results, script identity, and explicit limitations.
Evidence owner: exact Concresca repository registries and, only where stated, the deterministic local run record.
Repository-local design or execution evidence only; it does not establish external adoption, live shared interoperability, production restoration, legal recognition, or independent certification.NO JUDGMENT WHATSOEVER. Concresca coordinates without assigning moral worth, character, guilt, danger, trustworthiness, loyalty, purity, normality, or social standing. Questions, thoughts, identities, messages, content, and conduct are not objects of Concresca judgment.