software testing

Towards AI-Augmented Software Engineering Automated Code Generation, Formal Verification, and Sustainable Maintenance

bit.analyze: Universal Structural Stream and Temporal Multimodal Associations — v0.2.0-rc1

bit.analyze v0.2.0-rc1 — Release Candidate bit.analyze v0.2.0-rc1 is a pre-release candidate that extends the v0.1.0 structural-memory baseline with two experimentally validated layers: a bounded universal structural byte stream and a pre-semantic temporal multimodal association model. The release remains research soft...

C2OGate: Externally Checkable Joint Stopping-Time Certification for Cost-Dominant Continuations

C2OGate is a research software and reproducibility archive for certifying whether a proposed optimization continuation is cost-dominant relative to an unchanged baseline continuation. Conditioned on one observed first-order transcript, the method retains the joint dependence of the two continuations’ first-hitting time...

Replication data and code for "Inter-class co-movement of retail electricity tariffs and the residential adjustment gradient: evidence from a new Latin American panel"

This repository contains the data and code required to reproduce every result, table and figure in the article "Inter-class co-movement of retail electricity tariffs and the residential adjustment gradient: evidence from a new Latin American panel" (Utilities Policy). It comprises: (i) a reconstructed quarterly panel o...

Before Blind AI Adoption Destroys Engineering Organizations: Four Real Bullets and the Four-Dimensional Matching Framework

Brooks (1987) argued that no single technique would deliver an order-of-magnitude im-provement in software productivity. The community accepted this thesis but overlookedthe other half of Brooks’s argument: that cumulative, context-sensitive advances couldcollectively achieve what no single technique could. This paper...

Reproducibility Package for Spatiotemporal Dependence and Finite-Threshold Tail Co-Exceedance in Compound Drought–Heat Extremes in Peru

This reproducibility package contains the complete computational materials supporting the reported statistical analyses. It includes the final Jupyter/Google Colab notebook, source and derived analytical datasets, statistical tables, figures, spatial outputs, software-environment information, and machine-readable resul...

Jev at the Agent Authorization Boundary: Evaluating TypeSafe's Decision Model and Its Reported RLCD Approach

TypeSafe describes Jev as a typed decision model trained using Reinforcement Learning for Calibrated Decisions (RLCD). We evaluate its behavior at an agent authorization boundary, where software must allow, hold, or deny a proposed action. A historical audit of 150 proposals motivates two separate paired comparisons: J...

The Security Port and Sovereign Governance: Identity Boundaries, Cryptographic Invariants, and Non-Circumventable Integrity: Door 28 — Security Port, Dual-Core Reality Engine, Witness², and Hostile Red-Team Audit (Document 111)

This monograph establishes the formal mathematical, computational, and architectural specification for Door 28 (Security: The Security Port and Sovereign Governance), the root cryptographic barrier and systemic immunity gateway of the realization monorepo. While Door 27 governs distributed Byzantine peer consensus, Doo...

Same Words, Different Procedure: Counterfactual Transfer Tests for Reusable LLM-Agent Skills (Software and Reproducibility Artifacts)

This versioned archive contains the implementation, frozen protocols, native interaction records, tests, audits, analyses, and manuscript sources for the Counterfactual Skill Transfer Test (CSTT). CSTT is a state-matched six-condition protocol that crosses source procedural compatibility with lexical similarity and inc...

Image-Based Reinforcement Learning for Robust Mode Hop Recovery in External-Cavity Diode Lasers

Overview This is the initial public release of the code associated with the paper "Image-Based Reinforcement Learning for Robust Mode Hop Recovery in External-Cavity Diode Lasers." The repository provides a simulation and reinforcement-learning framework for recovering an external-cavity diode laser from mode hops usin...

AGILE METHODS IN BUSINESS

This article presents literature across four linked domains — Agile practices, AI adoption, Digital Transformation, and Environmental Sustainability Performance — alongside the moderating role of Digital Leadership. The nexus of digital innovation and environmental responsibility is one of the most strategic issues fac...

Regeneration classifier audit: source-only reproduction package

This package supports the study “Cohort-dependent normalization changes hierarchical assignments in a published regeneration classifier.” It contains analysis code, a Garnett compatibility adapter, saved perturbation definitions, comparison fixtures, 62 expected result tables, three figures, and reproducibility documen...