thinproof-runner

Overview ¶

Command thinproof-runner is the external test-runner container for issue #79's Task 0.3 thin offline proof: it exercises the fake-GitHub -> pkg/githubingest -> pkg/semantics -> pkg/codesignal path against a fake GitHub service reachable only at FAKE_GITHUB_BASE_URL (e.g. http://fake-github:8080 inside Compose), through a GuardedTransport that allows egress to that host only, and writes its findings to OUTPUT_PATH as JSON.

It deliberately does not assert pass/fail against a golden itself: that comparison happens host-side, in internal/acceptanceharness/thinproof/compose_acceptance_test.go, so the golden stays a committed, reviewable test fixture rather than a value baked into this binary.