Expanse

Blast Permit Drafter

preview-b318.verified.foundry.dev

◆ Verified

Blast Permit StudioRidgeline Minerals · D&BDR

Planned blast

Stemming length (m)

8 m

Clearances

Permit packet◆ oracle-backed

BlastNW-B7 · Ring 12 · NW pit

Design78 holes · 165 mm · bench 7

Conditionexclusion-zone survey missing

Stemming8 m per design · design-cited

Blast method statementAssisted · review

The blast design specifies 8 m of stemming with the max instantaneous charge held below the vibration limit modelled at the village boundary. Charge-out follows the exclusion-zone survey and the shotfirer's misfire procedure per DMIRS Directive 0743.

Clearances · 3

Exclusion-zone survey Vibration & airblast model Misfire procedure

Policy citation · DMIRS Directive 0743 (v2025-09) · every field traces to a cited passage

blast_permit_drafter — register the Verified build as a typed, deterministic agent tool

◆Build the blast-permit drafter

Build the blast-permit drafter routed from Mission Control BLT-142. It needs to emit a DMIRS-conformant blast permit packet for a planned NW pit bench-7 production blast, attaching the exclusion-zone and vibration clearances.

Foundry14:02

Captured. I turned the request into a machine-checkable acceptance predicate — each clause is what the verifier will check, not prose. Two clauses are bounded to a formal oracle; one (the narrative) is not.

Foundry14:03

Decomposed into 5 bounded sub-tasks — each small enough to verify independently. The narrative step is explicitly not bounded; it will route to the Assisted tier.

Foundry14:04

Generated the test-oracle from the spec — not example tests, the predicate itself. 3 property checks + 1 formal check on the clearance-requirement invariant.

Foundry14:06

Built the schema-binding + rule engine. Boundable parts determinized into fixed, auditable code — the LLM ran once at compile-time, the runtime is deterministic.

Foundry14:07

Verifier-in-the-loop · iteration 1 — 4 cases failed: clearance table missed the secondary-blast path.

Foundry14:09

Iteration 2 — idempotency property tripped on date-normalization. Determinizing the date coercion.

Foundry14:11

Iteration 3 — formal invariant held; one schema fixture stale. Regenerated fixture from Codex.

Foundry14:13

Iteration 4 — all oracle checks pass. The bounded subset is Verified.

Foundry14:13

Honest coverage report. 88% of the spec is oracle-covered and Verified. I am naming what the oracle does NOT cover — no oracle theater. The narrative step auto-demotes to Assisted.

Foundry14:14

Independent agent reviewer — separate from the author. Read the diff + oracle.

Foundry14:14

Ready to ship the Verified subset. The Assisted narrative is gated to a human — cannot ship unverified.

Message Foundry…

j k appsh l tabsr verifyg o operate. actions⌘K commands? all keys