{
  "brand": "Recursive Asterisms",
  "eventual_destination": "https://recursiveasterisms.com/",
  "state": "Static research exhibit; publication authorized by Ashley on 3 October 2026 UTC. Deployment receipt tracked separately.",
  "date": "2026-10-02",
  "authority": "Publish the reviewed static website at recursiveasterisms.com. No private engine, native app, paid AI or unrelated account changes.",
  "identity": "Recursive Asterisms / RA. Approved night-sky image with native text. No tree or replacement emblem.",
  "sources": [
    {
      "id": "3ecfa095894c8147ae79e270070cef70",
      "title": "\ud83d\udcac TRS Research Exchange \u2014 P vs NP \u2014 Check Notion",
      "revision": "2026-10-02T21:41:11.104Z",
      "url": "https://app.notion.com/p/3ecfa095894c8147ae79e270070cef70",
      "access": "Private Notion; permission required; fetched in website preparation"
    },
    {
      "id": "3ecfa095894c810ea625ed08e17671a2",
      "title": "\ud83e\udde9 TRS Lean Establishment Programme \u2014 All 52 Sources \u2014 Verification First",
      "revision": "2026-10-02T20:54:55.308Z",
      "url": "https://app.notion.com/p/3ecfa095894c810ea625ed08e17671a2",
      "access": "Owner explicitly authorized use of this programme in the website. Fetched directly. Anonymous visitor access has not been tested; sharing settings were not changed."
    },
    {
      "id": "3edfa095894c817cb9bee1580f986d4b",
      "title": "Shared Verified Mathematics \u2014 Opportunity Thesis & Pitch \u2014 2026-10-02",
      "revision": "2026-10-02T20:34:28.670Z",
      "url": "https://app.notion.com/p/3edfa095894c817cb9bee1580f986d4b",
      "access": "Private Notion; permission required; fetched in website preparation"
    },
    {
      "id": "3e9fa095894c8183b51aff01ac2802ad",
      "title": "\ud83d\udcf1 04 \u2014 Product Vision, Users, Workflows & Business Questions",
      "revision": "2026-09-30T01:52:46.902Z",
      "url": "https://app.notion.com/p/3e9fa095894c8183b51aff01ac2802ad",
      "access": "Private Notion; permission required; fetched in website preparation"
    },
    {
      "id": "3e9fa095894c81d696d3ef8f26107b84",
      "title": "\ud83d\udda5\ufe0f 11 \u2014 Product UX & Research Workflow",
      "revision": "2026-09-30T01:45:13.194Z",
      "url": "https://app.notion.com/p/3e9fa095894c81d696d3ef8f26107b84",
      "access": "Private Notion; permission required; fetched in website preparation"
    }
  ],
  "selected_replay": {
    "performed_by": "Parent presentation task",
    "recorded_utc": "2026-10-03T02:51:41.243519+00:00",
    "scope": "Selected frozen sources replayed locally using existing pinned dependencies; not a clean-machine or independent external review.",
    "positive_runs_passed": 17,
    "deliberate_false_controls_rejected": 8,
    "families": 4,
    "website_task_verification": "All 25 selected source files and stdout logs hash-matched the parent replay receipt. Lean was not rerun in this website task. No clean-machine or external certification.",
    "runs": [
      {
        "family": "HAB9",
        "source": "HAB9.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "cfe1f8d39620c7e52ae5b0c50e32633eddc0c90ea5a603640d60c604606ce765"
      },
      {
        "family": "HAB9",
        "source": "Audit.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "8feb706cfa3deab5c50e9342b9b522d02219d5822a3411cb1973a04c459c5e20"
      },
      {
        "family": "HAB9",
        "source": "HAB9Controls.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "b8ab91edd149e456c1c96b40c7318df78f566518e430147a3d04343aeadfad01"
      },
      {
        "family": "HAB9",
        "source": "Negative.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 1,
        "expected_exit_code": 1,
        "source_sha256": "83ed9f592ce8736416cc7e8566e47aca02ec5f3627a7f788e549fd22831afac5"
      },
      {
        "family": "ProtectedBCE",
        "source": "BoundaryLogic.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "c862c0b308240b37c769f13237ba0c826af83eac02a8ce335d0276099622c185"
      },
      {
        "family": "ProtectedBCE",
        "source": "PreservationComposition.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "dd6950a10a8b3c471457c8078273c1e63ab27589143e7cf9d65cb037e45b8109"
      },
      {
        "family": "ProtectedBCE",
        "source": "ProtectedBCE.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "744b263f9d85a320df30f004f3f2f2150ae357ebf59cda73ff462c4d142dca09"
      },
      {
        "family": "ProtectedBCE",
        "source": "BCEProjectedCount.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "af514a70730e4c3246c87ca8fff084e60c739db389944749287bc90cc65ff3ce"
      },
      {
        "family": "ProtectedBCE",
        "source": "BCETraceCheck.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "c92d682e0c8a62073c2bd66bb52c32a03e87a5695bb3ddd1c6f2ea686b8a799e"
      },
      {
        "family": "ProtectedBCE",
        "source": "BCEScopeCorollaries.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "bf006918c8651f129b74179e3ffe42e0f3444a5422004821604809d558d1dc42"
      },
      {
        "family": "ProtectedBCE",
        "source": "Controls.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "fb11e5afec1f5f52821633206a101403e35cfdc0f45b658d001238a9e9cc0e4d"
      },
      {
        "family": "ProtectedBCE",
        "source": "TraceControls.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "986a8abb3d4d676597642c30f6db9994ab8020c0d3b04b98017daf1574781acc"
      },
      {
        "family": "ProtectedBCE",
        "source": "NegativeContext.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 1,
        "expected_exit_code": 1,
        "source_sha256": "781e35e4a87c488f9d45570ef9d14f15594cce161e7d818595a642ac9c2f1dc2"
      },
      {
        "family": "ProtectedBCE",
        "source": "NegativeEmpty.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 1,
        "expected_exit_code": 1,
        "source_sha256": "9242f69236f6f5494b01fc08cc5a95833cc4de19260b7ae433e0109347111add"
      },
      {
        "family": "ProtectedBCE",
        "source": "NegativeFullCount.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 1,
        "expected_exit_code": 1,
        "source_sha256": "d8d6e8a96f64c55ffbb8b398087b0217c89de58c79593eb2d4ee1a365ba98b86"
      },
      {
        "family": "HornDecision",
        "source": "HornCore.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "ea30461ad1bd7de3bc738f716feeeb34a42aa9ee856b3422af522f28980f37d5"
      },
      {
        "family": "HornDecision",
        "source": "HornCNFBridge.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "0ab06c2e611bd484e54447605cf7914782ec29a7ad6b43a87f734d1b4da9f6d6"
      },
      {
        "family": "HornDecision",
        "source": "HornControls.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "5b3fe73c77460be00a0ab683c2256253a6b557901047e09b8ff66fb3f1e66b7b"
      },
      {
        "family": "HornDecision",
        "source": "NegativeHornConflict.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 1,
        "expected_exit_code": 1,
        "source_sha256": "87313a4b2bc43b5d7e6eaa17de01c7b165d4e4b75be7e3737d7570322af84799"
      },
      {
        "family": "BCESuffixFrame",
        "source": "SuffixFrame.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "34e2e4a80807f39b9cf0d21e2eee8ad02c70bebb7fb0247f732657e789ee9c24"
      },
      {
        "family": "BCESuffixFrame",
        "source": "PairSuffix.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "d34e0b0bfc705544ccee93a5b409b1f349f753c11efc9a004b98fceb8c4a8b2a"
      },
      {
        "family": "BCESuffixFrame",
        "source": "SuffixControls.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 0,
        "expected_exit_code": 0,
        "source_sha256": "24f2fa37e44961d028ab416b410a065bf4ecea4fd42a339d74045d78e9e738f7"
      },
      {
        "family": "BCESuffixFrame",
        "source": "NegativePeek.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 1,
        "expected_exit_code": 1,
        "source_sha256": "a3569bc4e303482ec24d89dc0b80bced6bd974dbcd4e3d45ce6afa882e51ba65"
      },
      {
        "family": "BCESuffixFrame",
        "source": "NegativePop.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 1,
        "expected_exit_code": 1,
        "source_sha256": "aaf706383bdbe817b0156abd705bf9ac548e447004dfad69f259f6d46f2475cb"
      },
      {
        "family": "BCESuffixFrame",
        "source": "NegativeResetRegion.lean",
        "source_matches_receipt": true,
        "stdout_matches_receipt": true,
        "recorded_exit_code": 1,
        "expected_exit_code": 1,
        "source_sha256": "076f419013c3c3a005f2e94721153b1aac59b6ebc18e371a2e579158d0de1956"
      }
    ],
    "receipt_identity": "work/trs-assignment/proof-checks/REPLAY_SUMMARY.json in coordinating workspace; not the mispackaged old 05_Verification_Receipt.json."
  },
  "public_only_boundary": "Summaries, theorem identifiers and selected receipt hashes only. No Lean sources, private engine, raw Notion content, credentials, expiring attachment links or executable research packages. Private Notion links require permission; they do not grant access.",
  "current_primary_references": [
    {
      "url": "https://lean-lang.org/doc/reference/latest/ValidatingProofs/",
      "use": "Distinguish proof validity from intended meaning; source checked during website preparation."
    },
    {
      "url": "https://leanprover-community.github.io/contribute/pr-review.html",
      "use": "Contribution review precedent; source checked during website preparation."
    },
    {
      "url": "https://openstax.org/books/chemistry-2e/pages/4-1-writing-and-balancing-chemical-equations",
      "use": "Conservation in balancing chemical equations; source checked during website preparation."
    }
  ],
  "quotation_content": {
    "file": "quotation-bank.md",
    "state": "Four candidate passages inspected in linked source texts; layout and publication unapproved. Complete 29-item list not authenticated.",
    "verification": "Web-tool source inspection, not automated source download. Local excerpt/metadata checks recorded separately."
  },
  "abbreviation": "RA",
  "teaching_episode": {
    "id": "RA-TEACH-PROTECTED-001",
    "file": "protected-clause-example.json",
    "description": "New finite example illustrating one protected blocked-clause deletion and witness repair",
    "source_relation": "Teaching illustration of B003/ProtectedBCE; not an imported historical input or new Lean proof",
    "verification": "Four Boolean assignments, three residual witness repairs and four negative controls checked locally",
    "implementation_status": "Implemented as a finite scripted browser episode; see website QA receipt. No Lean or model backend."
  },
  "motion_references": {
    "status": "Parent-reported frame observations. Website-task web fetches returned cache misses.",
    "urls": [
      "https://www.instagram.com/ml.swe/",
      "https://www.instagram.com/ml.swe/reel/Dd2qD8luARq/",
      "https://www.instagram.com/ml.swe/reel/DdWYSfbuA9i/"
    ],
    "use": "Explanatory principles only. Approved sky plate used for website atmosphere."
  },
  "visual_asset": {
    "file": "assets/night-sky.png",
    "sha256": "c6f7496181821071eacd4203183c9bb7eca91ec8364745dfa7cfdc8e70b5c6cd",
    "authority": "Latest owner approval relayed by coordinating chat; supersedes rejected mockup hold."
  },
  "programme_guide": {
    "source_id": "3ecfa095894c810ea625ed08e17671a2",
    "source_revision": "2026-10-02T20:54:55.308Z",
    "scope": "Attributed programme inventory, B002 dependency path, four evidence dimensions and B004/B005 cost correction. Not a new Lean replay or completion claim.",
    "baseline_files": 52,
    "claim_disposition_rows": 615,
    "initial_formalization_groups": 18,
    "programme_complete": false
  },
  "observatory_art": {
    "file": "assets/observatory-art.png",
    "sha256": "6c578f102de6caf8b95264dc5406bc4c4dc6dca2cf57edce899e72c9195c77b3",
    "method": "Built-in imagegen: new observatory composition followed by removal of text and navigation for native HTML typesetting.",
    "interpretation": "Atmospheric mathematical illustration; exact assignment geometry is separately rendered as native SVG.",
    "owner_acceptance": false
  },
  "cube_demonstration": {
    "source": "Accepted opportunity paper native SVG",
    "paper_html_sha256": "a51db7e692ad430eb4211d49f86e9e9191418f1941cc545957a603edcb88103b",
    "pdf_sha256": "ca330a8a9da7360b992f7bb9a25675455e20a6d84cf59d9e4fb5b2c7197bb0bc",
    "cube_states": 6,
    "no_paper_source_mutated": true,
    "formula": "(not x or y) and x",
    "protected_variables": [
      "z"
    ],
    "model_counts": [
      2,
      4,
      8
    ],
    "correct_trace": [
      "001",
      "101",
      "111"
    ],
    "wrong_order_output": "101 fails original",
    "verification": "Exhaustive eight-assignment Python check and browser state checks; no fresh Lean run."
  }
}