LAB ATLAS
How is the Lab's work connected? A public map linking selected research programs, experiments, claims, tools, products, projects, publications, and evidence.
This is a curated map, not the complete institutional graph. A connection appears only when the public record explicitly declares it; the Atlas does not invent relationships from similar language, nearby layout, or conceptual resemblance.
OBJECTS 61
DECLARED CONNECTIONS 26
ITEM TYPES 8
RELATED PUBLIC MAP · V0.1 Research · Experiments · Claims · Tools · Products · Projects · Publications · Evidence
Atlas v0.1 is a maintained, bounded public map. It shows selected public objects and declared connections, not every durable Lab record or every possible relationship.The map intentionally leaves undeclared connections blank rather than guessing them.
RM Representational Mechanics WORKING_DISCIPLINE BT Boundary Theory INTERNAL_SYNTHESIS IM Information Mechanics WORKING_THEORY AG Schemathematics / Atlas Grammars REGISTERED_LANE ASM Agentic Scientific Method REGISTERED_LANE CHA Constructive Humanist Agentics PUBLISHED_SURFACE SCR Statistical–Computational Regime CROSS_LANE_EXPERIMENT
EXP-ATLAS-001 Proof-carrying mixed-regime atlas compiler completed bounded computational experiment EXP-ATLAS-002 Adversarial atlas compilation and recovery completed bounded computational experiment EXP-ATLAS-003 Dynamic atlas maintenance versus full recomputation completed bounded computational experiment EXP-ASM-001 Theory Transformation ISA heterogeneous compilation series completed bounded conceptual/formal comparative experiment EXP-ASM-002 Theory Machine v0.2 deterministic runtime fixture conformance planned bounded computational experiment EXP-ASM-003 Boundary Graph cross-domain architecture and recovery stress test planned / partially conceptual bounded formal-comparative experiment EXP-ASM-004 Epistemic architecture compatibility and privilege-separation control planned bounded computational/formal experiment
IM-C001 Possible, admissible, and reachable are distinct notions in the general formalism. candidate_foundational_separation IM-C002 Static admissible forgetting relative to an obligation can be expressed by factorization through the forgetting map. standard_factorization_pattern IM-C003 Testing can be modeled as interrogation/refinement of candidate equivalence and path structure. methodological_synthesis IM-C004 Relational database theory is a canonical calibration domain for the proposed vocabulary. programmatic_choice IM-C005 Schemathematics may be treated as reusable invariant form extracted from Information-Mechanical realizations. working_architecture IM-C006 Emergent promotion may be modeled by admissible quotienting of internal distinctions relative to higher-order dynamics. research_hypothesis IM-C007 For a declared obligation family, some effective boundary descriptions may be constructible as lawful reductions of more detailed state-transition systems. research_hypothesis IM-C008 Micro-to-macro scale change can be analyzed as representation transport whose defects are indexed by the protected distinctions and boundary obligations not preserved by the reduction. methodological_synthesis IM-C009 A typed ReductionAssessment profile may provide engineering value by standardizing machine-readable handoff metadata across native research records while leaving native semantics authoritative. durable_engineering_interchange_profile_bounded IM-C010 A typed WarrantEnvelope may improve cross-domain claim control by keeping observation regime, identifiability, evidence scope, inference bridge, assumptions, uncertainty, and claim ceiling distinct. methodological_engineering_candidate
BFL-MACH-AGENT-CONTROL Agent Control stable BFL-MACH-AGENTIC-ARTIFACT Agentic Artifact Protocol stable BFL-MACH-ARCHITECTURE-OBSERVATORY Architecture Observatory candidate BFL-MACH-BLF-TRANSLATION BLF Translation Program candidate BFL-MACH-CONTROL-PLANE Structural and Semantic Control Plane stable BFL-MACH-CORPUS-FORGE Corpus Forge stable BFL-MACH-INTAKE Intake Audit and Commit Closure stable BFL-MACH-MANAGEMENT-CONTROL Management Control stable BFL-MACH-PUBLICATION-CONTROL Publication Control and Paper Mine stable BFL-MACH-SANDBOX-PILOT Boundary First Executable Sandbox / Workbench Pilot prototype BFL-MACH-SUPPORTING-CAPTURE Supporting Capture Protocol stable BFL-MACH-UX-RECIPE-ADMISSION-PILOT UX Pattern Atlas Recipe Admission Gate Pilot pilot
PRODUCT Boundary-First Chess RESEARCH PRODUCT · PUBLIC PREVIEW PRODUCT Projectr ACTIVE BUILD · WORKING MVP CORE PRODUCT Boundary First Weather RESEARCH PROGRAM · PILOT CANDIDATE PRODUCT Agentic Scientific Method RESEARCH PRODUCT · OPERATIONAL SUITE V0.1
CHESS Boundary-First Chess research_product ASM Agentic Scientific Method research_product PROJECTR Projectr active_build WEATHER Boundary First Weather NO ADMITTED PROD-* IDENTITY AUGUSTA Augusta Maintenance Debt Civic Case CASE_CANDIDATE / RESEARCH_ACTIVE / NOT_PROMOTED
PUB-001 Closure-Driven Software Development adversarially_tested PUB-002 Corpus Forge: Provenance and Claim Discipline for AI-Assisted Knowledge Work adversarially_tested systems_interface_contracts Consequence- and Provenance-Aware Interface Contracts: A Translation Study from Boundary-First System Records readiness_hint 3 im_database_calibration Relational Databases as Information Mechanics Stage C · readiness 5 im_admissible_forgetting Admissible Forgetting Stage C · readiness 5 math_quotient_spaces Quotient Spaces and Equivalence Relations as Admissible Forgetting Stage A · readiness 4 phys_partial_trace Partial Trace as Admissible Forgetting Stage A · readiness 5 phys_maxwell_gauss Gauss’s Law and Maxwell Boundary Conditions Stage A · readiness 4
EVIDENCE CityWatch — civic software delivered inside Augusta–Richmond County EXTERNALLY CORROBORATED EVIDENCE Georgia Tech undergraduate research — materials, HPC, and NUMA PROFESSIONAL RECORD EVIDENCE Lean, Agile, Kanban, and repeated delivery under constraint PROFESSIONAL RECORD EVIDENCE Global Web Advisors — early startup NLP product engineering PROFESSIONAL RECORD EVIDENCE Projectr.Live — solo founder, architecture through market testing PROFESSIONAL RECORD EVIDENCE CarLabs.ai — startup cloud systems during an acquisition transition PROFESSIONAL RECORD EVIDENCE More than a decade of production software and systems delivery PROFESSIONAL RECORD EVIDENCE Repeated consulting, search systems, and cross-domain delivery PROFESSIONAL RECORD
SELECTED ITEM 5 declared connections
Agentic Scientific Method Studies workflows for making theories explicit, searching alternatives, tracking evidence and sources, locating failure, and proposing revisions without giving automation authority to declare scientific truth.
OBJECT Research
CODE ASM
STATE REGISTERED LANE
ROLE Research program on AI-assisted scientific work and theory revision
Open this item → PUBLIC PRODUCT SURFACE Agentic Scientific Method The registered ASM research lane is projected publicly through the Agentic Scientific Method product experience without transferring scientific authority to the product UI. ← PRIMARY RESEARCH LANE Theory Transformation ISA heterogeneous compilation series This selected public experiment record links EXP-ASM-001 to RL-ASM-001 — Agentic Scientific Method / Theory Transformation Machinery. ← PRIMARY RESEARCH LANE Theory Machine v0.2 deterministic runtime fixture conformance This selected public experiment record links EXP-ASM-002 to RL-ASM-001 — Agentic Scientific Method / Theory Transformation Machinery. ← PRIMARY RESEARCH LANE Boundary Graph cross-domain architecture and recovery stress test This selected public experiment record links EXP-ASM-003 to RL-ASM-001 — Agentic Scientific Method / Theory Transformation Machinery. ← PRIMARY RESEARCH LANE Epistemic architecture compatibility and privilege-separation control This selected public experiment record links EXP-ASM-004 to RL-ASM-001 — Agentic Scientific Method / Theory Transformation Machinery.