VisiMark examples

Invoice: one that checks its own arithmetic

assertions, anchors

FinanceLinters

Line items, a payment schedule, early-payment terms and a reconciliation, all in one Markdown file. check recomputes every number and fails if any stored figure, or the schedule's total, disagrees.

See the example →

Invoice: imported from a CSV file

csv, imports

FinanceLinters

The line items live in a CSV and the document pins it by hash. Edit the CSV and the import goes stale until it is regenerated, so the figures cannot drift from their source.

See the example →

Build tool: test-suite sharding

ci, eval, build

Capacity plannersOperationsDevelopers

CI needs to split a test suite across parallel runners. Here the sharding policy is the document, and visimark eval is what CI reads to build the matrix.

See the example →

AI agent harness: a spending ledger

ai

AgentsDevelopersFinance

An autonomous coding agent needs a spending cap it cannot talk itself out of. The cap and the running spend live in a document the harness checks before the next tool call.

See the example →

Human error verifier: a deck joist calc

assertions

Engineering

A structural calc gets retyped between engineer, permit office and contractor, and every retyping risks a transposed digit. This sheet catches that before anyone builds the deck.

See the example →

Executable documentation: a pricing policy

eval

DevelopersBusiness

The pricing page, the sales deck and the billing config usually restate the same numbers until one lags a tier change. Here the policy's prose and the values billing reads are one file.

See the example →

Executable documentation: capacity planning

eval, json

FoundersCapacity plannersOperations

An operating budget where the worker-node count is derived rather than typed. The prose is the specification, the tables are its inputs, and eval hands the results to whatever needs them next.

See the example →

Safety net for stale artifacts: an onboarding dashboard

charts, svg, ci

FoundersLintersOperations

A funnel chart pasted into a slide looks current forever. Here the chart is a generated artifact of the document, and check refuses to let it disagree with the table beside it.

See the example →

Guarantee of artifact integrity

charts, svg, ci

FoundersOperationsScienceEngineering

A chart statement names columns the sheet already has. fmt draws the SVG and check proves the bytes on disk are still what the current table renders to, so the picture cannot quietly drift away from the numbers underneath it.

See the example →

Deal desk: five levers on one quote

eval, scenarios, assertions

BusinessFoundersSales

A quote with five scenario parameters and a set of guardrails. eval --scenario tries a combination for one run without writing anything, and check rejects any that breaks margin, discount, budget or capacity.

See the example →

Battery storage: a project a lender can sweep

simulate, units

FoundersBusinessFinance

A grid-scale battery modelled as its lender sees it, with covenants as assertions and five levers declared with lattices. visimark simulate asks all 576 questions on the grid and prints which covenant binds, which choices are ruled out whatever else is chosen, and the best feasible case.

See the example →

Runway plan: two assumptions swept

simulate, assertions

FoundersFinanceBusiness

A startup's cash runway with the raise and the number of new hires declared as ranges. visimark simulate asks every combination, reports which ones break the twelve-month requirement, and how far each lever moves the answer.

See the example →

Conference budget: attendees, ticket price and sponsors

simulate, assertions

BusinessOperations

A one-day conference with three levers swept and three rules for what works: the room fits, the day profits, and sponsors stay under half the revenue. simulate prints the cheapest ticket that still clears them all.

See the example →

Bakeoff stall: how many batches, at what price

simulate, assertions

BusinessFounders

A cookie stall with a budget, a profit goal and a limit on leftovers. The price and the number of batches are swept, and simulate names the combination that makes the goal and the ones that never can.

See the example →