HCI · concept-building review

Establishing Interfaces for Provisional Computing

The mechanisms are not new. The opportunity is to name their common design problem, draw hard boundaries, and build cumulative knowledge around how computation becomes usable before it becomes final.

Review relationship. The first review asks what prior HCI teaches us about provisional interaction. This second review asks the harder strategic question: does the synthesis deserve a name, and what work would make that name scientifically useful?

Verdict

Yes—with a deliberately modest novelty claim. “Interfaces for provisional computing” can become a useful HCI concept, but not because it identifies an untouched class of mechanisms. Previews, undo, branches, alternatives, uncertainty displays, mixed initiative, and editable intermediate representations all have long histories. The contribution is to identify their shared object of design: computational states that are useful now but not yet final in meaning, validity, continuation, singularity, or consequence.

The term has the greatest chance of uptake as a strong concept: intermediate-level knowledge between a particular system and a predictive theory.1 It needs exemplars, counterexamples, a design space, patterns, and measures. Without those, it will become a loose synonym for “uncertain AI” and add terminological debt rather than knowledge.

Recommended one-sentence definition

Interfaces for provisional computing let people productively inspect, compare, steer, revise, validate, or withhold commitment from computational states whose interpretation, output, continuation, or effects remain non-final.

1. Method and naming evidence

This review used the project-local literature-review and scholar-search skills. An OpenAlex pass screened 100 records returned for “provisional computing interfaces HCI”; 17 were shortlisted by title and abstract and all had full-text routes. Five targeted searches added 200 records around alternatives, uncertainty, mixed initiative, concept formation, and subjunctive interfaces. Exact-title searches repaired known retrieval gaps. The synthesis combines abstract-level screening of the shortlist with targeted full-text analysis of the papers supporting its central historical and empirical claims; it is integrative, not a systematic full-text review of all 17 papers. Search state, candidates, shortlist, reasons, fetch plans, and evidence levels are retained in the project.

The phrase evidence is telling. Searches did not reveal an established HCI field called “provisional computing.” Instead they found local uses: a provisional input collaboratively refined by a grounding interface,2 a provisional “design world” in reflective conversation, and probabilistic systems described as unstable or non-final. The closest mature named ancestor is subjunctive interfaces.3

This absence is an opportunity, but not proof of value. Names matter when they improve retrieval, comparison, and design reasoning. Chignell argued early that HCI terminology and taxonomy are infrastructure for cumulative scientific activity.4 The burden is therefore practical: does this name connect literature that currently fails to find itself, and does that connection produce better questions?

2. The phenomenon already exists

Reduced commitment

Cognitive Dimensions established provisionality as the ability to try things and defer commitment, countering systems that demand decisions before their consequences can be understood.5 This gives the proposed concept a legitimate root—but a dimension is not yet an interface research program.

Alternative computational worlds

Subjunctive interfaces turn alternatives into simultaneous processing realities. Their evidence is nuanced: initial users were more satisfied but not faster because scenario setup was difficult; after redesign and repeated use, users completed tasks 27% faster, and scenarios became reusable information holders.3 Parallel Paths adds a crucial refinement: alternatives need independent and shared operations, not merely snapshots.6

Preview before consequence

Persistent command previews, feedforward, staged edits, and operation-level undo separate inspecting an outcome from accepting it. Parallel prototyping further shows that keeping several options alive can improve diversity, expert-rated outcomes, click-through performance, and self-efficacy relative to serial iteration.7

Editable intermediate computation

Interactive machine learning already treats the human–machine process as co-adaptive rather than a one-way command.14 AI Chains makes model steps and intermediate results inspectable and editable; users calibrate expectations, compare downstream strategies, and “unit test” components.8 Spellburst branches and merges generated creative code.9 DirectGPT combines manipulable generated objects, scoped commands, and undo, making participants substantially faster while shortening prompts.10

Approximation before validation

Interactive Speculative Planning separates a fast approximator from a slower target agent and lets a person interrupt. Its UI must reschedule asynchronous outputs so users do not see invalid downstream work as settled.11 That status-and-lineage problem is not captured by “uncertainty visualization” alone.

3. A discriminating definition

A useful definition must identify both a state condition and an interaction capacity. A computation is provisional when at least one relevant aspect is non-final; an interface supports provisional computing when users can act meaningfully on that non-finality before commitment.

IntentionalThe desired goal, constraints, or interpretation remain negotiable.
PluralSeveral alternatives remain live rather than one replacing the others.
EpistemicValidity is uncertain because evidence, model competence, or context is incomplete.
ComputationalA result is partial, approximate, streaming, speculative, or awaiting verification.
RepresentationalAbstraction, precision, structure, or interpretation remains open to refinement.
ConsequentialAn output exists but its durable or externally visible effect has not been committed.

The interaction capacity can be summarized as mark, inspect, fork, compare, revise, validate, commit, invalidate, repair. Not every interface needs every operation. But merely labeling a result “draft” or showing a confidence score is insufficient if the user cannot do anything appropriate with that status.

IncludedExcludedReason
Editable AI plan awaiting approvalSpinner for a hidden processOnly the plan is inspectable and actionable before completion.
Several linked design variantsStatic gallery of unrelated outputsVariants retain lineage and can be developed or committed.
Staged database migration previewIrreversible action with “AI may be wrong” warningProvisionality requires withholding consequence, not just disclosing risk.
Ambiguous sketch with editable interpretationsLow-fidelity mockupThe first preserves computational interpretations; the second is merely unfinished.

4. The neighboring-concept map

The term earns space only by preserving distinctions. It should function as connective tissue, not a conqueror that renames every adjacent field.

NeighborPrimary questionRelationship to provisional computing
ProvisionalityCan decisions be deferred and alternatives tried?Foundational quality; proposed term adds states, transitions, and consequences.
Subjunctive interfacesCan multiple scenarios coexist and be controlled?Closest ancestor; chiefly plural rather than all forms of non-finality.
Preview/feedforwardCan an action or outcome be seen before execution?One temporal pattern within the broader lifecycle.
Undo/versioningCan prior states be recovered or branched?Post-action reversibility and lineage; provisionality can also precede commitment.
Uncertainty visualizationCan limits of knowledge be understood?Epistemic status; does not guarantee revision or staging.
Mixed initiativeWho contributes or controls the next step?Agency allocation; provisional computing concerns status of shared work.
ContestabilityCan a consequential decision be disputed?Often post-decision; provisional design can move dispute before commitment.
Speculative designWhat futures and values might an artifact provoke?Critical future-making, not speculative execution or non-final system state.
PrototypingWhat can be learned from an intentionally incomplete artifact?A design practice; provisional computing concerns runtime user interaction too.
Boundary principle

If another concept already explains the case completely, use that concept. Invoke provisional computing when the analytical focus is the lifecycle and interaction of non-final computational states across generation, validation, and commitment.

5. What the term can add

A common comparison unit

Current papers evaluate a preview, an AI chain, a branch canvas, or a confidence display within their local traditions. Quickpose shows how versions can become material for reflection and goal formation rather than mere backup.15 A shared vocabulary would let researchers compare which forms of non-finality they expose, how status is represented, when users may intervene, and what constitutes commitment.

Commitment as a first-class HCI object

HCI has mature vocabularies for action, feedback, error, trust, and undo but less consolidated language for the transition from candidate to authoritative state. Agentic systems make this gap visible: a plan can be generated, partially executed, verified, approved, invalidated, or compensated. “Commit” is not just a button; it is a social and technical boundary.

A bridge across design and AI

Giaccardi and colleagues argue that data and algorithms destabilize the artifact: probabilistic and agentive systems participate in making rather than merely being stabilized by design.12 Provisional computing can connect that design-theoretical insight to concrete interface mechanisms for status, alternatives, validation, and effects.

A design target beyond “human in the loop”

Human-in-the-loop often specifies presence without specifying useful control. A provisional interface asks sharper questions: what exactly remains open, what can the person alter, which downstream states depend on it, and what event makes effects durable?

6. The research program the term must enable

RQ1 — Sources and representations

How should interfaces represent intentional, plural, epistemic, computational, representational, and consequential non-finality? Can users distinguish them and choose the right remedy?

RQ2 — Provisionality budgets

How many live alternatives, caveats, pending validations, or staged actions can users productively manage? When does openness become branch debt or decision paralysis?

RQ3 — Propagation and semantic merge

When a shared region changes, which alternatives inherit it? How can AI-generated branches be merged by intent or evidence rather than line-by-line text?

RQ4 — Commitment quality

Can interfaces help people commit the right state at the right time? Candidate measures include premature-commitment rate, unresolved-risk awareness, invalid downstream work, repair cost, and appropriate acceptance conditional on correctness.

RQ5 — Collaborative status

A state may be a draft to an author, a proposal to a reviewer, and production input to an automation. How should rights to mark, revise, validate, or commit be allocated?

RQ6 — Accessibility and scale

Parallel views and marginal status cues can be visually powerful but navigationally expensive. What nonvisual structures preserve comparison, lineage, and status? How should systems summarize hundreds of branches?

RQ7 — Politics of finality

Who benefits when a system declares a result final, and who bears the labor of keeping it open? “Provisional” can protect inquiry, but it can also deny recognition, defer accountability, or make workers repeatedly verify machine output.

7. How to establish the term

Terms are established through useful work, not branding. A credible path has five cumulative steps:

1 · PositionPublish a concept paper with intellectual genealogy, definition, exclusions, and 12–20 contrastive exemplars.
2 · OperationalizeRelease an annotated corpus coding source, representation, operations, commitment boundary, and evidence.
3 · InstantiateBuild the same provisional-state toolkit across at least three domains, not another one-off demo.
4 · CompareRun studies against execute-and-undo, confidence-only, and branch-only baselines using commitment-quality measures.
5 · ConveneUse a workshop or special issue to invite hostile cases, refine boundaries, and let other researchers rename or reject parts.
6 · TransferDemonstrate that independent teams can use the vocabulary to predict design trade-offs and generate new interfaces.

The first paper should avoid a manifesto tone. It should present a falsifiable proposition: systems with identifiable non-final states will differ systematically according to source, available operations, lineage, and commitment boundary; matching interface support to those properties will improve commitment quality at an acceptable management cost.

A minimum viable design space

Code each system on six axes: source of non-finality; granularity of the provisional object; plurality and branch topology; visibility of status and dependencies; agency to revise or validate; and commitment consequence/reversibility. If these axes do not help reviewers classify disputed examples or designers discover missing controls, the concept has not earned its keep.

8. Failure modes

Renaming the literature

The most serious risk is citation erasure: presenting decades of subjunctive interfaces, previews, versioning, and design exploration as if generative AI created the problem. Any concept paper must put Green, Petre, Lunzer, Hornbæk, Terry, Mynatt, and related lineages at its center.

Becoming synonymous with AI uncertainty

If every low-confidence model output is called provisional, the term contributes nothing. The decisive test is whether status is coupled to an action or withheld consequence.

Conflating technical and social finality

A model can mark output “final” while an institution treats it as advice; a draft can become de facto policy before formal approval. Interface state, database state, organizational authority, and public consequence may diverge.

Assuming more alternatives are better

Subjunctive interfaces and LLM design-space tools both reveal attention and setup costs. Beyond Code Generation found broader exploration but also difficulty keeping up with LLM-originated changes.13 Provisional interfaces need compression, curation, and closure.

Declaring a field too early

A workshop, website, or catchy definition does not create a field. The appropriate first ambition is a strong concept and shared design space. A field claim should wait for independent adoption, distinct methods, recurring venues, and results not readily produced by neighboring traditions.

9. A near-term agenda

HorizonDeliverableSuccess criterion
0–3 monthsConcept paper, glossary, coded exemplar corpusTwo independent coders can classify cases and explain disagreements.
3–9 monthsReference interaction toolkit: candidate/branch/status/validate/commitThree domains reuse the same state model without flattening domain needs.
6–12 monthsComparative experimentMeasures separate useful exploration from management burden and blanket skepticism.
9–18 monthsWorkshop with neighboring communitiesPublished boundary revisions and negative cases, not merely supportive position papers.
12–24 monthsLongitudinal collaborative deploymentEvidence about branch decay, authority, provenance, and commitment over real work.

The most valuable first empirical study is likely a 2 × 2 × 2 commitment experiment: provisional versus conventional interface; correct versus incorrect system candidate; reversible versus consequential task. Measure final correctness, time, premature commitment, unnecessary rejection, unresolved-risk recall, and repair. This directly tests whether the concept predicts more than a generic “give users control” heuristic.

Conclusion

“Interfaces for provisional computing” has a viable intellectual niche. The phrase names a recurring but fragmented condition: computation is increasingly available for use while its interpretation, plurality, validity, continuation, or effect remains open. Existing HCI gives us many parts of the answer, but distributes them across vocabularies that rarely compare their assumptions.

The path forward is not to claim an empty territory. It is to build a better map. If the term clarifies boundaries, predicts interface needs, reveals missing commitment controls, and supports comparative evidence across design tools, AI systems, and agents, it can become useful intermediate-level knowledge. If it merely rebrands previews and uncertainty, it should be abandoned. That contestability is not a weakness of the proposal; it is the standard the proposal should set for itself.

References

  1. Höök, K., & Löwgren, J. (2012). Strong concepts: Intermediate-level knowledge in interaction design research. ACM TOCHI, 19(3), Article 23. doi:10.1145/2362364.2362371
  2. Jin, H., Brachman, M., Dugan, C., et al. (2024). Grounding with structure: Exploring design variations of grounded human–AI collaboration in a natural language interface. PACM HCI, 8(CSCW2), Article 363. doi:10.1145/3686902
  3. Lunzer, A., & Hornbæk, K. (2008). Subjunctive interfaces: Extending applications to support parallel setup, viewing and control of alternative scenarios. ACM TOCHI, 14(4), Article 17. doi:10.1145/1314683.1314685
  4. Chignell, M. (1990). A taxonomy of user interface terminology. ACM SIGCHI Bulletin, 21(4), 27–34. doi:10.1145/379106.379114
  5. Green, T. R. G., & Petre, M. (1996). Usability analysis of visual programming environments: A “cognitive dimensions” framework. Journal of Visual Languages & Computing, 7(2), 131–174. doi:10.1006/jvlc.1996.0009
  6. Terry, M., Mynatt, E. D., Nakakoji, K., & Yamamoto, Y. (2004). Variation in element and action: Supporting simultaneous development of alternative solutions. CHI ’04, 711–718. doi:10.1145/985692.985782
  7. Dow, S. P., Glassco, A., Kass, J., Schwarz, M., Schwartz, D. L., & Klemmer, S. R. (2010). Parallel prototyping leads to better design results, more divergence, and increased self-efficacy. ACM TOCHI, 17(4), Article 18. doi:10.1145/1879831.1879836
  8. Wu, T., Terry, M., & Cai, C. J. (2022). AI Chains: Transparent and controllable human–AI interaction by chaining large language model prompts. CHI ’22. doi:10.1145/3491102.3517582
  9. Angert, T., Suzara, M., Han, J. Y.-C., Pondoc, C., & Subramonyam, H. (2023). Spellburst: A node-based interface for exploratory creative coding with natural language prompts. UIST ’23. doi:10.1145/3586183.3606719
  10. Masson, D., Malacria, S., Casiez, G., & Vogel, D. (2024). DirectGPT: A direct manipulation interface to interact with large language models. CHI ’24. doi:10.1145/3613904.3642462
  11. Hua, W., Wan, M., Vadrevu, S., Nadel, R., Zhang, Y., & Wang, C. C. (2024). Interactive speculative planning: Enhance agent efficiency through co-design of system and user interface. arXiv preprint. arXiv:2410.00079
  12. Giaccardi, E., Murray-Rust, D., Redström, J., & Caramiaux, B. (2024). Prototyping with uncertainties: Data, algorithms, and research through design. ACM TOCHI, 31(6), Article 68. doi:10.1145/3702322
  13. Zamfirescu-Pereira, J. D., Jun, E., Terry, M., Yang, Q., & Hartmann, B. (2025). Beyond code generation: LLM-supported exploration of the program design space. CHI ’25. doi:10.1145/3706598.3714154
  14. Dudley, J. J., & Kristensson, P. O. (2018). A review of user interface design for interactive machine learning. ACM TiiS, 8(2), Article 8. doi:10.1145/3185517
  15. Rawn, E., Moskal, M., Meng, A., Tang, A., & Jackson, S. J. (2023). Understanding version control as material interaction with Quickpose. CHI ’23. doi:10.1145/3544548.3581394