layer-contract-doctrine SKILL.md skillA
layer-contract-doctrine from vibeic/vibe-ic is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add vibeic/vibe-ic/layer-contract-doctrine@git:20260726.e1f7625Pins git:20260726.e1f7625 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- vibeic/vibe-ic
- Path
vibe-ic-marketplace/plugins/vibe-ic/skills/layer-contract-doctrine/SKILL.md- Versions recorded
- 1
- Latest version
- git:20260726.e1f7625, committed Jul 26, 2026
- Size
- 25,023 bytes
- Repository stars
- 32
- License
- Apache-2.0
Read BEFORE authoring or revising an L-layer emitter, an L-layer schema field, or a layer gate. Answers the three questions no program can decide for you — WHICH of the 27 layers a given fact belongs in (the layer that CONSUMES it, not any layer that mentions it), WHETHER the thing you are specifying is structural (closed, enumerable, correct-by-construction, therefore a program) or behavioural (no unique correct implementation, therefore synthesis and not expansion), and WHETHER a declarative…
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# Layer Contract Doctrine **Purpose.** The L1-L27 corpus is a layered intermediate representation: natural language in, structured JSON through, RTL and back end out. Every gate we own checks a layer against a contract. Nothing in the tree states what the contract IS, so each author re-derives it, and each re-derivation is one more chance to put a fact in a layer that nothing downstream reads. This skill is that statement. It is deliberately short on things a program can check and long on the three judgements a program cannot make. Chip-AGNOSTIC: every rule below is a property of the layering, not of any design, PDK, vendor or part number. The measured evidence names L-doc fields, program files and line numbers — never a customer part. **Provenance — which parts are ours and which are borrowed.** Stated up front because the difference changes how much weight a section carries. | Section | Origin | |---|---| | §1 (Y-chart refinement, ESL/golden-model, MDA/MDE traceability, ABD) | **External.** Restated from an external survey of spec→RTL methodology, the same survey cited in the Provenance block of issue #377. Framing borrowed; not independently re-derived here. | …
Read the whole file at its exact version.
How to install
mdr add vibeic/vibe-ic/layer-contract-doctrine@sha256:4a0dfc7f485c014dThe line at the top of this page pins the label git:20260726.e1f7625, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_fuukr6yx22l7xmd2)
3 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 1 version of this file, committed on Jul 26, 2026.
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (25023 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
vibeic/vibe-ic · 32 stars · license Apache-2.0 · pushed 2026-11-08 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_fuukr6yx22l7xmd2 GET https://markdownregistry.com/api/v1/resolve?ref=vibeic/vibe-ic/layer-contract-doctrine GET https://markdownregistry.com/api/v1/blob/4a0dfc7f485c014daf3d44ddc81bc072a7957a53207ac92f1495dbd51e09476e
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.