Architecture & constructionProjects / Riverside Office / Overview
Project validation workspace
Live deterministic checks

Riverside Office validation

Review model facts against architectural requirements, evidence and revision history in one traceable workspace.

Sample model + standard requirements

Specification: Sample architectural requirements · revision Demo

Ask the validated model

Evidence Assistant

Explains and navigates evidence the server has already verified. Deterministic validation remains the source of compliance truth — the assistant cannot invent or override a pass, fail or unknown result.

Checking provider

Answer for

Why you can trust the answer

  • Rules decide, the assistant explains. Every question re-runs the rule engine on the server. Results are never taken from the browser, and raw IFC never reaches an AI provider.
  • Citations are verified first. Requirement and element references are checked against generated evidence; an answer that cites anything unsupported is rejected and replaced by the deterministic one.
  • Unknown stays unknown. A missing property or relationship cannot become a passing check.
  • Every turn is labelled. Each answer keeps the mode and provider that produced it.

Ask about this validation run

Answers cover the model and requirements currently loaded in the workspace. Element references in an answer open that room or door in the inspector.

Ctrl + Enter to send

No-Code Spec Builder

Visually build and inject compliance rules directly into the deterministic validator.

Preset templates

15 sqm

Requirement editor

Edit the active draft, then save it as a new immutable revision.

Stockrooms must be at least 15 sqm

req-stockroom-min-area · minimum_room_area · critical

Offices must be at least 8 sqm

req-office-min-area · minimum_room_area · critical

Stockroom doors must be at least 0.85m wide

req-stockroom-door-width · minimum_door_width_for_room_type · warning

Every room must have at least one connected door

req-room-has-door · room_has_connected_door · warning

Requirement Pass RateRATE

0%

0 of 2 determined requirements pass

Evaluation CoverageOUTCOME

50%

2 unknown

Violated RequirementsOUTCOME

2

1 critical

1 critical
Not ApplicableOUTCOME

0

Excluded from rates

Traceability matrix

Source clause → requirement → validation rule → model evidence → finding → review decision. Metrics stay separate on purpose; there is no single aggregated compliance number.

Extraction coverage

0%0/4

Requirements with a recorded source

Rule coverage

100%4/4

Requirements with an executable rule

Evaluation coverage

50%2/4

Determined of applicable requirements

Pass rate

0%0/2

Compliant of determined requirements

Review completion

0%0/4

Findings with a review decision

Source traceability

0%0/4

Requirements resolvable to a persisted clause

No review decisions are loaded. Open a saved validation report to bring its review decisions into the matrix.

4 of 4 requirements
RequirementSource clauseRuleModel evidenceFindingReview decision

req-stockroom-min-area

Stockrooms must be at least 15 sqm

Unassigned · critical

No source recorded

minimum_room_areaunknown

Stockroom A area 18.2 sqm satisfies >= 15 sqm. (1 evidence)

Cannot verify area for Stockroom B; area is missing. (1 evidence)

Needs review — no decision

req-office-min-area

Offices must be at least 8 sqm

Unassigned · critical

No source recorded

minimum_room_areaviolation

Office 101 area 9.4 sqm satisfies >= 8 sqm. (1 evidence)

Office 102 area 6.1 sqm violates >= 8 sqm. (1 evidence)

Needs review — no decision

req-stockroom-door-width

Stockroom doors must be at least 0.85m wide

Unassigned · warning

No source recorded

minimum_door_width_for_room_typeviolation

Not all connected doors for Stockroom A satisfy >= 0.85 m. (1 evidence)

Cannot verify door widths for Stockroom B; door relationship data is missing. (1 evidence)

Needs review — no decision

req-room-has-door

Every room must have at least one connected door

Unassigned · warning

No source recorded

room_has_connected_doorunknown

Stockroom A has at least one connected door. (1 evidence)

Office 101 has at least one connected door. (1 evidence)

+3 more findings

Needs review — no decision

By specification document

GroupReqsWith ruleDeterminedCompliantUnreviewed
No source document44204

By discipline

GroupReqsWith ruleDeterminedCompliantUnreviewed
Unassigned44204

CAD / BIM Spatial Map

Interactive visual rendering of model boundaries and corridors

Interactive Model Floor Plan

Click elements to inspect; validation errors glow dynamically.

Pass Fail Unknown
Stockroom A18.2 sqmOffice 1019.4 sqmOffice 1026.1 sqmMeeting Room AArea: ?Stockroom BArea: ?Door S1Door O1Door O2Door M1Door S2

BIM / CAD Extract Connector

Parse native IFC models server-side or upload the normalized BIM JSON contract.

Engine Validation Log
11 specs checked

Deterministic rules evaluate parameters instantly with strict evidence outputs.

pass
critical

Stockroom A area 18.2 sqm satisfies >= 15 sqm.

Rule: Stockrooms must be at least 15 sqm

Technical Evidence Fact

Room area was compared against deterministic threshold.

Observed: 18.2
Expected: >= 15 sqm
Refs: rm-stock-01
unknown
critical

Cannot verify area for Stockroom B; area is missing.

Rule: Stockrooms must be at least 15 sqm

Technical Evidence Fact

Area parameter is not available in normalized model data.

Observed: null
Expected: >= 15
Refs: rm-stock-02
pass
critical

Office 101 area 9.4 sqm satisfies >= 8 sqm.

Rule: Offices must be at least 8 sqm

Technical Evidence Fact

Room area was compared against deterministic threshold.

Observed: 9.4
Expected: >= 8 sqm
Refs: rm-office-01
fail
critical

Office 102 area 6.1 sqm violates >= 8 sqm.

Rule: Offices must be at least 8 sqm

Technical Evidence Fact

Room area was compared against deterministic threshold.

Observed: 6.1
Expected: >= 8 sqm
Refs: rm-office-02
fail
warning

Not all connected doors for Stockroom A satisfy >= 0.85 m.

Rule: Stockroom doors must be at least 0.85m wide

Technical Evidence Fact

Not all connected door widths meet the deterministic range.

Observed: dr-05:0.8
Expected: all connected doors within >= 0.85 m
Refs: rm-stock-01, dr-01, dr-05
unknown
warning

Cannot verify door widths for Stockroom B; door relationship data is missing.

Rule: Stockroom doors must be at least 0.85m wide

Technical Evidence Fact

Connected door identifiers are required but not available.

Observed: null
Expected: Array of door ids
Refs: rm-stock-02
pass
warning

Stockroom A has at least one connected door.

Rule: Every room must have at least one connected door

Technical Evidence Fact

Room-to-door relationships were checked for minimum connectivity.

Observed: 2
Expected: >= 1
Refs: rm-stock-01
pass
warning

Office 101 has at least one connected door.

Rule: Every room must have at least one connected door

Technical Evidence Fact

Room-to-door relationships were checked for minimum connectivity.

Observed: 1
Expected: >= 1
Refs: rm-office-01
pass
warning

Office 102 has at least one connected door.

Rule: Every room must have at least one connected door

Technical Evidence Fact

Room-to-door relationships were checked for minimum connectivity.

Observed: 1
Expected: >= 1
Refs: rm-office-02
pass
warning

Meeting Room A has at least one connected door.

Rule: Every room must have at least one connected door

Technical Evidence Fact

Room-to-door relationships were checked for minimum connectivity.

Observed: 1
Expected: >= 1
Refs: rm-meet-01
unknown
warning

Cannot verify connected doors for Stockroom B; relationship data is missing.

Rule: Every room must have at least one connected door

Technical Evidence Fact

Connected door relationship is missing in normalized data.

Observed: null
Expected: At least one connected door id
Refs: rm-stock-02

BIM Model Studio

No element selected

Select any room or door on the floor plan to inspect details and edit parameters in real-time.

Model Builder