Menu
|-
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional SOC
| name | chalk-interner |
| description | |- |
The Chalk Interner pattern separates a type handle from its open form using a trait. Ty<I>(I::InternedTy) is the handle; TyKind<I> is the open enum with all variants. The Interner trait bridges them with intern_ty() and ty_data() — consumers only see Ty<I> and call .data(), never choosing the storage strategy. The embedder (rustc or tests) picks arena-interned integers, Box<TyKind>, or Arc.
Mapping to b00t: Ty<I> → Datum<S: DatumStore> handle, TyKind<I> → BootDatum, Interner → DatumStore trait, arena-interned → future irontology graph store, Box strategy → current HashMap<String, BootDatum> (eager), integer index → future SQLite rowid + lazy-load. A Chalk-style abstraction would let future stores be lazy (SQLite, Qdrant) without changing callers. The FOL/Horn clause connection: Chalk compiles Rust trait goals into Prolog-style Horn clauses; b00t's compile_datum_triples → graph_rules::derive → find_adjacent follows the same pattern.
Use the Chalk Interner pattern when designing a trait-based abstraction layer over multiple storage backends. Load this skill when working on the DatumStore trait, adding SQLite/Qdrant backends, or understanding how b00t's triple graph relates to type theory.
InternedTy (opaque storage) and methods intern_ty() / ty_data().Canonical b00t reviewer capability — adversarial multi-framework code/datum review. Shared across all harnesses (Claude Code, opencode, Hermes, b00t-cli). Loaded via: b00t learn reviewer, or by harness-specific role supplements.
Remove AI-generated artifacts from code. Three-phase certainty-graded cleanup. Use after any AI implementation session or before PR creation.
8-phase agile workflow — strategy→ideate→brainstorm→plan→work→review→compound→pulse. State machine with FOL-guarded transitions, gh-issues backlog, executable just harness. Inspired by everyinc/compound-engineering-plugin.
Australian crypto tax treatment per ATO guidance QC 53725. Crypto assets are CGT assets under ITAA 1997 s 108-5. Each disposal triggers CGT event A1. Covers personal-use exception, trading stock test, and the 50% CGT discount.
Australian R&D Tax Incentive (RDTI) — ITAA 1997 Division 355. Covers eligibility criteria for core and supporting R&D activities, registration with AusIndustry/IP Australia, expenditure categories, offset rates, and the company size threshold test.
Evidence graph construction for tax audit trails. Each Satisfies check emits EvidenceNode structs with Blake3 content hashes. Evidence chains are tamper-evident and link legislative citations to factual findings.