Reference
These documents define maintained interfaces, methods, identities, and correctness boundaries. They are not generated from a captured run.
- Boolean–Wang witness correspondence How exact Boolean assignments are extended to Wang tilings and extracted again without coupling the generic solver to reduction semantics. Technical design · Current implementation
- Development principles and architecture boundaries How Tiling Foundry separates source data, derived state, native lifetimes, solvers, and independent verification. Architecture reference · Current implementation
- Native and Z3 solver comparison benchmark Reproducible protocol for comparing the native and Python Z3 decision paths. Benchmark protocol · Current protocol
- Native solver event trace and offline replay Bounded semantic events, full-state checkpoints, hash-bound transport, and presentation-only replay for native Wang solves. Data and rendering contract · Current implementation
- Observed-run dossiers and example index Run the offline demo and narrated checks, inspect a PDF dossier, or reproduce named v1 and v2 cases. Reproduction and report contract · Current implementation
- Project references Primary papers and authoritative references used by Tiling Foundry. Reference bibliography · Current reference policy
- Serial Wang solver and independent verification Domain propagation, deterministic search, ownership, diagnostics, and the independent verifier used by both native solver paths. Technical reference · Current implementation
- Solver optimization methodology and execution paths Stable correctness boundaries, measurement rules, and current mechanisms for the reference and optimized Wang solver paths. Methodology · Current methodology
- Square-to-hex presentation port Algebra, coordinate convention, inverse proof, and raster boundary for the verified presentation-only square-to-hex port. Technical reference · Current specification
- Static pipeline snapshots and explainable Wang views Versioned formula, tileset, and unassigned-region snapshots consumed by the isolated Wang renderer. Data and rendering contract · Current implementation
- Wang Z3 edge-table model Constraint model, correctness evidence, and before/after smoke measurement for the Wang Z3 edge-table oracle. Oracle model report · Current implementation
- Wang solution v1 data contract Versioned JSON contract and independent semantic checks for square Wang SAT witnesses. Data contract · Current specification
- Yang–Zhang formula-to-region builder Data flow, geometry, ownership, and tested invariants of the implemented formula-to-region builder. Implementation contract · Current implementation
- Yang–Zhang reduction explanation contract Native-produced signal, permutation, and gadget provenance for one formula-to-region construction. Data and rendering contract · Current implementation
- Yang–Zhang reduction: geometry and witness correspondence Mathematical conventions, project-specific geometry, and witness-level evidence for the implemented reduction. Technical note · Current implementation
Historical context
Historical material explains earlier decisions but does not define current behavior.