Skip to main content

Buildability / Receipt

The Semi-Executable Stack: Agentic Software Engineering and the Expanding Scope of SE

This public receipt window renders only fields present in the canonical receipt object, deterministic fixture receipt, or canonical evidence receipt. Missing compute, demo, hash, signature, approval, telemetry, and adoption fields stay explicit.

Public buildability page receipt window

Not build-ready: The Semi-Executable Stack: Agentic Software Engineering and the Expanding Scope of SE

/buildability/the-semi-executable-stack-agentic-software-engineering-and-the-expanding-scope-of-se

Ignoreblocked

Subject: The Semi-Executable Stack: Agentic Software Engineering and the Expanding Scope of SE

Verdict

Ignore

Verdict is Ignore because current viability and proof state do not clear the buildability gate.

Time to first demo

Insufficient data

No first-demo timestamp, owner estimate, or elapsed demo receipt is attached to this surface.

Compute envelope

Data

provide useful maps of the current technical landscape [8, 17, 26]. Their center of gravity lies in rings 1–3: code generation, bug fixing, testing, repair, prompt engineering

Compute

31(2), 2022. doi: 10.1145/3487043. [28] Microsoft WorkLab. 2025: The year the frontier firm is born.https://www.microsoft.co m/en-us/worklab/work-trend-index/2025-the-year-the-frontier-firm-is-born , 2025. Published April 29, 2025. [29] Model Evaluation and Threat Research

Inference

31(2), 2022. doi: 10.1145/3487043. [28] Microsoft WorkLab. 2025: The year the frontier firm is born.https://www.microsoft.co m/en-us/worklab/work-trend-index/2025-the-year-the-frontier-firm-is-born , 2025. Published April 29, 2025. [29] Model Evaluation and Threat Research

Hardware

31(2), 2022. doi: 10.1145/3487043. [28] Microsoft WorkLab. 2025: The year the frontier firm is born.https://www.microsoft.co m/en-us/worklab/work-trend-index/2025-the-year-the-frontier-firm-is-born , 2025. Published April 29, 2025. [29] Model Evaluation and Threat Research

Evidence ids

Receipt path

/buildability/the-semi-executable-stack-agentic-software-engineering-and-the-expanding-scope-of-se

Paper ref

the-semi-executable-stack-agentic-software-engineering-and-the-expanding-scope-of-se

arXiv id

2604.15468

Freshness

Generated at

2026-04-20T20:25:07.950Z

Evidence freshness

stale

Last verification

2026-04-20T20:25:07.950Z

Sources

3

References

0

Coverage

50%

Hash state

Lineage hash

55f4d501fd5e84e55039ce7cb2b8178966636fd41f60a16237793fa4fba784f4

Canonical opportunity-kernel lineage hash.

Signature state

External signature

unsigned_external

No founder, registry, pilot, or production-adoption signature is attached to this receipt.

Verification

not_verified

Verification is blocked until an external signature is provided.

Blockers

  • Missing: repo_url
  • Missing: references
  • Missing: proof_status
  • Unknown: proof verification has not been recorded yet

Some score or evidence fields are outside the preferred freshness window.

repo_url

references

Missing proof, requirement, signature, approval, adoption, or telemetry fields are blockers and must not be inferred.

Truth Boundary

External gate remains unresolved for live deployment claims.

Buildability surfaces only report computed viability and proof receipts. They do not claim live production usage, pilot outcomes, founder sign-off, public Brier calibration, judge divergence, or external adoption unless explicitly sourced.