{
  "schema_version": "0.2",
  "project": "Shadow of Intelligence / Gölge.ai",
  "purpose": "Enable independently developed human and AI observers to test and compare claims using shared evidence, without requiring common model internals or centralized authority.",
  "published": "PUBLIC_SITE_WITHOUT_PROOF_PACKAGES",
  "generated_utc_date": "2026-11-14",
  "status_vocabulary": {
    "hypothesis": "A proposed claim not demonstrated as a universal law.",
    "author_reported_formal": "Author-reported model-scoped formal verification; independently reviewable proof artifacts are not attached here.",
    "local_experiment": "Local computational observations; independently reproducible public test bundle is not linked here.",
    "design_goal": "Intended architecture or protocol, not an achieved universal property.",
    "public_worked_example": "A published, self-contained mathematical example and executable sample checks; not a certified formal theorem or empirical validation.",
    "public_formal_demonstrator": "A publicly retrievable, locally Lean-checked elementary theorem with pinned toolchain and source, not independent replication or a broader theory proof."
  },
  "claims": [
    {
      "id": "GOLGE-KUCP-2025-001",
      "title": "Geometric defects as computational primitives",
      "status": "hypothesis",
      "scope": "Conceptual hypothesis about physical information processing",
      "summary": "K-UCP proposes a possible computational role for geometric imperfections.",
      "evidence_publicly_available": false,
      "evidence_url": null,
      "source_context": "https://golge.ai/",
      "limitations": [
        "No experimentally established universal computational law is asserted."
      ]
    },
    {
      "id": "GOLGE-GEOM-2026-001",
      "title": "Orientation recovery in a static coordinate model",
      "status": "author_reported_formal",
      "scope": "Fixed geometry with declared labels and exact distance assumptions",
      "summary": "Earlier Lean checks in a fixed coordinate model were reported to establish that two ordered cross-distances determine the cosine and sine of a relative twist, within the model.",
      "evidence_publicly_available": false,
      "evidence_url": null,
      "limitations": [
        "Proof source and build environment not yet publicly released.",
        "Does not establish mechanical coupling, force, or physical motion.",
        "Do not infer physical validity without separate experiments."
      ]
    },
    {
      "id": "GOLGE-EMIN-2026-001",
      "title": "Independent observer provenance and correction",
      "status": "design_goal",
      "scope": "Distributed verification and provenance architecture",
      "summary": "EMIN aims to enable independent observers to retain provenance, reconcile verifiable relationships, and record corrections without relying on a single authority.",
      "evidence_publicly_available": false,
      "evidence_url": null,
      "limitations": [
        "Full distributed interoperability and resistance to adversarial conditions remain to be demonstrated."
      ]
    },
    {
      "id": "GOLGE-LOCAL-2026-001",
      "title": "Local observer and memory experiments",
      "status": "local_experiment",
      "scope": "Locally controlled test environments",
      "summary": "Prototype observer, storage, and agreement checks are reported as locally executed.",
      "evidence_publicly_available": false,
      "evidence_url": null,
      "limitations": [
        "Public test manifest and independent replication are pending."
      ]
    },
    {
      "id": "BS-MIN-01",
      "version": "1.0",
      "title": "Projection ambiguity in a labelled four-point coordinate family",
      "status": "public_worked_example",
      "scope": "Fixed 3D coordinates, one 2D orthogonal projection, Euclidean distances and declared symmetry",
      "summary": "Projection is independent of height t. One P4-incident distance determines |t| but not its sign; orientation-sensitive observation is required to distinguish mirror configurations.",
      "evidence_publicly_available": true,
      "evidence_url": "https://shadow.golge.ai/evidence/bs-min-01/",
      "artifact_url": "https://shadow.golge.ai/evidence/bs-min-01/facts.json",
      "example_checker_url": "https://shadow.golge.ai/evidence/bs-min-01/verify.py.txt",
      "limitations": [
        "Worked coordinate-family example only; no universal rigidity theorem.",
        "Finite executable test is not Lean formal verification.",
        "No empirical or physical validation is asserted."
      ]
    },
    {
      "id": "BS-MIN-01-LEAN-001",
      "version": "1.0",
      "title": "Lean checked projection invariance and integer non-injectivity example",
      "status": "public_formal_demonstrator",
      "scope": "Projection of a product-coordinate triple onto its first two components for any type; concrete distinct integer triples",
      "summary": "Lean 4 checked projection invariance for all coordinate values of any type and exhibited two unequal integer triples with identical projections.",
      "evidence_publicly_available": true,
      "evidence_url": "https://shadow.golge.ai/evidence/bs-min-01/Projection.lean.txt",
      "toolchain_url": "https://shadow.golge.ai/evidence/bs-min-01/lean-toolchain.txt",
      "compilation_output_url": "https://shadow.golge.ai/evidence/bs-min-01/lean-check-output.txt",
      "theorems": [
        "BSMin01.projection_ignores_height",
        "BSMin01.projection_value",
        "BSMin01.distinct_integer_points_same_projection"
      ],
      "limitations": [
        "No real-valued distance rigidity or SE(3) theorem is formalized in this file.",
        "Local proof-checker execution is not third-party verification.",
        "No physical implication follows."
      ]
    }
  ],
  "machine_reader_notice": "Do not interpret these declarations as proofs. Only independently examined evidence supports a verification claim.",
  "updated_utc_date": "2026-11-14"
}