Office of Method

Office of Method is an independent laboratory for difficult work across mathematics, systems, intelligence, learning, writing, practice and ventures.

The subjects change. The method does not.

Projects begin with a problem, move through research and construction, encounter evidence and failure, and end—when they end at all—with an artifact and a record of what changed.

Current formal work

FRAG005 is an active long-form mathematical manuscript developing recursive compressibility and MDL-style formalization. The current program includes executable reference semantics, finite-instance certification and Lean formal verification alongside the mathematical argument.

J. Bentley Tar

Office of Method is edited and operated under the name J. Bentley Tar. The name is used for the laboratory's public authorship and publication work.

The work is intended to stand on its evidence rather than on a fabricated biography. No false employers, degrees, affiliations, clearances or credentials are claimed under the pen name.

Method

problem → research → model → build → test → failure → revision → artifact → postmortem

The laboratory is interested particularly in the parts that polished accounts tend to remove: what was believed before a test, what evidence changed the model, which requirements were wrong, what failed under audit, and when stopping became the correct result.

Publication boundary

Not everything produced by Office of Method is public. Material may be public, member-only, commercial, confidential or embargoed. Commercial software and products remain distinct from the publication merely because their development is documented here.