{"id":51891443,"url":"https://github.com/coldbricks/charm13","last_synced_at":"2026-07-26T04:30:25.526Z","repository":{"id":371038025,"uuid":"1298504151","full_name":"coldbricks/charm13","owner":"coldbricks","description":"Notes on budgeted adaptive inspection in finite models. Exact envelopes G2(K)=1-1/K. Certificates. Engineering corollary for habitat cover.","archived":false,"fork":false,"pushed_at":"2026-07-12T22:14:56.000Z","size":46028,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-07-13T00:08:36.436Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/coldbricks.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":"SECURITY.md","support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-07-12T17:54:14.000Z","updated_at":"2026-07-12T22:15:00.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/coldbricks/charm13","commit_stats":null,"previous_names":["coldbricks/charm13"],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/coldbricks/charm13","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coldbricks%2Fcharm13","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coldbricks%2Fcharm13/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coldbricks%2Fcharm13/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coldbricks%2Fcharm13/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/coldbricks","download_url":"https://codeload.github.com/coldbricks/charm13/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coldbricks%2Fcharm13/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":35901460,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-07-20T02:08:10.276Z","status":"online","status_checked_at":"2026-07-26T02:00:06.503Z","response_time":89,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2026-07-26T04:30:25.041Z","updated_at":"2026-07-26T04:30:25.517Z","avatar_url":"https://github.com/coldbricks.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/boilermaker-banner.svg\" alt=\"CHARM13\" width=\"920\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/landing_hero.png\" alt=\"CHARM13 finite-model inspection geometry\" width=\"920\"/\u003e\n\u003c/p\u003e\n\n---\n\n## Field guide: CHARM13 and budgeted inspection\n\n### Positioning\n\nCHARM13 is an engineering system for **habitat camouflage evaluation and construction** around encrypted volumes, together with a finite-model research program on **budgeted adaptive distinguishability** of attributed filesystem trees.\n\nIt does not introduce a new cipher. Confidentiality of bytes is external L0 (e.g. VeraCrypt). CHARM13 owns cover naturalness, detection, and refuse-on-blown.\n\n| Layer | Role | Owner |\n|-------|------|--------|\n| Cryptographic ciphertext | Secrecy of content | External L0 (VeraCrypt, etc.) |\n| Cover / habitat story | On-disk narrative | CHARM13 forge + inspect |\n\nMost tools stop at the ciphertext. CHARM13 runs **construct → measure → refuse**.\n\nFull field notes: [`docs/FIELD_GUIDE.md`](docs/FIELD_GUIDE.md). Doctrine: [`docs/MASTER.md`](docs/MASTER.md). T1 budget: [`docs/T1_BUDGET.md`](docs/T1_BUDGET.md).\n\n```text\npip install -e .\ncharm doctor\ncharm bench\ncharm forge -o D:\\packs\\demo -t photo_library --placeholder -s 1024 --force\ncharm smell D:\\packs\\demo -t photo_library\n```\n\n---\n\n## Preface (mathematical notes)\n\nThese notes develop the comparison between **adaptive** and **nonadaptive** observation under a fixed look budget $B$, measured in total variation of transcript laws. The ambient setting is finite. Queries are maps $q\\colon W\\to Y_q$. Unless otherwise stated they are *open*: globally addressable, of unit cost, and non-destructive.\n\nThe principal quantity is the worst-case additive gap at budget two under active arity at most $K$:\n\n$$\nG_2(K)=\\sup\\bigl(D_2^{\\mathrm{ad}}-D_2^{\\mathrm{na}}\\bigr)=1-\\frac1K.\n$$\n\nThe identity is proved inside the frozen model below and is attained by an explicit construction. Whether the package is new relative to the broader literature on sequential testing and costly feature acquisition is left open; the abstract existence of adaptive gains is classical. What is collected here is a closed finite theory: flattening, root-arity, equality classification of the binary extremizer, habitat-shaped closed forms, exact rational certificates, and the consequences for a static detection checklist used as engineering quality control.\n\nWe do not claim laboratory (T4) hardness, a new cipher, or a probabilistic interpretation of severity scores.\n\n**Contents of the mathematical part.**  \n[`research/THEOREMS.md`](research/THEOREMS.md) (catalog) · [`research/m5/SEED_THEOREMS.md`](research/m5/SEED_THEOREMS.md) (proofs) · [`research/LADDER_MASTER.md`](research/LADDER_MASTER.md) (missions M4–M18).\n\n---\n\n## §1. Notation\n\nLet $W$ be a finite set of worlds and let $P,Q$ be probability distributions on $W$. Write $\\mu=P-Q$ for the signed mass and\n\n$$\nr=\\bigl|\\\\{w:\\mu(w)\\ne 0\\\\}\\bigr|\n$$\n\nfor the size of the active support. A *policy of budget $B$* is either adaptive (a decision tree of depth at most $B$) or nonadaptive (a fixed collection of at most $B$ queries). The quantities $D_B^{\\mathrm{ad}}(P,Q)$ and $D_B^{\\mathrm{na}}(P,Q)$ are the respective maximal transcript total variations.\n\n---\n\n## §2. Principal results (OPEN model)\n\n### Theorem (Flattening).\n\nIf $r\\le B+1$, then\n\n$$\nD_B^{\\mathrm{ad}}(P,Q)=D_B^{\\mathrm{na}}(P,Q).\n$$\n\nIn particular, a strict adaptivity gap at budget two requires at least four active worlds.\n\n### Theorem (Root-arity and sharp gap).\n\nIf every query has active arity at most $K$, then\n\n$$\nD_2^{\\mathrm{ad}}\\le K\\\\,D_2^{\\mathrm{na}},\n\\qquad\nD_2^{\\mathrm{ad}}-D_2^{\\mathrm{na}}\\le 1-\\frac1K.\n$$\n\nBoth bounds are sharp: there exists a finite system with $D_2^{\\mathrm{ad}}=1$ and $D_2^{\\mathrm{na}}=1/K$. Consequently\n\n$$\n\\boxed{G_2(K)=1-\\dfrac{1}{K}.}\n$$\n\n### Theorem (Binary extremizer).\n\nFor $K=2$ the additive gap is at most $1/2$. Among four-world, binary, OPEN systems attaining the bound, the extremal geometry is unique up to the natural symmetries and coincides with the four-world *butterfly* recorded in the M4/M5 notes.\n\n### Remark (Priority).\n\nThe sharp seed package is proved in the frozen model. Its literature priority is unresolved. Residual contributions emphasized here are support flattening, the exact root-arity envelope, equality classification, habitat closed forms, and the engineering corollaries in §6.\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/equation_wall.png\" alt=\"Identity wall\" width=\"920\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/formalism_board.png\" alt=\"Signed-measure formalism\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/theorem_board.png\" alt=\"Flattening and sharp budget-two law\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/address_construction.png\" alt=\"Address matching construction\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/butterfly_board.png\" alt=\"Four-world butterfly extremizer\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/formula_sheet.png\" alt=\"Closed-form board\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/adaptivity_gap_B2.png\" alt=\"Budget-2 adaptivity envelope\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_gap_growth.gif\" alt=\"Gap growth\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_gap_to_one.gif\" alt=\"G2 approaches 1\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_dual_envelope.gif\" alt=\"Dual envelopes\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_gap_surface_3d.gif\" alt=\"3D Gap_B(k) surface\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_g2_support_3d.gif\" alt=\"3D G2(K,r) envelope sketch\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n---\n\n## §3. Formal apparatus\n\n$$\n\\mu:=P-Q,\\quad\n\\sum_{w\\in W}\\mu(w)=0,\\quad\nS_\\mu=\\\\{w:\\mu(w)\\ne0\\\\},\\quad\nr=|S_\\mu|.\n$$\n\n$$\nV_\\mu(\\Pi)=\\frac12\\sum_{C\\in\\Pi}|\\mu(C)|\n=\\mathrm{TV}(\\mathrm{Law}_P T,\\mathrm{Law}_Q T).\n$$\n\nBayes bridge (weighted classification trees):\n\n$$\nM(w,0)=\\tfrac12 P(w),\\\\;\nM(w,1)=\\tfrac12 Q(w),\\qquad\nV_\\mu(\\Pi)=1-2R(\\Pi),\n$$\n\n$$\nD_B^{\\mathrm{ad}}=1-2R_B^{\\mathrm{tree}},\\qquad\nD_B^{\\mathrm{na}}=1-2R_B^{\\mathrm{static}}.\n$$\n\nRoot-arity proof core: $V(\\pi)=\\sum_{i=1}^k v_i$ and $D_2^{\\mathrm{na}}\\ge\\max_i v_i$, hence\n\n$$\nD_2^{\\mathrm{ad}}\\le K\\\\,D_2^{\\mathrm{na}},\\qquad\nD_2^{\\mathrm{ad}}-D_2^{\\mathrm{na}}\\le\\Bigl(1-\\frac1K\\Bigr)D_2^{\\mathrm{ad}}\\le 1-\\frac1K.\n$$\n\nMatching address family $W_K=\\\\{(i,x):i\\le K,\\\\;x\\in\\\\{0,1\\\\}^K\\\\}$:\n\n$$\nP(i,x)=\\frac{\\mathbf{1}_{x_i=0}}{K\\\\,2^{K-1}},\\quad\nQ(i,x)=\\frac{\\mathbf{1}_{x_i=1}}{K\\\\,2^{K-1}},\\quad\ng(i,x)=i,\\\\; b_j(i,x)=x_j.\n$$\n\n**Remark (cyclic gate; pedagogical).** The gate $g$ is a closed cyclic menu of $K$ branches. An adaptive policy of budget two names a branch on the cycle, then reads the bit on that branch. A nonadaptive policy may fix at most two queries and obtains total variation $1/K$. When $K=12$, circle-of-fifths labels are a mnemonic only. The matching of upper bound and construction closes the argument: $G_2(K)=1-1/K$. See [`research/ANALOGUES.md`](research/ANALOGUES.md).\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/cyclic_gate_ouroboros.png\" alt=\"Cyclic gate: address construction\" width=\"640\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_cyclic_gate.gif\" alt=\"Adaptive walk on the cyclic gate\" width=\"480\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/ouroboros_gap.png\" alt=\"G2(K) approaches 1\" width=\"860\"/\u003e\n\u003c/p\u003e\n\nGain-sensitive support bound and open curve:\n\n$$\nD_2^{\\mathrm{na}}\\ge V_0+\\max_i g_i,\\qquad\nm\\le\\min\\Bigl\\\\{K,\\Big\\lfloor\\tfrac r2\\Big\\rfloor\\Bigr\\\\},\n$$\n\n$$\nG_2(K,r)=\\sup\\bigl\\\\{D_2^{\\mathrm{ad}}-D_2^{\\mathrm{na}}:\\mathrm{arity}\\le K,\\\\;|S_\\mu|\\le r\\bigr\\\\}.\n$$\n\nKnown anchors: $G_2(K,r)=0$ for $r\\le 3$; $G_2(2,4)=1/2$; $G_2(K,\\infty)=1-1/K$. Exact intermediate surface mostly open.\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/stability_board.png\" alt=\"Stability and G2(K,r)\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/support_curve.png\" alt=\"Support-constrained envelope sketch\" width=\"860\"/\u003e\n\u003c/p\u003e\n\nFull write-up: [`research/THEOREMS.md`](research/THEOREMS.md) · analytic proofs: [`research/m5/SEED_THEOREMS.md`](research/m5/SEED_THEOREMS.md).\n\n---\n\n## §4. Habitat-shaped families\n\nThe following closed forms describe filesystem-shaped query geometries. They are applications of the general apparatus, not replacements for the sharp law $G_2(K)$.\n\n**$k$-pair (which-then-bit).** Uniform random branch; payload bit differs under the two hypotheses; off-branch bits return $\\mathtt{na}$. Adaptive with budget two achieves TV $=1$; best nonadaptive suite of budget two achieves $2/k$. Gap $1-2/k\\to 1$. Myopic “strongest local check first” never opens with the branch query; ratio $k/2\\to\\infty$.\n\n**All fixed budgets.** On the same family, for every $B\\ge 2$:\n\n$$\nD_B^{\\mathrm{ad}}=1,\\qquad D_B^{\\mathrm{na}}=\\frac{\\min(B,k)}{k},\\qquad \\mathrm{Gap}_B(k)\\to 1\\ (k\\to\\infty).\n$$\n\nA fixed-size checklist cannot uniformly bound adaptive risk across branching factors.\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/gap_all_B.png\" alt=\"Gap for multiple budgets\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/habitat_forms.png\" alt=\"Habitat closed forms\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n**Parity payloads.** Local bit marginals matched; global parity differs per branch. Perfect adaptive separation costs $B^\\star_{\\mathrm{ad}}=1+m$; perfect nonadaptive separation costs $B^\\star_{\\mathrm{na}}=k\\cdot m$. Ratio unbounded in $k$:\n\n$$\n\\frac{B^\\star_{\\mathrm{na}}}{B^\\star_{\\mathrm{ad}}}=\\frac{km}{m+1}\\to\\infty.\n$$\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_budget_race.gif\" alt=\"Adaptive vs nonadaptive budget race\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_parity_ratio_3d.gif\" alt=\"3D parity budget ratio surface\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n**Capacity zero.** Under adaptive inspection with $B\\ge 2$ on the $k$-pair family, indistinguishability capacity for any $\\varepsilon\u003c1$ is **zero**. Large branching helps checklists; it does not help against which-then-bit.\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_capacity_zero.gif\" alt=\"Capacity zero under adaptive inspection\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_greedy_blowup.gif\" alt=\"Myopic greedy blowup\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/greedy_ratio.png\" alt=\"Myopic greedy unbounded ratio\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n| Family | Role | Gap / separation |\n|--------|------|------------------|\n| Address construction (arity $K$) | **Extremal law** | $G_2(K)=1-1/K$ |\n| $k$-pair | Habitat + greedy scar | $1-2/k$ at $B=2$ |\n| Parity ($m$-bit) | Budget race | $B^\\star_{\\mathrm{ad}}=1+m$ vs $B^\\star_{\\mathrm{na}}=km$ |\n\n---\n\n## §5. Certificates and figures\n\nThe identities above are accompanied by exact-rational machine checks.\n\n```powershell\npip install -e .\ncd research\\m5\\EXPERIMENTS\npython test_m5_exact.py    # G_2(K)=1-1/K, butterfly, support\npython test_m5.py          # k-pair closed forms + greedy\ncd ..\\..\\ladder\npython run_ladder.py\npython run_ladder_high.py\ncd ..\\m4\\EXPERIMENTS\npython test_certificates.py\n```\n\nOn success: for $K=2,\\ldots,7$ one has $\\mathrm{ad}=1$ and $\\mathrm{na}=1/K$; for the $k$-pair family with $k=2,\\ldots,12$ one has $\\mathrm{na}=2/k$. Figures and animations under `assets/figures/` may be regenerated by `python assets/render_figures.py` and `python assets/render_animations.py`.\n\n---\n\n## §6. Application: habitat cover construction\n\nEncrypted volumes secure the confidentiality of bytes; they do not, by themselves, secure the *narrative* those bytes present on disk. The software layer collected in this repository constructs habitat-shaped cover trees, subjects them to a deterministic detection oracle, and refuses emission when the cover is judged blown. The cipher (Layer 0) is external. Cover construction and the refuse rule are internal.\n\nThe design may be read as a load path: construction (`forge`), inspection (`charm smell`), and a dual refuse gate. Severity aggregation is a monoid on ordinal weights, not a posterior probability of forgery. Laboratory-scale adversaries (T4) are excluded from the sealed claims. Static inspection is a nonadaptive checklist: necessary quality control, not a substitute for the adaptive envelopes of §§2–4.\n\n```text\ncharm doctor\ncharm bench\ncharm templates\ncharm forge -o D:\\packs\\demo -t photo_library --placeholder -s 1024 --force\ncharm smell D:\\packs\\demo -t photo_library\ncharm explain score_semantics\ncharm explain adaptive_t1\ncharm explain gate_before_local\n```\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/anim_loop.gif\" alt=\"FORGE → SMELL → REFUSE\" width=\"720\"/\u003e\n\u003c/p\u003e\n\n### Score semantics (binding)\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/figures/score_dual_gate.png\" alt=\"Dual refuse gate\" width=\"860\"/\u003e\n\u003c/p\u003e\n\n```text\nblown_score = 1 − Π_i (1 − w_sev(i))     # bad=0.55, warn=0.25, info=0.05\nrefused     = (∃ finding with severity bad)  ∨  (blown_score ≥ 0.6)\n```\n\n| Fact | Implication |\n|------|-------------|\n| Weights are ordinal | Not calibrated likelihoods or posteriors |\n| Product is a monoid | Commutative severity aggregation, not $\\mathbb{P}(\\text{generated})$ |\n| Dual gate | One bad finding alone scores 0.55 and still refuses |\n| Clean report | Necessary for refuse automation—not a full adaptive T1 bound |\n\nDoctrine: [`docs/T1_BUDGET.md`](docs/T1_BUDGET.md) · naturalness: [`docs/NATURAL.md`](docs/NATURAL.md) · master: [`docs/MASTER.md`](docs/MASTER.md)\n\n---\n\n## §7. Threat model (load cases)\n\n| Case | Adversary | Claim |\n|------|-----------|--------|\n| **T0** | Glancing human | Strong on implemented tells |\n| **T1** | Curious technical peer, short session | Improves cost of casual tells; static inspection is nonadaptive; see `docs/T1_BUDGET.md` |\n| **T2** | Offline stolen disk | Crypto holds if L0 holds; cover may affect prioritization only |\n| **T3** | Compelled password | Not claimed until CELLAR is complete |\n| **T4** | Laboratory process and time | **No claim.** |\n\n---\n\n## Habitats\n\n| Template | Narrative |\n|----------|-----------|\n| `adobe_cache` | Media cache debris (default) |\n| `steam_depot` | Local depot fragment |\n| `vm_disk` | VM metadata + disk-like blob |\n| `photo_library` | Managed library store |\n| `sql_backup` | Database dump handoff |\n| `docker_cache` | Overlay / layer residue |\n| `mail_store` | Mailbox export slice |\n| `iso_mirror` | Install media fragment |\n| `incomplete_download` | Interrupted transfer |\n| `wgs_lab` | Optional sequencing pack habitat |\n| `generic` | Untyped bulk |\n\nNaturalness is **habitat-relative**. Opaque extensions for non-genuine formats. Specialist names require magic and membership. Famous public sample IDs forbidden as decoration. Published checksums must match bytes.\n\n---\n\n## Commands\n\n| Command | Purpose |\n|---------|---------|\n| `charm forge` | Build habitat tree + optional volume / placeholder |\n| `charm smell` | Inspect tree: findings, severity score, dual refuse |\n| `charm bench` | Calibration fixtures (known-bad must blow) |\n| `charm explain [code]` | Finding catalog |\n| `charm doctor` | Environment + doctrine pointers |\n| `charm templates` | List habitats |\n| `charm which-vc` | Locate VeraCrypt |\n\nForge refuses blown covers by default. `--i-know` is an informed override. `--write-seed` is off by default. Size ceilings require `--unsafe-size` when deliberately exceeded.\n\n---\n\n## Research ladder (M4–M18)\n\n| Band | Content |\n|------|---------|\n| M4 | Finite adaptive gap certificates, score hygiene, witnesses |\n| M5 | Flattening, root-arity, $G_2(K)=1-1/K$, butterfly uniqueness, $k$-pair |\n| M6–M9 | All-$B$ envelopes, greedy failure, checklist incompleteness, capacity zero |\n| M10–M13 | Closed forms vs DP, doctrine pack, parity budgets, unbounded separation |\n| M14–M18 | Nesting, score–LR reversals, query complexity, randomized NA, mega-pack |\n\nReproduce: ladder runners + M4/M5 test suites. Static and animated figures are first-class artifacts of the certificates, not decoration.\n\n**Open frontier.** Support-constrained curve $G_2(K,r)$; equality for $K\u003e2$; sharp $G_B(K)$ for $B\\ge 3$; guarded compilation; Lean formalization of the seed package; completed primary-source collision.\n\n---\n\n## Explicit non-goals\n\n- Inventing or “improving” ciphers  \n- Probability-of-generation marketing for `blown_score`  \n- Operational guidance for concealing material from forensic inspection  \n- Exhaustive file-type encyclopedias  \n- T4 claims under any packaging  \n- Literature-novelty press language for the sharp seed package  \n\n---\n\n## §8. Software layout (abbreviated)\n\n```text\ncharm\n├── forge      construction sequence + refuse joint\n├── smell      as-built detection oracle + severity monoid + dual gate\n├── props      habitat members (decoy trees)\n├── caliper    size bands / opaque payload policy\n├── ecology    specialist families + habitat membership\n├── forgery    seeded identity fields\n├── kernel     foundation L0 (VeraCrypt create)\n├── bench      known-bad load tests\n└── catalog    detail catalog (explain surface)\n```\n\nProcess: [`docs/SKUNKWORKS.md`](docs/SKUNKWORKS.md) · security: [`SECURITY.md`](SECURITY.md) · field notes: [`docs/FIELD_GUIDE.md`](docs/FIELD_GUIDE.md)\n\n---\n\n## Colors\n\n**Purdue black** `#000000` / `#0A0A0A` · **old gold** `#CFB991` · Boiler Up.\n\n## Colophon\n\n**David Lombardo** · MIT License · v0.3.8  \n[github.com/coldbricks/charm13](https://github.com/coldbricks/charm13)\n\nAll mathematical claims are relative to the finite models named in the text. Open questions are listed in the theorem catalog.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoldbricks%2Fcharm13","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcoldbricks%2Fcharm13","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoldbricks%2Fcharm13/lists"}