feat(lcos): rename public package and add export packaging

Author: erynoregon-rgb

CLAIMS.md

@@ -1,6 +1,6 @@
 # Claim Safety
 
-This toy package uses strict public-claim boundaries.
+This public proof package uses strict public-claim boundaries.
 
 LCOS-Core is a public reduced scaffold and proof-of-mechanism surface. It is
 not the private SKOS system, and it is not a claim of general safety or
@@ -19,17 +19,17 @@ production reliability.
 
 ## Safe claims
 
-- The toy ledger detects simple receipt-chain tampering in an append-oriented JSONL log.
-- The toy intake workbench produces accept/hold/reject decisions.
-- The toy router is deterministic and returns visible reasons.
-- The toy replay tool renders a timeline from receipt JSONL.
+- The receipt ledger detects simple receipt-chain tampering in an append-oriented JSONL log.
+- The intake workbench produces accept/hold/reject decisions.
+- The router is deterministic and returns visible reasons.
+- The replay tool renders a timeline from receipt JSONL.
 - The public positioning packet describes a fundable public scaffold, not the
   private substrate.
 
 ## Unsafe claims
 
 - Do not claim this package implements the private SKOS system.
-- Do not claim production routing quality from the toy router.
+- Do not claim production routing quality from the router.
 - Do not claim patent coverage from this repository alone.
 - Do not claim real operational validation from synthetic fixtures.
 - Do not claim the ledger is OS-enforced immutable or cryptographically signed.

CONTRIBUTING.md

@@ -2,7 +2,7 @@
 
 Thank you for your interest.
 
-This repository is currently maintained as a controlled toy public package.
+This repository is currently maintained as a controlled public proof package.
 
 ## Current contribution posture
 
@@ -15,4 +15,4 @@ This repository is currently maintained as a controlled toy public package.
 - Keep claims narrow and evidence-backed.
 - Prefer synthetic examples over operational data.
 - Do not add non-public system details.
-- Do not widen the repo from toy package to production claims.
+- Do not widen the repo from public proof package to production claims.

EMPLOYMENT_CONTRACT_MEMO.md

@@ -33,7 +33,7 @@ AI-assisted teams often run into hidden workflow failures:
 
 ## Public proof surface
 
-LCOS-Core is my public reduced scaffold for governed agentic runtime primitives. It demonstrates mechanism classes such as append-oriented receipt ledgers, typed decisions, deterministic toy routing, replay, schema-light validation, adversarial fixtures, and explicit public/private claim boundaries.
+LCOS-Core is my public proof scaffold for governed agentic runtime primitives. It demonstrates mechanism classes such as append-oriented receipt ledgers, typed decisions, deterministic routing, replay, schema-light validation, adversarial fixtures, and explicit public/private claim boundaries.
 
 ## Private research substrate
 

EVIDENCE_MAP.md

@@ -3,7 +3,7 @@
 What is implemented, where to find it, and what the tests prove.
 
 All claims are limited to the contents of this repository.
-This is a toy demonstration package — see CLAIMS.md for the full boundary.
+This is a public proof package — see CLAIMS.md for the full boundary.
 
 ---
 
@@ -13,9 +13,9 @@ This is a toy demonstration package — see CLAIMS.md for the full boundary.
 
 | | |
 |---|---|
-| Implementation | `src/lcos_toy/receipt.py`, `src/lcos_toy/ledger.py` |
+| Implementation | `src/lcos_public/receipt.py`, `src/lcos_public/ledger.py` |
 | Tests | `tests/test_ledger.py` |
-| CLI demo | `python -m lcos_toy.cli demo-ledger` |
+| CLI demo | `python -m lcos_public.cli demo-ledger` |
 
 What the tests prove:
 - Valid chain verifies (`test_append_only_chain_verifies`)
@@ -31,9 +31,9 @@ What the tests prove:
 
 | | |
 |---|---|
-| Implementation | `src/lcos_toy/decision.py`, `src/lcos_toy/intake.py` |
+| Implementation | `src/lcos_public/decision.py`, `src/lcos_public/intake.py` |
 | Tests | `tests/test_intake.py` |
-| CLI demo | `python -m lcos_toy.cli demo-intake examples/requests/simple_accept.json` |
+| CLI demo | `python -m lcos_public.cli demo-intake examples/requests/simple_accept.json` |
 
 What the tests prove:
 - Valid requests accept
@@ -49,9 +49,9 @@ What the tests prove:
 
 | | |
 |---|---|
-| Implementation | `src/lcos_toy/router.py` |
+| Implementation | `src/lcos_public/router.py` |
 | Tests | `tests/test_router.py` |
-| CLI demo | `python -m lcos_toy.cli demo-route "summarize this receipt"` |
+| CLI demo | `python -m lcos_public.cli demo-route "summarize this receipt"` |
 
 What the tests prove:
 - Router is deterministic across calls
@@ -66,7 +66,7 @@ What the tests prove:
 
 | | |
 |---|---|
-| Implementation | `src/lcos_toy/claim.py` |
+| Implementation | `src/lcos_public/claim.py` |
 | Tests | `tests/test_claim.py` |
 
 States: `OPEN → ACTIVE → HELD | COMPLETE`
@@ -93,7 +93,7 @@ What the tests prove:
 
 | | |
 |---|---|
-| Implementation | `src/lcos_toy/chain.py` |
+| Implementation | `src/lcos_public/chain.py` |
 | Tests | `tests/test_chain.py` |
 
 What the tests prove:
@@ -112,7 +112,7 @@ This is a structural guarantee, not a logged observation after the fact.
 
 | | |
 |---|---|
-| Implementation | `src/lcos_toy/execution.py` |
+| Implementation | `src/lcos_public/execution.py` |
 | Tests | `tests/test_execution.py` |
 
 What the tests prove:
@@ -129,9 +129,9 @@ What the tests prove:
 
 | | |
 |---|---|
-| Implementation | `src/lcos_toy/replay.py` |
+| Implementation | `src/lcos_public/replay.py` |
 | Tests | `tests/test_replay.py` |
-| CLI demo | `python -m lcos_toy.cli replay <path-to-ledger.jsonl>` |
+| CLI demo | `python -m lcos_public.cli replay <path-to-ledger.jsonl>` |
 
 ---
 

PROOF.md

@@ -9,7 +9,7 @@ This repository provides a reduced example of:
 - append-oriented receipt ledgers
 - hash-chain verification
 - typed decision states
-- deterministic toy routing
+- deterministic routing
 - replay and timeline rendering
 - schema-light intake validation
 - adversarial synthetic fixtures
@@ -33,8 +33,8 @@ Run:
 
 ```bash
 python -m unittest discover -s tests
-python -m lcos_toy.cli demo-ledger
-python -m lcos_toy.cli demo-route "audit this receipt"
+python -m lcos_public.cli demo-ledger
+python -m lcos_public.cli demo-route "audit this receipt"
 ```
 
 ## Claim boundary

PUBLIC_DISCLOSURE_NOTICE.md

@@ -1,6 +1,6 @@
 # Public Disclosure Notice
 
-This repository is a public toy package.
+This repository is a public proof package.
 
 It is intended to demonstrate engineering discipline, testing rigor, and
 claim-safe release practices. It is not intended to disclose non-public system
@@ -19,4 +19,3 @@ details, production configuration, or private implementation advantage.
 
 See `LICENSE`. Public visibility does not grant copying, modification, or
 distribution rights beyond the current license posture.
-

QUICKSTART.md

@@ -11,17 +11,17 @@ pip install -e .
 ## Run the demos
 
 ```bash
-python -m lcos_toy.cli demo-ledger
+python -m lcos_public.cli demo-ledger
 ```
 Expected: a hash-linked receipt timeline printed to stdout, ending with `valid=true count=2 issues=0`
 
 ```bash
-python -m lcos_toy.cli demo-intake examples/requests/simple_accept.json
+python -m lcos_public.cli demo-intake examples/requests/simple_accept.json
 ```
-Expected: `{"kind": "ACCEPT", "reason": "request is admissible in toy scope", ...}`
+Expected: `{"kind": "ACCEPT", "reason": "request is admissible in public scope", ...}`
 
 ```bash
-python -m lcos_toy.cli demo-route "summarize this audit receipt"
+python -m lcos_public.cli demo-route "summarize this audit receipt"
 ```
 Expected: `{"kind": "ACCEPT", "kernel_id": "receipt-kernel", "reason": "matched capability: receipt", ...}`
 
@@ -35,7 +35,7 @@ Expected: 48 tests pass across ledger, intake, router, replay, claim, chain, and
 ## Try the full path
 
 ```python
-from lcos_toy.execution import RequestRecord, GoverningExecutor
+from lcos_public.execution import RequestRecord, GoverningExecutor
 
 request = RequestRecord.create(
     request_id="qs-001",

README.md

@@ -1,4 +1,4 @@
-# LCOS-Core Toy Public Package
+# LCOS-Core Public Proof Package
 
 AI agents make claims about what they did. This is infrastructure for verifying
 those claims without trusting the agent's account.
@@ -15,7 +15,7 @@ those two.
 This is the self-contained public layer of a larger private research program.
 The part that can be cloned, run, and inspected independently.
 
-This package demonstrates a bounded toy implementation of receipt-gated governance
+This package demonstrates a bounded public proof implementation of receipt-gated governance
 primitives: append-oriented receipt logs, tamper-aware replay, typed decision states,
 claim lifecycle with transition receipts, gate-first execution, and public/private
 disclosure boundaries.
@@ -24,16 +24,16 @@ disclosure boundaries.
 
 ```bash
 python -m pip install -e .
-python -m lcos_toy.cli demo-ledger
-python -m lcos_toy.cli demo-intake examples/requests/simple_accept.json
-python -m lcos_toy.cli demo-route "summarize this audit receipt"
+python -m lcos_public.cli demo-ledger
+python -m lcos_public.cli demo-intake examples/requests/simple_accept.json
+python -m lcos_public.cli demo-route "summarize this audit receipt"
 python -m unittest discover -s tests
 ```
 
 Expected results:
 
 - `demo-ledger` — prints a hash-linked receipt timeline and confirms `valid=true`
-- `demo-intake` — returns `{"kind": "ACCEPT", ...}` for a well-formed toy request
+- `demo-intake` — returns `{"kind": "ACCEPT", ...}` for a well-formed public request
 - `demo-route` — returns a deterministic kernel routing decision with a visible reason
 - `tests` — all pass
 
@@ -48,7 +48,7 @@ This package demonstrates:
 - tamper-aware replay and timeline rendering
 - typed hold/escalate/reject/accept decisions
 - schema-light intake validation
-- deterministic toy routing with visible reasons
+- deterministic routing with visible reasons
 - claim lifecycle state machine (OPEN → ACTIVE → HELD | COMPLETE)
 - transition receipts with content-addressed IDs
 - claim receipt chains with deterministic recovery IDs
@@ -67,7 +67,7 @@ It intentionally does not include:
 
 Public equals mechanism class. Private equals mechanism advantage.
 
-This toy repository is a reduced example for review, hiring, grant, and
+This public proof repository is a reduced example for review, hiring, grant, and
 research-facing evaluation. It is not the full private system and should not be
 read as a publication of the decisive internal strategy.
 
@@ -77,12 +77,12 @@ future licensing posture are evaluated.
 ## Layout
 
 ```text
-src/lcos_toy/
+src/lcos_public/
   receipt.py       receipt record and content-addressed digest logic
   ledger.py        append-oriented JSONL ledger and verifier
   decision.py      typed decision objects (ACCEPT/HOLD/REJECT/ESCALATE)
   intake.py        schema-light governed intake workbench
-  router.py        deterministic toy router with visible reasons
+  router.py        deterministic router with visible reasons
   replay.py        audit/replay timeline renderer
   claim.py         claim state machine + TransitionReceipt emission
   chain.py         ClaimReceiptChain with deterministic recovery_id
@@ -127,9 +127,9 @@ docs/research/
 
 ```bash
 python -m pip install -e .
-python -m lcos_toy.cli demo-ledger
-python -m lcos_toy.cli demo-intake examples/requests/simple_accept.json
-python -m lcos_toy.cli demo-route "summarize this audit receipt"
+python -m lcos_public.cli demo-ledger
+python -m lcos_public.cli demo-intake examples/requests/simple_accept.json
+python -m lcos_public.cli demo-route "summarize this audit receipt"
 python -m unittest discover -s tests
 ```
 

RELEASE_PACKAGE_MANIFEST.md

@@ -1,4 +1,4 @@
-# LCOS-Core Toy Public Package Manifest
+# LCOS-Core Public Proof Package Manifest
 
 ## Package rule
 
@@ -10,7 +10,7 @@ Show the engineering spine. Hide the decisive strategy.
 - Receipt-chain verification
 - Audit/replay timeline renderer
 - Governed intake workbench
-- Deterministic toy router with visible reasons
+- Deterministic router with visible reasons
 - Contract-first JSON schemas
 - Synthetic adversarial fixtures
 - Unit tests for ledger, intake, routing, and replay
@@ -30,9 +30,9 @@ Show the engineering spine. Hide the decisive strategy.
 
 ```bash
 PYTHONPATH=src python3 -m unittest discover -s tests -v
-PYTHONPATH=src python3 -m lcos_toy.cli demo-ledger
-PYTHONPATH=src python3 -m lcos_toy.cli demo-intake examples/requests/simple_accept.json
-PYTHONPATH=src python3 -m lcos_toy.cli demo-route "audit this receipt"
+PYTHONPATH=src python3 -m lcos_public.cli demo-ledger
+PYTHONPATH=src python3 -m lcos_public.cli demo-intake examples/requests/simple_accept.json
+PYTHONPATH=src python3 -m lcos_public.cli demo-route "audit this receipt"
 ```
 
 ## Current validation result
@@ -44,6 +44,6 @@ PYTHONPATH=src python3 -m lcos_toy.cli demo-route "audit this receipt"
 
 ## Intended use
 
-This zip is a public-safe toy repository seed. It can be inspected, copied into
+This zip is a public-safe repository seed. It can be inspected, copied into
 a public repository, or used as a review artifact after the release decision is
 confirmed.

SECURITY.md

@@ -1,6 +1,6 @@
 # Security
 
-This repository is a toy public package and does not make production security
+This repository is a public proof package and does not make production security
 claims.
 
 ## Scope
@@ -12,11 +12,10 @@ claims.
 
 ## Reporting
 
-If you find an issue in this toy package, report it privately to the repository
+If you find an issue in this proof package, report it privately to the repository
 owner instead of opening a public exploit writeup first.
 
 ## Non-goals
 
 This package is not a production-grade security product. Treat it as a review
 artifact and educational scaffold.
-