Zoom in: D003 (one control, to the byte, measured, and run) AIUC-1 conformance layer decks
One control followed from the bytes of the standard to a session measured against it, to the words the layer needed (granularity, vacuous, outside-only), to the grant per tool, to the policy it becomes, to a simulation that runs
Source: https://sgit.ai/demos/vaults/aiuc-1-conformance/decks/d003.html↗ · site v0.6.8 · this file is generated from the same content as the page, so the two cannot drift. Every page on this site has a .md twin; internal links below point at them.
Home↗ / Vaults↗ / AIUC-1 conformance layer↗ / Decks↗ / Zoom in: D003
Zoom in: D003, one control, to the byte, measured, and run
One control followed from the bytes of the standard to a session measured against it, to the words the layer needed (granularity, vacuous, outside-only), to the grant per tool, to the policy it becomes, to a simulation that runs
Read live out of vault 2wzct4k7 with its published read key. Use focus to drop the slide list when presenting, and PDF to download AIUC-1__Zoom-In-D003.pdf, decrypted in your browser, not fetched from a file server. How this works →↗
What this deck is doing
| The problem it starts from | A control passes and I cannot tell whether the pass means anything |
|---|---|
| What it answers | One control zoomed in: the bytes, the states with their granularity, the grant per tool, the policy it becomes, a simulation that runs |
| Vocabulary it introduces | granularity, the vacuous pass, outside-only, the grant per tool |
It ends on the question it does not answer, “Does the correspondence hold for B006 and D004, and who measures from outside?”.
Notes on this deck
Nothing has been written here yet. This section is the reason each deck has a page of its own: room for what the slides cannot carry, where the argument came from, what changed since, what an audience pushed back on, and any recording that narrates it.
← How RiskMandate.ai's insurance model works with AIUC-1↗ · All AIUC-1 conformance layer decks↗