Skip to main content

Crate legalis_ca

Crate legalis_ca 

Source
Expand description

Canada Jurisdiction Support for Legalis-RS

This crate provides comprehensive modeling of Canadian law across multiple areas.

Status: v0.1.1 - Initial Implementation

  1. Constitutional Law (Charter of Rights, Division of Powers)

    • Canadian Charter of Rights and Freedoms (s.1 Oakes test)
    • Division of powers (ss.91-92 Constitution Act, 1867)
    • Aboriginal and treaty rights (s.35)
    • Constitutional doctrines (pith and substance, paramountcy, IJI)
  2. Contract Law (Common Law + Quebec Civil Law)

    • Formation (offer, acceptance, consideration)
    • Terms and interpretation
    • Breach and remedies
    • Quebec obligations (Civil Code)
  3. Tort Law (Common Law)

    • Negligence (Cooper v Hobart, Anns/Cooper test)
    • Occupiers’ liability (provincial OLA statutes)
    • Defamation (Grant v Torstar responsible communication)
  4. Employment Law (Federal + Provincial)

    • Provincial employment standards (ESA)
    • Human Rights Codes (duty to accommodate)
    • Reasonable notice (Bardal factors)
    • Just cause (McKinley contextual approach)
    • Wrongful dismissal (Wallace, Keays v Honda)
  5. Criminal Law (Criminal Code)

    • Homicide (murder, manslaughter)
    • Assault and sexual offences
    • Defences (self-defence, necessity, duress, NCR)
    • Sentencing (s.718 principles, Gladue factors)
    • Charter rights in criminal process
  6. Family Law (Divorce Act + Provincial)

    • Divorce Act (grounds, parenting, support)
    • Parenting arrangements (decision-making, parenting time)
    • Child Support Guidelines
    • Spousal Support Advisory Guidelines (SSAG)
  7. Property Law (Real Property + Aboriginal Title)

    • Land titles and Torrens system
    • Aboriginal title (Tsilhqot’in Nation)
    • Duty to consult (Haida Nation)
    • Interests in land (easements, covenants, mortgages)
    • Conveyancing
  8. Corporate Law (CBCA + Provincial)

    • Canada Business Corporations Act
    • Provincial incorporation
    • Director duties (BCE Inc, Peoples v Wise)
    • Oppression remedy (s.241 CBCA)
    • Derivative actions (s.239 CBCA)

§Bijural System

Canada has a unique bijural legal system:

  • Common Law: All provinces except Quebec (English tradition)
  • Civil Law: Quebec (French tradition, Civil Code of Québec)
  • Federal: Bijural - federal laws apply both traditions

§Division of Powers

The Constitution Act, 1867 divides legislative authority:

  • Section 91: Federal exclusive powers (criminal law, banking, divorce, etc.)
  • Section 92: Provincial exclusive powers (property, civil rights, health, etc.)
  • POGG: Federal residual power for national concerns

§Charter of Rights and Freedoms

The Charter (1982) protects fundamental rights:

  • Rights may be limited under s.1 (Oakes test: pressing objective, proportionality)
  • Notwithstanding clause (s.33) allows override of some rights
  • Applies to government action only (s.32)

§Example Usage

use legalis_ca::constitution::{
    CharterAnalyzer, CharterClaimFacts, CharterRight,
};
use legalis_ca::common::Province;

// Charter analysis
let claim = CharterClaimFacts { /* ... */ };
let result = CharterAnalyzer::analyze(&claim);

// Division of powers
use legalis_ca::constitution::{DivisionAnalyzer, DivisionFacts};
let facts = DivisionFacts { /* ... */ };
let result = DivisionAnalyzer::analyze(&facts);

§Key Cases Implemented

  • R v Oakes [1986] 1 SCR 103 (s.1 test)
  • Haida Nation v BC [2004] 3 SCR 511 (duty to consult)
  • Tsilhqot’in Nation v BC [2014] 2 SCR 256 (Aboriginal title)
  • Reference re Secession of Quebec [1998] 2 SCR 217 (constitutional principles)
  • Carter v Canada [2015] 1 SCR 331 (s.7 security of person)
  • R v Jordan [2016] 1 SCR 631 (s.11(b) trial delay)
  • Bhasin v Hrynew [2014] 3 SCR 494 (good faith in contracts)
  • Tercon v BC [2010] 1 SCR 69 (exclusion clauses)
  • Hunter Engineering v Syncrude [1989] 1 SCR 426 (fundamental breach)
  • Cooper v Hobart [2001] SCC 79 (Anns/Cooper duty of care test)
  • Clements v Clements [2012] SCC 32 (material contribution causation)
  • Mustapha v Culligan [2008] SCC 27 (psychological harm remoteness)
  • Grant v Torstar [2009] SCC 61 (responsible communication defence)
  • Andrews v Grand & Toy [1978] SCC (non-pecuniary damages cap)
  • Bardal v Globe & Mail [1960] (reasonable notice factors)
  • 671122 Ontario v Sagaz [2001] SCC 59 (employee vs. contractor)
  • McKinley v BC Tel [2001] SCC 38 (contextual just cause)
  • Wallace v United Grain Growers [1997] SCC 46 (bad faith dismissal)
  • Keays v Honda [2008] SCC 39 (aggravated damages)
  • Potter v NB Legal Aid [2015] SCC 10 (constructive dismissal)
  • BC v BCGSEU (Meiorin) [1999] SCC 48 (BFOR test)

Re-exports§

pub use common::BilingualRequirement;
pub use common::CanadianCalendar;
pub use common::CanadianTimeZone;
pub use common::CaseCitation;
pub use common::Court;
pub use common::Holiday;
pub use common::JurisdictionalLevel;
pub use common::LegalSystem;
pub use common::OfficialLanguage;
pub use common::Province;
pub use common::StatuteReference;
pub use constitution::AboriginalRight;
pub use constitution::CharterAnalyzer;
pub use constitution::CharterClaimFacts;
pub use constitution::CharterClaimResult;
pub use constitution::CharterRemedy;
pub use constitution::CharterRight;
pub use constitution::ConflictType;
pub use constitution::ConflictingLaw;
pub use constitution::ConstitutionalCase;
pub use constitution::ConstitutionalDoctrine;
pub use constitution::ConstitutionalError;
pub use constitution::ConstitutionalResult;
pub use constitution::DivisionAnalyzer;
pub use constitution::DivisionFacts;
pub use constitution::DivisionResult;
pub use constitution::EnactingBody;
pub use constitution::FederalPower;
pub use constitution::GovernmentAction;
pub use constitution::HeadOfPower;
pub use constitution::IjiAnalysis;
pub use constitution::MinimalImpairment;
pub use constitution::OakesAnalyzer;
pub use constitution::OakesTest;
pub use constitution::ParamountcyAnalysis;
pub use constitution::PithAndSubstance;
pub use constitution::PoggAnalysis;
pub use constitution::PoggAnalyzer;
pub use constitution::PoggBranch;
pub use constitution::PressAndSubstantial;
pub use constitution::ProportionalityAnalysis;
pub use constitution::ProportionalityStrictoSensu;
pub use constitution::ProvincialPower;
pub use constitution::RationalConnection;
pub use constitution::create_charter_statute;
pub use constitution::create_constitution_1867_statute;
pub use constitution::create_constitution_1982_statute;
pub use contract::Acceptance;
pub use contract::BreachAnalyzer;
pub use contract::BreachFacts;
pub use contract::BreachResult;
pub use contract::BreachType;
pub use contract::CapacityIssue;
pub use contract::CapacityStatus;
pub use contract::CcqConcept;
pub use contract::CcqContractType;
pub use contract::CommunicationMethod;
pub use contract::Consideration;
pub use contract::ContractArea;
pub use contract::ContractCase;
pub use contract::ContractContext;
pub use contract::ContractError;
pub use contract::ContractRemedy;
pub use contract::ContractResult;
pub use contract::ContractTerm;
pub use contract::DamagesAnalyzer;
pub use contract::DamagesCalculation;
pub use contract::DamagesFacts;
pub use contract::DamagesResult;
pub use contract::DuressType;
pub use contract::ExclusionClause;
pub use contract::FormationAnalyzer;
pub use contract::FormationElement;
pub use contract::FormationFacts;
pub use contract::FormationResult;
pub use contract::IntentionEvidence;
pub use contract::LegalityStatus;
pub use contract::MisrepresentationType;
pub use contract::MistakeType;
pub use contract::Offer;
pub use contract::OfferAnalyzer;
pub use contract::OfferClassificationFacts;
pub use contract::OfferClassificationResult;
pub use contract::OfferContext;
pub use contract::TermClassification;
pub use contract::TermType;
pub use contract::VitiatingFactor;
pub use contract::create_ccq_obligations;
pub use contract::create_ccq_warranty_quality;
pub use contract::create_consumer_protection_act;
pub use contract::create_contract_statutes;
pub use contract::create_sale_of_goods_act;
pub use tort::ApplicableLaw;
pub use tort::BreachFactor;
pub use tort::CausationAnalyzer;
pub use tort::CausationFacts;
pub use tort::CausationResult;
pub use tort::CausationTest;
pub use tort::CommonLawEntrantStatus;
pub use tort::DamagesAssessment;
pub use tort::DamagesType;
pub use tort::DefamationAnalyzer;
pub use tort::DefamationDefence;
pub use tort::DefamationDefenceClaim;
pub use tort::DefamationElements;
pub use tort::DefamationFacts;
pub use tort::DefamationResult;
pub use tort::DefamationType;
pub use tort::DefenceAnalysis;
pub use tort::DutyOfCareAnalyzer;
pub use tort::DutyOfCareFacts;
pub use tort::DutyOfCareResult;
pub use tort::DutyOfCareStage;
pub use tort::EntrantStatus;
pub use tort::EntryPurpose;
pub use tort::HazardDescription;
pub use tort::HazardType;
pub use tort::InterveningCause;
pub use tort::NegligenceAnalyzer;
pub use tort::NegligenceDamagesFacts;
pub use tort::NegligenceDamagesResult;
pub use tort::NegligenceDefence;
pub use tort::NegligenceFacts;
pub use tort::NegligenceResult;
pub use tort::NonPecuniaryCap;
pub use tort::NuisanceFactor;
pub use tort::NuisanceType;
pub use tort::OccupierStatus;
pub use tort::OccupiersLiabilityAnalyzer;
pub use tort::OccupiersLiabilityFacts;
pub use tort::OccupiersLiabilityResult;
pub use tort::OlaDefence;
pub use tort::OlaDuty;
pub use tort::OlaStatute;
pub use tort::PolicyNegation;
pub use tort::ProximityFactor;
pub use tort::PublicationMedium;
pub use tort::PublicationReach;
pub use tort::RecognizedDutyCategory;
pub use tort::RemotenessAnalyzer;
pub use tort::RemotenessFacts;
pub use tort::RemotenessResult;
pub use tort::RemotenessTest;
pub use tort::ResponsibleCommunicationFactors;
pub use tort::StandardOfCare;
pub use tort::StandardOfCareAnalyzer;
pub use tort::StandardOfCareFacts;
pub use tort::StandardOfCareResult;
pub use tort::StatementContext;
pub use tort::TortArea;
pub use tort::TortCase;
pub use tort::TortDamages;
pub use tort::TortDamagesAnalyzer;
pub use tort::TortError;
pub use tort::TortResult;
pub use tort::create_ccq_civil_liability;
pub use tort::create_negligence_statute;
pub use tort::create_ola_statute;
pub use employment::AccommodationType;
pub use employment::BardalFactor;
pub use employment::DiscriminationType;
pub use employment::DutyToAccommodate;
pub use employment::EmploymentArea;
pub use employment::EmploymentCase;
pub use employment::EmploymentError;
pub use employment::EmploymentJurisdiction;
pub use employment::EmploymentResult;
pub use employment::EmploymentStandards;
pub use employment::EmploymentStatus;
pub use employment::FederalIndustry;
pub use employment::HardshipFactor;
pub use employment::JustCauseAnalyzer;
pub use employment::JustCauseFacts;
pub use employment::JustCauseGround;
pub use employment::JustCauseResult;
pub use employment::MitigationRequirement;
pub use employment::ProtectedGround;
pub use employment::ReasonableNoticeAnalyzer;
pub use employment::ReasonableNoticeFacts;
pub use employment::ReasonableNoticeResult;
pub use employment::SagazFactor;
pub use employment::StandardType;
pub use employment::TerminationType;
pub use employment::WrongfulDismissalAnalyzer;
pub use employment::WrongfulDismissalDamages;
pub use employment::WrongfulDismissalFacts;
pub use employment::WrongfulDismissalResult;
pub use employment::create_canada_labour_code;
pub use employment::create_canadian_human_rights_act;
pub use employment::create_employment_standards_act;
pub use employment::create_employment_statutes;
pub use employment::create_federal_employment_statutes;
pub use employment::create_human_rights_code;
pub use criminal::AccusedElection;
pub use criminal::ActusReus;
pub use criminal::AggravatingFactor;
pub use criminal::AssaultAnalyzer;
pub use criminal::AssaultFacts;
pub use criminal::AssaultResult;
pub use criminal::AssaultType;
pub use criminal::BailType;
pub use criminal::BodilyHarmLevel;
pub use criminal::BreachSeriousness;
pub use criminal::BreakEnterType;
pub use criminal::CausationFacts as CriminalCausationFacts;
pub use criminal::CharterRemedy as CriminalCharterRemedy;
pub use criminal::CriminalArea;
pub use criminal::CriminalCase;
pub use criminal::CriminalCharterRight;
pub use criminal::CriminalDefence;
pub use criminal::CriminalError;
pub use criminal::CriminalResult;
pub use criminal::CrownElection;
pub use criminal::DefenceAnalyzer;
pub use criminal::DefenceFacts;
pub use criminal::DefenceOutcome;
pub use criminal::DefenceResult;
pub use criminal::DetentionGround;
pub use criminal::DuressElements;
pub use criminal::DutySource;
pub use criminal::FirstDegreeFactor;
pub use criminal::FraudType;
pub use criminal::GladueAnalysis;
pub use criminal::GladueFactor;
pub use criminal::GrantAnalysis;
pub use criminal::HarmLevel;
pub use criminal::HomicideAnalyzer;
pub use criminal::HomicideFacts;
pub use criminal::HomicideResult;
pub use criminal::HomicideType;
pub use criminal::ImpactLevel;
pub use criminal::IntentionType;
pub use criminal::InterveningAct;
pub use criminal::IntoxicationDefence;
pub use criminal::ManslaughterType;
pub use criminal::MensRea;
pub use criminal::MentalDisorderElements;
pub use criminal::MentalStateFacts;
pub use criminal::MitigatingFactor;
pub use criminal::ModeOfTrial;
pub use criminal::NecessityElements;
pub use criminal::OffenceCategory;
pub use criminal::OffenceType;
pub use criminal::OffenderInfo;
pub use criminal::PlannedDeliberateFacts;
pub use criminal::PriorConviction;
pub use criminal::ProvocationFacts;
pub use criminal::RecklessnessType;
pub use criminal::SelfDefenceElements;
pub use criminal::SentenceRange;
pub use criminal::SentenceType;
pub use criminal::SentencingAnalyzer;
pub use criminal::SentencingFacts;
pub use criminal::SentencingPrinciple;
pub use criminal::SentencingResult;
pub use criminal::SocietalInterest;
pub use criminal::TheftType;
pub use criminal::VictimImpact;
pub use criminal::create_cdsa;
pub use criminal::create_charter_criminal_rights;
pub use criminal::create_criminal_code;
pub use criminal::create_criminal_statutes;
pub use criminal::create_ycja;
pub use family::ArrangementFunctioning;
pub use family::BestInterestsAnalyzer;
pub use family::BestInterestsFactor;
pub use family::BestInterestsFacts;
pub use family::BestInterestsResult;
pub use family::ChildInfo;
pub use family::ChildSupportAnalyzer;
pub use family::ChildSupportCalculationType;
pub use family::ChildSupportFacts;
pub use family::ChildSupportResult;
pub use family::ChildSupportType;
pub use family::ChildViews;
pub use family::CurrentArrangement;
pub use family::DecisionMaker;
pub use family::DecisionMakingAllocation;
pub use family::DivorceGround;
pub use family::DivorceStage;
pub use family::DurationRange;
pub use family::ExcludedPropertyType;
pub use family::FactorAnalysis;
pub use family::FactorWeight;
pub use family::FamilyArea;
pub use family::FamilyCase;
pub use family::FamilyError;
pub use family::FamilyResult;
pub use family::FamilyViolence;
pub use family::FamilyViolenceAllegation;
pub use family::FlexibilityLevel;
pub use family::MarriageStatus;
pub use family::MaturityLevel;
pub use family::ParentInfo;
pub use family::ParentingArrangement;
pub use family::ParentingTimeSchedule;
pub use family::PropertyClassification;
pub use family::ProposedArrangement;
pub use family::RelocationAnalyzer;
pub use family::RelocationFacts;
pub use family::RelocationReason;
pub use family::RelocationRequest;
pub use family::RelocationResult;
pub use family::Section7Expense;
pub use family::Section7ExpenseItem;
pub use family::SpousalSupportAnalyzer;
pub use family::SpousalSupportBasis;
pub use family::SpousalSupportFacts;
pub use family::SpousalSupportRange;
pub use family::SpousalSupportResult;
pub use family::SpousalSupportType;
pub use family::SsagFormula;
pub use family::SupportDuration;
pub use family::UndueHardshipClaim;
pub use family::UndueHardshipFactor;
pub use family::ValuationDate;
pub use family::ViolenceFinding;
pub use family::ViolenceImpact;
pub use family::WillingnessLevel;
pub use family::create_child_support_guidelines;
pub use family::create_divorce_act;
pub use family::create_family_law_act;
pub use family::create_family_statutes;
pub use family::create_ssag;
pub use property::AboriginalTitleAnalyzer;
pub use property::AboriginalTitleElement;
pub use property::AboriginalTitleFacts;
pub use property::AboriginalTitleResult;
pub use property::AboriginalTitleStatus;
pub use property::ClaimStrength;
pub use property::CoOwnershipType;
pub use property::ConsultationAnalyzer;
pub use property::ConsultationFacts;
pub use property::ConsultationLevel;
pub use property::ConsultationResult;
pub use property::ConsultationStep;
pub use property::ConsultationTrigger;
pub use property::ContinuityFactor;
pub use property::ConveyancingStage;
pub use property::EasementCreation;
pub use property::EasementType;
pub use property::EstateType;
pub use property::ExclusivityFactor;
pub use property::ImpactSeverity;
pub use property::InfringementJustification;
pub use property::InterestInLand;
pub use property::LandRegistrationSystem;
pub use property::LienType;
pub use property::OccupationEvidence;
pub use property::OccupationFactor;
pub use property::PropertyArea;
pub use property::PropertyCase;
pub use property::PropertyError;
pub use property::PropertyResult;
pub use property::PropertyType;
pub use property::StandardCondition;
pub use property::TenancyPeriod;
pub use property::TitleAssurance;
pub use property::TitleDefect;
pub use property::TitleException;
pub use property::TreatyStatus;
pub use property::create_condominium_act;
pub use property::create_construction_lien_act;
pub use property::create_expropriation_act;
pub use property::create_fnlma;
pub use property::create_indian_act;
pub use property::create_land_titles_act;
pub use property::create_planning_act;
pub use property::create_property_statutes;
pub use corporate::AllegedConduct;
pub use corporate::AmalgamationType;
pub use corporate::ApprovalRequirement;
pub use corporate::BusinessJudgmentElement;
pub use corporate::BusinessJudgmentFactors;
pub use corporate::CompensationType;
pub use corporate::ComplainantInfo;
pub use corporate::ComplainantType;
pub use corporate::ConductType;
pub use corporate::ConflictDetails;
pub use corporate::ConflictNature;
pub use corporate::ContinuanceDirection;
pub use corporate::CorporateArea;
pub use corporate::CorporateCase;
pub use corporate::CorporateError;
pub use corporate::CorporateResult;
pub use corporate::CorporateStatus;
pub use corporate::CorporateType;
pub use corporate::DecisionContext;
pub use corporate::DecisionMakerType;
pub use corporate::DerivativeRequirement;
pub use corporate::DirectorDisqualification;
pub use corporate::DirectorDuty;
pub use corporate::DirectorDutyAnalyzer;
pub use corporate::DirectorDutyFacts;
pub use corporate::DirectorDutyResult;
pub use corporate::DirectorQualification;
pub use corporate::DutyBreach;
pub use corporate::ExitOffer;
pub use corporate::ExpectationSource;
pub use corporate::ExpectationStrength;
pub use corporate::FiduciaryBreachType;
pub use corporate::FundamentalChange;
pub use corporate::ImpactNature;
pub use corporate::ImpactSeverity as CorporateImpactSeverity;
pub use corporate::IncorporationJurisdiction;
pub use corporate::InformationLevel;
pub use corporate::OppressionAnalyzer;
pub use corporate::OppressionConduct;
pub use corporate::OppressionContext;
pub use corporate::OppressionElement;
pub use corporate::OppressionFacts;
pub use corporate::OppressionRemedy;
pub use corporate::OppressionResult;
pub use corporate::ProspectusExemption;
pub use corporate::ReasonableExpectation;
pub use corporate::ReportingIssuerStatus;
pub use corporate::SecurityType;
pub use corporate::ShareClass;
pub use corporate::SharePurchaser;
pub use corporate::ShareRight;
pub use corporate::ShareStructure;
pub use corporate::ShareholderRemedy;
pub use corporate::StakeholderAnalysis;
pub use corporate::StakeholderImpact;
pub use corporate::StakeholderInterest;
pub use corporate::StakeholderType;
pub use corporate::ValuationBasis;
pub use corporate::create_cbca;
pub use corporate::create_cnca;
pub use corporate::create_competition_act;
pub use corporate::create_corporate_statutes;
pub use corporate::create_investment_canada_act;
pub use corporate::create_provincial_corporations_act;
pub use corporate::create_securities_act;
pub use reasoning::ApplicableLawResult;
pub use reasoning::CanadianInterop;
pub use reasoning::CanadianReasoningEngine;
pub use reasoning::CivilLawConcept;
pub use reasoning::CommonLawConcept;
pub use reasoning::ConflictType as ReasoningConflictType;
pub use reasoning::ConstitutionalIssue;
pub use reasoning::ConstitutionalVerifier;
pub use reasoning::GoverningLaw;
pub use reasoning::InterProvincialFacts;
pub use reasoning::IssueType;
pub use reasoning::LegalAreaType;
pub use reasoning::ReasoningJurisdiction;
pub use reasoning::ReasoningQuery;
pub use reasoning::ReasoningResult;
pub use reasoning::StatuteConflict;
pub use reasoning::VerificationContext;
pub use reasoning::VerificationResult;
pub use reasoning::create_federal_engine;
pub use reasoning::create_provincial_engine;
pub use reasoning::determine_applicable_law;
pub use reasoning::verify_statute;

Modules§

common
Common utilities (provinces, calendar, court hierarchy)
constitution
Constitutional Law (Charter, Division of Powers)
contract
Contract Law (Common Law + Quebec Civil Law)
corporate
Corporate Law (CBCA + Provincial)
criminal
Criminal Law (Criminal Code)
employment
Employment Law (Federal + Provincial)
family
Family Law (Divorce Act + Provincial)
property
Property Law (Real Property + Aboriginal Title)
reasoning
Reasoning Engine (legalis-core integration)
tort
Tort Law (Common Law)